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

Decomposing Farkas Interpolants., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2019)Framework for Static Analysis of PHP Applications (Artifact)., und . Dagstuhl Artifacts Ser., 1 (1): 11:1-11:2 (2015)Using linear algebra in decomposition of Farkas interpolants., , , und . Int. J. Softw. Tools Technol. Transf., 24 (1): 111-125 (2022)Statistical Approach to Architecture Modes in Smart Cyber Physical Systems., , , , und . WICSA, Seite 168-177. IEEE Computer Society, (2016)On interpolants and variable assignments., , , und . FMCAD, Seite 123-130. IEEE, (2014)Checking software component behavior using behavior protocols and spin.. SAC, Seite 1513-1517. ACM, (2007)Project Deliverable D6.1: Method and Abstract Workflow, , , , , , , , , und 2 andere Autor(en). (November 2010)A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems., , , und . Future Gener. Comput. Syst., (2022)AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention., , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)Evolving SOA in the Q-ImPrESS Project., und . WADT, Volume 7137 von Lecture Notes in Computer Science, Seite 25-26. Springer, (2010)