The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Holger Pfeifer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002