| 2009 | FlAIRS | 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 |
| 2004 | SAFECOMP | Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. | Holger Pfeifer, Friedrich W. von Henke |
| 2001 | ETFA | Formal analysis for dependability properties: the time-triggered architecture example. | Holger Pfeifer, Friedrich W. von Henke |
| 1997 | FM | Formal Verification of Transformations for Peephole Optimization. | Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rue |
| 1993 | FM | Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. | Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke |
| 1977 | MFCS | Formal Transformations and the Development of Programs. | Friedrich W. von Henke |
| 1976 | MFCS | An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. | Friedrich W. von Henke |
| 1972 | GI | Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen. | Friedrich W. von Henke, Klaus Weihrauch |
| 1972 | ICALP | Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. | Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch |