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 | 133 | 2004 |
A unifying semantics for sequential function charts N Bauer, R Huuck, B Lukoschus, S Engell Integration of Software Specification Techniques for Applications in …, 2004 | 67 | 2004 |
Software verification for programmable logic controllers R Huuck Christian-Albrechts Universität Kiel, 2003 | 53 | 2003 |
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 | 48 | 2012 |
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 | 48 | 2007 |
Semantics and analysis of instruction list programs R Huuck Electronic Notes in Theoretical Computer Science 115, 3-18, 2005 | 44 | 2005 |
Verification of Sequential Function Charts Using SMV. S Bornot, R Huuck, B Lukoschus, Y Lakhnech PDPTA, 26-29, 2000 | 43 | 2000 |
Generating a transition system for use with model checking R Huuck, A Fehnker, P Jayet, FR Valenti US Patent 8,850,415, 2014 | 39 | 2014 |
Goanna—a static model checker A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch Formal Methods: Applications and Technology: 11th International Workshop …, 2007 | 38 | 2007 |
Introduction to the analysis and verification of hybrid systems S Kowalewski Modelling, Analysis, and Design of Hybrid Systems, 153-171, 2002 | 34 | 2002 |
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 | 24 | 2001 |
Goanna: Syntactic software model checking R Huuck, A Fehnker, S Seefried, J Brauer Automated Technology for Verification and Analysis: 6th International …, 2008 | 23 | 2008 |
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 | 22 | 2013 |
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 | 21 | 2002 |
An abstract model for sequential function charts S Bornot, R Huuck, Y Lakhnech, B Lukoschus Discrete event systems: analysis and control, 255-264, 2000 | 21 | 2000 |
Software metrics in static program analysis A Vogelsang, A Fehnker, R Huuck, W Reif Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 20 | 2010 |
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 | 20 | 2000 |
Iot: The internet of threats and static program analysis defense R Huuck EmbeddedWorld 2015: Exibition & Conferences 493, 2015 | 19 | 2015 |
Towards automatic verification of embedded control software N Bauer, R Huuck Proceedings Second Asia-Pacific Conference on Quality Software, 375-383, 2001 | 18 | 2001 |
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 | 17 | 2009 |