Filter Results:
- Full text PDF available (21)
Publication Year
1999
2019
- This year (17)
- Last 5 years (76)
- Last 10 years (133)
Publication Type
Co-author
Journals and Conferences
Learn More
The literature of runtime verification mostly focuses on event-triggered solutions, where a monitor is invoked by every change in the state of the system and evaluates properties of the system. This… (More)
- Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
- IEEE Transactions on Computers
- 2007
Distributed hard real-time systems require predictable communication at the network level and verifiable communication behavior at the application level. At the network level, communication between… (More)
- Sebastian Fischmeister, P. Lam
- IEEE Transactions on Industrial Informatics
- 2010
Software instrumentation is a key technique in many stages of the development process. It is particularly important for debugging embedded systems. Instrumented programs produce data traces which… (More)
Modern CDCL SAT solvers routinely solve very large industrial SAT instances in relatively short periods of time. It is clear that these solvers somehow exploit the structure of real-world instances.… (More)
- Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
- Formal Methods in System Design
- 2013
The goal of runtime verification is to monitor the behavior of a system to check its conformance to a set of desirable logical properties. The literature of runtime verification mostly focuses on… (More)
- Hany Kashif, Sebastian Fischmeister
- Proceedings of IEEE 17th International…
- 2012
Instrumentation is a valuable technique to gain insight into a program's behavior. Safety-critical real-time embedded applications are time sensitive and so instrumentation techniques for this domain… (More)
- Sebastian Fischmeister, Robert Trausmuth, Insup Lee
- IEEE Transactions on Industrial Informatics
- 2009
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communication delays.… (More)
- Samaneh Navabpour, Yogi Joshi, +4 authors Sebastian Fischmeister
- ESEC/SIGSOFT FSE
- 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… (More)
Empirical systems research is facing a dilemma. Minor aspects of an experimental setup can have a significant impact on its associated performance measurements and potentially invalidate conclusions… (More)
- Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee
- 11th IEEE International Symposium on Object and…
- 2008
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be classified based on a… (More)