| 2026 | ICISSP | Breaking TEMPEST: Low-Frequency Bidirectional Covert Channel on Power Lines. | Thien Dan Balsdon, Arthur Grisel-Davy, Sebastian Fischmeister |
| 2026 | ISORC | Power-Based Security Monitoring: Non-Invasive Detection of Task Execution Violations in Real-Time Systems. | Mayukh Haldar, Jenish Patel, Sebastian Fischmeister |
| 2026 | ISORC | A Context-Aware Trust Management and Calibration Framework for Cyber-Physical Systems. | Waleed Khan, Sebastian Fischmeister |
| 2025 | SERA | Mining Patterns for Maximal Coverage in Time Series. | Neeraj Nagar, Arthur Grisel-Davy, Sebastian Fischmeister |
| 2024 | AI | Robust Reinforcement Learning for Linear Temporal Logic Specifications with Finite Trajectory Duration. | Soroush Mortazavi Moghaddam, Yash Vardhan Pant, Sebastian Fischmeister |
| 2024 | ICST | Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. | Sean Kauffman, Carlos Moreno, Sebastian Fischmeister |
| 2024 | QRS | Weaknesses in LLM-Generated Code for Embedded Systems Networking. | Murray Dunne, Kylee Schram, Sebastian Fischmeister |
| 2023 | ICINCO | Zeroth-Order Optimization Attacks on Deep Reinforcement Learning-Based Lane Changing Algorithms for Autonomous Vehicles. | Dayu Zhang, Nasser Lashgarian Azad, Sebastian Fischmeister, Stefan Marksteiner |
| 2023 | QRS | Independent Boot Process Verification using Side-Channel Power Analysis. | Arthur Grisel-Davy, Sebastian Fischmeister |
| 2023 | QRS | MAD: One-Shot Machine Activity Detector for Physics-Based Cyber Security. | Arthur Grisel-Davy, Sebastian Fischmeister |
| 2022 | EMSOFT | Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis. | Arthur Grisel-Davy, Amrita Milan Bhogayata, Srijan Pabbi, Apurva Narayan, Sebastian Fischmeister |
| 2021 | DATE | vProfile: Voltage-Based Anomaly Detection in Controller Area Networks. | Nathan Liu, Carlos Moreno, Murray Dunne, Sebastian Fischmeister |
| 2020 | ICPR | A generalizable saliency map-based interpretation of model outcome. | Shailja Thakur, Sebastian Fischmeister |
| 2019 | DATE | Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA. | Shefali Sharma, Adan Flores, Chris Hobbs, Jeff Stafford, Sebastian Fischmeister |
| 2019 | ICISSP | Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter. | Carlos Moreno, Sebastian Fischmeister |
| 2019 | IJCNN | Deep Learning for System Trace Restoration. | Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister |
| 2019 | SMC | Mining Time for Timed Regular Specifications. | Apurva Narayan, Sebastian Fischmeister |
| 2019 | RV | Monitorability over Unreliable Channels. | Sean Kauffman, Klaus Havelund, Sebastian Fischmeister |
| 2019 | VEHITS | A LSTM Approach to Detection of Autonomous Vehicle Hijacking. | Naman Singh Negi, Ons Jelassi, Stphan Clmenon, Sebastian Fischmeister |
| 2018 | DATE | Non-intrusive program tracing of non-preemptive multitasking systems using power consumption. | Kamal Lamichhane, Carlos Moreno, Sebastian Fischmeister |
| 2018 | RTAS | Mining Task Precedence Graphs from Real-Time Embedded System Traces. | Oleg Iegorov, Sebastian Fischmeister |
| 2018 | RV | Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
| 2018 | SAT | Predicting SAT Solver Performance on Heterogeneous Hardware. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister |
| 2018 | SEFM | Untitled record | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
| 2017 | DAC | Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers. | Carlos Moreno, Sebastian Fischmeister |
| 2017 | ICISSP | On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?. | Carlos Moreno, Sebastian Fischmeister |
| 2017 | ICST | Perphecy: Performance Regression Test Selection Made Simple but Effective. | Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2017 | ISORC | A Reordering Framework for Testing Message-Passing Systems. | Milad Irannejad, Guy Martin Tchamgoue, Sebastian Fischmeister |
| 2017 | MASCOTS | QDIME: QoS-Aware Dynamic Binary Instrumentation. | Pansy Arafa, Guy Martin Tchamgoue, Hany Kashif, Sebastian Fischmeister |
| 2017 | QRS | Intersert: Assertions on Distributed Process Interaction Sessions. | Zack Newsham, Augusto Born de Oliveira, Jean-Christophe Petkovich, Ahmad Saif Ur Rehman, Guy Martin Tchamgoue, Sebastian Fischmeister |
| 2017 | SAC | Runtime verification of LTL on lossy traces. | Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister |
| 2017 | RTAS | Periodic Task Mining in Embedded System Traces. | Oleg Iegorov, Reinier Torres, Sebastian Fischmeister |
| 2016 | DATE | Efficient program tracing and monitoring through power consumption - with a little help from the compiler. | Carlos Moreno, Sean Kauffman, Sebastian Fischmeister |
| 2016 | ECRTS | Anomaly Detection Using Inter-Arrival Curves for Real-Time Systems. | Mahmoud Salem, Mark Crowley, Sebastian Fischmeister |
| 2016 | EMSOFT | Lessons learned on assumptions and scalability with time-aware instrumentation. | Guy Martin Tchamgoue, Sebastian Fischmeister |
| 2016 | ICCD | Efficient mode changes in multi-mode systems. | Akramul Azim, Sebastian Fischmeister |
| 2016 | RTCSA | Static Transformation of Power Consumption for Software Attestation. | Sean Kauffman, Carlos Moreno, Sebastian Fischmeister |
| 2016 | RV | Accelerated Runtime Verification of LTL Specifications with Counting Semantics. | Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi |
| 2016 | RV | Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. | Carlos Moreno, Sebastian Fischmeister |
| 2015 | EMSOFT | A framework for mining hybrid automata from input/output traces. | Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2015 | EMSOFT | Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. | Carlos Moreno, M. Anwar Hasan, Sebastian Fischmeister |
| 2015 | ETFA | Generation of communication schedules using component interfaces. | Akramul Azim, Rodolfo Pellizzoni, Sebastian Fischmeister |
| 2015 | ETFA | Static slack-based instrumentation of programs. | Hany Kashif, Johnson J. Thomas, Hiren D. Patel, Sebastian Fischmeister |
| 2015 | MODELS | Performance prediction upon toolchain migration in model-based software. | Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki |
| 2015 | RV | Time-Triggered Runtime Verification of Component-Based Multi-core Systems. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2015 | SAT | SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. | Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki |
| 2014 | DATE | Generation of communication schedules for multi-mode distributed real-time applications. | Akramul Azim, Gonzalo Carvajal, Rodolfo Pellizzoni, Sebastian Fischmeister |
| 2014 | EMSOFT | SiPTA: Signal processing for trace-based anomaly detection. | Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, Sebastian Fischmeister |
| 2014 | ETFA | D-RES: Correct transitive distributed service sharing. | Augusto Born de Oliveira, Akramul Azim, Sebastian Fischmeister, Ricardo Marau, Lus Almeida |
| 2014 | SAT | Impact of Community Structure on SAT Solver Performance. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon |
| 2013 | ASPLOS | Why you should care about quantile regression. | Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2013 | DATE | An open platform for mixed-criticality real-time ethernet. | Gonzalo Carvajal, Sebastian Fischmeister |
| 2013 | ECRTS | An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads. | Akramul Azim, Shreyas Sundaram, Sebastian Fischmeister |
| 2013 | EMSOFT | DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation. | Pansy Arafa, Hany Kashif, Sebastian Fischmeister |
| 2013 | FCCM | Atacama: An Open FPGA-Based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks. | Gonzalo Carvajal, Miguel E. Figueroa, Robert Trausmuth, Sebastian Fischmeister |
| 2013 | RTAS | ORTAP: An Offset-based response time analysis for a pipelined communication resource model. | Hany Kashif, Sina Gholamian, Rodolfo Pellizzoni, Hiren D. Patel, Sebastian Fischmeister |
| 2013 | RTCSA | INSTEP: A static instrumentation framework for preserving extra-functional properties. | Hany Kashif, Pansy Arafa, Sebastian Fischmeister |
| 2013 | RV | Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. | Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | ASPDAC | Using link-level latency analysis for path selection for real-time communication on NoCs. | Hany Kashif, Hiren D. Patel, Sebastian Fischmeister |
| 2012 | EMSOFT | Runtime verification of real-time embedded systems. | Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | ETFA | Program transformation for time-aware instrumentation. | Hany Kashif, Sebastian Fischmeister |
| 2012 | RTCSA | Time-Triggered Program Self-Monitoring. | Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister |
| 2012 | RTCSA | CSS: Conditional State-Based Scheduling for Networked Control Systems. | Xi Chen, Akramul Azim, Xue Liu, Sebastian Fischmeister |
| 2012 | RV | Path-Aware Time-Triggered Runtime Verification. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | ETFA | Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures. | Akramul Azim, Sebastian Fischmeister |
| 2011 | FM | Sampling-Based Runtime Verification. | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister |
| 2011 | OPODIS | Optimal Instrumentation of Data-flow in Concurrent Data Structures. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | RV | Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. | Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | RV | Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. | Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2010 | EMSOFT | Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. | Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister |
| 2010 | FCCM | A TDMA Ethernet Switch for Dynamic Real-Time Communication. | Gonzalo Carvajal, Sebastian Fischmeister |
| 2010 | ISoLA | Design Choices for High-Confidence Distributed Real-Time Software. | Sebastian Fischmeister, Akramul Azim |
| 2010 | ISORC | Model-Based Programming of Modular Robots. | David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim |
| 2009 | ISORC | Resource Scopes: Toward Language Support for Compositional Determinism. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2009 | RTAS | On Time-Aware Instrumentation of Programs. | Sebastian Fischmeister, Patrick Lam |
| 2008 | ETFA | Hardware acceleration for verifiable, adaptive real-time communication. | Sebastian Fischmeister, Insup Lee, Robert Trausmuth |
| 2008 | ISORC | Compositional Feasibility Analysis of Conditional Real-Time Task Models. | Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee |
| 2007 | ECRTS | Composition Techniques for Tree Communication Schedules. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2007 | EMSOFT | A dynamic scheduling approach to designing flexible safety-critical systems. | Lus Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee |
| 2006 | EMSOFT | An analysis framework for network-code programs. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2006 | RTAS | Network-Code Machine: Programmable Real-Time Communication Schedules. | Sebastian Fischmeister, Oleg Sokolsky, Insup Lee |
| 2005 | ECRTS | Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime. | Sebastian Fischmeister, Klemens Winkler |
| 2005 | EMSOFT | Distributed-code generation from hybrid systems models for time-delayed multirate systems. | Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee |
| 2005 | ISCC | Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication. | Sebastian Fischmeister |
| 2005 | RTAS | Towards Efficient Use of Shared Communication Media in the Timed Model. | Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas |
| 2003 | ICWE | Diaolog Model Clustering for User Interface Adaptation. | Guido Menkhaus, Sebastian Fischmeister |
| 2003 | PERCOM | Location-Detection Strategies in Pervasive Computing Environments. | Sebastian Fischmeister, Guido Menkhaus, Alexander Stumpfl |