Concepedia

Friedrich von Henke

FV

Statistics

Publications

8

Citations

758

H-Index

8

Active since

1991

Affiliations

Universität Ulm(Current)

SRI International

Durham University

Newcastle University

Friedrich von Henke is an author at Universität Ulm specializing in computer science, formal verification, and fault-tolerant systems.

Publications per year

1991–2003

8

Publications

8

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

Sam Owre, John Rushby, Natarajan Shankar et al. · IEEE Transactions on Software Engineering · 1995 · 494 citations

Engineering, Computer Engineering, Computer Science +15

Formal verification of algorithms for critical systems

John Rushby, Friedrich von Henke · IEEE Transactions on Software Engineering · 1993 · 91 citations

Computing, Computer Engineering, Computer Science +14

Formal verification of algorithms for critical systems

John Rushby, Friedrich von Henke · ACM SIGSOFT Software Engineering Notes · 1991 · 56 citations

Computing, Computer Engineering, Computer Science +14

Rigorous development of a safety-critical system based on coordinated atomic actions

Jie Xu, Brian Randell, R.J. Romanovsky et al. · 2003 · 41 citations

Engineering, Industrial Engineering, Systems Engineering +17

Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions

Jianliang Xu, Brian Randell, Alexander Romanovsky et al. · IEEE Transactions on Computers · 2002 · 36 citations · Full text

Engineering, Computer Science, Systems Engineering +17

1–5 of 8