| 2020 | ISoLA | Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf |
| 2019 | FM | Synthesis of Railway Signaling Layout from Local Capacity Specifications. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |
| 2018 | FM | Operational Semantics of a Weak Memory Model with Channel Synchronization. | Daniel Schnetzer Fava, Martin Steffen, Volker Stolz |
| 2018 | ICTAC | Checking Modal Contracts for Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
| 2018 | IFM | Resource-Aware Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
| 2016 | FM | Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. | Bjrnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen |
| 2016 | IFM | Rule-Based Consistency Checking of Railway Infrastructure Designs. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |
| 2016 | ISoLA | Information Flow Analysis for Go. | Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert |
| 2016 | RV | Leveraging DTrace for Runtime Verification. | Carl Martin Rosenberg, Martin Steffen, Volker Stolz |
| 2014 | CLEI | Orchestration of secure Web Services within an E-government Interoperability Platform. | Emilio Penna, Martin Steffen, Laura Gonzlez, Guzmn Llambas |
| 2014 | SEFM | Effect-Polymorphic Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2014 | TASE | Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2013 | SEFM | Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. | Thi Mai Thuong Tran, Martin Steffen, Hoang Truong |
| 2010 | IFM | Safe Commits for Transactional Featherweight Java. | Thi Mai Thuong Tran, Martin Steffen |
| 2009 | IFM | Incremental Reasoning for Multiple Inheritance. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2008 | FM | Lazy Behavioral Subtyping. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2006 | CiE | Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. | Erika brahm, Andreas Grner, Martin Steffen |
| 2005 | VMCAI | Optimizing Bounded Model Checking for Linear Hybrid Systems. | Erika brahm, Bernd Becker, Felix Klaedtke, Martin Steffen |
| 2004 | ICTAC | Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. | Erika brahm, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen |
| 2002 | APSEC | Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |
| 2002 | FM | Closing Open SDL-Systems for Model Checking with DTSpin. | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |
| 2002 | FOSSACS | Verification for Java's Reentrant Multithreading Concept. | Erika brahm-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
| 2002 | VMCAI | Synchronous Closing of Timed SDL Systems for Model Checking. | Natalia Sidorova, Martin Steffen |
| 2001 | CAV | Iterating Transducers. | Dennis Dams, Yassine Lakhnech, Martin Steffen |
| 2001 | ICECCS | Verification of Hybrid Systems: Formalization and Proof Rules in PVS. | Erika brahm-Mumm, Martin Steffen, Ulrich Hannemann |
| 2001 | SAS | Embedding Chaos. | Natalia Sidorova, Martin Steffen |
| 2000 | APSEC | Verification of a wireless ATM medium-access protocol. | Natalia Sidorova, Martin Steffen |