Search the dblp DataBase
Friedrich W. von Henke :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Detlef Schwier , Friedrich W. von Henke Mechanical Verification of Clock Synchronization Algorithms. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1998, pp:262-271 [Conf ] 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 ] Friedrich W. von Henke Putting Software Technology to Work. [Citation Graph (0, 0)][DBLP ] IFIP Congress (3), 1994, pp:345-350 [Conf ] 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 ] 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 ] Friedrich W. von Henke Formal Transformations and the Development of Programs. [Citation Graph (0, 0)][DBLP ] MFCS, 1977, pp:288-296 [Conf ] 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 ] 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 ] Friedrich W. von Henke Towards automation of proofs by induction. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1977, pp:208-214 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Thorsten Liebig , Friedrich W. von Henke , Olaf Noppens Explanation Support for OWL Authoring. [Citation Graph (0, 0)][DBLP ] ExaCt, 2005, pp:86-93 [Conf ] Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing - An Experience Report -. [Citation Graph (, )][DBLP ] On primitive recursive wordfunctions. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.279secs