default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Steffen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j27]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): 211-245 (2021)- 2020
- [j26]Daniel Schnetzer Fava, Martin Steffen:
Ready, set, Go!: Data-race detection and the Go language. Sci. Comput. Program. 195: 102473 (2020) - [c62]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. ISoLA (1) 2020: 103-121 - [e4]Javier Cámara, Martin Steffen:
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12226, Springer 2020, ISBN 978-3-030-57505-2 [contents]
2010 – 2019
- 2019
- [j25]Daniel Schnetzer Fava, Martin Steffen, Volker Stolz:
Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. 103: 1-30 (2019) - [j24]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: 1-26 (2019) - [c61]Bjørnar Luteberget, Christian Johansen, Martin Steffen:
Synthesis of Railway Signaling Layout from Local Capacity Specifications. FM 2019: 121-137 - [i2]Daniel Schnetzer Fava, Martin Steffen:
Ready, set, Go! Data-race detection and the Go language. CoRR abs/1910.12643 (2019) - 2018
- [j23]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Virtually timed ambients: A calculus of nested virtualization. J. Log. Algebraic Methods Program. 94: 109-127 (2018) - [c60]Daniel Schnetzer Fava, Martin Steffen, Volker Stolz:
Operational Semantics of a Weak Memory Model with Channel Synchronization. FM 2018: 258-276 - [c59]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
Checking Modal Contracts for Virtually Timed Ambients. ICTAC 2018: 252-272 - [c58]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
Resource-Aware Virtually Timed Ambients. IFM 2018: 194-213 - [c57]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
An Analysis Tool for Models of Virtualized Systems. NIK 2018 - [i1]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Assumption Commitment Types for Resource Management in Virtually Timed Ambients. CoRR abs/1806.08653 (2018) - 2017
- [c56]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: 84-99 - 2016
- [j22]Ka I Pun, Martin Steffen, Volker Stolz:
Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. 85(6): 1234-1267 (2016) - [j21]Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen:
Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. 26(3): 561-605 (2016) - [j20]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): 330-335 (2016) - [c55]Martin Steffen:
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions. Theory and Practice of Formal Methods 2016: 393-406 - [c54]Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen:
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. FM 2016: 772-778 - [c53]Bjørnar Luteberget, Christian Johansen, Martin Steffen:
Rule-Based Consistency Checking of Railway Infrastructure Designs. IFM 2016: 491-507 - [c52]Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert:
Information Flow Analysis for Go. ISoLA (1) 2016: 431-445 - [c51]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 - [c50]Carl Martin Rosenberg, Martin Steffen, Volker Stolz:
Leveraging DTrace for Runtime Verification. RV 2016: 318-332 - [c49]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
A Calculus of Virtually Timed Ambients. WADT 2016: 88-103 - [p1]Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Meeting Deadlines, Elastically. From Action Systems to Distributed Systems 2016: 99-111 - 2014
- [j19]Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock checking by data race detection. J. Log. Algebraic Methods Program. 83(5-6): 400-426 (2014) - [c48]Emilio Penna, Martin Steffen, Laura González, Guzmán Llambías:
Orchestration of secure Web Services within an E-government Interoperability Platform. CLEI 2014: 1-12 - [c47]Ka I Pun, Martin Steffen, Volker Stolz:
Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM 2014: 50-64 - [c46]Ka I Pun, Martin Steffen, Volker Stolz:
Behaviour Inference for Deadlock Checking. TASE 2014: 106-113 - 2013
- [j18]Olaf Owe, Martin Steffen, Jan Arne Telle:
The 18th International Symposium on Fundamentals of Computation Theory. Inf. Comput. 231: 1-2 (2013) - [j17]Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen:
Reachability analysis of complex planar hybrid systems. Sci. Comput. Program. 78(12): 2511-2536 (2013) - [c45]Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock Checking by Data Race Detection. FSEN 2013: 34-50 - [c44]Thi Mai Thuong Tran, Martin Steffen, Hoang Truong:
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. SEFM 2013: 212-228 - 2012
- [j16]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): 257-283 (2012) - [j15]Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebraic Methods Program. 81(3): 331-354 (2012) - [j14]Frank S. de Boer, Immo Grabe, Martin Steffen:
Termination detection for active objects. J. Log. Algebraic Methods Program. 81(4): 541-557 (2012) - [c43]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: 110-127 - [c42]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: 21-30 - 2011
- [j13]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): 11-14 (2011) - [j12]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011) - [c41]Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe Locking for Multi-threaded Java. FSEN 2011: 158-173 - [c40]Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen:
Reachability Analysis of Non-linear Planar Autonomous Systems. FSEN 2011: 206-220 - [c39]Thi Mai Thuong Tran, Martin Steffen:
Design Issues in Concurrent Object-Oriented Languages and Observability. KSE 2011: 135-142 - [e3]Olaf Owe, Martin Steffen, Jan Arne Telle:
Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6914, Springer 2011, ISBN 978-3-642-22952-7 [contents] - 2010
- [j11]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79(7): 578-607 (2010) - [c38]Dennis Dams, Ulrich Hannemann, Martin Steffen:
A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness 2010: 1-9 - [c37]Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen:
ABS: A Core Language for Abstract Behavioral Specification. FMCO 2010: 142-164 - [c36]Thi Mai Thuong Tran, Martin Steffen:
Safe Commits for Transactional Featherweight Java. IFM 2010: 290-304 - [c35]Olaf Owe, Martin Steffen, Arild B. Torjusen:
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. MBT@ETAPS 2010: 69-84 - [e2]Dennis Dams, Ulrich Hannemann, Martin Steffen:
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Lecture Notes in Computer Science 5930, Springer 2010, ISBN 978-3-642-11511-0 [contents]
2000 – 2009
- 2009
- [j10]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): 491-518 (2009) - [c34]Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen:
Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN 2009: 324-339 - [c33]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230 - [c32]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. TTSS 2009: 33-48 - 2008
- [j9]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) - [j8]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): 391-463 (2008) - [j7]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. 43(3-4): 322-361 (2008) - [j6]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Heap-abstraction for an object-oriented calculus with thread classes. Softw. Syst. Model. 7(2): 177-208 (2008) - [c31]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: 411-416 - [c30]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy Behavioral Subtyping. FM 2008: 52-67 - [c29]Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen:
Java Test Driver Generation from Object-Oriented Interaction Traces. TTSS 2008: 33-47 - 2007
- [c28]Olaf Owe, Gerardo Schneider, Martin Steffen:
Components, objects, and contracts. SAVCBS 2007: 95-98 - 2006
- [c27]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10 - [c26]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232 - [c25]Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162 - [c24]Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Bounded Model Checking with Parametric Data Structures. BMC@FLoC 2006: 3-16 - 2005
- [j5]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): 251-290 (2005) - [c23]Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen:
Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412 - [c22]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN 2005: 281-297 - [e1]Martin Steffen, Gianluigi Zavattaro:
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535, Springer 2005, ISBN 3-540-26181-8 [contents] - 2004
- [c21]Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám:
A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69 - [c20]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: 296-316 - [c19]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: 37-51 - [c18]Harald Fecher, Martin Steffen:
Characteristic mu-Calculus Formulas for Underspecified Transition Systems. EXPRESS 2004: 103-116 - 2003
- [c17]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice 2003: 290-303 - [c16]Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313 - [c15]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169 - 2002
- [j4]Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church:
Automated modelling of signal transduction networks. BMC Bioinform. 3: 34 (2002) - [j3]Dennis Dams, Yassine Lakhnech, Martin Steffen:
Iterating transducers. J. Log. Algebraic Methods Program. 52-53: 109-127 (2002) - [c14]Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227- - [c13]Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548 - [c12]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32 - [c11]Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20 - [c10]Natalia Sidorova, Martin Steffen:
Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI 2002: 79-93 - 2001
- [c9]Dennis Dams, Yassine Lakhnech, Martin Steffen:
Iterating Transducers. CAV 2001: 286-297 - [c8]Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen:
Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109 - [c7]Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann:
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS 2001: 48-57 - [c6]Natalia Sidorova, Martin Steffen:
Embedding Chaos. SAS 2001: 319-334 - [c5]Natalia Sidorova, Martin Steffen:
Verifying Large SDL-Specifications Using Model Checking. SDL Forum 2001: 403-420 - 2000
- [c4]Natalia Sidorova, Martin Steffen:
Verification of a wireless ATM medium-access protocol. APSEC 2000: 84-91
1990 – 1999
- 1999
- [b1]Martin Steffen:
Polarized higher-order subtyping. University of Erlangen-Nuremberg, Germany, 1999, pp. 1-252 - [c3]Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen:
Divide, Abstract, and Model-Check. SPIN 1999: 57-76 - 1998
- [j2]Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup:
Inheritance of Proofs. Theory Pract. Object Syst. 4(1): 51-69 (1998) - 1997
- [j1]Benjamin C. Pierce, Martin Steffen:
Higher-Order Subtyping. Theor. Comput. Sci. 176(1-2): 235-282 (1997) - 1995
- [c2]Uwe Nestmann, Martin Steffen:
Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence 1995: 23-42 - 1994
- [c1]Martin Steffen, Benjamin C. Pierce:
Higher-Order Subtyping. PROCOMET 1994: 511-530
Coauthor Index
Erika Ábrahám
aka: Erika Ábrahám-Mumm
aka: Erika Ábrahám-Mumm
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
