Friedrich W. von Henke

Publication Activity (10 Years)

Years Active: 1972-2009
Publications (10 Years): 0

Publications

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)
Thorsten Liebig, Olaf Noppens, Friedrich W. von Henke
VIScover: Visualizing, exploring, and analysing structured data. IEEE VAST (2009)
Holger Pfeifer, Friedrich W. von Henke
Modular formal analysis of the central guardian in the Time-Triggered Architecture. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Timo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens
Real-World Reasoning with OWL. ESWC (2007)
Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens
Explanation Support for OWL Authoring. ExaCt (2005)
Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke
Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics (2004)
Holger Pfeifer, Friedrich W. von Henke
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP (2004)
Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14 (4) (2003)
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) (2002)
Holger Pfeifer, Friedrich W. von Henke
Formal analysis for dependability properties: the time-triggered architecture example. ETFA (1) (2001)
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)
Ercument Canver, Friedrich W. von Henke
Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS (1999)
Detlef Schwier, Friedrich W. von Henke
Mechanical Verification of Clock Synchronization Algorithms. FTRTFT (1998)
Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
Case Studies in Meta-Level Theorem Proving. TPHOLs (1998)
Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke
Towards Light-Weight Verification and Heavy-Weight Testing. Tool Support for System Specification, Development and Verification (1998)
Friedrich W. von Henke, Marko Luther, Martin Strecker
Typelab: An Environment for Modular Program Development. TAPSOFT (1997)
Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
Formal Verification of Transformations for Peephole Optimization. FME (1997)
Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
The TYPELAB Specification and Verification Environment. AMAST (1996)
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) (1995)
Friedrich W. von Henke
Putting Software Technology to Work. IFIP Congress (3) (1994)
Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME (1993)
John M. Rushby, Friedrich W. von Henke
Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. 19 (1) (1993)
John M. Rushby, Friedrich W. von Henke
Formal verification of algorithms for critical systems. SIGSOFT (1991)
Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke
From formal verification to silicon compilation. Compcon (1991)
Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe
Semantic specification of Ada packages. SIGAda (1985)
David C. Luckham, Friedrich W. von Henke
An Overview of Anna, a Specification Language for Ada. IEEE Softw. 2 (2) (1985)
Friedrich W. von Henke
Reasoning with Hoare sentences. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson
Adam: An Ada-based Language for Multiprocessing. Softw. Pract. Exp. 14 (7) (1984)
David C. Luckham, Friedrich W. von Henke
Program verification at Stanford. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Friedrich W. von Henke
Towards automation of proofs by induction. Theoretical Computer Science (1977)
Friedrich W. von Henke
Formal Transformations and the Development of Programs. MFCS (1977)
Friedrich W. von Henke
An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. MFCS (1976)
Friedrich W. von Henke, David C. Luckham
A methodology for verifying programs. Reliable Software (1975)
Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch
On primitive recursive wordfunctions. Computing 15 (3) (1975)
Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. ICALP (1972)
Friedrich W. von Henke, Klaus Weihrauch
Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen. GI Jahrestagung (1972)