Entwicklung korrekter Systeme

Dipl.-Inform. Johannes Faber

Anschrift: Dipl.-Inform. Johannes Faber
Universität Oldenburg
Fakultät II
Department für Informatik
26111 Oldenburg 		Foto
Raum: A3 2-212
Telefon: (04 41) 798-4638 (vorübergehend 2971)
Fax: (04 41) 798-2965
E-Mail: Johannes.Faber


Hier finden Sie Informationen zu meiner Person. Material und Downloads zu meiner Arbeit wie zum Beispiel Vorträge oder Werkzeuge stehen auf meinen persönlichen Webseiten zur Verfügung.

 


zum Seitenanfang

Curriculum Vitae

seit 8/2004 Wissenschaftlicher Mitarbeiter in der Abteilung Entwicklung korrekter Systeme
11/2004 OLDIES-Preis für ausgezeichnete Abschlussarbeit 2004
7/2004 Informatik-Diplom (mit Auszeichnung) an der Universität Oldenburg
10/1999-7/2004 Informatik-Studium an der Universität Oldenburg und der Universität Freiburg


zum Seitenanfang

Forschung

Meine Forschungsinteressen sind
  • Formale Fehlerbaumanalyse und -verifikation
  • Realzeitsysteme
  • Kompositionelle Verifikation
  • Model-Checking
  • Formale Methoden in industrieller Anwendung

zum Seitenanfang

Lehre

Ausgeschriebene Diplomarbeiten und Individuelle Projekte sind auf
der Diplomarbeitenseite der Abteilung zu finden.


zum Seitenanfang

Projekte

  • AVACS (Automatic Verification and Analysis of Complex Systems)

zum Seitenanfang

Werkzeuge


zum Seitenanfang

Publikationen

[MFHR08]
R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko. Model checking duration calculus: A practical approach. Formal Aspects of Computing, 20(4-5):481-505, July 2008. ISSN 0934-5043 (Print) 1433-299X (Online).
[ bib | .pdf | Abstract ]

[FS07]
Johannes Faber and Ingo Stierand. From high-level verification to real-time scheduling: A property-preserving integration. Reports of SFB/TR 14 AVACS 19, SFB/TR 14 AVACS, June 2007. ISSN 1860-9821, http://www.avacs.org.
[ bib | .pdf | Abstract ]

[FJSS07]
Johannes Faber, Swen Jacobs, and Viorica Sofronie-Stokkermans. Verifying CSP-OZ-DC specifications with complex data types and timing parameters. In J. Davies and J. Gibbons, editors, Integrated Formal Methods, volume 4591 of Lecture Notes in Computer Science, pages 233-252. Springer-Verlag, July 2007.
[ bib | .pdf | Abstract ]

[MFR06]
Roland Meyer, Johannes Faber, and Andrey Rybalchenko. Model checking duration calculus: A practical approach. In K. Barkaoui, A. Cavalcanti, and A. Cerone, editors, Theoretical Aspects of Computing - ICTAC 2006, volume 4281 of LNCS, pages 332-346, 2006. This publication is available at SpringerLink.
[ bib | http | Abstract ]

[FM06]
Johannes Faber and Roland Meyer. Model checking data-dependent real-time properties of the european train control system. In Formal Methods in Computer Aided Design, 2006. FMCAD '06, pages 76-77. IEEE Computer Society Press, November 2006. This publication is available free of charge at IEEE Digital Library.
[ bib | Abstract ]

[Fab05b]
Johannes Faber. Verifying real-time aspects of the European Train Control System. In Proceedings of the 17th Nordic Workshop on Programming Theory, pages 67-70. University of Copenhagen, Denmark, October 2005.
[ bib | .pdf ]

[Fab05a]
J. Faber. Fault tree analysis with Moby/FT. Tool presentation, Department for Computing Science, University of Oldenburg, 2005.
[ bib | .pdf ]


zum Seitenanfang

Abschlussarbeiten

[Fab04]
J. Faber. Fehlerbaumverifikation durch Modelchecking mit Uppaal. Master's thesis, Universität Oldenburg, 2004.
[ bib | .pdf ]