Friedrich W. von Henke

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: 259-260

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)

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

Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens: Explanation Support for OWL Authoring. ExaCt 2005: 86-93

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: 240-253

Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (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): 164-179 (2002)

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

Ercument Canver, Friedrich W. von Henke: Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS 1999: 419-436

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

Detlef Schwier, Friedrich W. von Henke: Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271

Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß: Case Studies in Meta-Level Theorem Proving. TPHOLs 1998: 461-478

Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß: Formal Verification of Transformations for Peephole Optimization. FME 1997: 459-472

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

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

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)

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

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

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

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

David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual. Lecture Notes in Computer Science 260, Springer 1987, isbn 3-540-17980-1

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)

Friedrich W. von Henke: Formal Transformations and the Development of Programs. MFCS 1977: 288-296

Friedrich W. von Henke: Towards automation of proofs by induction. Theoretical Computer Science 1977: 208-214

Friedrich W. von Henke: An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. MFCS 1976: 330-336

Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch: On primitive recursive wordfunctions. Computing 15(3): 217-234 (1975)

Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch: Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. ICALP 1972: 549-561