Sandeep Patil

According to our database1, Sandeep Patil authored at least 40 papers between 2005 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver.
IEEE Trans. Ind. Informatics, 2020

Arrowhead Datamanager integration with Eclipse 4DIAC environment.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems.
IEEE Trans. Ind. Informatics, 2019

Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study.
Proceedings of the 9th Workshop on Service Oriented, 2019

Towards automatic state machine reconstruction from legacy PLC using data collection.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Towards formal ASM semantics of timed control systems for industrial CPS.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Formal Verification of Protection Functions for Power Distribution Networks.
Proceedings of the IECON 2018, 2018

Refactoring of IEC 61499 function block application - A case study.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017
Reconstruction of Function Block Logic Using Metaheuristic Algorithm.
IEEE Trans. Ind. Informatics, 2017

Towards formal verification for cyber-physically agnostic software: A case study.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2016

Formal verification of cyber-physical automation systems modelled with timed block diagrams.
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016

Towards a formal model of protection functions for power distribution networks.
Proceedings of the IECON 2016, 2016

Orchestration of Arrowhead services using IEC 61499: Distributed automation case study.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Software Composition and Distributed Operation Scheduling in Modular Automated Machines.
IEEE Trans. Ind. Informatics, 2015

Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2015

Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Counterexample-guided simulation framework for formal verification of flexible automation systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Reconstruction of function block logic using metaheuristic algorithm: Initial explorations.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications.
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software.
Proceedings of the IECON 2015, 2015

Towards formal verification of smart grid distributed intelligence: FREEDM case.
Proceedings of the IECON 2015, 2015

2014
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

A portability study of IEC 61499: Semantics and tools.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

On methodology of implementing distributed function block applications using TinyOS WSN nodes.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM.
Proceedings of the Perspectives of System Informatics, 2014

2013
Smart Grid applications with IEC 61499 reference architecture.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks.
Proceedings of the IECON 2013, 2013

On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Comparison of multilevel DC-DC converter topologies.
Proceedings of the IEEE International Conference on Electro-Information Technology , 2013

2012
Distributed control patterns for intelligent mechatronic systems.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Formal verification of Intelligent Mechatronic Systems with decentralized control logic.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2010
Transforming Indian higher education through blended learning approach.
Proceedings of the 2010 International Conference on Technology for Education, 2010

Agile Disk Replacement Strategy for Data Cloud Environment Using Evolutionary Algorithms.
Proceedings of the International Conference on Data Storage and Data Engineering, 2010

2007
Portless SRAM - A High-Performance Alternative to the 6T Methodology.
IEEE J. Solid State Circuits, 2007

A Self-Biased Charge-Transfer Sense Amplifier.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2005
Voxel-based representation, display and thickness analysis of intricate shapes.
Proceedings of the 9th International Conference on Computer-Aided Design and Computer Graphics, 2005


  Loading...