The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Friedrich W. von Henke: [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. 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]
  4. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
    Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:482-500 [Conf]
  5. Ercument Canver, Friedrich W. von Henke
    Formal Development of Object-Based Systems in a Temporal Logic Setting. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:419-436 [Conf]
  6. Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
    Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:68-75 [Conf]
  7. Detlef Schwier, Friedrich W. von Henke
    Mechanical Verification of Clock Synchronization Algorithms. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:262-271 [Conf]
  8. Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch
    Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. [Citation Graph (0, 0)][DBLP]
    ICALP, 1972, pp:549-561 [Conf]
  9. Friedrich W. von Henke
    Putting Software Technology to Work. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (3), 1994, pp:345-350 [Conf]
  10. Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier
    Construction and Deduction Methods for the Formal Development of Software. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:239-254 [Conf]
  11. Friedrich W. von Henke
    An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:330-336 [Conf]
  12. Friedrich W. von Henke
    Formal Transformations and the Development of Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:288-296 [Conf]
  13. 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]
  14. Friedrich W. von Henke, Marko Luther, Martin Strecker
    Typelab: An Environment for Modular Program Development. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:851-854 [Conf]
  15. Friedrich W. von Henke
    Towards automation of proofs by induction. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1977, pp:208-214 [Conf]
  16. 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]
  17. Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
    A Completely Verified Realistic Bootstrap Compiler. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:659-0 [Journal]
  18. David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson
    Adam: An Ada-based Language for Multiprocessing. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1984, v:14, n:7, pp:605-642 [Journal]
  19. Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
    Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2002, v:51, n:2, pp:164-179 [Journal]
  20. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
    Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:2, pp:107-125 [Journal]
  21. John M. Rushby, Friedrich W. von Henke
    Formal Verification of Algorithms for Critical Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:1, pp:13-23 [Journal]
  22. Timo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens
    Real-World Reasoning with OWL. [Citation Graph (0, 0)][DBLP]
    ESWC, 2007, pp:296-310 [Conf]
  23. Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens
    Explanation Support for OWL Authoring. [Citation Graph (0, 0)][DBLP]
    ExaCt, 2005, pp:86-93 [Conf]

  24. Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing - An Experience Report -. [Citation Graph (, )][DBLP]


  25. On primitive recursive wordfunctions. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
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