Author of the publication

Leveraging existing instrumentation to automatically infer invariant-constrained models.

, , , , and . SIGSOFT FSE, page 267-277. ACM, (2011)

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

Mining precise performance-aware behavioral models from existing instrumentation., , , and . ICSE Companion, page 484-487. ACM, (2014)Leveraging existing instrumentation to automatically infer invariant-constrained models., , , , and . SIGSOFT FSE, page 267-277. ACM, (2011)SPRUCE: A System for Supporting Urgent High-Performance Computing., , , and . Grid-Based Problem Solving Environments, volume 239 of IFIP, page 295-311. Springer, (2006)Fairness-guided SMT-based Rectification of Decision Trees and Random Forests., , , and . CoRR, (2020)Jumpgate: automating integration of network connected accelerators., , , , , and . SYSTOR, page 18:1-18:12. ACM, (2021)Supporting Microservice Evolution., , , , , , , and . ICSME, page 539-543. IEEE Computer Society, (2017)Synergizing Specification Miners through Model Fissions and Fusions (T)., , , and . ASE, page 115-125. IEEE Computer Society, (2015)Biscotti: A Blockchain System for Private and Secure Federated Learning., , , and . IEEE Trans. Parallel Distributed Syst., 32 (7): 1513-1525 (2021)Brokered Agreements in Multi-Party Machine Learning., and . APSys, page 69-75. ACM, (2019)Self-Checking Deep Neural Networks in Deployment., , , , , , and . ICSE, page 372-384. IEEE, (2021)