Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen. - Friedrich W. von Henke; Klaus Weihrauch (GI Jahrestagung, 1972)

Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. - Friedrich W. von Henke; Klaus Indermark; Klaus Weihrauch (ICALP, 1972)

A methodology for verifying programs. - Friedrich W. von Henke; David C. Luckham (Reliable Software, 1975)

On primitive recursive wordfunctions. - Friedrich W. von Henke; G. Rose; Klaus Indermark; Klaus Weihrauch (Computing, 1975)

An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. - Friedrich W. von Henke (MFCS, 1976)

Formal Transformations and the Development of Programs. - Friedrich W. von Henke (MFCS, 1977)

Towards automation of proofs by induction. - Friedrich W. von Henke (Theoretical Computer Science, 1977)

Program verification at Stanford. - David C. Luckham; Friedrich W. von Henke (ACM SIGSOFT Softw. Eng. Notes, 1981)

Adam: An Ada-based Language for Multiprocessing. - David C. Luckham; Friedrich W. von Henke; H. J. Larsen; Duncan Stevenson (Softw. Pract. Exp., 1984)

Semantic specification of Ada packages. - Friedrich W. von Henke; David C. Luckham; Bernd Krieg-Brückner; Olaf Owe (SIGAda, 1985)

Reasoning with Hoare sentences. - Friedrich W. von Henke (ACM SIGSOFT Softw. Eng. Notes, 1985)

An Overview of Anna, a Specification Language for Ada. - David C. Luckham; Friedrich W. von Henke (IEEE Softw., 1985)

ANNA - A Language for Annotating Ada Programs, Reference Manual - David C. Luckham; Friedrich W. von Henke; Bernd Krieg-Brückner; Olaf Owe (Springer, 1987)

From formal verification to silicon compilation. - Jeffrey Joyce; Erwin Liu; John M. Rushby; Natarajan Shankar; Roberto Suaya; Friedrich W. von Henke (Compcon, 1991)

Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. - Sam Owre; John M. Rushby; Natarajan Shankar; Friedrich W. von Henke (FME, 1993)

Formal Verification of Algorithms for Critical Systems. - John M. Rushby; Friedrich W. von Henke (IEEE Trans. Software Eng., 1993)

Putting Software Technology to Work. - Friedrich W. von Henke (IFIP Congress (3), 1994)

Construction and Deduction Methods for the Formal Development of Software. - Friedrich W. von Henke; Axel Dold; Harald Rueß; Detlef Schwier (KORSO Book, 1995)

Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. - Sam Owre; John M. Rushby; Natarajan Shankar; Friedrich W. von Henke (IEEE Trans. Software Eng., 1995)

The TYPELAB Specification and Verification Environment. - Friedrich W. von Henke; Marko Luther; Holger Pfeifer; Harald Rueß; Detlef Schwier; Martin Strecker; Matthias Wagner 001 (AMAST, 1996)

Formal Verification of Transformations for Peephole Optimization. - Axel Dold; Friedrich W. von Henke; Holger Pfeifer; Harald Rueß (FME, 1997)

Typelab: An Environment for Modular Program Development. - Friedrich W. von Henke; Marko Luther; Martin Strecker (TAPSOFT, 1997)

Mechanical Verification of Clock Synchronization Algorithms. - Detlef Schwier; Friedrich W. von Henke (FTRTFT, 1998)

Case Studies in Meta-Level Theorem Proving. - Friedrich W. von Henke; Stephan Pfab; Holger Pfeifer; Harald Rueß (TPHOLs, 1998)

Towards Light-Weight Verification and Heavy-Weight Testing. - Stephan Pfab; Harald Rueß; Sam Owre; Friedrich W. von Henke (Tool Support for System Specification, Development and Verification, 1998)

Formal Development of Object-Based Systems in a Temporal Logic Setting. - Ercument Canver; Friedrich W. von Henke (FMOODS, 1999)

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (FTCS, 1999)

Formal analysis for dependability properties: the time-triggered architecture example. - Holger Pfeifer; Friedrich W. von Henke (ETFA (1), 2001)

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (IEEE Trans. Computers, 2002)

A Completely Verified Realistic Bootstrap Compiler. - Axel Dold; Friedrich W. von Henke; Wolfgang Goerigk (Int. J. Found. Comput. Sci., 2003)

Reasoning Services for an OWL Authoring Tool: An Experience Report . - Thorsten Liebig; Holger Pfeifer; Friedrich W. von Henke (Description Logics, 2004)

Explanation Support for OWL Authoring. - Thorsten Liebig; Friedrich W. von Henke; Olaf Noppens (ExaCt, 2005)

Real-World Reasoning with OWL. - Timo Weithöner; Thorsten Liebig; Marko Luther; Sebastian Böhm; Friedrich W. von Henke; Olaf Noppens (ESWC, 2007)

Modular formal analysis of the central guardian in the Time-Triggered Architecture. - Holger Pfeifer; Friedrich W. von Henke (Reliab. Eng. Syst. Saf., 2007)

Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing - An Experience Report -. - Algirdas Avizienis; Gintare Grigonyte; Johann Haller; Friedrich W. von Henke; Thorsten Liebig; Olaf Noppens (FLAIRS, 2009)

VIScover: Visualizing, exploring, and analysing structured data. - Thorsten Liebig; Olaf Noppens; Friedrich W. von Henke (IEEE VAST, 2009)