Publications

Most of the papers available from this page appear in print,
and the corresponding copyright is held by the publisher.
Please, act in accordance with the corresponding copyright laws.
Last updated: 09/2014

 


Pablo Gonzalez De Aledo and Ralf Huuck
An Approach to Static-Dynamic Software Analysis
FTSCS 2015: Fourth International Workshop on Formal Techniques for Safety-Critical Systems
Communications in Computer and Information Science, Springer Verlag

Paper: [PDF file]



Ralf Huuck
Technology transfer: Formal analysis, engineering, and business value
Science of Computer Programming
Volume 103, Pages 3-12 (1 June 2015)

Paper: [PDF file]



Tao Liu and Ralf Huuck
Case Study: Static Security Analysis of the Android Goldfish Kernel
Proceedings of 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 24-26, 2015. Volume 9109 of the series Lecture Notes in Computer Science pp 589-592.

Paper: [PDF file]



Jakob Mund, Ralf Huuck, Ansgar Fehnker and Cyrille Artho
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis
Proceedings of 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) Hanoi, Vietnam, 15-18 October 2013 . Springer 2013 Lecture Notes in Computer Science ISBN 978-3-319-02443-1.

Paper: [PDF file]



Sebastian Biallas, Mads Oleson, Franck Cassez and Ralf Huuck
PtrTracker: Pragmatic Pointer Analysis
Proceedings of 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2013) Eindhoven, Netherlands, 22-23 September 2013 . To appear in IEEE.

Paper: [PDF file]



Ralf Huuck
Formal Verification, Engineering and Business Value
Proceedings of Formal Techniques for Safety-Critical Systems (FTSCS 12) Kyoto, Japan, November 12-16, 2012. To appear in Electronic Proceedings in Theoretical Computer Science.

Paper: [PDF file]



Ansgar Fehnker, Ralf Huuck
Model Checking Driven Static Analysis for the Real World
Journal of Innovations in Systems and Software Engineering Springer-Verlag, doi:10.1007/s11334-012-0192-5, pages 1-12, August 2012.

Paper: [PDF file]



Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
SMT-Based False Positive Elimination in Static Program Analysis
Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012) Kyoto, Japan, November 12-16, 2012. Lecture Notes in Computer Science, Volume 7635, pages 316-331.

Paper: [PDF file]



Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
GoannaSMT - A Static Analyzer with SMT-based Refinement
Proceedings Tools for Automatic Program AnalysiS (TAPAS 2012) Deauville, France, December 2012. Tool presenation

Paper: [PDF file]



Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
High Performance Static Analysis for Industry
Proceedings Tools for Automatic Program AnalysiS (TAPAS 2012) Deauville, France, December 2012. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 289, Pages 3-14

Paper: [PDF file]



Ralf Huuck, Ansgar Fehnker, and Rodiger Wolf
Model Checking Dataflow for Malicious Input
Proceedings of the 6th Workshop on Embedded Systems Security Taipei, Taiwan, Oct 2011. ACM, Article 4, 10 pages, ISBN: 978-1-4503-0819-9

Paper: [PDF file]



Mark Bradley, Ansgar Fehnker, Ralf Huuck, and Paul Steckler
Goanna Static Analysis at the NIST Static Analysis Tool Exposition
Report on the Third Static Analysis Tool Exposition (SATE 2010) U.S. National Institute of Standards and Technology (NIST) Special Publication (SP) 500-283, October, 2011.

Paper: [PDF file]



Mark Bradley, Ansgar Fehnker, and Ralf Huuck
Cyber security at software development time
Proceedings of the IEEE Defense Science Research Conference and Expo (DSR), 2011 Singapore, Aug 3-5 2011. IEEE, ISBN: 978-1-4244-9276-3



Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck and Wolfgang Reif
Software Metrics in Static Program Analysis
12th International Conference on Formal Engineering Methods (ICFEM 2010) Lecture Notes in Computer Science, 2010, Volume 6447/2010, 485-500

