| 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 | 459 | 2010 |
| Higher-order subtyping B Pierce, M Steffen Theoretical computer science 176 (1-2), 235-282, 1997 | 100 | 1997 |
| Iterating transducers D Dams, Y Lakhnech, M Steffen Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 73 | 2001 |
| 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 | 72 | 2002 |
| 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 | 60 | 2001 |
| Polarized higher-order subtyping. M Steffen University of Erlangen-Nuremberg, Germany, 1999 | 57 | 1999 |
| 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 | 49 | 2005 |
| 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 | 47 | 1999 |
| 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 | 46 | 2009 |
| 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 | 39 | 2005 |
| Iterating transducers D Dams, Y Lakhnech, M Steffen The Journal of Logic and Algebraic Programming 52, 109-127, 2002 | 35 | 2002 |
| Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010 | 33 | 2010 |
| Verifying large SDL-specifications using model checking N Sidorova, M Steffen SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001 | 30 | 2001 |
| 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 | 29 | 2005 |
| Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 28 | 2016 |
| Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen International Symposium on Formal Methods, 52-67, 2008 | 27 | 2008 |
| Higher-order subtyping M Steffen, BC Pierce University of Edinburgh. Department of Computer Science, 1994 | 27 | 1994 |
| Typing confluence U Nestmann, M Steffen In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997 | 26 | 1997 |
| 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 | 25 | 2013 |
| 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 | 23 | 2003 |
