Raoul Praful Jetley

Affiliations:
  • ABB Corporate Research, Bangalore, India


According to our database1, Raoul Praful Jetley authored at least 37 papers between 2004 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Language impact on productivity for industrial end users: A case study from Programmable Logic Controllers.
J. Comput. Lang., 2022

2021
Empirical Analysis of Greedy, GE and GRE Heuristics.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

2020
A classification framework for automated control code generation in industrial automation.
J. Syst. Softw., 2020

Multi-level analysis of IEC 61131-3 languages to detect clones.
Int. J. Comput. Appl. Technol., 2020

Rule-based code generation in industrial automation: four large-scale case studies applying the CAYENNE method.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Coverage Criteria based Testing of Industrial Robots.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019
Improving Safety in Collaborative Robot Tasks.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Automated Test Case Generation for Programmable Logic Controller Code.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Test Suite Minimization of Evolving Software Systems: A Case Study.
Proceedings of the 14th International Conference on Software Technologies, 2019

Analysis of Industrial Control System Software to Detect Semantic Clones.
Proceedings of the IEEE International Conference on Industrial Technology, 2019

Handling Backtracking for Symbolic Testing of Embedded Software.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Learning based Probabilistic Model for Migration of Industrial Control Systems.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018
A Generic Static Analysis Framework for Domain-specific Languages.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
TMAP: Discovering relevant API methods through text mining of API documentation.
J. Softw. Evol. Process., 2017

A Static Analyzer for Industrial Robotic Applications.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

A Review of Formal Methods for Intelligent Adaptive Systems with an Application to Intelligent Water Level Monitoring System.
Proceedings of the Joint Proceedings of the 3rd Modelling Symposium (ModSym), 2017

Modeling and analysis of FPGA based power management system for renewables.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016
Solving circular dependencies in industrial automation programs.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Source code metrics for programmable logic controller (PLC) ladder diagram (LD) visual programming language.
Proceedings of the 7th International Workshop on Emerging Trends in Software Metrics, 2016

2015
A static code analysis tool for control system software.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Discovering likely mappings between APIs using text mining.
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Analyzing Dependencies in an Industrial Automation Engineering System.
Proceedings of the 8th India Software Engineering Conference, 2015

Analyzing the Restart Behavior of Industrial Control Applications.
Proceedings of the FM 2015: Formal Methods, 2015

2013
Applying software engineering practices for development of industrial automation applications.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Medical Software - Issues and Best Practices.
Proceedings of the Distributed Computing and Internet Technology, 2013

An approach for comparison of IEC 61131-3 graphical programs.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards Requirements Change Decision Support.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2011
Architecture Reconstruction and Analysis of Medical Device Software.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Safety-assured development of the GPCA infusion pump software.
Proceedings of the 11th International Conference on Embedded Software, 2011

2009
Engineering high confidence medical device software.
SIGBED Rev., 2009

A publish-subscribe architecture and component-based programming model for medical device interoperability.
SIGBED Rev., 2009

Demonstration of a medical device integration and coordination framework.
Proceedings of the 31st International Conference on Software Engineering, 2009

An open test bed for medical device integration and coordination.
Proceedings of the 31st International Conference on Software Engineering, 2009

2006
A Formal Methods Approach to Medical Device Review.
Computer, 2006

Using Abstraction-driven Slicing for Postmortem Analysis of Software.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

A Formal Approach to Pre-Market Review for Medical Device Software.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2004
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.
Int. J. Softw. Tools Technol. Transf., 2004


  Loading...