The TYPELAB Specification and Verification Environment. - Friedrich W. von Henke; Marko Luther; Holger Pfeifer; Harald Rueß; Detlef Schwier; Martin Strecker; Matthias Wagner 001 (AMAST, 1996)

Formal Verification of Transformations for Peephole Optimization. - Axel Dold; Friedrich W. von Henke; Holger Pfeifer; Harald Rueß (FME, 1997)

Case Studies in Meta-Level Theorem Proving. - Friedrich W. von Henke; Stephan Pfab; Holger Pfeifer; Harald Rueß (TPHOLs, 1998)

Polytypic Proof Construction. - Holger Pfeifer; Harald Rueß (TPHOLs, 1999)

Formal Verification of the TTP Group Membership Algorithm. - Holger Pfeifer (FORTE, 2000)

Formal analysis for dependability properties: the time-triggered architecture example. - Holger Pfeifer; Friedrich W. von Henke (ETFA (1), 2001)

Formal analysis of fault tolerant algorithms in the time-triggered architecture. - Holger Pfeifer (2003)

Reasoning Services for an OWL Authoring Tool: An Experience Report . - Thorsten Liebig; Holger Pfeifer; Friedrich W. von Henke (Description Logics, 2004)

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. - Wilfried Steiner; John M. Rushby; Maria Sorea; Holger Pfeifer (DSN, 2004)

Modular formal analysis of the central guardian in the Time-Triggered Architecture. - Holger Pfeifer; Friedrich W. von Henke (Reliab. Eng. Syst. Saf., 2007)

Early Prototyping of Wireless Sensor Network Algorithms in PVS. - Cinzia Bernardeschi; Paolo Masci 001; Holger Pfeifer (SAFECOMP, 2008)

Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. - Cinzia Bernardeschi; Paolo Masci 001; Holger Pfeifer (SSS, 2009)

SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems. - Linh Thao Ly; David Knuplesch; Stefanie Rinderle-Ma; Kevin Göser; Holger Pfeifer; Manfred Reichert; Peter Dadam (CAiSE Forum (Selected Papers), 2010)

On Enabling Data-Aware Compliance Checking of Business Process Models. - David Knuplesch; Linh Thao Ly; Stefanie Rinderle-Ma; Holger Pfeifer; Peter Dadam (ER, 2010)

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. - Peter Gorm Larsen; Hugo Daniel Macedo; John S. Fitzgerald; Holger Pfeifer; Martin Benedikt; Stefano Tonetta; Angelo Marguglio; Sergio Gusmeroli; George Suciu Jr. (SIMULTECH, 2020)

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. - Peter Gorm Larsen; Hugo Daniel Macedo; John S. Fitzgerald; Holger Pfeifer; Martin Benedikt; Stefano Tonetta; Angelo Marguglio; Giuseppe Veneziano; Lorenzo Sutton; Sergio Gusmeroli; George Suciu (SIMULTECH (Selected Papers), 2020)

Knowledge as Invariance - History and Perspectives of Knowledge-augmented Machine Learning. - Alexander Sagel; Amit Sahu; Stefan Matthes; Holger Pfeifer; Tianming Qiu; Harald Rueß; Hao Shen 002; Julian Wörmann (CoRR, 2020)

White paper: Towards Human-centric and Sustainable 6G Services - the fortiss Research Perspective. - Rute C. Sofia; Hao Shen 002; Yuanting Liu; Severin Kacianka; Holger Pfeifer (CoRR, 2025)