Raoul Jetley

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 22

Top Topics

Static Analysis

Code Generation

Industrial Automation

Top Venues

Publications

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 (2022)
Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley
WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. SEKE (2022)
Amit Goyal, R. K. Shyamasundar, G. Sivakumar, Raoul Jetley, Srini Ramaswamy
Empirical Analysis of Greedy, GE and GRE Heuristics. ISEC (2021)
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) (2020)
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)
Ameena K. Ashraf, Meenakshi D'Souza, Raoul Jetley
Coverage Criteria based Testing of Industrial Robots. CASE (2020)
Heiko Koziolek, Andreas Burger, Marie Platenius-Mohr, Raoul Jetley
A classification framework for automated control code generation in industrial automation. J. Syst. Softw. 166 (2020)
Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan
Handling Backtracking for Symbolic Testing of Embedded Software. ETFA (2019)
Varsha P. Suresh, Sujit Chakrabarti, Raoul Jetley
Automated Test Case Generation for Programmable Logic Controller Code. ISEC (2019)
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)
Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy
Test Suite Minimization of Evolving Software Systems: A Case Study. ICSOFT (2019)
Avijit Mandal, Divyasheel Sharma, Mohak Sukhwani, Raoul Jetley, Santonu Sarkar
Improving Safety in Collaborative Robot Tasks. INDIN (2019)
Devina Mohan, Raoul Jetley, Sithu D. Sudarsan
Learning based Probabilistic Model for Migration of Industrial Control Systems. ETFA (2019)
Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza
A Generic Static Analysis Framework for Domain-specific Languages. ETFA (2018)
Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair
A Static Analyzer for Industrial Robotic Applications. ISSRE Workshops (2017)
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)
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)
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)
Lov Kumar, Raoul Jetley, Ashish Sureka
Source code metrics for programmable logic controller (PLC) ladder diagram (LD) visual programming language. WETSoM@ICSE (2016)
Sreeja Nair, Raoul Jetley
Solving circular dependencies in industrial automation programs. INDIN (2016)
Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley
Analyzing the Restart Behavior of Industrial Control Applications. FM (2015)
Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann
A static code analysis tool for control system software. SANER (2015)
Raoul Jetley, Anil R. Nair, Prakash Chandrasekaran, Alpana Dubey
Applying software engineering practices for development of industrial automation applications. INDIN (2013)