This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Author


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: Padgham, ... , Pfab, Pfeifer, Pierre, ... , Profitlich

Preferences

Show keywords Show abstracts

26.
pdf
Thao Ly, Linh; Knuplesch, David; Rinderle-Ma, Stefanie; Göser, Kevin; Pfeifer, Holger; Reichert, Manfred; Dadam, Peter
SeaFlows Toolset -- Compliance Verication Made Easy for Process-aware Information Systems
In Aalst, Will and Mylopoulos, John and Sadeh, Norman M. and Shaw, Michael J. and Szyperski, Clemens and Soffer, Pnina and Proper, Erik, editor, Information Systems Evolution -- CAiSE Forum 2010, Selected Extended Papers Volume 72 of Lecture Notes in Business Information Processing , page 76--91.
Publisher: Springer,
2011
25.
pdf
Knuplesch, David; Thao Ly, Linh; Rinderle-Ma, Stefanie; Pfeifer, Holger; Dadam, Peter
On Enabling Data-Aware Compliance Checking of Business Process Models
In Jeffrey Parsons and Motoshi Saeki and Peretz and Shoval and Carson Woo and Yair Wand, editor, Proceedings of the 29th International Conference on Conceptual Modeling -- ER 2010 Volume 6412 of Lecture Notes in Computer Science , page 332--346.
Publisher: Springer,
2010
24.
pdf
Bernardeschi, Cinzia; Masci, Paolo; Pfeifer, Holger
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
In Rachid Guerraoui and Franck Petit, editor, Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings Volume 5873 of Lecture Notes in Computer Science , page 105--119.
Publisher: Springer,
2009
ISBN: 978-3-642-05117-3
23.
default
Pfeifer, Holger
Formal Methods in the Automotive Domain: The Case of TTA
In Nicolas Navet and Francoise Simonot-Lion, editor, Automotive Embedded Systems Handbook
Chapter 15,
Publisher: Taylor and Francis CRC Press,
2008
ISBN: 9780849380266
22.
pdf
Bernardeschi, Cinzia; Masci, Paolo; Pfeifer, Holger
Early Prototyping of Wireless Sensor Network Algorithms in PVS
In Michael D. Harrison and Mark-Alexander Sujan, editor, Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings Volume 5219 of Lecture Notes in Computer Science , page 346--359.
Publisher: Springer,
2008
21.
pdf
Pfeifer, Holger; von Henke, Friedrich
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
Reliability Engineering & System Safety, 92(11):1538--1550
2007
20.
pdf
Liebig, Thorsten; Pfeifer, Holger; von Henke, Friedrich
Reasoning Services for an OWL Authoring Tool: An Experience Report
Proceedings of the 2004 International Workshop on Description Logics (DL 2004)
2004
19.
pdf
Liebig, Thorsten; Pfeifer, Holger; von Henke, Friedrich
Reasoning Services for an OWL Authoring Tool: An Experience Report
In Volker Haarslev and Ralf Möller, editor, Proceedings of the 2004 International Workshop on Description Logics - DL2004 Volume 104 of CEUR Workshop Proceedings, ISSN 1613-0073, online CEUR-WS.org/Vol-104/09Liebig-final.pdf
Whistler, Canada
2004
18.
pdf
Steiner, Wilfried; Rushby, John; Sorea, Maria; Pfeifer, Holger
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation
Proceedings of the International Conference on Dependable Systems and Networks , page 189--198.
Publisher: IEEE Computer Society, Florence, Italy
2004
17.
pdf
Pfeifer, Holger; von Henke, Friedrich
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
In Maritta Heisel and Peter Liggesmeyer and Stefan Wittmann, editor, Proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) Volume 3219 of Lecture Notes in Computer Science , page 240--253.
Publisher: Springer, Potsdam, Germany
2004
Export as: BibTeX, XML