Paper: [PDF file]



Kai Engelhardt, Ralf Huuck
Smaller Abstractions for ACTL* without Next
In the Festschrift of Correctness, Concurrency, and Compositionality for Willem-Paul de Roever, Lecture Notes in Computer Science, 2010, Volume 5930, Pages 250-259

Paper: [PDF file]



Ansgar Fehnker, Ralf Huuck, Sean Seefried
Counterexample Guided Path Reduction for Static Program Analysis
In the Festschrift of Correctness, Concurrency, and Compositionality for Willem-Paul de Roever, Lecture Notes in Computer Science, 2010, Volume 5930, Pages 322-341

Paper: [PDF file]



Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker
An Abstract Specification Language for Static Program Analysis
4th International Workshop on Systems Software Verification (SSV 2009) Electronic Notes in Theoretical Computer Science (ENTCS) Volume 254, Pages 181-197, October, 2009

Paper: [PDF file] Volume 254, Pages 65-83, October, 2009



Jörg Brauer, Ralf Huuck and Bastian Schlich
Interprocedural Pointer Analysis in Goanna
4th International Workshop on Systems Software Verification (SSV 2009) Electronic Notes in Theoretical Computer Science (ENTCS)

Paper: [PDF file] Volume 254, Pages 65-83, October, 2009



Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp
Fade to Grey: Tuning Static Program Analysis
3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09) Electronic Notes in Theoretical Computer Science (ENTCS) Volume 266, pp. 17-32 October, 2010.

Paper: [PDF file]



Ansgar Fehnker, Ralf Huuck and Sean Seefried
Incremental False Path Elimination for Static Software Analysis
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and AnalysisLecture Notes in Computer Science, 2009, Volume 5799/2009.

Paper: [PDF file]



Ansgar Fehnker, Ralf Huuck, Bastian Schlich, and Michael Tapp
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), January 24-30, 2009, Czech Republic

Paper: [PDF file]



Ansgar Fehnker, Joerg Brauer, Ralf Huuck, Sean Seefried
Goanna: Syntactic Software Model Checking
6th International Symposium on Automated Technology for Verification and Analysis (ATVA), October 20-23, 2008 Seoul, Korea.

Paper: [PDF file]



Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
Some Assembly Required - Program Analysis of Embedded System Code
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 28th-29th September 2008, Beijing, China

Paper: [PDF file]



Ansgar Fehnker, Ralf Huuck, Felix Rauch and Sean Seefried
Analysing Embedded System Software
Proceedings of C/C++ Verification Workshop, Oxford, UK, July, 2007

Extended Abstract: [PDF file]



Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch
Model checking software at compile time
Proceedings of the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, June, 2007

Paper: [PDF file]



Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch
Goanna - A Static Model Checker In the proceedings of 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Bonn, Germany, August, 2006.

Paper: [PDF file]



Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco.
L4cars. In the proceedings of Embedded Security in Cars (escar 2005), Cologne, Germany, November, 2005.

Paper: [PDF file]



Gerwin Klein, Ralf Huuck
High Assurance System Software. In: Tony Cant (ed), Proc. 10th Australian Workshop on Safety Critical Systems and Software (SCS'05), Conferences in Research and Practice in Information Technology, 55, 2005.



Ralf Huuck
Semantics and Analysis of Instruction List Programs
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004). Electronic Notes in Theoretical Computer Science 115, Elsevier, pages 3-18, January 2005.

Paper: [PDF file]



Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell.
A Unifying Semantics for Sequential Function Charts.
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, pages 400-418. ISBN 3-540-23135-8

Paper: [Link to Electronic Version]



Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg.
Verification of PLC Programs given as Sequential Function Charts.
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, pages 517-540. ISBN 3-540-23135-8

Paper: [Link to Electronic Version]



