PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Huuck, Ralf"

Author of the publication

copydeleteadd this publication to your clipboard
Interprocedural Pointer Analysis in Goanna.

, , and . Electron. Notes Theor. Comput. Sci., (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Ralf Finger University of Stuttgart

Ralf Eisinger University of Stuttgart

Ralf Sauerwald University of Stuttgart

Ralf Rettich University of Stuttgart

Dr. Ralf Klemt University of Stuttgart

 

Other publications of authors with the same name

Smaller Abstractions for FOR ALL CTL* without Next., and . Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 250-259. Springer, (2010)A Unifying Semantics for Sequential Function Charts., , , and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 400-418. Springer, (2004)Interprocedural Pointer Analysis in Goanna., , and . Electron. Notes Theor. Comput. Sci., (2009)Preface., , and . Electron. Notes Theor. Comput. Sci., (2009)Verification of Sequential Function Charts Using SMV., , and . PDPTA, CSREA Press, (2000)SMT-Based False Positive Elimination in Static Program Analysis., , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 316-331. Springer, (2012)The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 516-525. Springer, (2013)PtrTracker: Pragmatic pointer analysis., , , and . SCAM, page 69-73. IEEE Computer Society, (2013)Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems., , , , , and . Scalable Computing: Practice and Experience, (1998)Model Checking Software at Compile Time., , , , and . TASE, page 45-56. IEEE Computer Society, (2007)