Raoul Praful Jetley

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Language impact on productivity for industrial end users: A case study from Programmable Logic Controllers.

Felipe Fronchetti, Nico Ritschel, Reid Holmes, Linxi Li, Mauricio Soto, Raoul Jetley, Igor Wiese, David C. Shepherd

J. Comput. Lang., 2022

WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Empirical Analysis of Greedy, GE and GRE Heuristics.

Amit Goyal, R. K. Shyamasundar, G. Sivakumar, Raoul Jetley, Srini Ramaswamy

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

2020

A classification framework for automated control code generation in industrial automation.

Heiko Koziolek, Andreas Burger, Marie Platenius-Mohr, Raoul Jetley

J. Syst. Softw., 2020

Multi-level analysis of IEC 61131-3 languages to detect clones.

H. K. Jnanamurthy, Raoul Jetley, Frans Henskens, David J. Paul, Mark Wallis, Sithu D. Sudarsan

Int. J. Comput. Appl. Technol., 2020

Rule-based code generation in industrial automation: four large-scale case studies applying the CAYENNE method.

Heiko Koziolek, Andreas Burger, Marie Platenius-Mohr, Julius Rückert, Hadil Abukwaik, Raoul Jetley, Abdulla P. P

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.

Ameena K. Ashraf, Meenakshi D'Souza, Raoul Jetley

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

Improving Safety in Collaborative Robot Tasks.

Avijit Mandal, Divyasheel Sharma, Mohak Sukhwani, Raoul Jetley, Santonu Sarkar

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Automated Test Case Generation for Programmable Logic Controller Code.

Varsha P. Suresh, Sujit Chakrabarti, Raoul Jetley

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.

Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy

Proceedings of the 14th International Conference on Software Technologies, 2019

Analysis of Industrial Control System Software to Detect Semantic Clones.

H. K. Jnanamurthy, Raoul Jetley, Frans Henskens, David J. Paul, Mark Wallis, Sithu D. Sudarsan

Proceedings of the IEEE International Conference on Industrial Technology, 2019

Handling Backtracking for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Learning based Probabilistic Model for Migration of Industrial Control Systems.

Devina Mohan, Raoul Jetley, Sithu D. Sudarsan

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

A Generic Static Analysis Framework for Domain-specific Languages.

Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza

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.

Rahul Pandita, Raoul Jetley, Sithu D. Sudarsan, Tim Menzies, Laurie A. Williams

J. Softw. Evol. Process., 2017

A Static Analyzer for Industrial Robotic Applications.

Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair

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.

Pranali S. Tekale, Ramakalyan Ayyagari, Sithu D. Sudarsan, Raoul Jetley

Proceedings of the Joint Proceedings of the 3rd Modelling Symposium (ModSym), 2017

Modeling and analysis of FPGA based power management system for renewables.

Pranali S. Tekale, Ramakalyan Ayyagari, Sithu D. Sudarsan, Raoul Jetley, Srini Ramaswamy

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Solving circular dependencies in industrial automation programs.

Sreeja Nair, Raoul Jetley

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.

Lov Kumar, Raoul Jetley, Ashish Sureka

Proceedings of the 7th International Workshop on Emerging Trends in Software Metrics, 2016

2015

A static code analysis tool for control system software.

Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Discovering likely mappings between APIs using text mining.

Rahul Pandita, Raoul Praful Jetley, Sithu D. Sudarsan, Laurie A. Williams

Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Analyzing Dependencies in an Industrial Automation Engineering System.

Atul Kumar, Raoul Praful Jetley, Anil R. Nair, Anand Rath, Aparajithan Vaidyanathan

Proceedings of the 8th India Software Engineering Conference, 2015

Analyzing the Restart Behavior of Industrial Control Applications.

Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley

Proceedings of the FM 2015: Formal Methods, 2015

2013

Applying software engineering practices for development of industrial automation applications.

Raoul Jetley, Anil R. Nair, Prakash Chandrasekaran, Alpana Dubey

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Medical Software - Issues and Best Practices.

Raoul Praful Jetley, Sithu D. Sudarsan, Sampath R., Srini Ramaswamy

Proceedings of the Distributed Computing and Internet Technology, 2013

An approach for comparison of IEC 61131-3 graphical programs.

Raoul Praful Jetley, Anand Rath, V. Aparajithan, D. Kumar, Vinu Prasad, Srini Ramaswamy

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards Requirements Change Decision Support.

Sanjay Ghosh, Srini Ramaswamy, Raoul Praful Jetley

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2011

Architecture Reconstruction and Analysis of Medical Device Software.

Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Safety-assured development of the GPCA infusion pump software.

BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley

Proceedings of the 11th International Conference on Embedded Software, 2011

2009

Engineering high confidence medical device software.

Arnab Ray, Raoul Praful Jetley, Paul L. Jones

SIGBED Rev., 2009

A publish-subscribe architecture and component-based programming model for medical device interoperability.

Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger

SIGBED Rev., 2009

Demonstration of a medical device integration and coordination framework.

Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger

Proceedings of the 31st International Conference on Software Engineering, 2009

An open test bed for medical device integration and coordination.

Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger

Proceedings of the 31st International Conference on Software Engineering, 2009

2006

A Formal Methods Approach to Medical Device Review.

Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones

Computer, 2006

Using Abstraction-driven Slicing for Postmortem Analysis of Software.

Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

A Formal Approach to Pre-Market Review for Medical Device Software.

Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees

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.

Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer

Int. J. Softw. Tools Technol. Transf., 2004