| 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 | 108 | 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 | 60 | 2004 |
| Software verification for programmable logic controllers R Huuck Christian-Albrechts Universität Kiel, 2003 | 49 | 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 | 41 | 2000 |
| 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 |
| Semantics and analysis of instruction list programs R Huuck Electronic Notes in Theoretical Computer Science 115, 3-18, 2005 | 34 | 2005 |
| Introduction to the analysis and verification of hybrid systems S Kowalewski Modelling, Analysis, and Design of Hybrid Systems, 153-171, 2002 | 33 | 2002 |
| 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 | 31 | 2012 |
| 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 |
Felix RauchGoogle (formerly ETH Zurich and NICTA)Verified email at google.com
Felix RauchGoogle (formerly ETH Zurich and NICTA)Verified email at google.com