Ralf Huuck

Publication Activity (10 Years)

Years Active: 1997-2016
Publications (10 Years): 4

Top Venues

FTSCS

VST@SANER

SCAM

Innov. Syst. Softw. Eng.

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Pablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck
Discovering and Validating Concurrency Specification from Test Executions. VST@SANER (2016)
Ralf Huuck
Technology transfer: Formal analysis, engineering, and business value. Sci. Comput. Program. 103 (2015)
Tao Liu, Ralf Huuck
Case Study: Static Security Analysis of the Android Goldfish Kernel. FM (2015)
Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck
An Approach to Static-Dynamic Software Analysis. FTSCS (2015)
Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. ATVA (2013)
Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck
PtrTracker: Pragmatic pointer analysis. SCAM (2013)
Ansgar Fehnker, Ralf Huuck
Model checking driven static analysis for the real world: designing and tuning large scale bug detection. Innov. Syst. Softw. Eng. 9 (1) (2013)
Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
High Performance Static Analysis for Industry. Electron. Notes Theor. Comput. Sci. 289 (2012)
Ralf Huuck
Formal Verification, Engineering and Business Value FTSCS (2012)
Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
SMT-Based False Positive Elimination in Static Program Analysis. ICFEM (2012)
Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif
Software Metrics in Static Program Analysis. ICFEM (2010)
Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp
Fade to Grey: Tuning Static Program Analysis. Electron. Notes Theor. Comput. Sci. 266 (2010)
Ansgar Fehnker, Ralf Huuck, Sean Seefried
Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness (2010)
Kai Engelhardt, Ralf Huuck
Smaller Abstractions for FOR ALL CTL* without Next. Concurrency, Compositionality, and Correctness (2010)
Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp
Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM (2009)
Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker
An Abstract Specification Language for Static Program Analysis. Electron. Notes Theor. Comput. Sci. 254 (2009)
Ansgar Fehnker, Ralf Huuck, Sean Seefried
Incremental False Path Elimination for Static Software Analysis. ATVA (2009)
Ralf Huuck, Gerwin Klein, Bastian Schlich
Preface. Electron. Notes Theor. Comput. Sci. 254 (2009)
Gerwin Klein, Ralf Huuck, Bastian Schlich
Operating System Verification. J. Autom. Reason. 42 (2-4) (2009)
Jörg Brauer, Ralf Huuck, Bastian Schlich
Interprocedural Pointer Analysis in Goanna. Electron. Notes Theor. Comput. Sci. 254 (2009)
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer
Goanna: Syntactic Software Model Checking. ATVA (2008)
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
Some Assembly Required - Program Analysis of Embedded System Code. SCAM (2008)
Ralf Huuck, Gerwin Klein, Bastian Schlich
Preface. Electron. Notes Theor. Comput. Sci. 217 (2008)
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
Model Checking Software at Compile Time. TASE (2007)
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
Goanna - A Static Model Checker. FMICS/PDMC (2006)
Ralf Huuck
Semantics and Analysis of Instruction List Programs. Electron. Notes Theor. Comput. Sci. 115 (2005)
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell
A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report (2004)
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report (2004)
Nanette Bauer, Ralf Huuck
Towards Automatic Verification of Embedded Control Software. APAQS (2001)
Ralf Huuck, Ben Lukoschus, Yassine Lakhnech
Verifying Untimed and Timed Aspects of the Experimental Batch Plant. Eur. J. Control 7 (4) (2001)
Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT (2000)
Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Verification of Sequential Function Charts Using SMV. PDPTA (2000)
Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. Scalable Comput. Pract. Exp. 1 (2) (1998)
Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
Comparing Timed C/E Systems with Timed Automata (Abstract). HART (1997)

Ralf Huuck.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ralf Huuck