Friedrich W. von Henke

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

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
VIScover: Visualizing, exploring, and analysing structured data.
Proceedings of the 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 -.
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.
Rel. Eng. & Sys. Safety, 2007

Real-World Reasoning with OWL.
Proceedings of the Semantic Web: Research and Applications, 2007

2005
Explanation Support for OWL Authoring.
Proceedings of the Explanation-Aware Computing, 2005

2004
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.
Proceedings of the Computer Safety, 2004

Reasoning Services for an OWL Authoring Tool: An Experience Report .
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
A Completely Verified Realistic Bootstrap Compiler.
Int. J. Found. Comput. Sci., 2003

2002
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.
IEEE Trans. Computers, 2002

2001
Formal analysis for dependability properties: the time-triggered architecture example.
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.
Proceedings of the Digest of Papers: FTCS-29, 1999

Formal Development of Object-Based Systems in a Temporal Logic Setting.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998
Case Studies in Meta-Level Theorem Proving.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Mechanical Verification of Clock Synchronization Algorithms.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997
Typelab: An Environment for Modular Program Development.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Formal Verification of Transformations for Peephole Optimization.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996
The TYPELAB Specification and Verification Environment.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.
IEEE Trans. Software Eng., 1995

Construction and Deduction Methods for the Formal Development of Software.
Proceedings of the KORSO, 1995

1994
Putting Software Technology to Work.
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.
IEEE Trans. Software Eng., 1993

Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991
From formal verification to silicon compilation.
Proceedings of the Compcon Spring '91, San Francisco, 1991

1987
ANNA - A Language for Annotating Ada Programs, Reference Manual
Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987

1985
An Overview of Anna, a Specification Language for Ada.
IEEE Software, 1985

1984
Adam: An Ada-based Language for Multiprocessing.
Softw., Pract. Exper., 1984

1977
Towards automation of proofs by induction.
Proceedings of the Theoretical Computer Science, 1977

Formal Transformations and the Development of Programs.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976
An Algebraic Approach to Data Types, Program Verification, and Program Synthesis.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975
On primitive recursive wordfunctions.
Computing, 1975

1972
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata.
ICALP, 1972

Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen.
Proceedings of the Gesellschaft für Informatik e.V., 1972


  Loading...