Martin Steffen

97 papers A* 1B 17C 6Misc 1Journal 29Unranked 38

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
2020	—	`conf`	Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. ISoLA (1) Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2020	J	`jnl`	Ready, set, Go!: Data-race detection and the Go language. Sci. Comput. Program. Daniel Schnetzer Fava, Martin Steffen
2020	—	`ed.`	Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers SEFM Workshops Javier Cámara, Martin Steffen
2019	J	`jnl`	Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
2019	J	`jnl`	Ready, set, Go! Data-race detection and the Go language. CoRR Daniel Schnetzer Fava, Martin Steffen
2019	B	`conf`	Synthesis of Railway Signaling Layout from Local Capacity Specifications. FM Bjørnar Luteberget, Christian Johansen, Martin Steffen
2019	J	`jnl`	Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
2018	—	`conf`	An Analysis Tool for Models of Virtualized Systems. NIK Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
2018	J	`jnl`	Assumption Commitment Types for Resource Management in Virtually Timed Ambients. CoRR Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2018	C	`conf`	Checking Modal Contracts for Virtually Timed Ambients. ICTAC Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
2018	B	`conf`	Operational Semantics of a Weak Memory Model with Channel Synchronization. FM Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
2018	B	`conf`	Resource-Aware Virtually Timed Ambients. IFM Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
2018	J	`jnl`	Virtually timed ambients: A calculus of nested virtualization. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2017	—	`conf`	Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
2016	—	`conf`	A Calculus of Virtually Timed Ambients. WADT Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2016	—	`conf`	A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions. Theory and Practice of Formal Methods Martin Steffen
2016	—	`conf`	Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu
2016	J	`jnl`	COMBREX-DB: an experiment centered database of protein function: knowledge, predictions and knowledge gaps. Nucleic Acids Res. Yi-Chien Chang, Zhenjun Hu, John Rachlin, Brian P. Anton, Simon Kasif, Richard J. Roberts, Martin Steffen
2016	J	`jnl`	Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. Ka I Pun, Martin Steffen, Volker Stolz
2016	—	`conf`	Information Flow Analysis for Go. ISoLA (1) Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert
2016	B	`conf`	Leveraging DTrace for Runtime Verification. RV Carl Martin Rosenberg, Martin Steffen, Volker Stolz
2016	—	`ch.`	Meeting Deadlines, Elastically. From Action Systems to Distributed Systems Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2016	J	`jnl`	Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen
2016	B	`conf`	Rule-Based Consistency Checking of Railway Infrastructure Designs. IFM Bjørnar Luteberget, Christian Johansen, Martin Steffen
2016	B	`conf`	Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. FM Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen
2014	Misc	`conf`	Behaviour Inference for Deadlock Checking. TASE Ka I Pun, Martin Steffen, Volker Stolz
2014	J	`jnl`	Deadlock checking by data race detection. J. Log. Algebraic Methods Program. Ka I Pun, Martin Steffen, Volker Stolz
2014	B	`conf`	Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM Ka I Pun, Martin Steffen, Volker Stolz
2014	C	`conf`	Orchestration of secure Web Services within an E-government Interoperability Platform. CLEI Emilio Penna, Martin Steffen, Laura González, Guzmán Llambías
2013	B	`conf`	Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. SEFM Thi Mai Thuong Tran, Martin Steffen, Hoang Truong
2013	—	`conf`	Deadlock Checking by Data Race Detection. FSEN Ka I Pun, Martin Steffen, Volker Stolz
2013	J	`jnl`	Reachability analysis of complex planar hybrid systems. Sci. Comput. Program. Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
2013	J	`jnl`	The 18th International Symposium on Fundamentals of Computation Theory. Inf. Comput. Olaf Owe, Martin Steffen, Jan Arne Telle
2012	—	`conf`	A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
2012	—	`conf`	A type system for finding upper resource bounds of multi-threaded programs with nested transactions. SoICT Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen
2012	J	`jnl`	Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebraic Methods Program. Ka I Pun, Martin Steffen, Volker Stolz
2012	J	`jnl`	Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2012	J	`jnl`	Termination detection for active objects. J. Log. Algebraic Methods Program. Frank S. de Boer, Immo Grabe, Martin Steffen
2011	J	`jnl`	COMBREX: a project to accelerate the functional annotation of prokaryotic genomes. Nucleic Acids Res. 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
2011	—	`conf`	Design Issues in Concurrent Object-Oriented Languages and Observability. KSE Thi Mai Thuong Tran, Martin Steffen
2011	B	`ed.`	Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings FCT Olaf Owe, Martin Steffen, Jan Arne Telle
2011	J	`jnl`	Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2011	—	`conf`	Reachability Analysis of Non-linear Planar Autonomous Systems. FSEN Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
2011	—	`conf`	Safe Locking for Multi-threaded Java. FSEN Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2010	—	`conf`	A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness Dennis Dams, Ulrich Hannemann, Martin Steffen
2010	—	`conf`	ABS: A Core Language for Abstract Behavioral Specification. FMCO Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
2010	—	`ed.`	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever Concurrency, Compositionality, and Correctness Dennis Dams, Ulrich Hannemann, Martin Steffen
2010	J	`jnl`	Lazy behavioral subtyping. J. Log. Algebraic Methods Program. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2010	—	`conf`	Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. MBT@ETAPS Olaf Owe, Martin Steffen, Arild B. Torjusen
2010	B	`conf`	Safe Commits for Transactional Featherweight Java. IFM Thi Mai Thuong Tran, Martin Steffen
2009	J	`jnl`	Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebraic Methods Program. Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen
2009	—	`conf`	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 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
2009	—	`conf`	Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen
2009	B	`conf`	Incremental Reasoning for Multiple Inheritance. IFM Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2008	J	`jnl`	A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2008	J	`jnl`	Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. Erika Ábrahám, Andreas Grüner, Martin Steffen
2008	—	`conf`	Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction. BIBM Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, David Gold, Eric D. Kolaczyk
2008	J	`jnl`	Heap-abstraction for an object-oriented calculus with thread classes. Softw. Syst. Model. Erika Ábrahám, Andreas Grüner, Martin Steffen
2008	J	`jnl`	Integration of relational and hierarchical network information for protein function prediction. BMC Bioinform. Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, Eric D. Kolaczyk
2008	—	`conf`	Java Test Driver Generation from Object-Oriented Interaction Traces. TTSS Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen
2008	B	`conf`	Lazy Behavioral Subtyping. FM Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2007	—	`conf`	Components, objects, and contracts. SAVCBS Olaf Owe, Gerardo Schneider, Martin Steffen
2006	—	`conf`	Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS Erika Ábrahám, Andreas Grüner, Martin Steffen
2006	—	`conf`	Bounded Model Checking with Parametric Data Structures. BMC@FLoC Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2006	C	`conf`	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE Erika Ábrahám, Andreas Grüner, Martin Steffen
2006	—	`conf`	Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2005	J	`jnl`	An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	—	`ed.`	Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings FMOODS Martin Steffen, Gianluigi Zavattaro
2005	—	`conf`	Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	B	`conf`	Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
2004	—	`conf`	A Fully Abstract Semantics for UML Components. FMCO Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
2004	—	`conf`	Characteristic mu-Calculus Formulas for Underspecified Transition Systems. EXPRESS Harald Fecher, Martin Steffen
2004	C	`conf`	Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
2004	—	`conf`	Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
2003	—	`conf`	A Compositional Operational Semantics for Java Verification: Theory and Practice Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2003	—	`conf`	Inductive Proof Outlines for Monitors in Java. FMOODS Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2003	—	`conf`	Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2002	—	`conf`	A Tool-Supported Proof System for Multithreaded Java. FMCO Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2002	C	`conf`	Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2002	J	`jnl`	Automated modelling of signal transduction networks. BMC Bioinform. Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church
2002	—	`conf`	Closing Open SDL-Systems for Model Checking with DTSpin. FME Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2002	J	`jnl`	Iterating transducers. J. Log. Algebraic Methods Program. Dennis Dams, Yassine Lakhnech, Martin Steffen
2002	B	`conf`	Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI Natalia Sidorova, Martin Steffen
2002	B	`conf`	Verification for Java's Reentrant Multithreading Concept. FoSSaCS Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2001	—	`conf`	Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
2001	B	`conf`	Embedding Chaos. SAS Natalia Sidorova, Martin Steffen
2001	A*	`conf`	Iterating Transducers. CAV Dennis Dams, Yassine Lakhnech, Martin Steffen
2001	B	`conf`	Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
2001	—	`conf`	Verifying Large SDL-Specifications Using Model Checking. SDL Forum Natalia Sidorova, Martin Steffen
2000	C	`conf`	Verification of a wireless ATM medium-access protocol. APSEC Natalia Sidorova, Martin Steffen
1999	—	`conf`	Divide, Abstract, and Model-Check. SPIN Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
1999	—	`—`	Polarized higher-order subtyping. Martin Steffen
1998	J	`jnl`	Inheritance of Proofs. Theory Pract. Object Syst. Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup
1997	J	`jnl`	Higher-Order Subtyping. Theor. Comput. Sci. Benjamin C. Pierce, Martin Steffen
1995	—	`conf`	Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence Uwe Nestmann, Martin Steffen
1994	—	`conf`	Higher-Order Subtyping. PROCOMET Martin Steffen, Benjamin C. Pierce