Comparing Timed C/E Systems with Timed Automata (Abstract). - Ralf Huuck; Yassine Lakhnech; Luis Urbina; Sebastian Engell; Stefan Kowalewski; Jörg Preußig (HART, 1997)

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 (Parallel Distributed Comput. Pract., 1998)

Statische Analysetechniken für speicherprogrammierbare Steuerungen. - Sébastien Bornot; Ralf Huuck; Ben Lukoschus (FBT, 2000)

Verification of Sequential Function Charts Using SMV. - Sébastien Bornot; Ralf Huuck; Ben Lukoschus (PDPTA, 2000)

Towards Automatic Verification of Embedded Control Software. - Nanette Bauer; Ralf Huuck (APAQS, 2001)

Verifying Untimed and Timed Aspects of the Experimental Batch Plant. - Ralf Huuck; Ben Lukoschus; Yassine Lakhnech (Eur. J. Control, 2001)

Software verification for programmable logic controllers. - Ralf Huuck (2003)

Verification of PLC Programs Given as Sequential Function Charts. - Nanette Bauer; Sebastian Engell; Ralf Huuck; Sven Lohmann; Ben Lukoschus; Manuel Remelhe; Olaf Stursberg (SoftSpez Final Report, 2004)

A Unifying Semantics for Sequential Function Charts. - Nanette Bauer; Ralf Huuck; Ben Lukoschus; Sebastian Engell (SoftSpez Final Report, 2004)

Semantics and Analysis of Instruction List Programs. - Ralf Huuck (SFEDL@ETAPS, 2004)

Goanna - A Static Model Checker. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (FMICS/PDMC, 2006)

Model Checking Software at Compile Time. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (TASE, 2007)

Goanna: Syntactic Software Model Checking. - Ralf Huuck; Ansgar Fehnker; Sean Seefried; Jörg Brauer (ATVA, 2008)

Some Assembly Required - Program Analysis of Embedded System Code. - Ansgar Fehnker; Ralf Huuck; Felix Rauch; Sean Seefried (SCAM, 2008)

Incremental False Path Elimination for Static Software Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried (ATVA, 2009)

Automatic Bug Detection in Microcontroller Software by Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Bastian Schlich; Michael Tapp (SOFSEM, 2009)

Interprocedural Pointer Analysis in Goanna. - Jörg Brauer; Ralf Huuck; Bastian Schlich (SSV, 2009)

Fade to Grey: Tuning Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried; Michael Tapp (TTSS, 2009)

Preface. - Ralf Huuck; Gerwin Klein; Bastian Schlich (SSV, 2009)

An Abstract Specification Language for Static Program Analysis. - Michael Vistein; Frank Ortmeier; Wolfgang Reif; Ralf Huuck; Ansgar Fehnker (SSV, 2009)

Operating System Verification. - Gerwin Klein; Ralf Huuck; Bastian Schlich (J. Autom. Reason., 2009)

Smaller Abstractions for FOR ALL CTL* without Next. - Kai Engelhardt; Ralf Huuck (Concurrency, Compositionality, and Correctness, 2010)

Counterexample Guided Path Reduction for Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried (Concurrency, Compositionality, and Correctness, 2010)

Software Metrics in Static Program Analysis. - Andreas Vogelsang; Ansgar Fehnker; Ralf Huuck; Wolfgang Reif (ICFEM, 2010)

SMT-Based False Positive Elimination in Static Program Analysis. - Maximilian Junker; Ralf Huuck; Ansgar Fehnker; Alexander Knapp (ICFEM, 2012)

Formal Verification, Engineering and Business Value - Ralf Huuck (FTSCS, 2012)

High Performance Static Analysis for Industry. - Mark Bradley; Franck Cassez; Ansgar Fehnker; Thomas Given-Wilson; Ralf Huuck (TAPAS@SAS, 2012)

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. - Jakob Mund; Ralf Huuck; Ansgar Fehnker; Cyrille Artho (ATVA, 2013)

PtrTracker: Pragmatic pointer analysis. - Sebastian Biallas; Mads Chr. Olesen; Franck Cassez; Ralf Huuck (SCAM, 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)

Case Study: Static Security Analysis of the Android Goldfish Kernel. - Tao Liu; Ralf Huuck (FM, 2015)

An Approach to Static-Dynamic Software Analysis. - Pablo González de Aledo; Pablo Sánchez Espeso; Ralf Huuck (FTSCS, 2015)

Technology transfer: Formal analysis, engineering, and business value. - Ralf Huuck (Sci. Comput. Program., 2015)

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 (VST@SANER, 2016)