Dr. Andreas Schäfer

E-Mail: Andreas.Schaefer Andreas Schäfer promovierte im Dezember 2006 in der Abteilung Entwicklung korrekter Systeme mit der Dissertation „Specification and Verification of Mobile Real-Time Systems“, die als Bericht Nummer 1/07 des Fachbereichs Department für Informatik erhältlich ist. Seit April 2007 arbeitet Andreas Schäfer als Patentprüfer am Europäischen Patentamt in Den Haag.

 

Curriculum Vitae

1/2002	Informatik-Diplom an der Universität Oldenburg
2/2002-3/2007	Wissenschaftlicher Mitarbeiter in der Abteilung Entwicklung korrekter Systeme
12/2006	Disputation "Specification and Verification of Mobile Real-Time Systems"

Forschung

Meine Forschungsinteressen sind:

• Spezifikation und Verifikation von mobilen Realzeitsystemen
• Spatio-Temporale Logiken
• Formale Fehlerbaumanalyse und -verifikation
• Realzeitsysteme
• Model Checking

Lehre

Wintersemester 2003
KautS
Sommersemester 2004
Fortgeschrittenen-Praktikum "Realzeitsysteme"
Sommersemester 2006
Fortgeschrittenen-Praktikum "Realzeitsysteme"
Syspect
Sommersemester 2007
Seminar: Beyond First-Order Logic

Publikationen

[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 ]

Abschlussarbeiten

[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 ]