| 2025 | INDIN | LLM-based Iterative Requirements Refinement in FSM with IEC 61499 Code Generation. | Valeriy Vyatkin, Sandeep Patil, Dmitrii Drozdov, Anatoly Shalyto |
| 2025 | IECON | ReACT - Gen AI Agents for Reasoning, Planning, and Testing in IEC 61499-Based Control Systems. | Midhun Xavier, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin |
| 2024 | IECON | LLM-Powered Multi-Actor System for Intelligent Analysis and Visualization of IEC 61499 Control Systems. | Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin |
| 2023 | ETFA | Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. | Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin |
| 2023 | INDIN | DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. | Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin |
| 2022 | ETFA | An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. | Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin |
| 2022 | INDIN | Formal model of IEC 61499 execution trace in FBME IDE. | Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin |
| 2022 | INDIN | Process mining in industrial control systems. | Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin |
| 2022 | IECON | Smart Adapter System Architecture for Seamless and Scalable Integration of Industry and Smart Home IoT. | Salman Javed, Cristina Paniagua, Sandeep Patil, Jan van Deventer, Jerker Delsing |
| 2021 | ETFA | Plant Model Generator from Digital Twin for Purpose of Formal Verification. | Midhun Xavier, Johannes Hkansson, Sandeep Patil, Valeriy Vyatkin |
| 2021 | INDIN | Cyber-physical automation systems modelling with IEC 61499 for their formal verification. | Midhun Xavier, Sandeep Patil, Valeriy Vyatkin |
| 2020 | ETFA | Arrowhead Datamanager integration with Eclipse 4DIAC environment. | Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin |
| 2019 | ETFA | Towards formal ASM semantics of timed control systems for industrial CPS. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2019 | INDIN | Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform. | Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin |
| 2019 | INDIN | Towards automatic state machine reconstruction from legacy PLC using data collection. | Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin |
| 2018 | INDIN | Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. | Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin |
| 2018 | IECON | Formal Verification of Protection Functions for Power Distribution Networks. | Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin |
| 2017 | IECON | Towards formal verification for cyber-physically agnostic software: A case study. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2016 | ETFA | Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. | Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin |
| 2016 | IECON | Towards a formal model of protection functions for power distribution networks. | Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin |
| 2015 | INDIN | Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. | Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin |
| 2015 | INDIN | Counterexample-guided simulation framework for formal verification of flexible automation systems. | Sandeep Patil, Valeriy Vyatkin, Cheng Pang |
| 2015 | IECON | Towards formal verification of smart grid distributed intelligence: FREEDM case. | Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin |
| 2015 | IECON | Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. | Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell |
| 2015 | TrustCom | Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2015 | SETTA | Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2014 | ETFA | On methodology of implementing distributed function block applications using TinyOS WSN nodes. | Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang |
| 2014 | INDIN | A portability study of IEC 61499: Semantics and tools. | Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto |
| 2014 | INDIN | Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. | Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin |
| 2013 | ETFA | On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study. | Sandeep Patil, Jeffrey Yan, Valeriy Vyatkin, Cheng Pang |
| 2013 | INDIN | Smart Grid applications with IEC 61499 reference architecture. | Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin |
| 2013 | IECON | Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. | Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin |
| 2012 | ETFA | Formal verification of Intelligent Mechatronic Systems with decentralized control logic. | Sandeep Patil, Valeriy Vyatkin, Majid Sorouri |
| 2012 | INDIN | Distributed control patterns for intelligent mechatronic systems. | Majid Sorouri, Sandeep Patil, Valeriy Vyatkin |
| 2007 | ISCAS | A Self-Biased Charge-Transfer Sense Amplifier. | Sandeep Patil, Michael Wieckowski, Martin Margala |