Edit Profile (opens in new tab) Steffen, Martin Compute Distance To: Compute Author ID: steffen.martin Published as: Steffen, Martin; Steffen, M. Documents Indexed: 49 Publications since 1997 4 Contributions as Editor Co-Authors: 37 Co-Authors with 50 Joint Publications 640 Co-Co-Authors all top 5 Co-Authors 1 single-authored 17 Ábrahám, Erika 10 de Boer, Frank S. 9 Johnsen, Einar Broch 7 Owe, Olaf 6 de Roever, Willem-Paul 6 Stolz, Volker 5 Grüner, Andreas 5 Sidorova, Natalia 4 Dams, Dennis René 4 Pun, Ka I. 3 Bonsangue, Marcello Maria 3 Dovland, Johan 3 Grabe, Immo 3 Hannemann, Ulrich 3 Mai Thuong Tran, Thi 3 Stumpf, Johanna Beate 2 Becker, Bernd 2 Fava, Daniel Schnetzer 2 Freytag, B. 2 Ioustinova, Natalia 2 Lakhnech, Yassine 2 Telle, Jan Arne 1 Claessen, Koen 1 Din, Crystal Chang 1 Fecher, Harald 1 Gkolfi, Anastasia 1 Hansen, Hallstein Asheim 1 Herbstritt, Marc 1 Johansen, Christian 1 Klaedtke, Felix 1 Kyas, Marcel 1 Ludwig, H.-G. 1 Luteberget, Bjørnar 1 Pierce, Benjamin C. 1 Schaffenberger, W. 1 Schneider, Gerardo 1 Steiner, Oskar 1 Torjusen, Arild B. 1 Tveito, Lars 1 Wedemeyer-Böhm, S. 1 Yu, Ingrid Chieh 1 Zavattaro, Gianluigi all top 5 Serials 6 The Journal of Logic and Algebraic Programming 4 Journal of Logical and Algebraic Methods in Programming 3 Lecture Notes in Computer Science 2 Theoretical Computer Science 1 Astronomische Nachrichten 1 Journal of Computational Physics 1 Science of Computer Programming 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Theory of Computing Systems 1 Fundamenta Informaticae all top 5 Fields 51 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Fluid mechanics (76-XX) 2 Astronomy and astrophysics (85-XX) 2 Systems theory; control (93-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 87 times in 72 Documents Cited by ▼ Year ▼ Higher-order subtyping. Zbl 0903.68020Pierce, Benjamin; Steffen, Martin 11 1997 An assertion-based proof system for multithreaded Java. Zbl 1070.68016Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 8 2005 Lazy behavioral subtyping. Zbl 1204.68072Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 8 2010 Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin 7 2009 Verification for Java’s reentrant multithreading concept. Zbl 1077.68552Ábrahám-Mumm, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 6 2002 Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin 5 2005 Iterating transducers. Zbl 0991.68036Dams, Dennis; Lakhnech, Yassine; Steffen, Martin 5 2001 Characteristic \(\mu\)-calculus formulas for underspecified transition systems. Zbl 1272.68301Fecher, Harald; Steffen, Martin 3 2005 Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 3 2008 Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 3 2011 Inductive proof outlines for monitors in Java. Zbl 1253.68080Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 3 2003 Iterating transducers. Zbl 1008.68062Dams, Dennis; Lakhnech, Yassine; Steffen, Martin 3 2002 Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097Pun, Ka I.; Steffen, Martin; Stolz, Volker 2 2012 Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin 2 2005 Incremental reasoning for multiple inheritance. Zbl 1211.68084Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 2 2009 A calculus of virtually timed ambients. Zbl 1496.68230Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate 1 2017 Operational semantics of a weak memory model with channel synchronization. Zbl 1460.68027Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker 1 2018 A small-step semantics of a concurrent calculus with Goroutines and deferred functions. Zbl 1475.68050Steffen, Martin 1 2016 A compositional operational semantics for Java\(_{\text{MT}}\). Zbl 1274.68037Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 1 2003 Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate 1 2018 Deadlock checking by data race detection. Zbl 1371.68199Pun, Ka I; Steffen, Martin; Stolz, Volker 1 2014 Deadlock checking by data race detection. Zbl 1434.68112Pun, Ka I; Steffen, Martin; Stolz, Volker 1 2013 Safe locking for multi-threaded Java. Zbl 1353.68029Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin 1 2012 Termination detection for active objects. Zbl 1243.68221de Boer, Frank S.; Grabe, Immo; Steffen, Martin 1 2012 Operational semantics of a weak memory model with channel synchronization. Zbl 1417.68093Fava, Daniel S.; Steffen, Martin; Stolz, Volker 1 2019 A deductive proof system for multithreaded Java with exceptions. Zbl 1144.68012Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 1 2008 Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin 1 2005 A tool-supported proof system for multithreaded Java. Zbl 1254.68055Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 1 2003 Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Zbl 1183.68009 1 2010 Assertion-based analysis of hybrid systems with PVS. Zbl 1023.93510Ábrahám-Mumm, Erika; Hannemann, Ulrich; Steffen, Martin 1 2001 SAT modulo discrete event simulation applied to railway design capacity analysis. Zbl 07440322Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian; Steffen, Martin 1 2021 SAT modulo discrete event simulation applied to railway design capacity analysis. Zbl 07440322Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian; Steffen, Martin 1 2021 Operational semantics of a weak memory model with channel synchronization. Zbl 1417.68093Fava, Daniel S.; Steffen, Martin; Stolz, Volker 1 2019 Operational semantics of a weak memory model with channel synchronization. Zbl 1460.68027Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker 1 2018 Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate 1 2018 A calculus of virtually timed ambients. Zbl 1496.68230Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate 1 2017 A small-step semantics of a concurrent calculus with Goroutines and deferred functions. Zbl 1475.68050Steffen, Martin 1 2016 Deadlock checking by data race detection. Zbl 1371.68199Pun, Ka I; Steffen, Martin; Stolz, Volker 1 2014 Deadlock checking by data race detection. Zbl 1434.68112Pun, Ka I; Steffen, Martin; Stolz, Volker 1 2013 Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097Pun, Ka I.; Steffen, Martin; Stolz, Volker 2 2012 Safe locking for multi-threaded Java. Zbl 1353.68029Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin 1 2012 Termination detection for active objects. Zbl 1243.68221de Boer, Frank S.; Grabe, Immo; Steffen, Martin 1 2012 Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 3 2011 Lazy behavioral subtyping. Zbl 1204.68072Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 8 2010 Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Zbl 1183.68009 1 2010 Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin 7 2009 Incremental reasoning for multiple inheritance. Zbl 1211.68084Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 2 2009 Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 3 2008 A deductive proof system for multithreaded Java with exceptions. Zbl 1144.68012Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 1 2008 An assertion-based proof system for multithreaded Java. Zbl 1070.68016Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 8 2005 Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin 5 2005 Characteristic \(\mu\)-calculus formulas for underspecified transition systems. Zbl 1272.68301Fecher, Harald; Steffen, Martin 3 2005 Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin 2 2005 Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin 1 2005 Inductive proof outlines for monitors in Java. Zbl 1253.68080Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 3 2003 A compositional operational semantics for Java\(_{\text{MT}}\). Zbl 1274.68037Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 1 2003 A tool-supported proof system for multithreaded Java. Zbl 1254.68055Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 1 2003 Verification for Java’s reentrant multithreading concept. Zbl 1077.68552Ábrahám-Mumm, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 6 2002 Iterating transducers. Zbl 1008.68062Dams, Dennis; Lakhnech, Yassine; Steffen, Martin 3 2002 Iterating transducers. Zbl 0991.68036Dams, Dennis; Lakhnech, Yassine; Steffen, Martin 5 2001 Assertion-based analysis of hybrid systems with PVS. Zbl 1023.93510Ábrahám-Mumm, Erika; Hannemann, Ulrich; Steffen, Martin 1 2001 Higher-order subtyping. Zbl 0903.68020Pierce, Benjamin; Steffen, Martin 11 1997 all cited Publications top 5 cited Publications all top 5 Cited by 135 Authors 14 Steffen, Martin 11 Owe, Olaf 10 Johnsen, Einar Broch 7 Dovland, Johan 4 Ábrahám, Erika 4 Stolz, Volker 3 de Boer, Frank S. 3 Din, Crystal Chang 3 Pun, Ka I. 2 Abdulla, Parosh Aziz 2 Barthe, Gilles 2 Cimatti, Alessandro 2 Compagnoni, Adriana B. 2 Eggers, Andreas 2 Fränzle, Martin 2 Grabe, Immo 2 Grüner, Andreas 2 Larsen, Kim Guldstrand 2 Mai Thuong Tran, Thi 2 Mover, Sergio 2 Olderog, Ernst-Rüdiger 2 Poetzsch-Heffter, Arnd 2 Srba, Jiří 2 Teige, Tino 2 Tonetta, Stefano 2 Yu, Ingrid Chieh 1 Abel, Andreas M. 1 Agarwal, Shivali 1 Ahrendt, Wolfgang 1 Albert, Elvira 1 Apt, Krzysztof Rafal 1 Aspinall, David 1 Baldan, Paolo 1 Beckert, Bernhard 1 Beneš, Nikola 1 Beringer, Lennart 1 Bozga, Marius 1 Bruce, Kim B. 1 Bu, Lei 1 Cardelli, Luca 1 Cécé, Gérard 1 Clarke, Dave 1 Colvin, Robert J. 1 Correas, Jesús 1 Damiani, Ferruccio 1 Dams, Dennis René 1 Dave, Vrunda 1 de Roever, Willem-Paul 1 Demangeon, Romain 1 Dohmen, Taylor 1 d’Orso, Julien 1 Dylla, Maximilian 1 Fava, Daniel Schnetzer 1 Fecher, Harald 1 Finkel, Alain 1 Flanagan, Cormac 1 Freund, Stephen Neal 1 Ghelli, Giorgio 1 Goguen, Healfdene 1 Goldman, Max 1 Grégoire, Benjamin 1 Hannemann, Ulrich 1 Haziza, Frédéric 1 He, Jifeng 1 Henrio, Ludovic 1 Hofmann, Martin 1 Holík, Luká 1 Honda, Kohei 1 Huang, Xuejing 1 Huerta y Munive, Jonathan Julián 1 Hussain, Altaf 1 Huth, Michael R. A. 1 Iosif, Radu 1 Jacobs, Bart 1 Johansen, Christian 1 Kammüller, Florian 1 Katz, Emilia 1 Katz, Shmuel 1 Klebanov, Vladimir 1 Kobayashi, Naoki 1 Křetínský, Jan 1 Krishna, Shankara Narayanan 1 Laneve, Cosimo 1 Laud, Peeter 1 Legay, Axel 1 Li, Xiaoshan 1 Li, Xuandong 1 Lin, Liyong 1 Liu, Zhiming 1 Loidl, Hans-Wolfgang 1 Lowe, Gavin 1 Luteberget, Bjørnar 1 Lutz, Bianca 1 Maarand, Hendrik 1 Möller, Michael 1 Møller, Mikael Harkjær 1 Momigliano, Alberto 1 Nestmann, Uwe 1 Nikitchenko, Mykola S. 1 Oliveira, Bruno C.d. S. ...and 35 more Authors all top 5 Cited in 16 Serials 9 Formal Aspects of Computing 9 The Journal of Logic and Algebraic Programming 8 Information and Computation 7 Theoretical Computer Science 7 Journal of Logical and Algebraic Methods in Programming 4 Formal Methods in System Design 3 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Functional Programming 1 Acta Informatica 1 Automatica 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Theory of Computing Systems 1 Nonlinear Analysis. Hybrid Systems 1 Central European Journal of Computer Science all top 5 Cited in 6 Fields 69 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year