Sebastian Fischmeister

Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney: Why you should care about quantile regression. ASPLOS 2013: 207-218

Gonzalo Carvajal, Sebastian Fischmeister: An open platform for mixed-criticality real-time ethernet. DATE 2013: 153-156

Giovani Gracioli, Sebastian Fischmeister: Tracing and recording interrupts in embedded software. Journal of Systems Architecture - Embedded Systems Design 58(9): 372-385 (2012)

Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan: State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems 48(4): 430-462 (2012)

Augusto Born de Oliveira, Ahmad Saif Ur Rehman, Sebastian Fischmeister: mTags: augmenting microkernel messages with lightweight metadata. Operating Systems Review 46(2): 67-79 (2012)

Hany Kashif, Hiren D. Patel, Sebastian Fischmeister: Using link-level latency analysis for path selection for real-time communication on NoCs. ASP-DAC 2012: 499-504

Borzoo Bonakdarpour, Sebastian Fischmeister: Runtime verification of real-time embedded systems. EMSOFT 2012: 249-250

Hany Kashif, Sebastian Fischmeister: Program transformation for time-aware instrumentation. ETFA 2012: 1-8

Xi Chen, Akramul Azim, Xue Liu, Sebastian Fischmeister: CSS: Conditional State-Based Scheduling for Networked Control Systems. RTCSA 2012: 78-87

Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister: Time-Triggered Program Self-Monitoring. RTCSA 2012: 260-269

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Path-Aware Time-Triggered Runtime Verification. RV 2012: 199-213

Akramul Azim, Sebastian Fischmeister: Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures. ETFA 2011: 1-9

Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister: Sampling-Based Runtime Verification. FM 2011: 88-102

Johnson J. Thomas, Sebastian Fischmeister, Deepak Kumar: Lowering overhead in sampling-based execution monitoring and tracing. LCTES 2011: 101-110

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Software debugging and testing using the abstract diagnosis theory. LCTES 2011: 111-120

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS 2011: 497-512

Borzoo Bonakdarpour, Sebastian Fischmeister: Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV 2011: 19-33

Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister: Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV 2011: 208-222

Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister (Eds.): Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. ACM 2011, isbn 978-1-4503-0714-7

Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee: Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010)

Sebastian Fischmeister, Patrick Lam: Time-aware Instrumentation of Real-time Programs. IEEE Trans. Industrial Informatics 6(4): 652-663 (2010)

Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister: Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. EMSOFT 2010: 199-208

Gonzalo Carvajal, Sebastian Fischmeister: A TDMA Ethernet Switch for Dynamic Real-Time Communication. FCCM 2010: 119-126

Sebastian Fischmeister, Akramul Azim: Design Choices for High-Confidence Distributed Real-Time Software. ISoLA (2) 2010: 327-342

David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim: Model-Based Programming of Modular Robots. ISORC 2010: 66-74

Sebastian Fischmeister, Yanmeng Ba: Sampling-based program execution monitoring. LCTES 2010: 133-142

Sebastian Fischmeister, Robert Trausmuth, Insup Lee: Hardware Acceleration for Programmable Real-Time Ethernet. IEEE Trans. Industrial Informatics 5(3): 325-337 (2009)

Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur: Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395

Madhukar Anand, Sebastian Fischmeister, Insup Lee: Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304

Giovani Gracioli, Sebastian Fischmeister: Tracing interrupts in embedded software. LCTES 2009: 137-146

Sebastian Fischmeister, Patrick Lam: On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 305-314

Sebastian Fischmeister, Insup Lee, Robert Trausmuth: Hardware acceleration for verifiable, adaptive real-time communication. ETFA 2008: 1425-1432

Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee: Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398

Sebastian Fischmeister, Oleg Sokolsky, Insup Lee: A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007)

Madhukar Anand, Sebastian Fischmeister, Insup Lee: Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246

Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee: A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74

Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66

Madhukar Anand, Sebastian Fischmeister, Insup Lee: An analysis framework for network-code programs. EMSOFT 2006: 122-131

Sebastian Fischmeister, Oleg Sokolsky, Insup Lee: Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324

Sebastian Fischmeister, Klemens Winkler: Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime. ECRTS 2005: 106-114

Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213

Sebastian Fischmeister: Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication. ISCC 2005: 664-670

Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas: Towards Efficient Use of Shared Communication Media in the Timed Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 342-351

Guido Menkhaus, Sebastian Fischmeister: Diaolog Model Clustering for User Interface Adaptation. ICWE 2003: 194-203

Sebastian Fischmeister, Guido Menkhaus, Alexander Stumpfl: Location-Detection Strategies in Pervasive Computing Environments. PerCom 2003: 273-278

Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree: Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures. HICSS 2002: 307

Sebastian Fischmeister: Mobile Software Agents for Location-Based Systems. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 226-239

Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree: Symbolon - A Novel Concept For Secure e-Commerce. I3E 2001: 603-616

Sebastian Fischmeister, Giovanni Vigna, Richard A. Kemmerer: Evaluating the Security of Three Java-Based Mobile Agent Systems. Mobile Agents 2001: 31-41