Friedrich W. von Henke

According to our database, Friedrich W. von Henke authored at least 36 papers between 1972 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

VIScover: Visualizing, exploring, and analysing structured data.

Thorsten Liebig, Olaf Noppens, Friedrich W. von Henke

Proceedings of the 4th IEEE Symposium on Visual Analytics Science and Technology, 2009

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

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2007

Modular formal analysis of the central guardian in the Time-Triggered Architecture.

Holger Pfeifer, Friedrich W. von Henke

Reliab. Eng. Syst. Saf., 2007

Real-World Reasoning with OWL.

Timo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens

Proceedings of the Semantic Web: Research and Applications, 2007

2005

Explanation Support for OWL Authoring.

Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens

Proceedings of the Explanation-Aware Computing, 2005

2004

Reasoning Services for an OWL Authoring Tool: An Experience Report .

Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

A Completely Verified Realistic Bootstrap Compiler.

Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk

Int. J. Found. Comput. Sci., 2003

2002

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke

IEEE Trans. Computers, 2002

2001

Formal analysis for dependability properties: the time-triggered architecture example.

Holger Pfeifer, Friedrich W. von Henke

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1999

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke

Proceedings of the Digest of Papers: FTCS-29, 1999

Formal Development of Object-Based Systems in a Temporal Logic Setting.

Ercument Canver, Friedrich W. von Henke

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998

Towards Light-Weight Verification and Heavy-Weight Testing.

Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke

Proceedings of the International Workshop Tool Support for System Specification, 1998

Case Studies in Meta-Level Theorem Proving.

Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Mechanical Verification of Clock Synchronization Algorithms.

Detlef Schwier, Friedrich W. von Henke

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Typelab: An Environment for Modular Program Development.

Friedrich W. von Henke, Marko Luther, Martin Strecker

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Formal Verification of Transformations for Peephole Optimization.

Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

The TYPELAB Specification and Verification Environment.

Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner

Proceedings of the Algebraic Methodology and Software Technology, 1996

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

Construction and Deduction Methods for the Formal Development of Software.

Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier

Proceedings of the KORSO, 1995

1994

Putting Software Technology to Work.

Friedrich W. von Henke

Proceedings of the Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

Formal Verification of Algorithms for Critical Systems.

John M. Rushby, Friedrich W. von Henke

IEEE Trans. Software Eng., 1993

Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.

Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

From formal verification to silicon compilation.

Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke

Proceedings of the Compcon Spring '91, San Francisco, 1991

1987

ANNA - A Language for Annotating Ada Programs, Reference Manual

David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe

Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987

1985

An Overview of Anna, a Specification Language for Ada.

David C. Luckham, Friedrich W. von Henke

IEEE Softw., 1985

Reasoning with Hoare sentences.

Friedrich W. von Henke

ACM SIGSOFT Softw. Eng. Notes, 1985

Semantic specification of Ada packages.

Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1984

Adam: An Ada-based Language for Multiprocessing.

David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson

Softw. Pract. Exp., 1984

1981

Program verification at Stanford.

David C. Luckham, Friedrich W. von Henke

ACM SIGSOFT Softw. Eng. Notes, 1981

1977

Towards automation of proofs by induction.

Friedrich W. von Henke

Proceedings of the Theoretical Computer Science, 1977

Formal Transformations and the Development of Programs.

Friedrich W. von Henke

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

An Algebraic Approach to Data Types, Program Verification, and Program Synthesis.

Friedrich W. von Henke

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

On primitive recursive wordfunctions.

Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch

Computing, 1975

A methodology for verifying programs.

Friedrich W. von Henke, David C. Luckham

Proceedings of the International Conference on Reliable Software 1975, 1975

1972

Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata.

Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch

Proceedings of the Automata, 1972

Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen.

Friedrich W. von Henke, Klaus Weihrauch

Proceedings of the Gesellschaft für Informatik e.V., 1972