| 2015 | FM | Case Study: Static Security Analysis of the Android Goldfish Kernel. | Tao Liu, Ralf Huuck |
| 2013 | ATVA | The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. | Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho |
| 2013 | SCAM | PtrTracker: Pragmatic pointer analysis. | Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck |
| 2012 | ICFEM | SMT-Based False Positive Elimination in Static Program Analysis. | Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp |
| 2010 | ICFEM | Software Metrics in Static Program Analysis. | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
| 2009 | ATVA | Incremental False Path Elimination for Static Software Analysis. | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
| 2009 | SOFSEM | Automatic Bug Detection in Microcontroller Software by Static Program Analysis. | Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
| 2008 | ATVA | Goanna: Syntactic Software Model Checking. | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jrg Brauer |
| 2008 | SCAM | Some Assembly Required - Program Analysis of Embedded System Code. | Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried |
| 2007 | TASE | Model Checking Software at Compile Time. | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
| 2006 | FMICS | Goanna - A Static Model Checker. | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
| 2000 | PDPTA | Verification of Sequential Function Charts Using SMV. | Sbastien Bornot, Ralf Huuck, Ben Lukoschus |