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 bit too precise? Verification of quantized digital filters., , und . STTT, 16 (2): 175-190 (2014)Differential Performance Debugging with Discriminant Regression Trees., , , und . CoRR, (2017)Construction of Abstract Domains for Heterogeneous Properties (Position Paper)., , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 489-492. Springer, (2014)A vision for online verification-validation., , und . GPCE, Seite 190-201. ACM, (2016)Trustless Grid Computing in ConCert., , , , , , und . GRID, Volume 2536 von Lecture Notes in Computer Science, Seite 112-125. Springer, (2002)Android apps consistency scrutinized., , , , , und . CHI Extended Abstracts, Seite 2347-2352. ACM, (2014)QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 866-873. Springer, (2014)Safe stream-based programming with refinement types., , , und . ASE, Seite 565-576. ACM, (2018)Fissile type analysis: modular checking of almost everywhere invariants., und . POPL, Seite 73-86. ACM, (2014)Inferring Object Invariants: Extended Abstract., und . Electron. Notes Theor. Comput. Sci., (2005)