Follow
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
1332004
A unifying semantics for sequential function charts
N Bauer, R Huuck, B Lukoschus, S Engell
Integration of Software Specification Techniques for Applications in …, 2004
672004
Software verification for programmable logic controllers
R Huuck
Christian-Albrechts Universität Kiel, 2003
532003
SMT-based false positive elimination in static program analysis
M Junker, R Huuck, A Fehnker, A Knapp
Formal Methods and Software Engineering: 14th International Conference on …, 2012
482012
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
482007
Semantics and analysis of instruction list programs
R Huuck
Electronic Notes in Theoretical Computer Science 115, 3-18, 2005
442005
Verification of Sequential Function Charts Using SMV.
S Bornot, R Huuck, B Lukoschus, Y Lakhnech
PDPTA, 26-29, 2000
432000
Generating a transition system for use with model checking
R Huuck, A Fehnker, P Jayet, FR Valenti
US Patent 8,850,415, 2014
392014
Goanna—a static model checker
A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch
Formal Methods: Applications and Technology: 11th International Workshop …, 2007
382007
Introduction to the analysis and verification of hybrid systems
S Kowalewski
Modelling, Analysis, and Design of Hybrid Systems, 153-171, 2002
342002
Approaches to the formal verification of hybrid systems
S Kowalewski, P Herrmann, S Engell, R Huuck, H Krumm, Y Lakhnech, ...
Oldenbourg Wissenschaftsverlag GmbH 49 (2), 66, 2001
242001
Goanna: Syntactic software model checking
R Huuck, A Fehnker, S Seefried, J Brauer
Automated Technology for Verification and Analysis: 6th International …, 2008
232008
Model checking driven static analysis for the real world: designing and tuning large scale bug detection
A Fehnker, R Huuck
Innovations in systems and software engineering 9 (1), 45-56, 2013
222013
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
212002
An abstract model for sequential function charts
S Bornot, R Huuck, Y Lakhnech, B Lukoschus
Discrete event systems: analysis and control, 255-264, 2000
212000
Software metrics in static program analysis
A Vogelsang, A Fehnker, R Huuck, W Reif
Formal Methods and Software Engineering: 12th International Conference on …, 2010
202010
Utilizing static analysis for programmable logic controllers
S Bornot, R Huuck, Y Lakhnech, B Lukoschus
ADPM 2000: 4th International Conference on Automation of Mixed Processes …, 2000
202000
Iot: The internet of threats and static program analysis defense
R Huuck
EmbeddedWorld 2015: Exibition & Conferences 493, 2015
192015
Towards automatic verification of embedded control software
N Bauer, R Huuck
Proceedings Second Asia-Pacific Conference on Quality Software, 375-383, 2001
182001
Automatic bug detection in microcontroller software by static program analysis
A Fehnker, R Huuck, B Schlich, M Tapp
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009
172009
The system can't perform the operation now. Try again later.
Articles 1–20