Personal information

No personal information available

Activities

Collapse all

Works (3)

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

IEEE Open Journal of the Industrial Electronics Society
2024 | Journal article
DOI: 10.1109/OJIES.2024.3406059
Contributors: Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin
Source: check_circle
Crossref

Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems

2023 | Book chapter
DOI: 10.1007/978-3-031-33620-1_2
Contributors: Midhun Xavier; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin
Source: check_circle
Crossref

Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

IEEE Open Journal of the Industrial Electronics Society
2023 | Journal article
DOI: 10.1109/OJIES.2023.3321084
Contributors: Giordano Lilli; Midhun Xavier; Etienne Le Priol; Vincent Perret; Tatiana Liakh; Roberto Oboe; Valeriy Vyatkin
Source: check_circle
Crossref
How many people are using ORCID?