| 2020 | SIMULTECH | 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. |
| 2020 | SIMULTECH | 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 |
| 2010 | CaiSE | SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems. | Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Gser, Holger Pfeifer, Manfred Reichert, Peter Dadam |
| 2010 | ER | On Enabling Data-Aware Compliance Checking of Business Process Models. | David Knuplesch, Linh Thao Ly, Stefanie Rinderle-Ma, Holger Pfeifer, Peter Dadam |
| 2009 | SSS | Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. | Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2008 | SAFECOMP | Early Prototyping of Wireless Sensor Network Algorithms in PVS. | Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2004 | DSN | Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. | Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer |
| 2004 | SAFECOMP | Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. | Holger Pfeifer, Friedrich W. von Henke |
| 2001 | ETFA | Formal analysis for dependability properties: the time-triggered architecture example. | Holger Pfeifer, Friedrich W. von Henke |
| 2000 | FORTE | Formal Verification of the TTP Group Membership Algorithm. | Holger Pfeifer |
| 1997 | FM | Formal Verification of Transformations for Peephole Optimization. | Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rue |