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

Decomposing Farkas Interpolants., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 3-20. Springer, (2019)On interpolants and variable assignments., , , and . FMCAD, page 123-130. IEEE, (2014)Statistical Approach to Architecture Modes in Smart Cyber Physical Systems., , , , and . WICSA, page 168-177. IEEE Computer Society, (2016)Checking software component behavior using behavior protocols and spin.. SAC, page 1513-1517. ACM, (2007)Project Deliverable D6.1: Method and Abstract Workflow, , , , , , , , , and 2 other author(s). (November 2010)TBP: Code-Oriented Component Behavior Specification., , and . SEW, page 75-83. IEEE Computer Society, (2008)Making Components Fit: SPINing., , and . SEW, page 65-74. IEEE Computer Society, (2008)Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker., , and . SEW, page 133-141. IEEE Computer Society, (2006)Evolving SOA in the Q-ImPrESS Project., and . WADT, volume 7137 of Lecture Notes in Computer Science, page 25-26. Springer, (2010)PVAIR: Partial Variable Assignment InterpolatoR., , , , , and . FASE, volume 9633 of Lecture Notes in Computer Science, page 419-434. Springer, (2016)