From post

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.

 

Другие публикации лиц с тем же именем

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests., , , и . CoRR, (2020)SPRUCE: A System for Supporting Urgent High-Performance Computing., , , и . Grid-Based Problem Solving Environments, том 239 из IFIP, стр. 295-311. Springer, (2006)Leveraging existing instrumentation to automatically infer invariant-constrained models., , , , и . SIGSOFT FSE, стр. 267-277. ACM, (2011)Mining precise performance-aware behavioral models from existing instrumentation., , , и . ICSE Companion, стр. 484-487. ACM, (2014)Brokered Agreements in Multi-Party Machine Learning., и . APSys, стр. 69-75. ACM, (2019)Jumpgate: automating integration of network connected accelerators., , , , , и . SYSTOR, стр. 18:1-18:12. ACM, (2021)Synergizing Specification Miners through Model Fissions and Fusions (T)., , , и . ASE, стр. 115-125. IEEE Computer Society, (2015)Supporting Microservice Evolution., , , , , , , и . ICSME, стр. 539-543. IEEE Computer Society, (2017)Inferring models of concurrent systems from logs of their behavior with CSight., , , и . ICSE, стр. 468-479. ACM, (2014)Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing., , , , и . CoRR, (2021)