Folgen
Ralf Huuck
Ralf Huuck
NICTA, UNSW
Bestätigte E-Mail-Adresse bei cse.unsw.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1192004
A unifying semantics for sequential function charts
N Bauer, R Huuck, B Lukoschus, S Engell
Integration of Software Specification Techniques for Applications in …, 2004
622004
Software verification for programmable logic controllers
R Huuck
Christian-Albrechts Universität Kiel, 2003
532003
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
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
422012
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
422000
Semantics and analysis of instruction list programs
R Huuck
Electronic Notes in Theoretical Computer Science 115, 3-18, 2005
412005
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
362006
Introduction to the analysis and verification of hybrid systems
S Kowalewski
Modelling, Analysis, and Design of Hybrid Systems, 153-171, 2002
332002
Generating a transition system for use with model checking
R Huuck, A Fehnker, P Jayet, FR Valenti
US Patent 8,850,415, 2014
312014
Goanna: Syntactic software model checking
R Huuck, A Fehnker, S Seefried, J Brauer
International Symposium on Automated Technology for Verification and …, 2008
222008
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
212001
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
212000
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
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
192013
Automatic bug detection in microcontroller software by static program analysis
A Fehnker, R Huuck, B Schlich, M Tapp
International Conference on Current Trends in Theory and Practice of …, 2009
192009
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
Software metrics in static program analysis
A Vogelsang, A Fehnker, R Huuck, W Reif
International Conference on Formal Engineering Methods, 485-500, 2010
172010
A model-checking approach to safe SFCs
R Huuck, B Lukoschus, N Bauer
Proc. of CESA 3, 2003
172003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20