Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Impact of Community Structure on SAT Solver Performance
- Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, G. Audemard, L. Simon
- Computer Science
- SAT
- 14 July 2014
TLDR
Time-Aware Instrumentation of Embedded Software
- Sebastian Fischmeister, P. Lam
- Computer Science
- IEEE Transactions on Industrial Informatics
- 30 August 2010
TLDR
Transferring Performance Prediction Models Across Different Hardware Platforms
- Pavel Valov, Jean-Christophe Petkovich, Jianmei Guo, Sebastian Fischmeister, K. Czarnecki
- Computer Science
- ICPE
- 17 April 2017
TLDR
Sampling-Based Runtime Verification
- B. Bonakdarpour, S. Navabpour, Sebastian Fischmeister
- Computer Science
- FM
- 20 June 2011
TLDR
Compositional Feasibility Analysis of Conditional Real-Time Task Models
- M. Anand, A. Easwaran, Sebastian Fischmeister, I. Lee
- Computer Science
- 11th IEEE International Symposium on Object and…
- 5 May 2008
TLDR
A dynamic scheduling approach to designing flexible safety-critical systems
- L. Almeida, Sebastian Fischmeister, M. Anand, I. Lee
- Computer Science
- EMSOFT '07
- 30 September 2007
TLDR
Anomaly Detection Using Inter-Arrival Curves for Real-Time Systems
- M. Salem, Mark Crowley, Sebastian Fischmeister
- Computer Science
- 28th Euromicro Conference on Real-Time Systems…
- 5 July 2016
TLDR
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques
- C. Wu, D. Kumar, B. Bonakdarpour, Sebastian Fischmeister
- Computer Science
- RV
- 24 September 2013
TLDR
Plug-and-play for medical devices: experiences from a case study.
- D. Arney, Sebastian Fischmeister, J. Goldman, I. Lee, R. Trausmuth
- Engineering, Medicine
- Biomedical instrumentation & technology
- 1 July 2009
Medical devices are pervasive throughout modern healthcare, but each device works on its own and in isolation. Interoperable medical devices would lead to clear benefits for the care provider and the… Expand
RiTHM: a tool for enabling time-triggered runtime verification for C programs
- S. Navabpour, Yogi Joshi, +4 authors Sebastian Fischmeister
- Computer Science
- ESEC/FSE
- 18 August 2013
We introduce the tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring). RiTHM takes a C program under inspection and a set of LTL properties as input and generates an instrumented C program… Expand