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

COMBINE: A Tool on Combined Formal Methods for Bindingly Verification., , , und . ATVA, Volume 6252 von Lecture Notes in Computer Science, Seite 387-395. Springer, (2010)CTGE: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving Programs., , , und . ICSOFT (2), Seite 36-43. SciTePress, (2011)Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs., , , , und . ICSOFT (Selected Papers), Volume 303 von Communications in Computer and Information Science, Seite 108-120. Springer, (2011)MAFSE: A Model-Based Framework for Software Verification., , , , , , , , , und 4 andere Autor(en). SSIRI (Companion), Seite 150-156. IEEE Computer Society, (2010)