default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSandeep Patil
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c47]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: 1-6- 2023
- [j7]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): 67-86 (2023) - [j6]Sandeep Patil, Lalita S. 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): 119-130 (2023) - [c46]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: 16-33 - [c45]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: 1-4 - [c44]Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Mechatronic Swarm and its Virtual Commissioning. ICM 2023: 1-6 - [c43]Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin:
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. INDIN 2023: 1-6 - [c42]Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin:
Developing a Test Suite for Evaluating IEC 61499 Application Portability. ISIE 2023: 1-4 - 2022
- [c41]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: 1-7 - [c40]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: 1-6 - [c39]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Process mining in industrial control systems. INDIN 2022: 1-6 - [c38]Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin:
Formal model of IEC 61499 execution trace in FBME IDE. INDIN 2022: 588-593 - [i3]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Plant model generation from event log using ProM for formal verification of CPS. CoRR abs/2211.03681 (2022) - 2021
- [c37]Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin:
Plant Model Generator from Digital Twin for Purpose of Formal Verification. ETFA 2021: 1-4 - [c36]Midhun Xavier, Sandeep Patil, Valeriy Vyatkin:
Cyber-physical automation systems modelling with IEC 61499 for their formal verification. INDIN 2021: 1-6 - [i2]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR abs/2108.05556 (2021) - [i1]Yongqi Dong, Sandeep Patil, Bart van Arem, Haneen Farah:
A Hybrid Spatial-temporal Deep Learning Architecture for Lane Detection. CoRR abs/2110.04079 (2021) - 2020
- [j5]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): 7821-7831 (2020) - [c35]Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin:
Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA 2020: 1377-1380
2010 – 2019
- 2019
- [j4]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): 3772-3783 (2019) - [c34]Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA 2019: 1682-1685 - [c33]Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin:
Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN 2019: 147-151 - [c32]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: 635-640 - [c31]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: 301-312 - 2018
- [b1]Sandeep Patil:
Enhanced engineering of component-based industrial automation systems using formal methods. Lulea University of Technology, Sweden, 2018 - [c30]Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin:
Refactoring of IEC 61499 function block application - A case study. ICPS 2018: 726-733 - [c29]Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin:
Formal Verification of Protection Functions for Power Distribution Networks. IECON 2018: 3550-3555 - [c28]Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin:
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. INDIN 2018: 725-732 - 2017
- [j3]Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin:
Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics 13(4): 1763-1771 (2017) - [c27]Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal verification for cyber-physically agnostic software: A case study. IECON 2017: 5509-5514 - 2016
- [c26]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: 1-5 - [c25]Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin:
Towards a formal model of protection functions for power distribution networks. IECON 2016: 5302-5309 - [c24]Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE 2016: 316-321 - [c23]Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin:
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. SOHOMA 2016: 35-46 - 2015
- [j2]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): 865-878 (2015) - [c22]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: 2172-2177 - [c21]Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin:
Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON 2015: 3974-3979 - [c20]Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin:
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS 2015: 73-81 - [c19]Sandeep Patil, Valeriy Vyatkin, Cheng Pang:
Counterexample-guided simulation framework for formal verification of flexible automation systems. INDIN 2015: 1192-1197 - [c18]Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin:
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN 2015: 1239-1242 - [c17]Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA 2015: 300-315 - [c16]Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA 2015: 213-221 - [c15]Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) 2015: 313-320 - 2014
- [c14]Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin:
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference 2014: 76-91 - [c13]Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang:
On methodology of implementing distributed function block applications using TinyOS WSN nodes. ETFA 2014: 1-7 - [c12]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: 411-417 - [c11]Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto:
A portability study of IEC 61499: Semantics and tools. INDIN 2014: 440-445 - 2013
- [c10]Sandeep Patil, Srinivasa Vemuru, Vijay K. Devabhaktuni, Khalid S. Al-Olimat:
Comparison of multilevel DC-DC converter topologies. EIT 2013: 1-5 - [c9]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: 1-4 - [c8]Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin:
Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. IECON 2013: 8154-8159 - [c7]Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin:
Smart Grid applications with IEC 61499 reference architecture. INDIN 2013: 458-463 - 2012
- [c6]Sandeep Patil, Valeriy Vyatkin, Majid Sorouri:
Formal verification of Intelligent Mechatronic Systems with decentralized control logic. ETFA 2012: 1-7 - [c5]Majid Sorouri, Sandeep Patil, Valeriy Vyatkin:
Distributed control patterns for intelligent mechatronic systems. INDIN 2012: 259-264 - 2010
- [c4]Sandeep Patil, Abhinay Nagpal:
Agile Disk Replacement Strategy for Data Cloud Environment Using Evolutionary Algorithms. DSDE 2010: 287-291 - [c3]Sandeep Patil, Ganesh Shinde:
Transforming Indian higher education through blended learning approach. T4E 2010: 145-148
2000 – 2009
- 2007
- [j1]Michael Wieckowski, Sandeep Patil, Martin Margala:
Portless SRAM - A High-Performance Alternative to the 6T Methodology. IEEE J. Solid State Circuits 42(11): 2600-2610 (2007) - [c2]Sandeep Patil, Michael Wieckowski, Martin Margala:
A Self-Biased Charge-Transfer Sense Amplifier. ISCAS 2007: 3030-3033 - 2005
- [c1]Sandeep Patil, B. Ravi:
Voxel-based representation, display and thickness analysis of intricate shapes. CAD/Graphics 2005: 6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
