Friedrich W. von Henke

	2009
28		Algirdas Avizienis, Gintare Grigonyte, Johann Haller, Friedrich W. von Henke, Thorsten Liebig, Olaf Noppens: Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing - An Experience Report -. FLAIRS Conference 2009
27		Thorsten Liebig, Olaf Noppens, Friedrich W. von Henke: VIScover: Visualizing, exploring, and analysing structured data. IEEE VAST 2009: 259-260
	2007
26		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
25		Holger Pfeifer, Friedrich W. von Henke: Modular formal analysis of the central guardian in the Time-Triggered Architecture. Rel. Eng. & Sys. Safety 92(11): 1538-1550 (2007)
	2005
24		Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens: Explanation Support for OWL Authoring. ExaCt 2005: 86-93
	2004
23		Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke: Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics 2004
22		Holger Pfeifer, Friedrich W. von Henke: Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP 2004: 240-253
	2003
21		Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003)
	2002
20		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
19		Ercument Canver, Friedrich W. von Henke: Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS 1999: 419-436
18		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
17		Detlef Schwier, Friedrich W. von Henke: Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271
16		Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß: Case Studies in Meta-Level Theorem Proving. TPHOLs 1998: 461-478
	1997
15		Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß: Formal Verification of Transformations for Peephole Optimization. FME 1997: 459-472
14		Friedrich W. von Henke, Marko Luther, Martin Strecker: Typelab: An Environment for Modular Program Development. TAPSOFT 1997: 851-854
	1996
13		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
12		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
11		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
10		Friedrich W. von Henke: Putting Software Technology to Work. IFIP Congress (3) 1994: 345-350
	1993
9		Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500
8		John M. Rushby, Friedrich W. von Henke: Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. 19(1): 13-23 (1993)
	1987
7		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
6		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
5		Friedrich W. von Henke: Formal Transformations and the Development of Programs. MFCS 1977: 288-296
4		Friedrich W. von Henke: Towards automation of proofs by induction. Theoretical Computer Science 1977: 208-214
	1976
3		Friedrich W. von Henke: An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. MFCS 1976: 330-336
	1975
2		Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch: On primitive recursive wordfunctions. Computing 15(3): 217-234 (1975)
	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	Algirdas Avizienis	[28]
2	Sebastian Böhm	[26]
3	Ercument Canver	[18] [19] [20]
4	Axel Dold	[12] [15] [21]
5	Wolfgang Goerigk	[21]
6	Gintare Grigonyte	[28]
7	Johann Haller	[28]
8	Klaus Indermark	[1] [2]
9	Bernd Krieg-Brückner	[7]
10	H. J. Larsen	[6]
11	Thorsten Liebig	[23] [24] [26] [27] [28]
12	David C. Luckham	[6] [7]
13	Marko Luther	[13] [14] [26]
14	Olaf Noppens	[24] [26] [27] [28]
15	Olaf Owe	[7]
16	Sam Owre	[9] [11]
17	Stephan Pfab	[16]
18	Holger Pfeifer	[13] [15] [16] [22] [23] [25]
19	Brian Randell	[18] [20]
20	Alexander Romanovsky (Alexander B. Romanovsky)	[18] [20]
21	G. Rose	[2]
22	Harald Ruess (Harald Rueß)	[12] [13] [15] [16]
23	John M. Rushby	[8] [9] [11]
24	Detlef Schwier	[12] [13] [17]
25	Natarajan Shankar	[9] [11]
26	Duncan Stevenson	[6]
27	Martin Strecker	[13] [14]
28	Robert J. Stroud	[18] [20]
29	Matthias Wagner	[13]
30	Klaus Weihrauch	[1] [2]
31	Timo Weithöner	[26]
32	Jie Xu	[18] [20]
33	Avelino Francisco Zorzo (Avelino F. Zorzo)	[18] [20]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page