Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Raoul Praful Jetley

Raoul Jetley

> Home > Persons

Person information

affiliation: ABB Corporate Research, Bangalore, India

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/FronchettiRHLSJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/FronchettiRHLSJ22
Felipe Fronchetti, Nico Ritschel, Reid Holmes, Linxi Li, Mauricio Soto, Raoul Jetley, Igor Wiese, David C. Shepherd:
Language impact on productivity for industrial end users: A case study from Programmable Logic Controllers. J. Comput. Lang. 69: 101087 (2022)
2020
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcat/JnanamurthyJHPW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcat/JnanamurthyJHPW20
H. K. Jnanamurthy, Raoul Jetley, Frans Henskens, David J. Paul, Mark Wallis, Sithu D. Sudarsan:
Multi-level analysis of IEC 61131-3 languages to detect clones. Int. J. Comput. Appl. Technol. 63(4): 286-299 (2020)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/KoziolekBPJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/KoziolekBPJ20
Heiko Koziolek, Andreas Burger, Marie Platenius-Mohr, Raoul Jetley:
A classification framework for automated control code generation in industrial automation. J. Syst. Softw. 166: 110575 (2020)
2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/PanditaJSMW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/PanditaJSMW17
Rahul Pandita, Raoul Jetley, Sithu D. Sudarsan, Tim Menzies, Laurie A. Williams:
TMAP: Discovering relevant API methods through text mining of API documentation. J. Softw. Evol. Process. 29(12) (2017)
2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/RayJJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/RayJJ09
Arnab Ray, Raoul Praful Jetley, Paul L. Jones:
Engineering high confidence medical device software. SIGBED Rev. 6(2): 1 (2009)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/KingPAHWSJJW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/KingPAHWSJJW09
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Rev. 6(2): 7 (2009)
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/JetleyIJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/JetleyIJ06
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones:
A Formal Methods Approach to Medical Device Review. Computer 39(4): 61-67 (2006)
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JetleyCI04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JetleyCI04
Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer:
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. Int. J. Softw. Tools Technol. Transf. 5(4): 320-330 (2004)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/SureshCSJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SureshCSJ22
Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley:
WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. SEKE 2022: 172-177
2021
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/GoyalSSJR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/GoyalSSJR21
Amit Goyal, R. K. Shyamasundar, G. Sivakumar, Raoul Jetley, Srini Ramaswamy:
Empirical Analysis of Greedy, GE and GRE Heuristics. ISEC 2021: 6:1-6:11
2020
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/case/AshrafDJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/AshrafDJ20
Ameena K. Ashraf, Meenakshi D'Souza, Raoul Jetley:
Coverage Criteria based Testing of Industrial Robots. CASE 2020: 16-21
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KoziolekBPRAJP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KoziolekBPRAJP20
Heiko Koziolek, Andreas Burger, Marie Platenius-Mohr, Julius Rückert, Hadil Abukwaik, Raoul Jetley, Abdulla P. P:
Rule-based code generation in industrial automation: four large-scale case studies applying the CAYENNE method. ICSE (SEIP) 2020: 152-161
2019
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MohanJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MohanJS19
Devina Mohan, Raoul Jetley, Sithu D. Sudarsan:
Learning based Probabilistic Model for Migration of Industrial Control Systems. ETFA 2019: 87-94
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/SureshCJM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/SureshCJM19
Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan:
Handling Backtracking for Symbolic Testing of Embedded Software. ETFA 2019: 1445-1448
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/JnanamurthyJHPW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/JnanamurthyJHPW19
H. K. Jnanamurthy, Raoul Jetley, Frans Henskens, David J. Paul, Mark Wallis, Sithu D. Sudarsan:
Analysis of Industrial Control System Software to Detect Semantic Clones. ICIT 2019: 773-779
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/GoyalSJMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/GoyalSJMR19
Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy:
Test Suite Minimization of Evolving Software Systems: A Case Study. ICSOFT 2019: 226-237
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/SureshCJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/SureshCJ19
Varsha P. Suresh, Sujit Chakrabarti, Raoul Jetley:
Automated Test Case Generation for Programmable Logic Controller Code. ISEC 2019: 29:1-29:4
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/MandalSSJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/MandalSSJS19
Avijit Mandal, Divyasheel Sharma, Mohak Sukhwani, Raoul Jetley, Santonu Sarkar:
Improving Safety in Collaborative Robot Tasks. INDIN 2019: 470-477
2018
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MandalMJND18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MandalMJND18
Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza:
A Generic Static Analysis Framework for Domain-specific Languages. ETFA 2018: 27-34
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/TekaleASJR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/TekaleASJR17
Pranali S. Tekale, Ramakalyan Ayyagari, Sithu D. Sudarsan, Raoul Jetley, Srini Ramaswamy:
Modeling and analysis of FPGA based power management system for renewables. ETFA 2017: 1-5
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/indiaSE/TekaleASJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/TekaleASJ17
Pranali S. Tekale, Ramakalyan Ayyagari, Sithu D. Sudarsan, Raoul Jetley:
A Review of Formal Methods for Intelligent Adaptive Systems with an Application to Intelligent Water Level Monitoring System. DIAS/EDUDM@ISEC 2017
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MandalJDN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MandalJDN17
Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair:
A Static Analyzer for Industrial Robotic Applications. ISSRE Workshops 2017: 24-27
2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KumarJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KumarJS16
Lov Kumar, Raoul Jetley, Ashish Sureka:
Source code metrics for programmable logic controller (PLC) ladder diagram (LD) visual programming language. WETSoM@ICSE 2016: 15-21
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/NairJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/NairJ16
Sreeja Nair, Raoul Jetley:
Solving circular dependencies in industrial automation programs. INDIN 2016: 397-404
2015
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Hauck-Stattelmann15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Hauck-Stattelmann15
Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley:
Analyzing the Restart Behavior of Industrial Control Applications. FM 2015: 585-588
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/KumarJNRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/KumarJNRV15
Atul Kumar, Raoul Praful Jetley, Anil R. Nair, Anand Rath, Aparajithan Vaidyanathan:
Analyzing Dependencies in an Industrial Automation Engineering System. ISEC 2015: 60-69
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/PanditaJSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/PanditaJSW15
Rahul Pandita, Raoul Praful Jetley, Sithu D. Sudarsan, Laurie A. Williams:
Discovering likely mappings between APIs using text mining. SCAM 2015: 231-240
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/NairJNH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/NairJNH15
Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann:
A static code analysis tool for control system software. SANER 2015: 459-463
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/GhoshRJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/GhoshRJ13
Sanjay Ghosh, Srini Ramaswamy, Raoul Praful Jetley:
Towards Requirements Change Decision Support. APSEC (1) 2013: 148-155
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/JetleyRAKPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/JetleyRAKPR13
Raoul Praful Jetley, Anand Rath, V. Aparajithan, D. Kumar, Vinu Prasad, Srini Ramaswamy:
An approach for comparison of IEC 61131-3 graphical programs. ETFA 2013: 1-8
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/JetleySRR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/JetleySRR13
Raoul Praful Jetley, Sithu D. Sudarsan, Sampath R., Srini Ramaswamy:
Medical Software - Issues and Best Practices. ICDCIT 2013: 69-91
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/JetleyNCD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/JetleyNCD13
Raoul Jetley, Anil R. Nair, Prakash Chandrasekaran, Alpana Dubey:
Applying software engineering practices for development of industrial automation applications. INDIN 2013: 558-563
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/KimASLJZJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/KimASLJZJ11
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley:
Safety-assured development of the GPCA infusion pump software. EMSOFT 2011: 155-164
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/GanesanLCJJZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/GanesanLCJJZ11
Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang:
Architecture Reconstruction and Analysis of Medical Device Software. WICSA 2011: 194-203
2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KingPAHWSJJW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KingPAHWSJJW09
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
An open test bed for medical device integration and coordination. ICSE Companion 2009: 141-151
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KingPAHWSJJW09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KingPAHWSJJW09a
Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
Demonstration of a medical device integration and coordination framework. ICSE Companion 2009: 433-434
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/JetleyIJS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/JetleyIJS06
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees:
A Formal Approach to Pre-Market Review for Medical Device Software. COMPSAC (1) 2006: 169-177
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/JetleyZI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/JetleyZI06
Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer:
Using Abstraction-driven Slicing for Postmortem Analysis of Software. ICPC 2006: 107-116

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2014
[e1]
- view
- export record
  dblp key:
  - conf/icse/2014mosemina
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2014mosemina
Anil R. Nair, Herbert Prähofer, Alois Zoitl, Raoul Jetley, Alpana Dubey, Atul Kumar:
1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA 2014, Hyderabad, India, May 31, 2014. ACM 2014, ISBN 978-1-4503-2851-7 [contents]

Coauthor Index

see FAQ

a service of

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.