Edit Profile Steffen, Martin Compute Distance To: Compute Author ID: steffen.martin Published as: Steffen, M.; Steffen, Martin Documents Indexed: 48 Publications since 1997, including 3 Books all top 5 Co-Authors 0 single-authored 14 Ábrahám, Erika 10 de Boer, Frank S. 8 Johnsen, Einar Broch 7 Owe, Olaf 6 de Roever, Willem-Paul 5 Sidorova, Natalia 5 Stolz, Volker 4 Dams, Dennis René 4 Grüner, Andreas 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 Ábrahám-Mumm, Erika 2 Becker, Bernd 2 Ioustinova, Natalia 2 Lakhnech, Yassine 2 Telle, Jan Arne 1 Fava, Daniel S. 1 Fecher, Harald 1 Hansen, Hallstein Asheim 1 Herbstritt, Marc 1 Klaedtke, Felix 1 Kyas, Marcel 1 Pierce, Benjamin C. 1 Schneider, Gerardo 1 Torjusen, Arild B. 1 Tveito, Lars 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 Science of Computer Programming 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Theory of Computing Systems 1 Fundamenta Informaticae Fields 46 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-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 27 Publications have been cited 83 times in 67 Documents Cited by ▼ Year ▼ An assertion-based proof system for multithreaded Java. Zbl 1070.68016Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 9 2005 Higher-order subtyping. Zbl 0903.68020Pierce, Benjamin; Steffen, Martin 9 1997 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 Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin 6 2005 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 0991.68036Dams, Dennis; Lakhnech, Yassine; Steffen, Martin 4 2001 Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097Pun, Ka I.; Steffen, Martin; Stolz, Volker 3 2012 Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 3 2011 Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 3 2008 Characteristic \(\mu\)-calculus formulas for underspecified transition systems. Zbl 1272.68301Fecher, Harald; Steffen, Martin 3 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 Deadlock checking by data race detection. Zbl 1371.68199Pun, Ka I; Steffen, Martin; Stolz, Volker 2 2014 Incremental reasoning for multiple inheritance. Zbl 1211.68084Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 2 2009 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 A tool-supported proof system for multithreaded Java. Zbl 1254.68055Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 2 2003 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 07152404Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate 1 2017 Deadlock checking by data race detection. Zbl 1434.68112Pun, Ka I; Steffen, Martin; Stolz, Volker 1 2013 Termination detection for active objects. Zbl 1243.68221de Boer, Frank S.; Grabe, Immo; Steffen, Martin 1 2012 Safe locking for multi-threaded Java. Zbl 1353.68029Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin 1 2012 Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Zbl 1183.68009Dams, Dennis (ed.); Hannemann, Ulrich (ed.); Steffen, Martin (ed.) 1 2010 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 Heap-abstraction for an object-oriented calculus with thread classes. Zbl 1145.68380Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 1 2006 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 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 Iterating transducers. Zbl 1008.68062Dams, Dennis; Lakhnech, Yassine; Steffen, Martin 1 2002 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 07152404Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate 1 2017 Deadlock checking by data race detection. Zbl 1371.68199Pun, Ka I; Steffen, Martin; Stolz, Volker 2 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 3 2012 Termination detection for active objects. Zbl 1243.68221de Boer, Frank S.; Grabe, Immo; Steffen, Martin 1 2012 Safe locking for multi-threaded Java. Zbl 1353.68029Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; 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.68009Dams, Dennis (ed.); Hannemann, Ulrich (ed.); Steffen, Martin (ed.) 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 Heap-abstraction for an object-oriented calculus with thread classes. Zbl 1145.68380Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 1 2006 An assertion-based proof system for multithreaded Java. Zbl 1070.68016Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 9 2005 Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin 6 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 tool-supported proof system for multithreaded Java. Zbl 1254.68055Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 2 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 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 1 2002 Iterating transducers. Zbl 0991.68036Dams, Dennis; Lakhnech, Yassine; Steffen, Martin 4 2001 Higher-order subtyping. Zbl 0903.68020Pierce, Benjamin; Steffen, Martin 9 1997 all cited Publications top 5 cited Publications all top 5 Cited by 121 Authors 14 Steffen, Martin 12 Owe, Olaf 10 Johnsen, Einar Broch 7 Dovland, Johan 5 Ábrahám, Erika 4 de Boer, Frank S. 3 Din, Crystal Chang 3 Pun, Ka I. 3 Stolz, Volker 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 Becker, Bernd 1 Beckert, Bernhard 1 Beneš, Nikola 1 Beringer, Lennart 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 de Roever, Willem-Paul 1 Demangeon, Romain 1 d’Orso, Julien 1 Dylla, Maximilian 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 Herbstritt, Marc 1 Hofmann, Martin 1 Holík, Luká 1 Honda, Kohei 1 Hussain, Altaf 1 Huth, Michael R. A. 1 Jacobs, Bart 1 Kammüller, Florian 1 Katz, Emilia 1 Katz, Shmuel 1 Klebanov, Vladimir 1 Kobayashi, Naoki 1 Křetínský, Jan 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 Lutz, Bianca 1 Möller, Michael 1 Møller, Mikael Harkjær 1 Momigliano, Alberto 1 Nestmann, Uwe 1 Nikitchenko, Mykola S. 1 Peters, Kirstin 1 Pierce, Benjamin C. 1 Pierik, Cees 1 Piessens, Frank 1 Puebla, Germán 1 Qadeer, Shaz 1 Raffaetà, Alessandra 1 Ramezanifarkhani, Toktam 1 Rasch, Holger 1 Rezine, Ahmed 1 Riba, Colin ...and 21 more Authors all top 5 Cited in 15 Serials 9 The Journal of Logic and Algebraic Programming 8 Theoretical Computer Science 8 Information and Computation 8 Formal Aspects of Computing 6 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 1 Acta Informatica 1 Automatica 1 International Journal of Foundations of Computer Science 1 Journal of Functional Programming 1 Theory of Computing Systems 1 Nonlinear Analysis. Hybrid Systems 1 Central European Journal of Computer Science all top 5 Cited in 6 Fields 64 Computer science (68-XX) 10 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