Sandeep Patil - RankMe

61 papers B 1C 32Misc 1Journal 11Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Efficient Sequential Neural Network with Spatial-Temporal Attention and Linear LSTM for Robust Lane Detection Using Multi-Frame Images. CoRR Sandeep Patil, Yongqi Dong, Haneen Farah, Hans Hellendoorn
2025	C	`conf`	LLM-based Iterative Requirements Refinement in FSM with IEC 61499 Code Generation. INDIN Valeriy Vyatkin, Sandeep Patil, Dmitrii Drozdov, Anatoly Shalyto
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
2023	J	`jnl`	A hybrid spatial-temporal deep learning architecture for lane detection. Comput. Aided Civ. Infrastructure Eng. Yongqi Dong, Sandeep Patil, Bart van Arem, Haneen Farah
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	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
2023	—	`conf`	Mechatronic Swarm and its Virtual Commissioning. ICM Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin
2023	J	`jnl`	SNTAM: secure neuro-fuzzy-based trusted neighbour selection and attackers detection in multipath ad-hoc network. Int. J. Internet Protoc. Technol. Sandeep Patil, Lalita S. Admuthe, Meenakshi R. Patil
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	C	`conf`	Formal model of IEC 61499 execution trace in FBME IDE. INDIN Tatiana Liakh, Radimir Sorokin, Daniil Akifev, 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
2022	C	`conf`	Smart Adapter System Architecture for Seamless and Scalable Integration of Industry and Smart Home IoT. IECON Salman Javed, Cristina Paniagua, Sandeep Patil, Jan van Deventer, Jerker Delsing
2021	J	`jnl`	A Hybrid Spatial-temporal Deep Learning Architecture for Lane Detection. CoRR Yongqi Dong, Sandeep Patil, Bart van Arem, Haneen Farah
2021	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR Roopak Sinha, Sandeep Patil, Luís Gomes, 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
2020	C	`conf`	Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin
2020	J	`jnl`	Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Ind. Informatics Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin
2019	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
2019	C	`conf`	Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform. INDIN Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin
2019	C	`conf`	Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin
2019	C	`conf`	Towards formal ASM semantics of timed control systems for industrial CPS. ETFA Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2019	—	`conf`	Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study. SOHOMA Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin
2018	C	`conf`	Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. INDIN Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin
2018	—	`—`	Enhanced engineering of component-based industrial automation systems using formal methods. Sandeep Patil
2018	C	`conf`	Formal Verification of Protection Functions for Power Distribution Networks. IECON Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin
2018	—	`conf`	Refactoring of IEC 61499 function block application - A case study. ICPS Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin
2017	J	`jnl`	Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
2017	C	`conf`	Towards formal verification for cyber-physically agnostic software: A case study. IECON Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016	—	`conf`	Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. SOHOMA Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin
2016	—	`conf`	Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016	C	`conf`	Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. ETFA Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin
2016	C	`conf`	Towards a formal model of protection functions for power distribution networks. IECON Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin
2015	—	`conf`	Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2015	—	`conf`	Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
2015	C	`conf`	Counterexample-guided simulation framework for formal verification of flexible automation systems. INDIN Sandeep Patil, Valeriy Vyatkin, Cheng Pang
2015	Misc	`conf`	Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2015	—	`conf`	Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2015	C	`conf`	Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
2015	C	`conf`	Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. IECON Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell
2015	J	`jnl`	Software Composition and Distributed Operation Scheduling in Modular Automated Machines. IEEE Trans. Ind. Informatics Majid Sorouri, Sandeep Patil, Zoran A. Salcic, Valeriy Vyatkin
2015	C	`conf`	Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin
2014	C	`conf`	A portability study of IEC 61499: Semantics and tools. INDIN Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto
2014	C	`conf`	Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. INDIN Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin
2014	—	`conf`	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
2014	C	`conf`	On methodology of implementing distributed function block applications using TinyOS WSN nodes. ETFA Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang
2013	—	`conf`	Comparison of multilevel DC-DC converter topologies. EIT Sandeep Patil, Srinivasa Vemuru, Vijay K. Devabhaktuni, Khalid S. Al-Olimat
2013	C	`conf`	Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. IECON Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin
2013	C	`conf`	On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study. ETFA Sandeep Patil, Jeffrey Yan, Valeriy Vyatkin, Cheng Pang
2013	C	`conf`	Smart Grid applications with IEC 61499 reference architecture. INDIN Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin
2012	C	`conf`	Distributed control patterns for intelligent mechatronic systems. INDIN Majid Sorouri, Sandeep Patil, Valeriy Vyatkin
2012	C	`conf`	Formal verification of Intelligent Mechatronic Systems with decentralized control logic. ETFA Sandeep Patil, Valeriy Vyatkin, Majid Sorouri
2010	—	`conf`	Agile Disk Replacement Strategy for Data Cloud Environment Using Evolutionary Algorithms. DSDE Sandeep Patil, Abhinay Nagpal
2010	—	`conf`	Transforming Indian higher education through blended learning approach. T4E Sandeep Patil, Ganesh Shinde
2007	C	`conf`	A Self-Biased Charge-Transfer Sense Amplifier. ISCAS Sandeep Patil, Michael Wieckowski, Martin Margala
2007	J	`jnl`	Portless SRAM - A High-Performance Alternative to the 6T Methodology. IEEE J. Solid State Circuits Michael Wieckowski, Sandeep Patil, Martin Margala
2005	—	`conf`	Voxel-based representation, display and thickness analysis of intricate shapes. CAD/Graphics Sandeep Patil, B. Ravi