Dr. Holger Pfeifer

Ich habe das Institut für Künstliche Intelligenz verlassen. Diese Seite wird daher nicht mehr gepflegt. Kontaktinformationen finden sich auf meiner neuen Homepage.

Ich war zuletzt Wissenschaftlicher Assistent und arbeitete in Forschung und Lehre auf dem Gebiet der formalen Modellierung und Verifikation.

Mein Interesse liegt dabei auf der Anwendung formaler Methoden, insbesondere von Techniken des maschinellen Beweisens und der Modellüberprüfung (engl. model checking), zur Modellierung und Analyse von Systemen unterschiedlichster Art, vor allem jedoch aus dem fehlertoleranten und sicherheitskritischen Bereich.

Ausgewählte Veröffentlichungen

Weitere Arbeiten sind in der vollständigen Liste aller Veröffentlichungen aufgeführt.

• C. Bernardeschi, P. Masci, H. Pfeifer
  Early Prototyping of Wireless Sensor Network Algorithms in PVS
  27th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Newcastle, UK, September 22-25, 2008
  

• H. Pfeifer
  Formal Methods in the Automotive Domain: The Case of TTA.
  Chapter for the Automotive Embedded Systems Handbook. Editors Nicolas Navet and Francoise Simonot-Lion. Taylor and Francis CRC Press. ISBN: 9780849380266. 2008.

• H. Pfeifer, F. von Henke
  Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
  Reliability Engineering & System Safety, 92(11):1538-1550, Nov. 2007
  Special Issue on Safety, Reliability and Security of Industrial Computer Systems, Elsevier Ltd.

• W. Steiner, J. Rushby, M. Sorea, H. Pfeifer
  Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation
  Proc. of the International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June 28 - July 1, 2004

• H. Pfeifer
  Formal Verification of the TTP Group Membership Algorithm
  IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), FORTE/PSTV 2000, Pisa, Italy, October, 2000