Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Huuck, Ralf - National ICT Australia, University of New South Wales
Smaller Abstractions for CTL without Next
Goanna --A Static Model Checker Ansgar Fehnker1
Counterexample Guided Path Reduction for Static Program Analysis
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
Goanna: Syntactic Software Model Checking Ansgar Fehnker, Jorg Brauer, Ralf Huuck, and Sean Seefried
SFEDL'04 Preliminary Version Semantics and Analysis of Instruction List
Kevin Elphinstone Gernot Heiser Ralf Huuck Stefan M. Petters Sergio Ruocco
Some Assembly Required Program Analysis of Embedded System Code Ansgar Fehnker, Ralf Huuck, Felix Rauch and Sean Seefried
Interprocedural Pointer Analysis in Goanna Jorg Brauerb,2
Fade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Michael Tapp, and Sean Seefried
An Abstract Specification Language for Static Program Analysis
Software Metrics in Static Program Analysis Andreas Vogelsang1
