Sandeep Patil

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 33

Top Topics

Formal Verification

Industrial Automation

Top Venues

IEEE Trans. Ind. Informatics

Publications

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System. ISIE (2024)
Yongqi Dong, Sandeep Patil, Bart van Arem, Haneen Farah
A hybrid spatial-temporal deep learning architecture for lane detection. Comput. Aided Civ. Infrastructure Eng. 38 (1) (2023)
Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. INDIN (2023)
Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin
Developing a Test Suite for Evaluating IEC 61499 Application Portability. ISIE (2023)
Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin
Mechatronic Swarm and its Virtual Commissioning. ICM (2023)
Sandeep Patil, Lalita Admuthe, Meenakshi R. Patil
SNTAM: secure neuro-fuzzy-based trusted neighbour selection and attackers detection in multipath ad-hoc network. Int. J. Internet Protoc. Technol. 16 (2) (2023)
Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets (2023)
Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin
Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. ETFA (2023)
Salman Javed, Cristina Paniagua, Sandeep Patil, Jan van Deventer, Jerker Delsing
Smart Adapter System Architecture for Seamless and Scalable Integration of Industry and Smart Home IoT. IECON (2022)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA (2022)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Process mining in industrial control systems. INDIN (2022)
Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin
Formal model of IEC 61499 execution trace in FBME IDE. INDIN (2022)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Plant model generation from event log using ProM for formal verification of CPS. CoRR (2022)
Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
Cyber-physical automation systems modelling with IEC 61499 for their formal verification. INDIN (2021)
Yongqi Dong, Sandeep Patil, Bart van Arem, Haneen Farah
A Hybrid Spatial-temporal Deep Learning Architecture for Lane Detection. CoRR (2021)
Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR (2021)
Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin
Plant Model Generator from Digital Twin for Purpose of Formal Verification. ETFA (2021)
Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Ind. Informatics 16 (12) (2020)
Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin
Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA (2020)
Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin
Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study. SOHOMA (2019)
Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin
Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN (2019)
Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin
Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform. INDIN (2019)
Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics 15 (7) (2019)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA (2019)
Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin
Refactoring of IEC 61499 function block application - A case study. ICPS (2018)
Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. INDIN (2018)
Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin
Formal Verification of Protection Functions for Power Distribution Networks. IECON (2018)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Towards formal verification for cyber-physically agnostic software: A case study. IECON (2017)
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics 13 (4) (2017)
Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin
Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. ETFA (2016)
Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin
Towards a formal model of protection functions for power distribution networks. IECON (2016)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE (2016)
Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. SOHOMA (2016)
Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS (2015)
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN (2015)
Majid Sorouri, Sandeep Patil, Zoran A. Salcic, Valeriy Vyatkin
Software Composition and Distributed Operation Scheduling in Modular Automated Machines. IEEE Trans. Ind. Informatics 11 (4) (2015)
Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA (2015)
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) (2015)
Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin
Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON (2015)
Sandeep Patil, Valeriy Vyatkin, Cheng Pang
Counterexample-guided simulation framework for formal verification of flexible automation systems. INDIN (2015)
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA (2015)
Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell
Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. IECON (2015)
Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang
On methodology of implementing distributed function block applications using TinyOS WSN nodes. ETFA (2014)
Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto
A portability study of IEC 61499: Semantics and tools. INDIN (2014)
Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference (2014)
Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. INDIN (2014)
Sandeep Patil, Srinivasa Vemuru, Vijay K. Devabhaktuni, Khalid S. Al-Olimat
Comparison of multilevel DC-DC converter topologies. EIT (2013)
Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin
Smart Grid applications with IEC 61499 reference architecture. INDIN (2013)
Sandeep Patil, Jeffrey Yan, Valeriy Vyatkin, Cheng Pang
On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study. ETFA (2013)
Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin
Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. IECON (2013)
Majid Sorouri, Sandeep Patil, Valeriy Vyatkin
Distributed control patterns for intelligent mechatronic systems. INDIN (2012)
Sandeep Patil, Valeriy Vyatkin, Majid Sorouri
Formal verification of Intelligent Mechatronic Systems with decentralized control logic. ETFA (2012)
Sandeep Patil, Abhinay Nagpal
Agile Disk Replacement Strategy for Data Cloud Environment Using Evolutionary Algorithms. DSDE (2010)
Sandeep Patil, Ganesh Shinde
Transforming Indian higher education through blended learning approach. T4E (2010)
Michael Wieckowski, Sandeep Patil, Martin Margala
Portless SRAM - A High-Performance Alternative to the 6T Methodology. IEEE J. Solid State Circuits 42 (11) (2007)
Sandeep Patil, Michael Wieckowski, Martin Margala
A Self-Biased Charge-Transfer Sense Amplifier. ISCAS (2007)
Sandeep Patil, B. Ravi
Voxel-based representation, display and thickness analysis of intricate shapes. CAD/Graphics (2005)