Martin Steffen
TittelSitert avÅr
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
2992010
Higher-order subtyping
B Pierce, M Steffen
Theoretical computer science 176 (1-2), 235-282, 1997
871997
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
682002
Iterating transducers
D Dams, Y Lakhnech, M Steffen
International Conference on Computer Aided Verification, 286-297, 2001
632001
Polarized higher-order subtyping
M Steffen
University of Erlangen-Nuremberg, Germany, 1999
511999
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
462001
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
442009
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
442005
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
352005
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
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
282010
Iterating transducers
D Dams, Y Lakhnech, M Steffen
The Journal of Logic and Algebraic Programming 52, 109-127, 2002
272002
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
Typing confluence
U Nestmann, M Steffen
In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997
251997
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
International Symposium on Formal Methods, 52-67, 2008
232008
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
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
Executable interface specifications for testing asynchronous Creol components
I Grabe, M Kyas, M Steffen, AB Torjusen
International Conference on Fundamentals of Software Engineering, 324-339, 2009
202009
Object-connectivity and observability for class-based, object-oriented languages
M Steffen
Habilitation thesis, Technische Faktultät der Christian-Albrechts …, 2006
202006
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20