Holger Pfeifer

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 4

Top Venues

CoRR

SIMULTECH (Selected Papers)

SIMULTECH

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Alexander Sagel, Amit Sahu, Stefan Matthes, Holger Pfeifer, Tianming Qiu, Harald Rueß, Hao Shen, Julian Wörmann
Knowledge as Invariance - History and Perspectives of Knowledge-augmented Machine Learning. CoRR (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR (2020)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH (2020)
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
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) (2020)
Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Göser, Holger Pfeifer, Manfred Reichert, Peter Dadam
SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems. CAiSE Forum (Selected Papers) (2010)
David Knuplesch, Linh Thao Ly, Stefanie Rinderle-Ma, Holger Pfeifer, Peter Dadam
On Enabling Data-Aware Compliance Checking of Business Process Models. ER (2010)
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS (2009)
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP (2008)
Holger Pfeifer, Friedrich W. von Henke
Modular formal analysis of the central guardian in the Time-Triggered Architecture. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke
Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics (2004)
Holger Pfeifer, Friedrich W. von Henke
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP (2004)
Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. DSN (2004)
Holger Pfeifer, Friedrich W. von Henke
Formal analysis for dependability properties: the time-triggered architecture example. ETFA (1) (2001)
Holger Pfeifer
Formal Verification of the TTP Group Membership Algorithm. FORTE (2000)
Holger Pfeifer, Harald Rueß
Polytypic Proof Construction. TPHOLs (1999)
Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
Case Studies in Meta-Level Theorem Proving. TPHOLs (1998)
Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
Formal Verification of Transformations for Peephole Optimization. FME (1997)
Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
The TYPELAB Specification and Verification Environment. AMAST (1996)

Holger Pfeifer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Holger Pfeifer