Search the dblp DataBase

Publications of Author

1. Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
   The TYPELAB Specification and Verification Environment. [Citation Graph (0, 0)][DBLP]
   AMAST, 1996, pp:604-607 [Conf]
   
2. Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke
   Reasoning Services for an OWL Authoring Tool: An Experience Report . [Citation Graph (0, 0)][DBLP]
   Description Logics, 2004, pp:- [Conf]
   
3. Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer
   Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. [Citation Graph (0, 0)][DBLP]
   DSN, 2004, pp:189-198 [Conf]
   
4. Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
   Formal Verification of Transformations for Peephole Optimization. [Citation Graph (0, 0)][DBLP]
   FME, 1997, pp:459-472 [Conf]
   
5. Holger Pfeifer
   Formal Verification of the TTP Group Membership Algorithm. [Citation Graph (0, 0)][DBLP]
   FORTE, 2000, pp:3-18 [Conf]
   
6. Holger Pfeifer, Friedrich W. von Henke
   Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2004, pp:240-253 [Conf]
   
7. Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
   Case Studies in Meta-Level Theorem Proving. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1998, pp:461-478 [Conf]
   
8. Holger Pfeifer, Harald Rueß
   Polytypic Proof Construction. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1999, pp:55-72 [Conf]
   
9. 
   Early Prototyping of Wireless Sensor Network Algorithms in PVS. [Citation Graph (, )][DBLP]
   
   
10. 
    Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. [Citation Graph (, )][DBLP]