Follow
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
Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012
4192012
Higher-order subtyping
B Pierce, M Steffen
Theoretical computer science 176 (1-2), 235-282, 1997
941997
Verification for Java’s reentrant multithreading concept
E Abrahám-Mumm, FS De Boer, WP de Roever, M Steffen
Foundations of Software Science and Computation Structures: 5th …, 2002
742002
Iterating transducers
D Dams, Y Lakhnech, M Steffen
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
652001
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
552001
Polarized higher-order subtyping
M Steffen
University of Erlangen-Nuremberg, Germany, 1999
511999
Optimizing bounded model checking for linear hybrid systems
E Abrahám, B Becker, F Klaedtke, M Steffen
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
492005
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
462009
Divide, abstract, and model-check
K Stahl, K Baukus, Y Lakhnech, M Steffen
SPIN, 57-76, 1999
431999
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
392005
Iterating transducers
D Dams, Y Lakhnech, M Steffen
The Journal of Logic and Algebraic Programming 52, 109-127, 2002
322002
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
312010
Object connectivity and full abstraction for a concurrent calculus of classes
E Ábrahám, MM Bonsangue, FS de Boer, M Steffen
Theoretical Aspects of Computing-ICTAC 2004: First International Colloquium …, 2005
302005
Verifying large SDL-specifications using model checking
N Sidorova, M Steffen
SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001
282001
Higher-order subtyping
M Steffen, BC Pierce
University of Edinburgh. Laboratory for Foundations of Computer Science, 1994
271994
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
262016
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
FM 2008: Formal Methods: 15th International Symposium on Formal Methods …, 2008
252008
Typing confluence
U Nestmann, M Steffen
In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997
241997
Inductive proof outlines for monitors in java
E Ábrahám, FS de Boer, WP de Roever, M Steffen
FMOODS 3, 155-169, 2003
232003
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
Formal Aspects of Component Software: 9th International Symposium, FACS 2012 …, 2013
222013
The system can't perform the operation now. Try again later.
Articles 1–20