default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFriedrich W. von Henke
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
[c26]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 2009- [c25]Thorsten Liebig, Olaf Noppens, Friedrich W. von Henke:
VIScover: Visualizing, exploring, and analysing structured data. IEEE VAST 2009: 259-260 - 2007
- [j10]Holger Pfeifer, Friedrich W. von Henke:
Modular formal analysis of the central guardian in the Time-Triggered Architecture. Reliab. Eng. Syst. Saf. 92(11): 1538-1550 (2007) - [c24]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
- [c23]Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens:
Explanation Support for OWL Authoring. ExaCt 2005: 86-93 - 2004
- [c22]Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke:
Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics 2004 - [c21]Holger Pfeifer, Friedrich W. von Henke:
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP 2004: 240-253 - 2003
- [j9]Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk:
A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003) - 2002
- [j8]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) - 2001
- [c20]Holger Pfeifer, Friedrich W. von Henke:
Formal analysis for dependability properties: the time-triggered architecture example. ETFA (1) 2001: 343-352
1990 – 1999
- 1999
- [c19]Ercument Canver, Friedrich W. von Henke:
Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS 1999: 419-436 - [c18]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
- [c17]Detlef Schwier, Friedrich W. von Henke:
Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271 - [c16]Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß:
Case Studies in Meta-Level Theorem Proving. TPHOLs 1998: 461-478 - [c15]Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke:
Towards Light-Weight Verification and Heavy-Weight Testing. Tool Support for System Specification, Development and Verification 1998: 189-200 - 1997
- [c14]Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß:
Formal Verification of Transformations for Peephole Optimization. FME 1997: 459-472 - [c13]Friedrich W. von Henke, Marko Luther, Martin Strecker:
Typelab: An Environment for Modular Program Development. TAPSOFT 1997: 851-854 - 1996
- [c12]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
- [j7]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) - [p1]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 - 1994
- [c11]Friedrich W. von Henke:
Putting Software Technology to Work. IFIP Congress (3) 1994: 345-350 - 1993
- [j6]John M. Rushby, Friedrich W. von Henke:
Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. 19(1): 13-23 (1993) - [c10]Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke:
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500 - 1991
- [c9]Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke:
From formal verification to silicon compilation. Compcon 1991: 450-455 - [c8]John M. Rushby, Friedrich W. von Henke:
Formal verification of algorithms for critical systems. SIGSOFT 1991: 1-15
1980 – 1989
- 1987
- [b1]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 - 1985
- [j5]Friedrich W. von Henke:
Reasoning with Hoare sentences. ACM SIGSOFT Softw. Eng. Notes 10(4): 84 (1985) - [j4]David C. Luckham, Friedrich W. von Henke:
An Overview of Anna, a Specification Language for Ada. IEEE Softw. 2(2): 9-22 (1985) - [c7]Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe:
Semantic specification of Ada packages. SIGAda 1985: 185-196 - 1984
- [j3]David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson:
Adam: An Ada-based Language for Multiprocessing. Softw. Pract. Exp. 14(7): 605-642 (1984) - 1981
- [j2]David C. Luckham, Friedrich W. von Henke:
Program verification at Stanford. ACM SIGSOFT Softw. Eng. Notes 6(3): 25-27 (1981)
1970 – 1979
- 1977
- [c6]Friedrich W. von Henke:
Formal Transformations and the Development of Programs. MFCS 1977: 288-296 - [c5]Friedrich W. von Henke:
Towards automation of proofs by induction. Theoretical Computer Science 1977: 208-214 - 1976
- [c4]Friedrich W. von Henke:
An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. MFCS 1976: 330-336 - 1975
- [j1]Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch:
On primitive recursive wordfunctions. Computing 15(3): 217-234 (1975) - [c3]Friedrich W. von Henke, David C. Luckham:
A methodology for verifying programs. Reliable Software 1975: 156-164 - 1972
- [c2]Friedrich W. von Henke, Klaus Weihrauch:
Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen. GI Jahrestagung 1972: 63-71 - [c1]Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch:
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. ICALP 1972: 549-561
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
