Suivre
Martin Steffen
Titre
Citée par
Citée par
Année
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
4512010
Higher-order subtyping
B Pierce, M Steffen
Theoretical computer science 176 (1-2), 235-282, 1997
981997
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
732002
Iterating transducers
D Dams, Y Lakhnech, M Steffen
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
672001
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
602001
Polarized higher-order subtyping.
M Steffen
University of Erlangen-Nuremberg, Germany, 1999
551999
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
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 Stefen
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999
461999
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
342002
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
322010
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
292005
Verifying large SDL-specifications using model checking
N Sidorova, M Steffen
SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001
282001
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
272016
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
International Symposium on Formal Methods, 52-67, 2008
272008
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
262013
Higher-order subtyping
M Steffen, BC Pierce
University of Edinburgh. Department of Computer Science, 1994
261994
Typing confluence
U Nestmann, M Steffen
In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997
251997
Inductive proof outlines for monitors in java
E Ábrahám, FS de Boer, WP de Roever, M Steffen
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003
232003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20