Holger Pfeifer

20 papers A 2B 2C 3Journal 4Unranked 8

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