Friedrich W. von Henke

2007
24	EE	Timo 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
22	EE	Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke: Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics 2004
21	EE	Holger Pfeifer, Friedrich W. von Henke: Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP 2004: 240-253
2003
20	EE	Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003)
2002
19	EE	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. 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
17	EE	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. FTCS 1999: 68-75
1998
16	EE	Detlef 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
10	EE	Sam 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
7	EE	John 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

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

Colors in the list of coauthors