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