Author of the publication

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.

 

Other publications of authors with the same name

A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis., , and . ISSRE, page 279-288. IEEE Computer Society, (2010)Applying static code analysis on industrial controller code., , , and . ETFA, page 1-4. IEEE, (2014)Reduction of Interrupt Handler Executions for Model Checking Embedded Software., , , and . Haifa Verification Conference, volume 6405 of Lecture Notes in Computer Science, page 5-20. Springer, (2009)Interprocedural Pointer Analysis in Goanna., , and . Electron. Notes Theor. Comput. Sci., (2009)Preface., , and . Electron. Notes Theor. Comput. Sci., (2009)Applying Model Checking to an Automotive Microcontroller Application., , and . SIES, page 209-216. IEEE, (2007)Performance and reliability prediction for evolving service-oriented software systems, , , and . Empirical Software Engineering, (2012)Analyzing the Restart Behavior of Industrial Control Applications., , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 585-588. Springer, (2015)Interval analysis of microcontroller code using abstract interpretation of hardware and software., , and . SCOPES, page 3. ACM, (2010)Parallel and Distributed Invariant Checking of Microcontroller Software., , and . Electron. Notes Theor. Comput. Sci., (2009)