Ralf Huuck
Ralf Huuck
NICTA, UNSW
Verified email at cse.unsw.edu.au - Homepage
Title
Cited by
Cited by
Year
Verification of PLC programs given as sequential function charts
N Bauer, S Engell, R Huuck, S Lohmann, B Lukoschus, M Remelhe, ...
Integration of software specification techniques for applications in …, 2004
1082004
A unifying semantics for sequential function charts
N Bauer, R Huuck, B Lukoschus, S Engell
Integration of software specification techniques for applications in …, 2004
602004
Software verification for programmable logic controllers
R Huuck
Christian-Albrechts Universität Kiel, 2003
492003
Model checking software at compile time
A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
432007
Verification of sequential function charts using SMV
S Bornot, R Huuck, B Lukoschus, Y Lakhnech
In PDPTA 2000: International Conference on Parallel and Distributed …, 2000
412000
Goanna—a static model checker
A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch
International Workshop on Parallel and Distributed Methods in Verification …, 2006
342006
Semantics and analysis of instruction list programs
R Huuck
Electronic Notes in Theoretical Computer Science 115, 3-18, 2005
342005
Introduction to the analysis and verification of hybrid systems
S Kowalewski
Modelling, Analysis, and Design of Hybrid Systems, 153-171, 2002
332002
SMT-based false positive elimination in static program analysis
M Junker, R Huuck, A Fehnker, A Knapp
International Conference on Formal Engineering Methods, 316-331, 2012
312012
Generating a transition system for use with model checking
R Huuck, A Fehnker, P Jayet, FR Valenti
US Patent 8,850,415, 2014
242014
Approaches to the formal verification of hybrid systems
P Herrmann, S Engell, R Huuck, H Krumm, Y Lakhnech, B Lukoschus, ...
at-Automatisierungstechnik 49 (2), 66, 2001
212001
Discrete models for hybrid systems
J Lunze, J Raisch
Modelling, Analysis, and Design of Hybrid Systems, 67-80, 2002
202002
Modular analysis of discrete controllers for distributed hybrid systems
G Frehse, O Stursberg, S Engell, R Huuck, B Lukoschus
IFAC Proceedings Volumes 35 (1), 469-474, 2002
202002
Goanna: Syntactic software model checking
R Huuck, A Fehnker, S Seefried, J Brauer
International Symposium on Automated Technology for Verification and …, 2008
192008
Utilizing static analysis for programmable logic controllers
S Bornot, R Huuck, Y Lakhnech, B Lukoschus
4th International Conference on Automation of Mixed Processes: Hybrid …, 2000
192000
An abstract model for sequential function charts
S Bornot, R Huuck, Y Lakhnech, B Lukoschus
Discrete Event Systems, 255-264, 2000
192000
Towards automatic verification of embedded control software
N Bauer, R Huuck
Proceedings Second Asia-Pacific Conference on Quality Software, 375-383, 2001
182001
Comparing timed c/e systems with timed automata
R Huuck, Y Lakhnech, L Urbina, S Engell, S Kowalewski, J Preußig
International Workshop on Hybrid and Real-Time Systems, 81-86, 1997
171997
Software metrics in static program analysis
A Vogelsang, A Fehnker, R Huuck, W Reif
International Conference on Formal Engineering Methods, 485-500, 2010
162010
A model-checking approach to safe SFCs
R Huuck, B Lukoschus, N Bauer
Proc. of CESA, 2003
162003
The system can't perform the operation now. Try again later.
Articles 1–20