( en | de | ru )

 

Disambiguation of "Beschastnikh, Ivan"

Author of the publication

copydeleteadd this publication to your clipboard
Unifying FSM-inference algorithms through declarative specification.

, , , , and . ICSE, page 252-261. IEEE Computer Society, (2013)

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.

Sarah Ivanovas

Oxana Ivanova-Chessex

Marian Ivanov

Natalie Ivanits

Svilen Ivanov

 

Other publications of authors with the same name

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