Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ralf Huuck
2010 – today
- 2013
[j11]Ansgar Fehnker, Ralf Huuck: Model checking driven static analysis for the real world: designing and tuning large scale bug detection. ISSE 9(1): 45-56 (2013)- [c18]Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho: The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. ATVA 2013: 516-525
- 2012
- [j10]Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck: High Performance Static Analysis for Industry. Electr. Notes Theor. Comput. Sci. 289: 3-14 (2012)
- [c17]Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp: SMT-Based False Positive Elimination in Static Program Analysis. ICFEM 2012: 316-331
- [c16]
- [e1]Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (Eds.): Proceedings Seventh Conference on Systems Software Verification. EPTCS 102, 2012
- 2010
- [j9]Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp: Fade to Grey: Tuning Static Program Analysis. Electr. Notes Theor. Comput. Sci. 266: 17-32 (2010)
- [c15]Kai Engelhardt, Ralf Huuck: Smaller Abstractions for FOR ALL CTL* without Next. Concurrency, Compositionality, and Correctness 2010: 250-259
- [c14]Ansgar Fehnker, Ralf Huuck, Sean Seefried: Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness 2010: 322-341
- [c13]Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif: Software Metrics in Static Program Analysis. ICFEM 2010: 485-500
2000 – 2009
- 2009
- [j8]Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 254: 1-3 (2009)
- [j7]Jörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)
- [j6]Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker: An Abstract Specification Language for Static Program Analysis. Electr. Notes Theor. Comput. Sci. 254: 181-197 (2009)
- [j5]Gerwin Klein, Ralf Huuck, Bastian Schlich: Operating System Verification. J. Autom. Reasoning 42(2-4): 123-124 (2009)
- [c12]Ansgar Fehnker, Ralf Huuck, Sean Seefried: Incremental False Path Elimination for Static Software Analysis. ATVA 2009: 255-270
- [c11]Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
- 2008
- [j4]Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008)
- [c10]Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221
- [c9]Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24
- 2007
- [c8]Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
- 2006
- [c7]Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
- 2005
- [j3]Ralf Huuck: Semantics and Analysis of Instruction List Programs. Electr. Notes Theor. Comput. Sci. 115: 3-18 (2005)
- 2004
- [c6]Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell: A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418
- [c5]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: 517-540
- 2003
- [b1]Ralf Huuck: Software verification for programmable logic controllers. University of Kiel 2003, pp. 1-188
- 2001
- [j2]Ralf Huuck, Ben Lukoschus, Yassine Lakhnech: Verifying Untimed and Timed Aspects of the Experimental Batch Plant. Eur. J. Control 7(4): 400-415 (2001)
- [c4]Nanette Bauer, Ralf Huuck: Towards Automatic Verification of Embedded Control Software. APAQS 2001: 375-386
- 2000
- [c3]Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000: 175-181
- [c2]Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Verification of Sequential Function Charts Using SMV. PDPTA 2000
1990 – 1999
- 1998
- [j1]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 Computing: Practice and Experience 1(2) (1998)
- 1997
- [c1]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: 81-86
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:07 CEST by the dblp team