Martin Steffen

ORCID

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 24

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

CoRR

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. 57 (2) (2021)
Daniel Schnetzer Fava, Martin Steffen
Ready, set, Go!: Data-race detection and the Go language. Sci. Comput. Program. 195 (2020)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. ISoLA (1) (2020)
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181 (2019)
Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. 103 (2019)
Daniel Schnetzer Fava, Martin Steffen
Ready, set, Go! Data-race detection and the Go language. CoRR (2019)
Bjørnar Luteberget, Christian Johansen, Martin Steffen
Synthesis of Railway Signaling Layout from Local Capacity Specifications. FM (2019)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Assumption Commitment Types for Resource Management in Virtually Timed Ambients. CoRR (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
Resource-Aware Virtually Timed Ambients. IFM (2018)
Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
Operational Semantics of a Weak Memory Model with Channel Synchronization. FM (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
An Analysis Tool for Models of Virtualized Systems. NIK (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Virtually timed ambients: A calculus of nested virtualization. J. Log. Algebraic Methods Program. 94 (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
Checking Modal Contracts for Virtually Timed Ambients. ICTAC (2018)
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN (2017)
Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. FM (2016)
Carl Martin Rosenberg, Martin Steffen, Volker Stolz
Leveraging DTrace for Runtime Verification. RV (2016)
Yi-Chien Chang, Zhenjun Hu, John Rachlin, Brian P. Anton, Simon Kasif, Richard J. Roberts, Martin Steffen
COMBREX-DB: an experiment centered database of protein function: knowledge, predictions and knowledge gaps. Nucleic Acids Res. 44 (Database-Issue) (2016)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
A Calculus of Virtually Timed Ambients. WADT (2016)
Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen
Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. 26 (3) (2016)
Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK (2016)
Bjørnar Luteberget, Christian Johansen, Martin Steffen
Rule-Based Consistency Checking of Railway Infrastructure Designs. IFM (2016)
Martin Steffen
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions. Theory and Practice of Formal Methods (2016)
Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert
Information Flow Analysis for Go. ISoLA (1) (2016)
Ka I Pun, Martin Steffen, Volker Stolz
Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. 85 (6) (2016)
Ka I Pun, Martin Steffen, Volker Stolz
Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM (2014)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock checking by data race detection. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Ka I Pun, Martin Steffen, Volker Stolz
Behaviour Inference for Deadlock Checking. TASE (2014)
Emilio Penna, Martin Steffen, Laura González, Guzmán Llambías
Orchestration of secure Web Services within an E-government Interoperability Platform. CLEI (2014)
Olaf Owe, Martin Steffen, Jan Arne Telle
The 18th International Symposium on Fundamentals of Computation Theory. Inf. Comput. 231 (2013)
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Reachability analysis of complex planar hybrid systems. Sci. Comput. Program. 78 (12) (2013)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock Checking by Data Race Detection. FSEN (2013)
Thi Mai Thuong Tran, Martin Steffen, Hoang Truong
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. SEFM (2013)
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. 81 (3) (2012)
Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen
A type system for finding upper resource bounds of multi-threaded programs with nested transactions. SoICT (2012)
Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS (2012)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebraic Methods Program. 81 (3) (2012)
Frank S. de Boer, Immo Grabe, Martin Steffen
Termination detection for active objects. J. Log. Algebraic Methods Program. 81 (4) (2012)
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
Safe Locking for Multi-threaded Java. FSEN (2011)
Richard J. Roberts, Yi-Chien Chang, Zhenjun Hu, John Rachlin, Brian P. Anton, Revonda M. Pokrzywa, Han-Pil Choi, Lina L. Faller, Jyotsna Guleria, Genevieve Housman, Niels Klitgord, Varun Mazumdar, Mark G. McGettrick, Lais Osmani, Rajeswari Swaminathan, Kevin R. Tao, Stanley Letovsky, Dennis Vitkup, Daniel Segrè, Steven L. Salzberg, Charles DeLisi, Martin Steffen, Simon Kasif
COMBREX: a project to accelerate the functional annotation of prokaryotic genomes. Nucleic Acids Res. 39 (Database-Issue) (2011)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76 (10) (2011)
Thi Mai Thuong Tran, Martin Steffen
Design Issues in Concurrent Object-Oriented Languages and Observability. KSE (2011)
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Reachability Analysis of Non-linear Planar Autonomous Systems. FSEN (2011)
Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
ABS: A Core Language for Abstract Behavioral Specification. FMCO (2010)
Olaf Owe, Martin Steffen, Arild B. Torjusen
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Thi Mai Thuong Tran, Martin Steffen
Safe Commits for Transactional Featherweight Java. IFM (2010)
Dennis Dams, Ulrich Hannemann, Martin Steffen
A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness (2010)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79 (7) (2010)
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen
Java Test Driver Generation from Object-Oriented Interaction Traces. Electron. Notes Theor. Comput. Sci. 243 (2009)
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen
Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN (2009)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Incremental Reasoning for Multiple Inheritance. IFM (2009)
Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen
Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebraic Methods Program. 78 (7) (2009)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Lazy Behavioral Subtyping. FM (2008)
Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, David Gold, Eric D. Kolaczyk
Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction. BIBM (2008)
Erika Ábrahám, Andreas Grüner, Martin Steffen
Heap-abstraction for an object-oriented calculus with thread classes. Softw. Syst. Model. 7 (2) (2008)
Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, Eric D. Kolaczyk
Integration of relational and hierarchical network information for protein function prediction. BMC Bioinform. 9 (2008)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae 82 (4) (2008)
Erika Ábrahám, Andreas Grüner, Martin Steffen
Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. 43 (3-4) (2008)
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
Bounded Model Checking with Parametric Data Structures. Electron. Notes Theor. Comput. Sci. 174 (3) (2007)
Olaf Owe, Gerardo Schneider, Martin Steffen
Components, objects, and contracts. SAVCBS (2007)
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV (2006)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Inductive Proof Outlines for Exceptions in Multithreaded Java. Electron. Notes Theor. Comput. Sci. 159 (2006)
Erika Ábrahám, Andreas Grüner, Martin Steffen
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE (2006)
Erika Ábrahám, Andreas Grüner, Martin Steffen
Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS (2006)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331 (2-3) (2005)
Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI (2005)
Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC (2004)
Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
A Fully Abstract Semantics for UML Components. FMCO (2004)
Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO (2004)
Harald Fecher, Martin Steffen
Characteristic mu-Calculus Formulas for Underspecified Transition Systems. EXPRESS (2004)
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO (2003)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
. Verification: Theory and Practice (2003)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Inductive Proof Outlines for Monitors in Java. FMOODS (2003)
Natalia Sidorova, Martin Steffen
Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI (2002)
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC (2002)
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
Closing Open SDL-Systems for Model Checking with DTSpin. FME (2002)
Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church
Automated modelling of signal transduction networks. BMC Bioinform. 3 (2002)
Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Verification for Java's Reentrant Multithreading Concept. FoSSaCS (2002)
Dennis Dams, Yassine Lakhnech, Martin Steffen
Iterating transducers. J. Log. Algebraic Methods Program. (2002)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
A Tool-Supported Proof System for Multithreaded Java. FMCO (2002)
Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST (2001)
Natalia Sidorova, Martin Steffen
Verifying Large SDL-Specifications Using Model Checking. SDL Forum (2001)
Dennis Dams, Yassine Lakhnech, Martin Steffen
Iterating Transducers. CAV (2001)
Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS (2001)
Natalia Sidorova, Martin Steffen
Embedding Chaos. SAS (2001)
Natalia Sidorova, Martin Steffen
Verification of a wireless ATM medium-access protocol. APSEC (2000)
Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
Divide, Abstract, and Model-Check. SPIN (1999)
Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup
Inheritance of Proofs. Theory Pract. Object Syst. 4 (1) (1998)
Benjamin C. Pierce, Martin Steffen
Higher-Order Subtyping. Theor. Comput. Sci. 176 (1-2) (1997)
Uwe Nestmann, Martin Steffen
Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence (1995)
Martin Steffen, Benjamin C. Pierce
Higher-Order Subtyping. PROCOMET (1994)

Martin Steffen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Steffen