Ralf Huuck

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