×

zbMATH — the first resource for mathematics

Steffen, Martin

Compute Distance To:
Author ID: steffen.martin Recent zbMATH articles by "Steffen, Martin"
Published as: Steffen, M.; Steffen, Martin
Documents Indexed: 48 Publications since 1997, including 3 Books

Publications by Year

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.68020
Pierce, Benjamin; Steffen, Martin
9
1997
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, 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.68036
Dams, Dennis; Lakhnech, Yassine; Steffen, Martin
4
2001
Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097
Pun, Ka I.; Steffen, Martin; Stolz, Volker
3
2012
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, 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.68301
Fecher, 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.68199
Pun, Ka I; Steffen, Martin; Stolz, Volker
2
2014
Incremental reasoning for multiple inheritance. Zbl 1211.68084
Dovland, 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.68205
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2018
A calculus of virtually timed ambients. Zbl 07152404
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2017
Deadlock checking by data race detection. Zbl 1434.68112
Pun, Ka I; Steffen, Martin; Stolz, Volker
1
2013
Termination detection for active objects. Zbl 1243.68221
de Boer, Frank S.; Grabe, Immo; Steffen, Martin
1
2012
Safe locking for multi-threaded Java. Zbl 1353.68029
Johnsen, 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.68009
Dams, 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.68062
Dams, Dennis; Lakhnech, Yassine; Steffen, Martin
1
2002
Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2018
A calculus of virtually timed ambients. Zbl 07152404
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2017
Deadlock checking by data race detection. Zbl 1371.68199
Pun, Ka I; Steffen, Martin; Stolz, Volker
2
2014
Deadlock checking by data race detection. Zbl 1434.68112
Pun, Ka I; Steffen, Martin; Stolz, Volker
1
2013
Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097
Pun, Ka I.; Steffen, Martin; Stolz, Volker
3
2012
Termination detection for active objects. Zbl 1243.68221
de Boer, Frank S.; Grabe, Immo; Steffen, Martin
1
2012
Safe locking for multi-threaded Java. Zbl 1353.68029
Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin
1
2012
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, 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
Dams, 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.68084
Dovland, 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.68301
Fecher, 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.68062
Dams, Dennis; Lakhnech, Yassine; Steffen, Martin
1
2002
Iterating transducers. Zbl 0991.68036
Dams, Dennis; Lakhnech, Yassine; Steffen, Martin
4
2001
Higher-order subtyping. Zbl 0903.68020
Pierce, Benjamin; Steffen, Martin
9
1997
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

Citations by Year