Nanette Bauer, Ralf Huuck, Sven Lohmann, Ben Lukoschus.
Sequential Function Charts: Die Notwendigkeit formaler Analyse.
atp - Automatisierungstechnische Praxis, pages 61-67. Oldenbourg Wissenschaftsverlag, August 2004. ISSN 0178-2320.



Ralf Huuck
Software Verification for Programmable Logic Controllers
Dissertation, Institute of Computer Science and Applied Mathematics, University of Kiel, April 17, 2003.

Electronic Version [PDF file]



Ralf Huuck, Ben Lukoschus, Nanette Bauer.
A Model-Checking Approach to Safe SFCs.
CESA 2003: IMACS Multiconference on Computational Engineering in Systems Applications, Lille, France, July 9-11, 2003. ISBN 2-9512309-5-8.

Paper (updated version): [PDF file]



Ralf Huuck
Software Verification for Embedded Systems.
In the Proceedings of MMAR '02: The 8th IEEE International Conference on Methods and Models in Automation and Robotics, Szczecin, Poland, 2-5 September 2002

Paper: [PDF file]



Ralf Huuck, Ben Lukoschus, Goran Frehse, and Sebastian Engell
Compositional Verification of Continuous-Discrete Systems
Modelling, Analysis and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences 279, pages 225-246. Springer-Verlag, 2002. ISBN 3-540-43812-2



Goran Frehse, Olaf Stursberg, Sebastian Engell, Ralf Huuck, Ben Lukoschus.
Modular Analysis of Discrete Controllers for Distributed Hybrid Systems.
b '02: The XV. IFAC World Congress, Barcelona, Spain, July 21-26, 2002.

Paper: [PDF file]



Nanette Bauer, Ralf Huuck, Ben Lukoschus
A grenatch Semantics for Hybrid Controllers.
b '02: The XV. IFAC World Congress, Barcelona, Spain, July 21-26, 2002.

Paper: [ gzip-compressed PostScript]



Nanette Bauer, Ralf Huuck
A Parameterized Semantics for Sequential Function Charts.
In the proceedings of SFEDL (Semantic Foundations of Engineering Design Languages) 2002, Satellite Event of ETAPS 2002, 6-14.4.2002, pages 69-83.

Paper: [ gzip-compressed PostScript]



Nanette Bauer, Ralf Huuck
Towards Automatic Verification of Embedded Control Software
APAQS 2001: IEEE Asian Pacific Conference on Quality Software, Hong Kong, December 10-11, pages 375-383, 2001. ISBN 0-7695-1287-9.

Paper: [PDF]



Ralf Huuck, Ben Lukoschus, Yassine Lakhnech.
Verifying Untimed and Timed Aspects of the Experimental Batch Plant.
European Journal of Control, 7(4):400-415, September 2001. Special Issue: Verification of Hybrid Systems - Results of a European Union Esprit Project. Hermes Science Publishing. ISSN 0947-3580.

Paper: [gzip-compressed PostScript]



Goran F. Frehse, Olaf Stursberg, Sebastian Engell, Ralf Huuck, Ben Lukoschus.
Verification of Hybrid Controlled Processing Systems based on Decomposition and Deduction.
ISIC 2001: 2001 IEEE International Symposium on Intelligent Control, Mexico City, Mexico, September 5-7, 2001, pages 150-155. IEEE Press. ISBN 0-7803-6733-2 (CD-ROM: 0-7803-6735-9).

Paper: [gzip-compressed PostScript]



Stefan Kowalewski, Peter Herrmann, Sebastian Engell, Heiko Krumm, Heinz Treseler, Yassine Lakhnech, Ralf Huuck, Ben Lukoschus.
Approaches to the Formal Verification of Hybrid Systems.
at-Automatisierungstechnik, 49(2):66-74, February 2001. Special Issue: Hybrid Systems II: Analysis, Modeling, and Verification. Oldenbourg Verlag. ISSN 0178-2312.

