Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRaoul Praful Jetley
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
2020 – today
- 2022
[j8]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)- [c30]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]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
- [j7]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]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) - [c28]Ameena K. Ashraf, Meenakshi D'Souza, Raoul Jetley:
Coverage Criteria based Testing of Industrial Robots. CASE 2020: 16-21 - [c27]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
2010 – 2019
- 2019
- [c26]Devina Mohan, Raoul Jetley, Sithu D. Sudarsan:
Learning based Probabilistic Model for Migration of Industrial Control Systems. ETFA 2019: 87-94 - [c25]Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan:
Handling Backtracking for Symbolic Testing of Embedded Software. ETFA 2019: 1445-1448 - [c24]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]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]Varsha P. Suresh, Sujit Chakrabarti, Raoul Jetley:
Automated Test Case Generation for Programmable Logic Controller Code. ISEC 2019: 29:1-29:4 - [c21]Avijit Mandal, Divyasheel Sharma, Mohak Sukhwani, Raoul Jetley, Santonu Sarkar:
Improving Safety in Collaborative Robot Tasks. INDIN 2019: 470-477 - 2018
- [c20]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
- [j5]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) - [c19]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]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]Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair:
A Static Analyzer for Industrial Robotic Applications. ISSRE Workshops 2017: 24-27 - 2016
- [c16]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]Sreeja Nair, Raoul Jetley:
Solving circular dependencies in industrial automation programs. INDIN 2016: 397-404 - 2015
- [c14]Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley:
Analyzing the Restart Behavior of Industrial Control Applications. FM 2015: 585-588 - [c13]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]Rahul Pandita, Raoul Praful Jetley, Sithu D. Sudarsan, Laurie A. Williams:
Discovering likely mappings between APIs using text mining. SCAM 2015: 231-240 - [c11]Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann:
A static code analysis tool for control system software. SANER 2015: 459-463 - 2014
- [e1]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] - 2013
- [c10]Sanjay Ghosh, Srini Ramaswamy, Raoul Praful Jetley:
Towards Requirements Change Decision Support. APSEC (1) 2013: 148-155 - [c9]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]Raoul Praful Jetley, Sithu D. Sudarsan, Sampath R., Srini Ramaswamy:
Medical Software - Issues and Best Practices. ICDCIT 2013: 69-91 - [c7]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]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]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
2000 – 2009
- 2009
- [j4]Arnab Ray, Raoul Praful Jetley, Paul L. Jones:
Engineering high confidence medical device software. SIGBED Rev. 6(2): 1 (2009) - [j3]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) - [c4]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]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
- [j2]Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones:
A Formal Methods Approach to Medical Device Review. Computer 39(4): 61-67 (2006) - [c2]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]Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer:
Using Abstraction-driven Slicing for Postmortem Analysis of Software. ICPC 2006: 107-116 - 2004
- [j1]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)
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-07-09 03:27 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:
