Combining real-time model-checking and fault tree analysis A Schäfer International Symposium of Formal Methods Europe, 522-541, 2003 | 34 | 2003 |
A calculus for shapes in time and space A Schäfer Theoretical Aspects of Computing-ICTAC 2004: First International Colloquium …, 2005 | 28 | 2005 |
Axiomatisation and decidability of multi-dimensional duration calculus A Schäfer Information and Computation 205 (1), 25-64, 2007 | 12 | 2007 |
Spatio-temporal model checking for mobile real-time systems JD Quesel, A Schäfer Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006 | 8 | 2006 |
Specification and verification of mobile real-time systems A Schäfer Gesellschaft für Informatik, 2007 | 7 | 2007 |
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems A Schäfer, M John Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling …, 2009 | 6 | 2009 |
Einstiege in die Mathematik in Lübeck O Voll, A Schäfer Mathematik im Übergang Schule/Hochschule und im ersten Studienjahr, 158, 2013 | 3 | 2013 |
Fehlerbaumanalyse und Model-Checking A Schäfer | 3 | 2001 |
Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme Specification and Verification of Spatio-Temporal Properties of Mobile Systems A Schäfer it-Information Technology 50 (5), 324-326, 2008 | | 2008 |
The timer cascade: Functional modelling and real time calculi R Boute, A Schäfer Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005 | | 2005 |