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 Slice-Based Decision Procedure for Type-Based Partial Orders., , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 156-170. Springer, (2010)Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis., , and . ACM Trans. Softw. Eng. Methodol., 24 (3): 15:1-15:33 (2015)Editorial Journal-First Publication for the Software Engineering Community., and . ACM Trans. Softw. Eng. Methodol., 25 (1): 1:1-1:2 (2015)A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors., , , and . ICRA, page 901-908. IEEE, (2023)Space-Reduction Strategies for Model Checking Dynamic Software., , , and . SoftMC@CAV, volume 89 of Electronic Notes in Theoretical Computer Science, page 499-517. Elsevier, (2003)Cadena: enabling CCM-based application development in Eclipse., , , , , and . eTX, page 20-24. ACM, (2003)Model Checking Graphical User Interfaces Using Abstractions., , and . ESEC / SIGSOFT FSE, volume 1301 of Lecture Notes in Computer Science, page 244-261. Springer, (1997)An Application-Independent Concurrency Skeleton in Ada 95., , and . TRI-Ada, page 179-192. ACM, (1996)Differential symbolic execution., , , and . SIGSOFT FSE, page 226-237. ACM, (2008)Beyond the rainbow: self-adaptive failure avoidance in configurable systems., , , , and . SIGSOFT FSE, page 377-388. ACM, (2014)