2007 |
24 | EE | 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 |
2005 |
23 | | Thorsten Liebig,
Friedrich W. von Henke,
Olaf Noppens:
Explanation Support for OWL Authoring.
ExaCt 2005: 86-93 |
2004 |
22 | EE | Thorsten Liebig,
Holger Pfeifer,
Friedrich W. von Henke:
Reasoning Services for an OWL Authoring Tool: An Experience Report .
Description Logics 2004 |
21 | EE | Holger Pfeifer,
Friedrich W. von Henke:
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.
SAFECOMP 2004: 240-253 |
2003 |
20 | EE | Axel Dold,
Friedrich W. von Henke,
Wolfgang Goerigk:
A Completely Verified Realistic Bootstrap Compiler.
Int. J. Found. Comput. Sci. 14(4): 659- (2003) |
2002 |
19 | EE | 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 |
18 | | Ercument Canver,
Friedrich W. von Henke:
Formal Development of Object-Based Systems in a Temporal Logic Setting.
FMOODS 1999: 419-436 |
17 | EE | 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 |
16 | EE | Detlef Schwier,
Friedrich W. von Henke:
Mechanical Verification of Clock Synchronization Algorithms.
FTRTFT 1998: 262-271 |
15 | | Friedrich W. von Henke,
Stephan Pfab,
Holger Pfeifer,
Harald Rueß:
Case Studies in Meta-Level Theorem Proving.
TPHOLs 1998: 461-478 |
1997 |
14 | | Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
Harald Rueß:
Formal Verification of Transformations for Peephole Optimization.
FME 1997: 459-472 |
13 | | Friedrich W. von Henke,
Marko Luther,
Martin Strecker:
Typelab: An Environment for Modular Program Development.
TAPSOFT 1997: 851-854 |
1996 |
12 | | 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 |
11 | | 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 |
10 | EE | 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 |
9 | | Friedrich W. von Henke:
Putting Software Technology to Work.
IFIP Congress (3) 1994: 345-350 |
1993 |
8 | | Sam Owre,
John M. Rushby,
Natarajan Shankar,
Friedrich W. von Henke:
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.
FME 1993: 482-500 |
7 | EE | John M. Rushby,
Friedrich W. von Henke:
Formal Verification of Algorithms for Critical Systems.
IEEE Trans. Software Eng. 19(1): 13-23 (1993) |
1987 |
6 | | 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 |
5 | | 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 |
4 | | Friedrich W. von Henke:
Formal Transformations and the Development of Programs.
MFCS 1977: 288-296 |
3 | | Friedrich W. von Henke:
Towards automation of proofs by induction.
Theoretical Computer Science 1977: 208-214 |
1976 |
2 | | Friedrich W. von Henke:
An Algebraic Approach to Data Types, Program Verification, and Program Synthesis.
MFCS 1976: 330-336 |
1972 |
1 | | Friedrich W. von Henke,
Klaus Indermark,
Klaus Weihrauch:
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata.
ICALP 1972: 549-561 |