Ralf Huuck

According to our database, Ralf Huuck authored at least 34 papers between 1997 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Discovering and Validating Concurrency Specification from Test Executions.

Pablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck

Proceedings of the First International Workshop on Validating Software Tests, 2016

2015

Technology transfer: Formal analysis, engineering, and business value.

Ralf Huuck

Sci. Comput. Program., 2015

An Approach to Static-Dynamic Software Analysis.

Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Case Study: Static Security Analysis of the Android Goldfish Kernel.

Tao Liu, Ralf Huuck

Proceedings of the FM 2015: Formal Methods, 2015

2013

Model checking driven static analysis for the real world: designing and tuning large scale bug detection.

Ansgar Fehnker, Ralf Huuck

Innov. Syst. Softw. Eng., 2013

PtrTracker: Pragmatic pointer analysis.

Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

High Performance Static Analysis for Industry.

Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

Formal Verification, Engineering and Business Value

Ralf Huuck

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

SMT-Based False Positive Elimination in Static Program Analysis.

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Software Metrics in Static Program Analysis.

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif

Proceedings of the Formal Methods and Software Engineering, 2010

Counterexample Guided Path Reduction for Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Proceedings of the Concurrency, 2010

Smaller Abstractions for FOR ALL CTL* without Next.

Kai Engelhardt, Ralf Huuck

Proceedings of the Concurrency, 2010

2009

Operating System Verification.

Gerwin Klein, Ralf Huuck, Bastian Schlich

J. Autom. Reason., 2009

An Abstract Specification Language for Static Program Analysis.

Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Fade to Grey: Tuning Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Interprocedural Pointer Analysis in Goanna.

Jörg Brauer, Ralf Huuck, Bastian Schlich

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Automatic Bug Detection in Microcontroller Software by Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Incremental False Path Elimination for Static Software Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Preface.

Ralf Huuck, Gerwin Klein, Bastian Schlich

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

Some Assembly Required - Program Analysis of Embedded System Code.

Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Goanna: Syntactic Software Model Checking.

Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Model Checking Software at Compile Time.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

Goanna - A Static Model Checker.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the Formal Methods: Applications and Technology, 2006

2004

Semantics and Analysis of Instruction List Programs.

Ralf Huuck

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

A Unifying Semantics for Sequential Function Charts.

Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Verification of PLC Programs Given as Sequential Function Charts.

Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Software verification for programmable logic controllers.

Ralf Huuck

PhD thesis, 2003

2001

Verifying Untimed and Timed Aspects of the Experimental Batch Plant.

Ralf Huuck, Ben Lukoschus, Yassine Lakhnech

Eur. J. Control, 2001

Towards Automatic Verification of Embedded Control Software.

Nanette Bauer, Ralf Huuck

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Verification of Sequential Function Charts Using SMV.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Statische Analysetechniken für speicherprogrammierbare Steuerungen.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1998

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Scalable Comput. Pract. Exp., 1998

1997

Comparing Timed C/E Systems with Timed Automata (Abstract).

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Proceedings of the Hybrid and Real-Time Systems, 1997