Holger Pfeifer

According to our database, Holger Pfeifer authored at least 17 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Julian Wörmann

CoRR, 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

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2020

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.

Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020

2010

On Enabling Data-Aware Compliance Checking of Business Process Models.

David Knuplesch, Linh Thao Ly, Stefanie Rinderle-Ma, Holger Pfeifer, Peter Dadam

Proceedings of the Conceptual Modeling, 2010

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

Proceedings of the Information Systems Evolution, 2010

2009

Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios.

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer

Proceedings of the Stabilization, 2009

2008

Early Prototyping of Wireless Sensor Network Algorithms in PVS.

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer

Proceedings of the Computer Safety, 2008

2007

Modular formal analysis of the central guardian in the Time-Triggered Architecture.

Holger Pfeifer, Friedrich W. von Henke

Reliab. Eng. Syst. Saf., 2007

2004

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.

Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Reasoning Services for an OWL Authoring Tool: An Experience Report .

Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

Formal analysis of fault tolerant algorithms in the time-triggered architecture.

Holger Pfeifer

PhD thesis, 2003

2001

Formal analysis for dependability properties: the time-triggered architecture example.

Holger Pfeifer, Friedrich W. von Henke

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000

Formal Verification of the TTP Group Membership Algorithm.

Holger Pfeifer

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Polytypic Proof Construction.

Holger Pfeifer, Harald Rueß

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

Case Studies in Meta-Level Theorem Proving.

Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Formal Verification of Transformations for Peephole Optimization.

Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

The TYPELAB Specification and Verification Environment.

Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner

Proceedings of the Algebraic Methodology and Software Technology, 1996