Friedrich W. von Henke - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

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. flairs 2009:

VIScover: Visualizing, exploring, and analysing structured dataThorsten Liebig, Olaf Noppens, Friedrich W. von Henke. ieeevast 2009: 259-260 [doi]

2007

Modular formal analysis of the central guardian in the Time-Triggered ArchitectureHolger Pfeifer, Friedrich W. von Henke. ress, 92(11):1538-1550, 2007. [doi]

Real-World Reasoning with OWLTimo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens. esws 2007: 296-310 [doi]

2005

Explanation Support for OWL AuthoringThorsten Liebig, Friedrich W. von Henke, Olaf Noppens. exact 2005: 86-93

2004

Reasoning Services for an OWL Authoring Tool: An Experience Report Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke. dlog 2004: [doi]

Modular Formal Analysis of the Central Guardian in the Time-Triggered ArchitectureHolger Pfeifer, Friedrich W. von Henke. safecomp 2004: 240-253 [doi]

2003

A Completely Verified Realistic Bootstrap CompilerAxel Dold, Friedrich W. von Henke, Wolfgang Goerigk. ijfcs, 14(4):659, 2003. [doi]

2002

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic ActionsJie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. TC, 51(2):164-179, 2002. [doi]

2001

Formal analysis for dependability properties: the time-triggered architecture exampleHolger Pfeifer, Friedrich W. von Henke. etfa 2001: 343-352 [doi]

1999

Formal Development of Object-Based Systems in a Temporal Logic SettingErcument Canver, Friedrich W. von Henke. fmoods 1999: 419-436

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic ActionsJie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. ftcs 1999: 68-75 [doi]

1998

Towards Light-Weight Verification and Heavy-Weight TestingStephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke. tssdv 1999: 189-200 [doi]

Mechanical Verification of Clock Synchronization AlgorithmsDetlef Schwier, Friedrich W. von Henke. ftrtft 1998: 262-271 [doi]

Case Studies in Meta-Level Theorem ProvingFriedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß. tphol 1998: 461-478

1997

Formal Verification of Transformations for Peephole OptimizationAxel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß. FM 1997: 459-472

Typelab: An Environment for Modular Program DevelopmentFriedrich W. von Henke, Marko Luther, Martin Strecker. tapsoft 1997: 851-854

1996

The TYPELAB Specification and Verification EnvironmentFriedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner. amast 1996: 604-607

1995

Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVSSam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke. TSE, 21(2):107-125, 1995. [doi]

Construction and Deduction Methods for the Formal Development of SoftwareFriedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier. korso 1995: 239-254

1994

Putting Software Technology to WorkFriedrich W. von Henke. ifip11-9 1994: 345-350

1993

Formal Verification for Fault-Tolerant Architectures: Some Lessons LearnedSam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke. FM 1993: 482-500

Formal Verification of Algorithms for Critical SystemsJohn M. Rushby, Friedrich W. von Henke. TSE, 19(1):13-23, 1993. [doi]

1991

From formal verification to silicon compilationJeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke. compcon 1991: 450-455 [doi]

Formal verification of algorithms for critical systemsJohn M. Rushby, Friedrich W. von Henke. FSE 1991: 1-15 [doi]

1987

ANNA - A Language for Annotating Ada Programs, Reference ManualDavid C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe. Volume 260 of Lecture Notes in Computer Science, Springer, 1987.

1985

An Overview of Anna, a Specification Language for AdaDavid C. Luckham, Friedrich W. von Henke. IEEE Software, 2(2):9-22, 1985. [doi]

Reasoning with Hoare sentencesFriedrich W. von Henke. sigsoft, 10(4):84, 1985. [doi]

Semantic specification of Ada packagesFriedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe. sigada 1985: 185-196 [doi]

1984

Adam: An Ada-based Language for MultiprocessingDavid C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson. SPE, 14(7):605-642, 1984.

1981

Program verification at StanfordDavid C. Luckham, Friedrich W. von Henke. sigsoft, 6(3):25-27, 1981. [doi]

1977

Towards automation of proofs by inductionFriedrich W. von Henke. tcs 1977: 208-214

Formal Transformations and the Development of ProgramsFriedrich W. von Henke. mfcs 1977: 288-296

1976

An Algebraic Approach to Data Types, Program Verification, and Program SynthesisFriedrich W. von Henke. mfcs 1976: 330-336

1975

On primitive recursive wordfunctionsFriedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch. computing, 15(3):217-234, 1975. [doi]

A methodology for verifying programsFriedrich W. von Henke, David C. Luckham. relsoft 1975: 156-164 [doi]

1972

Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by AutomataFriedrich W. von Henke, Klaus Indermark, Klaus Weihrauch. icalp 1972: 549-561

Klassifizierung von Primitiv-rekursiven Transformationen und AutomatentransduktionenFriedrich W. von Henke, Klaus Weihrauch. gi 1973: 63-71 [doi]

Sign in or sign up to see more results.

runs on WebDSL