Andreas Schäfer

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Andreas Schäfer, Mathias John
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems. APCCM (2009)
Andreas Schäfer
Axiomatisation and decidability of multi-dimensional Duration Calculus. Inf. Comput. 205 (1) (2007)
Jan-David Quesel, Andreas Schäfer
Spatio-temporal Model Checking for Mobile Real-Time Systems. ICTAC (2006)
Andreas Schäfer
Specification and verification of mobile real-time systems. Ausgezeichnete Informatikdissertationen (2006)
Andreas Schäfer
Axiomatisation and Decidability of Multi-dimensional Duration Calculus. TIME (2005)
Raymond T. Boute, Andreas Schäfer
The Timer Cascade: Functional Modelling and Real Time Calculi. ICTAC (2005)
Andreas Schäfer
A Calculus for Shapes in Time and Space. ICTAC (2004)
Andreas Schäfer
Combining Real-Time Model-Checking and Fault Tree Analysis. FME (2003)