dblp.uni-trier.dewww.uni-trier.de

Friedrich W. von Henke

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
24EETimo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens: Real-World Reasoning with OWL. ESWC 2007: 296-310
2005
23 Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens: Explanation Support for OWL Authoring. ExaCt 2005: 86-93
2004
22EEThorsten Liebig, Holger Pfeifer, Friedrich W. von Henke: Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics 2004
21EEHolger Pfeifer, Friedrich W. von Henke: Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP 2004: 240-253
2003
20EEAxel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003)
2002
19EEJie 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. IEEE Trans. Computers 51(2): 164-179 (2002)
1999
18 Ercument Canver, Friedrich W. von Henke: Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS 1999: 419-436
17EEJie 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. FTCS 1999: 68-75
1998
16EEDetlef Schwier, Friedrich W. von Henke: Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271
15 Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß: Case Studies in Meta-Level Theorem Proving. TPHOLs 1998: 461-478
1997
14 Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß: Formal Verification of Transformations for Peephole Optimization. FME 1997: 459-472
13 Friedrich W. von Henke, Marko Luther, Martin Strecker: Typelab: An Environment for Modular Program Development. TAPSOFT 1997: 851-854
1996
12 Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner: The TYPELAB Specification and Verification Environment. AMAST 1996: 604-607
1995
11 Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier: Construction and Deduction Methods for the Formal Development of Software. KORSO Book 1995: 239-254
10EESam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. Software Eng. 21(2): 107-125 (1995)
1994
9 Friedrich W. von Henke: Putting Software Technology to Work. IFIP Congress (3) 1994: 345-350
1993
8 Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500
7EEJohn M. Rushby, Friedrich W. von Henke: Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. 19(1): 13-23 (1993)
1987
6 David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual Springer 1987
1984
5 David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson: Adam: An Ada-based Language for Multiprocessing. Softw., Pract. Exper. 14(7): 605-642 (1984)
1977
4 Friedrich W. von Henke: Formal Transformations and the Development of Programs. MFCS 1977: 288-296
3 Friedrich W. von Henke: Towards automation of proofs by induction. Theoretical Computer Science 1977: 208-214
1976
2 Friedrich W. von Henke: An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. MFCS 1976: 330-336
1972
1 Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch: Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. ICALP 1972: 549-561

Coauthor Index

1Sebastian Böhm [24]
2Ercument Canver [17] [18] [19]
3Axel Dold [11] [14] [20]
4Wolfgang Goerigk [20]
5Klaus Indermark [1]
6Bernd Krieg-Brückner [6]
7H. J. Larsen [5]
8Thorsten Liebig [22] [23] [24]
9David C. Luckham [5] [6]
10Marko Luther [12] [13] [24]
11Olaf Noppens [23] [24]
12Olaf Owe [6]
13Sam Owre [8] [10]
14Stephan Pfab [15]
15Holger Pfeifer [12] [14] [15] [21] [22]
16Brian Randell [17] [19]
17Alexander Romanovsky (Alexander B. Romanovsky) [17] [19]
18Harald Rueß [11] [12] [14] [15]
19John M. Rushby [7] [8] [10]
20Detlef Schwier [11] [12] [16]
21Natarajan Shankar [8] [10]
22Duncan Stevenson [5]
23Martin Strecker [12] [13]
24Robert J. Stroud [17] [19]
25Matthias Wagner [12]
26Klaus Weihrauch [1]
27Timo Weithöner [24]
28Jie Xu [17] [19]
29Avelino Francisco Zorzo (Avelino F. Zorzo) [17] [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)