Friedrich W. von Henke

38 papers A* 1B 4Misc 1Journal 10Unranked 20

Year	Rank	Type	Title / Venue / Authors
2009	Misc	`conf`	Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing - An Experience Report -. FLAIRS Algirdas Avizienis, Gintare Grigonyte, Johann Haller, Friedrich W. von Henke, Thorsten Liebig, Olaf Noppens
2009	—	`conf`	VIScover: Visualizing, exploring, and analysing structured data. IEEE VAST Thorsten Liebig, Olaf Noppens, Friedrich W. von Henke
2007	J	`jnl`	Modular formal analysis of the central guardian in the Time-Triggered Architecture. Reliab. Eng. Syst. Saf. Holger Pfeifer, Friedrich W. von Henke
2007	B	`conf`	Real-World Reasoning with OWL. ESWC Timo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens
2005	—	`conf`	Explanation Support for OWL Authoring. ExaCt Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens
2004	B	`conf`	Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP Holger Pfeifer, Friedrich W. von Henke
2004	—	`conf`	Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke
2003	J	`jnl`	A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
2002	J	`jnl`	Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
2001	—	`conf`	Formal analysis for dependability properties: the time-triggered architecture example. ETFA (1) Holger Pfeifer, Friedrich W. von Henke
1999	—	`conf`	Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS Ercument Canver, Friedrich W. von Henke
1999	—	`conf`	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
1998	—	`conf`	Case Studies in Meta-Level Theorem Proving. TPHOLs Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
1998	—	`conf`	Mechanical Verification of Clock Synchronization Algorithms. FTRTFT Detlef Schwier, Friedrich W. von Henke
1998	—	`conf`	Towards Light-Weight Verification and Heavy-Weight Testing. Tool Support for System Specification, Development and Verification Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke
1997	—	`conf`	Formal Verification of Transformations for Peephole Optimization. FME Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
1997	—	`conf`	Typelab: An Environment for Modular Program Development. TAPSOFT Friedrich W. von Henke, Marko Luther, Martin Strecker
1996	—	`conf`	The TYPELAB Specification and Verification Environment. AMAST Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
1995	—	`ch.`	Construction and Deduction Methods for the Formal Development of Software. KORSO Book Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier
1995	J	`jnl`	Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. Software Eng. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
1994	—	`conf`	Putting Software Technology to Work. IFIP Congress (3) Friedrich W. von Henke
1993	—	`conf`	Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
1993	J	`jnl`	Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. John M. Rushby, Friedrich W. von Henke
1991	—	`conf`	Formal verification of algorithms for critical systems. SIGSOFT John M. Rushby, Friedrich W. von Henke
1991	—	`conf`	From formal verification to silicon compilation. Compcon Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke
1987	—	`book`	ANNA - A Language for Annotating Ada Programs, Reference Manual David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe
1985	J	`jnl`	An Overview of Anna, a Specification Language for Ada. IEEE Softw. David C. Luckham, Friedrich W. von Henke
1985	J	`jnl`	Reasoning with Hoare sentences. ACM SIGSOFT Softw. Eng. Notes Friedrich W. von Henke
1985	—	`conf`	Semantic specification of Ada packages. SIGAda Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe
1984	J	`jnl`	Adam: An Ada-based Language for Multiprocessing. Softw. Pract. Exp. David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson
1981	J	`jnl`	Program verification at Stanford. ACM SIGSOFT Softw. Eng. Notes David C. Luckham, Friedrich W. von Henke
1977	B	`conf`	Formal Transformations and the Development of Programs. MFCS Friedrich W. von Henke
1977	—	`conf`	Towards automation of proofs by induction. Theoretical Computer Science Friedrich W. von Henke
1976	B	`conf`	An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. MFCS Friedrich W. von Henke
1975	—	`conf`	A methodology for verifying programs. Reliable Software Friedrich W. von Henke, David C. Luckham
1975	J	`jnl`	On primitive recursive wordfunctions. Computing Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch
1972	A*	`conf`	Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. ICALP Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch
1972	—	`conf`	Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen. GI Jahrestagung Friedrich W. von Henke, Klaus Weihrauch