Concepedia

Ralf Huuck

RH

Statistics

Publications

9

Citations

170

H-Index

9

Active since

2000

Affiliations

UNSW Sydney(Current)

Data61

Ralf Huuck is an author at UNSW Sydney specializing in computer science, computing, and static code analysis.

Publications per year

2000–2015

9

Publications

9

Semantics and Analysis of Instruction List Programs

Ralf Huuck · Electronic Notes in Theoretical Computer Science · 2005 · 33 citations · Full text

, , +13

Verification of Sequential Function Charts Using SMV.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus · 2000 · 32 citations

, , +8

Model Checking Software at Compile Time

Ansgar Fehnker, Ralf Huuck, Patrick Jayet et al. · 2007 · 32 citations

, , +11

Operating System Verification

Gerwin Klein, Ralf Huuck, Bastian Schlich · Journal of Automated Reasoning · 2009 · 16 citations · Full text

Model checking driven static analysis for the real world: designing and tuning large scale bug detection

Ansgar Fehnker, Ralf Huuck · Innovations in Systems and Software Engineering · 2012 · 14 citations

, , +13

1–5 of 9