Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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