Correct System Design

Dr. Andreas Schäfer

email: Andreas.Schaefer

In December 2006 Andreas Schäfer completed his PhD with the dissertation “Specification and Verification of Mobile Real-Time Systems”, which is available as Technical Report No. 1/07 of the Department of Computing Science at the University of Oldenburg.

Since April 2007 Andreas Schäfer works as a patent examiner at the European Patent Office in The Hague.

Foto

 


top of page

Curriculum Vitae

1/2002 Diploma degree in Informatics at the University of Oldenburg
2/2002-3/2007 Research Assistant in the Correct System Design Group (former Semantics Group)
12/2006 defense of PhD "Specification and Verification of Mobile Real-Time Systems"


top of page

Research

My research interests are:
  • Specification and verification of mobile real-time systems
  • Spatio-temporal logics
  • Formal fault tree analysis and verification
  • Real-time systems
  • Model checking

top of page

Teaching

Winter Term 2003
KautS
Summer Term 2004
Practical Course Real-Time Systems
Summer Term 2006
Practical Course Real-Time Systems
Syspect
Summer Term 2007
Seminar: Beyond First-Order Logic
top of page

Publications

[Sch08]
A. Schäfer. Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme. it - Information Technology, 50(5):324-326, 2008. http://it-Information-Technology.de.
[ bib | .pdf | Abstract ]

[Sch07b]
A. Schäfer. PhD Abstract: Specification and Verification of Mobile Real-Time Systems. Bulletin of the EATCS, 92:193-195, 2007.
[ bib | .pdf ]

[Sch07c]
A. Schäfer. Spezifikation und Verifikation mobiler Realzeitsysteme. In D. Wagner, editor, Ausgezeichnete Informatikdissertationen 2007, GI-Edition-Lecture Notes in Informatics (LNI), pages 169-177. Gesellschaft für Informatik, 2007.
[ bib | .pdf ]

[Sch07a]
A. Schäfer. Axiomatisation and decidability of multi-dimensional duration calculus. TIME'05 special issue of Information and Computation, 205(1), 2007. DOI 10.1016/j.ic.2006.08.005.
[ bib | Abstract ]

[QS06]
J.-D. Quesel and A. Schäfer. Spatio-temporal model checking for mobile real-time systems. In K. Barkaoui, A. Cavalcanti, and A. Cerone, editors, 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, LNCS, pages 347-361, 2006.
[ bib | Abstract ]

[BS05]
R. Boute and A. Schäfer. The timer cascade: Functional modelling and real time calculi. In D.V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing, ICTAC 2005, volume 3722 of LNCS, pages 242 - 256. Springer, 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[Sch05a]
A. Schäfer. Axiomatisation and Decidability of Multi-Dimensional Duration Calculus. In J. Chomicki and D. Toman, editors, Proceedings of the 12th International Symposium on Temporal Representation and Reasoning, TIME 2005, pages 122-130. IEEE Computer Society, June 2005. This publication is available at IEEE Digital Library.
[ bib | .pdf | Abstract ]

[Sch05b]
A. Schäfer. A calculus for shapes in time and space. In Z. Liu and K. Araki, editors, Theoretical Aspects of Computing, ICTAC 2004, volume 3407 of LNCS, pages 463-478. Springer, 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[Sch03]
A. Schäfer. Combining real-time model-checking and fault tree analysis. In D. Mandrioli, K. Araki, and S. Gnesi, editors, FM 2003: the 12th International FME Symposium, volume 2805 of LNCS, pages 522-541. Springer, 2003. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]


top of page

Theses

[Sch06]
A. Schäfer. Specification and Verification of Mobile Real-Time Systems. PhD thesis, University of Oldenburg, December 2006.
[ bib | .pdf ]

[Sch01]
A. Schäfer. Fehlerbaumanalyse und Model-Checking. Master's thesis, 2001.
[ bib | .ps.gz ]