Midhun Xavier

16 papers B 1C 7Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentproof: Static Verification of Agent Workflow Graphs.
CoRR
Melwin Xavier, Vaisakh M. A, Melveena Jolly, Midhun Xavier
2026 J jnl
IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations.
CoRR
Melwin Xavier, Melveena Jolly, Vaisakh M. A, Midhun Xavier
2024 — conf
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System.
ISIE
Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
2024 C conf
LLM-Powered Multi-Actor System for Intelligent Analysis and Visualization of IEC 61499 Control Systems.
IECON
Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin
2024 — conf
Probabilistic Model Checking for IEC 61499: A Manufacturing Application.
ICIT
Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
2023 — conf
A Comprehensive Approach for Gearbox Fault Detection and Diagnosis Using Sequential Neural Networks.
ICPHM
Parvathy Sobha, Midhun Xavier, Praneeth Chandran
2023 C conf
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS.
INDIN
Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin
2023 — conf
Developing a Test Suite for Evaluating IEC 61499 Application Portability.
ISIE
Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin
2023 B conf
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems.
Petri Nets
Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2023 — conf
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499.
ISIE
Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
2023 C conf
Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications.
ETFA
Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin
2022 C conf
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard.
ETFA
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022 J jnl
Plant model generation from event log using ProM for formal verification of CPS.
CoRR
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022 C conf
Process mining in industrial control systems.
INDIN
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2021 C conf
Cyber-physical automation systems modelling with IEC 61499 for their formal verification.
INDIN
Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
2021 C conf
Plant Model Generator from Digital Twin for Purpose of Formal Verification.
ETFA
Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin