Correct System Design
Dipl.-Inform. Johannes Faber
| Address: | Dipl.-Inform. Johannes Faber University of Oldenburg Faculty II Department of Computing Science D-26111 Oldenburg Germany |
|
| Room: | A2 2-201 | |
| Phone: | +49 441 798-4638 | |
| Fax: | +49 441 798-2965 | |
| email: | Johannes.Faber | |
Here you can find information about me. Downloads related to my work like talks or tools are available on my personal web pages.
Curriculum Vitae
|
since 8/2004 |
Research Assistant
in the Correct System Design Group (former Semantics Group) |
| 11/2004 | OLDIES award for diploma thesis 2004 |
| 7/2004 |
Diploma degree (with honors) in Computing Science at the University of Oldenburg |
|
10/1999- 7/2004 |
Studies of Computing Science at the University of Oldenburg and the University of Freiburg |
Research
My research interests are- formal fault tree analysis and verification
- real-time systems
- compositional verification
- model checking
- formal methods in industrial applications
Teaching
Diploma theses and "Individuelle Projekte" can be found on the Theses page.
Projects
- AVACS (Automatic Verification and Analysis of Complex Systems)
Tools
Publications
- [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 ]
Theses
- [Fab04]
-
J. Faber.
Fehlerbaumverifikation durch Modelchecking mit Uppaal.
Master's thesis, Universität Oldenburg, 2004.
[ bib | .pdf ]