default search action
Ralf Huuck
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [c29]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: 5-8 - 2015
- [j5]Ralf Huuck:
Technology transfer: Formal analysis, engineering, and business value. Sci. Comput. Program. 103: 3-12 (2015) - [c28]Tao Liu, Ralf Huuck:
Case Study: Static Security Analysis of the Android Goldfish Kernel. FM 2015: 589-592 - [c27]Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck:
An Approach to Static-Dynamic Software Analysis. FTSCS 2015: 225-240 - 2013
- [j4]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): 45-56 (2013) - [c26]Jakob Mund, Ralf Huuck, Ansgar Fehnker
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. ATVA 2013: 516-525 - [c25]Sebastian Biallas, Mads Chr. Olesen, Franck Cassez
PtrTracker: Pragmatic pointer analysis. SCAM 2013: 69-73 - 2012
- [c24]Maximilian Junker, Ralf Huuck, Ansgar Fehnker
SMT-Based False Positive Elimination in Static Program Analysis. ICFEM 2012: 316-331 - [c23]Ralf Huuck:
Formal Verification, Engineering and Business Value. FTSCS 2012: 1-4 - [c22]Mark Bradley, Franck Cassez
High Performance Static Analysis for Industry. TAPAS@SAS 2012: 3-14 - [e4]Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. EPTCS 102, 2012 [contents] - 2010
- [c21]Kai Engelhardt, Ralf Huuck:
Smaller Abstractions for FOR ALL CTL* without Next. Concurrency, Compositionality, and Correctness 2010: 250-259 - [c20]Ansgar Fehnker
Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness 2010: 322-341 - [c19]Andreas Vogelsang
Software Metrics in Static Program Analysis. ICFEM 2010: 485-500 - [e3]Ralf Huuck, Gerwin Klein, Bastian Schlich:
5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association 2010 [contents]
2000 – 2009
- 2009
- [j3]Gerwin Klein
Operating System Verification. J. Autom. Reason. 42(2-4): 123-124 (2009) - [c18]Ansgar Fehnker
Incremental False Path Elimination for Static Software Analysis. ATVA 2009: 255-270 - [c17]Ansgar Fehnker
Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278 - [c16]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Preface. SSV 2009: 1-3 - [c15]Ansgar Fehnker
Fade to Grey: Tuning Static Program Analysis. TTSS 2009: 17-32 - [c14]Jörg Brauer, Ralf Huuck, Bastian Schlich:
Interprocedural Pointer Analysis in Goanna. SSV 2009: 65-83 - [c13]Michael Vistein
An Abstract Specification Language for Static Program Analysis. SSV 2009: 181-197 - 2008
- [c12]Ralf Huuck, Ansgar Fehnker
Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221 - [c11]Ansgar Fehnker
Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24 - [c10]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Preface. SSV 2008: 1-3 - [e2]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008. Electronic Notes in Theoretical Computer Science 217, Elsevier 2008 [contents] - [e1]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical Computer Science 254, Elsevier 2008 [contents] - 2007
- [c9]Ansgar Fehnker
Model Checking Software at Compile Time. TASE 2007: 45-56 - 2006
- [c8]Ansgar Fehnker
Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300 - 2004
- [c7]Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell:
A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418 - [c6]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 - [c5]Ralf Huuck:
Semantics and Analysis of Instruction List Programs. SFEDL@ETAPS 2004: 3-18 - 2003
- [b1]Ralf Huuck:
Software verification for programmable logic controllers. University of Kiel, Germany, 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. Parallel Distributed Comput. Pract. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-02 20:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: