| 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 | 421 | 2012 |
| Higher-order subtyping B Pierce, M Steffen Theoretical computer science 176 (1-2), 235-282, 1997 | 94 | 1997 |
| 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 | 74 | 2002 |
| Iterating transducers D Dams, Y Lakhnech, M Steffen Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 65 | 2001 |
| 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 | 55 | 2001 |
| Polarized higher-order subtyping M Steffen University of Erlangen-Nuremberg, Germany, 1999 | 51 | 1999 |
| 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 | 49 | 2005 |
| 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 |
| Divide, abstract, and model-check K Stahl, K Baukus, Y Lakhnech, M Steffen SPIN, 57-76, 1999 | 43 | 1999 |
| 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 | 32 | 2002 |
| Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010 | 31 | 2010 |
| 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 | 30 | 2005 |
| Verifying large SDL-specifications using model checking N Sidorova, M Steffen SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001 | 28 | 2001 |
| Higher-order subtyping M Steffen, BC Pierce University of Edinburgh. Laboratory for Foundations of Computer Science, 1994 | 27 | 1994 |
| Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 26 | 2016 |
| Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen FM 2008: Formal Methods: 15th International Symposium on Formal Methods …, 2008 | 25 | 2008 |
| Typing confluence U Nestmann, M Steffen In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997 | 24 | 1997 |
| Inductive proof outlines for monitors in java E Ábrahám, FS de Boer, WP de Roever, M Steffen FMOODS 3, 155-169, 2003 | 23 | 2003 |
| 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 | 22 | 2013 |
