Articles with public access mandates - Ralf HuuckLearn more
Not available anywhere: 2
Model checking driven static analysis for the real world: designing and tuning large scale bug detection
A Fehnker, R Huuck
Innovations in systems and software engineering 9 (1), 45-56, 2013
Mandates: Australian Research Council
Discovering and Validating Concurrency Specification from Test Executions
P Gonzalez-de-Aledo, AD Suarez, P Sanchez, R Huuck
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
Mandates: Australian Research Council, Government of Spain
Available somewhere: 6
Iot: The internet of threats and static program analysis defense
R Huuck
EmbeddedWorld 2015: Exibition & Conferences 493, 2015
Mandates: Australian Research Council
An approach to static-dynamic software analysis
P Gonzalez-de-Aledo, P Sanchez, R Huuck
International Workshop on Formal Techniques for Safety-Critical Systems, 225-240, 2015
Mandates: Australian Research Council, Government of Spain
PtrTracker: Pragmatic pointer analysis
S Biallas, MC Olesen, F Cassez, R Huuck
2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013
Mandates: Australian Research Council
Technology transfer: Formal analysis, engineering, and business value
R Huuck
Science of Computer Programming 103, 3-12, 2015
Mandates: Australian Research Council
Case study: Static security analysis of the android goldfish kernel
T Liu, R Huuck
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
Mandates: Australian Research Council
The quest for precision: a layered approach for data race detection in static analysis
J Mund, R Huuck, A Fehnker, C Artho
Automated Technology for Verification and Analysis: 11th International …, 2013
Mandates: Australian Research Council
Publication and funding information is determined automatically by a computer program