Dr. Johannes Faber

E-Mail: Johannes.Faber Johannes Faber promovierte im August 2011 in der Abteilung Entwicklung korrekter Systeme mit der Dissertation ``Verification Architectures for Complex Real-Time Systems''. Seit November 2011 ist Johannes Postdoctoral Research Fellow am International Institute for Software Technology der United Nations University.

 

Curriculum Vitae

seit 11/2011	Mitarbeiter am International Institute for Software Technology in Macau
08/2011	Promotion zum Dr. rer. nat.
8/2004-10/2011	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

Forschung

Meine Forschungsinteressen sind

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

Lehre

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

Projekte

• AVACS (Automatic Verification and Analysis of Complex Systems)

Werkzeuge

• Syspect
• Moby/PEA
• PEA-Toolkit
• Moby/FT
• Moby/KautS

Publikationen

[FLOQ11]

Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, and Jan-David Quesel. Syspect - modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5(1-2):117-137, 2011. ISSN 1673-7288.
[ bib | http | Abstract ]

[Fab10a]

J. Faber. Verification Architectures: Compositional reasoning for real-time systems. In D. Méry and S. Merz, editors, Integrated Formal Methods, volume 6396 of Lecture Notes in Computer Science, pages 136-151. Springer, Heidelberg, 2010. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[Fab10b]

J. Faber. Verification Architectures: Compositional reasoning for real-time systems. Reports of SFB/TR 14 AVACS 65, SFB/TR 14 AVACS, August 2010. ISSN: 1860-9821, http://www.avacs.org.
[ bib | .pdf | Abstract ]

[FIJSS10a]

J. Faber, C. Ihlemann, S. Jacobs, and V. Sofronie-Stokkermans. Automatic verification of parametric specifications with complex topologies. In D. Méry and S. Merz, editors, Integrated Formal Methods, volume 6396 of Lecture Notes in Computer Science, pages 152-167. Springer, Heidelberg, 2010. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[FIJSS10b]

Johannes Faber, Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans. Automatic verification of parametric specifications with complex topologies. Reports of SFB/TR 14 AVACS 66, SFB/TR 14 AVACS, 2010. ISSN: 1860-9821, http://www.avacs.org.
[ bib | .pdf | Abstract ]

[Fab09]

J. Faber. Verification architectures for real-time systems. In M. Mousavi and E. Sekerinski, editors, Proceedings of Formal Methods 2009 Doctoral Symposium, number 09-15 in CS-Report, Eindhoven University of Technology, pages 14-19, 2009.
[ bib | http | .pdf ]

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

J. Faber and I. 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]

J. Faber, S. Jacobs, and V. 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]

R. Meyer, J. Faber, and A. 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 | .pdf | Abstract ]

[FM06]

J. Faber and R. 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]

J. 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 ]

Abschlussarbeiten

[Fab11]

Johannes Faber. Verification Architectures for Complex Real-Time Systems. PhD thesis, University of Oldenburg, 2011.
[ bib | .pdf ]

[Fab04]

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