| 2023 | Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. | Anoop Bhagyanath, Nadine Kercher, Klaus Schneider |
| 2023 | Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. | Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee |
| 2022 | A novel approach to Real-time contract based reasoning for Hybrid Systems. | Surinder Sood, Avinash Malik, Partha S. Roop |
| 2022 | Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. | Surinder Sood, Avinash Malik, Partha S. Roop |
| 2022 | Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models. | Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara Knig, Viktor Matkovic |
| 2022 | Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. | Vinayak S. Prabhu, Meetkumar Savaliya |
| 2022 | ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. | Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay |
| 2022 | A small, but important, concurrency problem in Verilog's semantics? (Work in progress). | Andreas Lw |
| 2022 | Creating a Language for Writing Real-Time Applications for the Internet of Things. | Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen |
| 2022 | Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. | Ruiqi Hu, Kairong Liu, Zhikun She |
| 2022 | Mechanization of a Large DSML: An Experiment with AADL and Coq. | Jrme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart |
| 2022 | Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC. | Anup Das |
| 2022 | A Reinforcement-Learning Style Algorithm for Black Box Automata. | Itay Cohen, Roi Fogler, Doron Peled |
| 2022 | Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan |
| 2022 | Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. | Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop |
| 2022 | Runtime Verification for Clinically Interpretable Arrhythmia Classification. | Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2021 | Verified functional programming of an IoT operating system's bootloader. | Shenghao Yuan, Jean-Pierre Talpin |
| 2021 | Translation of continuous function charts to imperative synchronous quartz programs. | Marcel Christian Werner, Klaus Schneider |
| 2021 | LION: real-time I/O transfer control for massively parallel processor arrays. | Dominik Walter, Jrgen Teich |
| 2021 | Online monitoring of spatio-temporal properties for imprecise signals. | Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi |
| 2021 | Translating structured sequential programs to dataflow graphs. | Klaus Schneider |
| 2021 | Design and formal verification of a copland-based attestation protocol. | Adam Petz, Grant Jurgensen, Perry Alexander |
| 2021 | A secure insulin infusion system using verification monitors. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2021 | Learning optimal decisions for stochastic hybrid systems. | Mathis Niehage, Arnd Hartmanns, Anne Remke |
| 2021 | Simplification of numeric variables for PLC model checking. | Ignacio D. Lopez-Miguel, Borja Fernndez Adiego, Jean-Charles Tournier, Enrique Blanco Viuela, Juan A. Rodrguez-Aguilar |