Martin Steffen
Title
Cited by
Cited by
Year
ABS: A core language for abstract behavioral specification
EB Johnsen, R Hähnle, J Schäfer, R Schlatte, M Steffen
International Symposium on Formal Methods for Components and Objects, 142-164, 2010
3572010
Higher-order subtyping
B Pierce, M Steffen
Theoretical computer science 176 (1-2), 235-282, 1997
911997
Verification for Java’s reentrant multithreading concept
E Ábrahám-Mumm, FS De Boer, WP de Roever, M Steffen
International Conference on Foundations of Software Science and Computation …, 2002
712002
Iterating transducers
D Dams, Y Lakhnech, M Steffen
International Conference on Computer Aided Verification, 286-297, 2001
652001
Polarized higher-order subtyping.
M Steffen
University of Erlangen-Nuremberg, Germany, 1999
521999
Optimizing bounded model checking for linear hybrid systems
E Abrahám, B Becker, F Klaedtke, M Steffen
International Workshop on Verification, Model Checking, and Abstract …, 2005
462005
Behavioral interface description of an object-oriented language with futures and promises
E Ábrahám, I Grabe, A Grüner, M Steffen
The Journal of Logic and Algebraic Programming 78 (7), 491-518, 2009
452009
Verification of hybrid systems: Formalization and proof rules in PVS
E Ábrahám-Mumm, U Hannemann, M Steffen
Proceedings Seventh IEEE International Conference on Engineering of Complex …, 2001
452001
An assertion-based proof system for multithreaded Java
E Ábrahám, FS de Boer, WP de Roever, M Steffen
Theoretical Computer Science 331 (2-3), 251-290, 2005
372005
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
322010
Iterating transducers
D Dams, Y Lakhnech, M Steffen
The Journal of Logic and Algebraic Programming 52, 109-127, 2002
322002
Object connectivity and full abstraction for a concurrent calculus of classes
E Ábrahám, MM Bonsangue, FS De Boer, M Steffen
International Colloquium on Theoretical Aspects of Computing, 37-51, 2004
302004
Verifying large SDL-specifications using model checking
N Sidorova, M Steffen
International SDL Forum, 403-420, 2001
262001
Higher-order subtyping
M Steffen, B Pierce
261994
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
International Symposium on Formal Methods, 52-67, 2008
252008
Typing confluence
U Nestmann, M Steffen
In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997
241997
A petri net based analysis of deadlocks for active objects and futures
FS de Boer, M Bravetti, I Grabe, M Lee, M Steffen, G Zavattaro
International Workshop on Formal Aspects of Component Software, 110-127, 2012
222012
Closing open SDL-systems for model checking with DTSpin
N Ioustinova, N Sidorova, M Steffen
International Symposium of Formal Methods Europe, 531-548, 2002
222002
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
International Conference on Integrated Formal Methods, 491-507, 2016
212016
Inductive proof outlines for monitors in java
E Ábrahám, FS De Boer, WP de Roever, M Steffen
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
212003
The system can't perform the operation now. Try again later.
Articles 1–20