Paper: [gzip-compressed PostScript]



Sébastien Bornot, Ralf Huuck, Yassine Lakhnech, Ben Lukoschus.
Utilizing Static Analysis for Programmable Logic Controllers.
ADPM 2000: The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, Dortmund, Germany, September 18-19, 2000, pages 183-187, Aachen, Germany, 2000. Shaker Verlag. ISSN 0945-4659, ISBN 3-8265-7836-8.

Paper:[PDF file]



Sébastien Bornot, Ralf Huuck, Yassine Lakhnech, Ben Lukoschus.
An Abstract Model for Sequential Function Charts.
Discrete Event Systems: Analysis and Control, Proceedings of WODES 2000: 5th Workshop on Discrete Event Systems, Ghent, Belgium, August 21-23, 2000, pages 255-264, Boston, Dordrecht, London, 2000. Kluwer Academic Publishers. ISBN 0-7923-7897-0.

Paper: [gzip-compressed PostScript]



Sébastien Bornot, Ralf Huuck, Yassine Lakhnech, Ben Lukoschus.
Verification of Sequential Function Charts using SMV.
PDPTA 2000: International Conference on Parallel and Distributed Processing Techniques and Applications, Monte Carlo Resort, Las Vegas, Nevada, USA, June 26-29, 2000, volume V, pages 2987-2993. CSREA Press, June 2000. ISBN 1-892512-51-3.

Paper: [gzip-compressed PostScript]



Sébastien Bornot, Ralf Huuck, Ben Lukoschus.
Statische Analysetechniken für speicherprogrammierbare Steuerungen.
FBT 2000: 10. GI/ITG-Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme, Lübeck, Germany, June 22/23, 2000, pages 175-181, Aachen, Germany, June 2000. Shaker Verlag. ISSN 0945-0807, ISBN 3-8265-7491-5.

Paper: [gzip-compressed PostScript]



Ralf Huuck, Yassine Lakhnech, Ben Lukoschus, Luis Urbina, Sebastian Engell, Stefan Kowalewski, and Jörg Preußig.
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.
Parallel and Distributed Computing Practices, 1(2):45-60, June 1998.

Paper: [gzip-compressed PostScript]



Stefan Kowalewski, Sebastian Engell, Ralf Huuck, Yassine Lakhnech, Ben Lukoschus, and Luis Urbina.
Using Model-Checking for Timed Automata to Parameterize Logic Control Programs.
8th European Symposium on Computer Aided Process Engineering (ESCAPE8), Brugge, Belgium, May 1998.
Proceedings appear in Computers and Chemical Engineering.

Paper: [gzip-compressed PostScript]



Ralf Huuck.
Transforming Timed Condition/Event Systems into Timed Automata: An Approach to Automatic Verification.
Master's Thesis, Christian-Albrechts-Universität zu Kiel, Germany, June 1998.

Paper: [gzip-compressed PostScript]



Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski and Jörg Preußig. Comparing Timed C/E Systems with Timed Automata.
Proceedings Int. Workshop on Hybrid and Real-Time Systems (HART'97), Grenoble, Frankreich, March 26-28, 1997, Lecture Notes in Computer Science 1201, Springer, pp. 81-86

Paper: [ gzip-compressed PostScript]



Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski and Jörg Preußig.
Combining a Computer Science and a Control Theory Approach to the Verification of Hybrid Systems.
5th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'97), Geneva, Switzerland, April 1-3,1997, IEEE Computer Society, ISBN 0-8186-8096-2/97.

Paper: [ gzip-compressed PostScript]



Stefan Kowalewski, Jörg Preußig, Sebastian Engell, Ralf Huuck, Yassine Lakhnech, and Ben Lukoschus.
Analyse zeitbewerteter Bedingung/Ereignis-Systeme mittels Echtzeitautomaten-Tools.
5. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA '97), 1:180-194, Braunschweig, Germany, May 1997.