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 | 109 | 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 | 59 | 2004 |
Software verification for programmable logic controllers R Huuck Christian-Albrechts Universität Kiel, 2003 | 48 | 2003 |
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 | 43 | 2007 |
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 | 42 | 2000 |
Semantics and analysis of instruction list programs R Huuck Electronic Notes in Theoretical Computer Science 115, 3-18, 2005 | 35 | 2005 |
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 | 34 | 2012 |
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 | 34 | 2006 |
Introduction to the analysis and verification of hybrid systems S Kowalewski Modelling, Analysis, and Design of Hybrid Systems, 153-171, 2002 | 34 | 2002 |
Generating a transition system for use with model checking R Huuck, A Fehnker, P Jayet, FR Valenti US Patent 8,850,415, 2014 | 24 | 2014 |
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 | 21 | 2001 |
Discrete models for hybrid systems J Lunze, J Raisch Modelling, Analysis, and Design of Hybrid Systems, 67-80, 2002 | 20 | 2002 |
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 | 20 | 2002 |
Goanna: Syntactic software model checking R Huuck, A Fehnker, S Seefried, J Brauer International Symposium on Automated Technology for Verification and …, 2008 | 19 | 2008 |
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 | 19 | 2000 |
An abstract model for sequential function charts S Bornot, R Huuck, Y Lakhnech, B Lukoschus Discrete Event Systems, 255-264, 2000 | 19 | 2000 |
Towards automatic verification of embedded control software N Bauer, R Huuck Proceedings Second Asia-Pacific Conference on Quality Software, 375-383, 2001 | 18 | 2001 |
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 | 17 | 1997 |
Software metrics in static program analysis A Vogelsang, A Fehnker, R Huuck, W Reif International Conference on Formal Engineering Methods, 485-500, 2010 | 16 | 2010 |
A model-checking approach to safe SFCs R Huuck, B Lukoschus, N Bauer Proc. of CESA, 2003 | 16 | 2003 |