S. Ramesh

96 papers A* 11A 11B 6C 8Misc 9Journal 28Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automating the Detection of Requirement Dependencies Using Large Language Models.
CoRR
Ikram Darif, Feifei Niu, Manel Abdellatif, Lionel C. Briand, S. Ramesh, Arun Adiththan
2026 J jnl
Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach.
IEEE Trans. Software Eng.
Nunzio Marco Bisceglia, Aurora Francesca Zanenga, Mehrnoosh Askarpour, Sahar Kokaly, S. Ramesh, Marsha Chechik, Claudio Menghi
2025 J jnl
DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis.
IEEE Trans. Software Eng.
Zohreh Aghababaeyan, Manel Abdellatif, Lionel C. Briand, S. Ramesh
2025 J jnl
Is Implicit Knowledge Enough for LLMs? A RAG Approach for Tree-based Structures.
CoRR
Mihir Gupte, Paolo Giusto, S. Ramesh
2025 J jnl
SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents.
IEEE Trans. Software Eng.
Amirhossein Zolfagharian, Manel Abdellatif, Lionel C. Briand, S. Ramesh
2025 — conf
Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins.
SAFECOMP (Workshops)
Laure Millet, Justin Kernot, Arun Adiththan, S. Ramesh, Rami Debouk, Jeffrey Joyce
2024 B conf
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems.
SAFECOMP
Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng
2024 J jnl
DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks.
CoRR
Zohreh Aghababaeyan, Manel Abdellatif, Lionel C. Briand, S. Ramesh
2023 J jnl
Applying declarative analysis to industrial automotive software product line models.
Empir. Softw. Eng.
Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik
2023 A conf
Autonomy-driven Emerging Directions in Software-defined Vehicles.
DATE
Unmesh D. Bordoloi, Samarjit Chakraborty, Markus Jochim, Prachi Joshi, Arvind Raghuraman, S. Ramesh
2022 J jnl
A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications.
Empir. Softw. Eng.
Sofia Ananieva, Sandra Greiner, Timo Kehrer, Jacob Krüger, Thomas Kühn, Lukas Linsbauer, Sten Grüner, Anne Koziolek, Henrik Lönn, S. Ramesh, Ralf H. Reussner
2022 J jnl
Automatic development of requirement linking matrix based on semantic similarity for robust software development.
J. Syst. Softw.
Dnyanesh Rajpathak, Prakash Mohan Peranandam, S. Ramesh
2021 A conf
Applying Declarative Analysis to Software Product Line Models: An Industrial Study.
MoDELS
Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
2021 J jnl
Applying Declarative Analysis to Software Product Line Models: An Industrial Study.
CoRR
Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
2020 — conf
A conceptual model for unifying variability in space and time.
SPLC (A)
Sofia Ananieva, Sandra Greiner, Thomas Kühn, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, Sebastian Krieter, Christoph Seidl, S. Ramesh, Ralf H. Reussner, Bernhard Westfechtel
2019 J jnl
An MBSE Approach for Development of Resilient Automated Automotive Systems.
Syst.
Joseph D'Ambrosio, Arun Adiththan, Edwin Ordoukhanian, Prakash Mohan Peranandam, S. Ramesh, Azad M. Madni, Padma Sundaram
2019 J jnl
Fault model-driven testing from FSM with symbolic inputs.
Softw. Qual. J.
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
2019 J jnl
Formal Modeling and Verification of a Victim DRAM Cache.
ACM Trans. Design Autom. Electr. Syst.
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop
2019 — conf
Towards a conceptual model for unifying variability in space and time.
SPLC (B)
Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel
2019 — conf
Using Imprecise Test Oracles Modelled by FSM.
ICST Workshops
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
2018 C conf
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.
ICTAC
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
2018 A conf
Cloud-assisted control of ground vehicles using adaptive computation offloading techniques.
DATE
Arun Adiththan, S. Ramesh, Soheil Samii
2018 J jnl
Formal Modeling and Verification of Controllers for a Family of DRAM Caches.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop
2018 B conf
Modeling AUTOSAR Implementations in Simulink.
ECMFA
Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh
2017 — conf
Management of QoS-oriented Adaptation in Automobile Cruise Control Systems.
ICAC
Arun Adiththan, Kaliappa Ravindran, S. Ramesh
2017 C conf
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs.
ICTSS
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
2017 — conf
Situation-Based Autonomic Management of Automobile Cruise Control Systems.
FAS*W@SASO/ICCAC
Arun Adiththan, Kaliappa Ravindran, S. Ramesh
2017 A* conf
Specification, Verification and Design of Evolving Automotive Software: Invited.
DAC
S. Ramesh, Birgit Vogel-Heuser, Wanli Chang, Debayan Roy, Licong Zhang, Samarjit Chakraborty
2016 — conf
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.
FACS
Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
2016 J jnl
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.
Proc. IEEE
Indranil Saha, Suman Roy, S. Ramesh
2016 C conf
Multiple Mutation Testing from FSM.
FORTE
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
2016 — conf
SymTest: A Framework for Symbolic Testing of Embedded Software.
ISEC
Sujit Kumar Chakrabarti, S. Ramesh
2016 Misc conf
Technologies for Safe and Intelligent Transportation Systems.
VLSID
Samarjit Chakraborty, S. Ramesh
2016 C conf
Test Generation by Constraint Solving and FSM Mutant Killing.
ICTSS
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
2016 J jnl
Traceability Analyses between Features and Assets in Software Product Lines.
Entropy
Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh
2016 Misc conf
Trustworthy Cyber Physical Systems.
VLSID
Anuradha Annaswamy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Marilyn Wolf
2015 J jnl
Automated Planning as an Early Verification Tool for Distributed Control.
J. Autom. Reason.
Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
2015 — conf
Building an interactive test development environment for cyclic executive systems.
SIES
Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf
2015 A* conf
Compositional modeling and analysis of automotive feature product lines.
DAC
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi
2015 J jnl
Guest Editorial Special Section on Automotive Embedded Systems and Software.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Samarjit Chakraborty, S. Ramesh
2015 — conf
Migrating Automotive Product Lines: A Case Study.
ICMT
Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh
2015 A* conf
Model-based testing of automotive software: some challenges and solutions.
DAC
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
2015 — ed.
Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada. September 27, 2015
MASE@MoDELS
Michal Antkiewicz, Joanne M. Atlee, Juergen Dingel, S. Ramesh
2014 J jnl
Automatic test case generation from Simulink/Stateflow models using model checking.
Softw. Test. Verification Reliab.
Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh
2014 — ch.
Early Time-Budgeting for Component-Based Embedded Control Systems.
Embedded Systems Development, From Functional Models to Implementations
Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
2014 Misc conf
Reachability in hierarchical machines.
IRI
Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh
2014 J jnl
Time-budgeting: a component based development methodology for real-time embedded systems.
Formal Aspects Comput.
Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
2014 A* conf
Translation Validation for Stateflow to C.
DAC
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh
2013 — conf
A Method and Tool for Test Optimization for Automotive Controllers.
ICST Workshops
Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik
2013 — conf
A mixed approach to rigorous development of control designs.
CACSD
Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler
2013 B conf
Compositional Verification of Software Product Lines.
IFM
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
2013 A* conf
Model-based development and verification of control software for electric vehicles.
DAC
Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh
2013 — conf
Scalable model-checking for precise end-to-end latency computation.
CACSD
Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh
2013 J jnl
Scenario-based verification in presence of variability using a synchronous approach.
Frontiers Comput. Sci.
Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh
2013 C conf
Systematic Development of Control Designs via Formal Refinement.
MODELSWARD
Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler
2012 J jnl
A dynamic assertion-based verification platform for validation of UML designs.
ACM SIGSOFT Softw. Eng. Notes
Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2012 A conf
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
DATE
Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh
2012 J jnl
Compositional Verification of Evolving Software Product Lines
CoRR
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
2012 J jnl
Efficient coverage of parallel and hierarchical stateflow models for test case generation.
Softw. Test. Verification Reliab.
Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh
2012 J jnl
Formalizing Traceability and Derivability in Software Product Lines
CoRR
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo
2012 — conf
Planning with Action Prioritization and New Benchmarks for Classical Planning.
Australasian Conference on Artificial Intelligence
Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
2012 — conf
Relating Requirement and Design Variabilities.
APSEC Workshops
Jean-Vivien Millo, S. Ramesh
2012 A conf
Resolving uncertainty in automotive feature interactions.
RE
Silky Arora, Prahladavaradan Sampath, S. Ramesh
2012 C conf
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.
ICTAC
Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh
2012 — conf
Tracing SPLs precisely and efficiently.
SPLC (1)
Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane
2012 A conf
Verifying timing synchronization constraints in distributed embedded architectures.
DATE
A. C. Rajeev, Swarup Mohalik, S. Ramesh
2011 Misc conf
Cross-layer analysis, testing and verification of automotive control software.
EMSOFT
Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree
2011 A conf
Evolving specifications formally.
RE
Prahladavaradan Sampath, Silky Arora, S. Ramesh
2011 — conf
Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking.
ISEC
Jean-Vivien Millo, Swarup Mohalik, S. Ramesh
2011 A* conf
Rigorous model-based design & verification flow for in-vehicle software.
DAC
S. Ramesh, Ambar A. Gadkari
2011 J jnl
Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.
IEEE Embed. Syst. Lett.
Silky Arora, Ambar A. Gadkari, S. Ramesh
2011 J jnl
Some results on Parametric Temporal Logic.
Inf. Process. Lett.
Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
2011 A conf
When to stop verification?: Statistical trade-off between expected loss and simulation cost.
DATE
Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh
2010 A* conf
CoGenTe: a tool for code generator testing.
ASE
A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh
2010 Misc conf
Model-based analysis, synthesis and testing of automotive hardware/software architectures.
EMSOFT
Samarjit Chakraborty, S. Ramesh, Jürgen Teich
2010 Misc conf
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation.
EMSOFT
A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh
2010 A conf
Taming the component timing: A CBD methodology for real-time embedded systems.
DATE
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
2009 A* conf
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
CAV
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
2009 — conf
Supervisory control for real-time systems based on conflict-tolerant controllers.
CASE
Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
2008 B conf
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.
ATVA
Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2008 C conf
A simulation condition for correct asynchronous implementation of synchronous design.
ACC
S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh
2008 A* conf
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.
CAV
Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar
2008 B conf
Behaviour Directed Testing of Auto-code Generators.
SEFM
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
2008 — conf
Conflict-Tolerant Real-Time Features.
QEST
Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
2008 A* conf
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.
DAC
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
2008 Misc conf
Programming and Performance Modelling of Automotive ECU Networks.
VLSI Design
Samarjit Chakraborty, S. Ramesh
2008 Misc conf
Randomized directed testing (REDIRECT) for Simulink/Stateflow models.
EMSOFT
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
2008 Misc conf
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.
EMSOFT
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar
2007 — conf
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.
SIES
S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi
2007 J jnl
Automated Synthesis of Assertion Monitors using Visual Specifications
CoRR
Ambar A. Gadkari, S. Ramesh
2007 C conf
Automatic Testing from Formal Specifications.
TAP
Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh
2007 B conf
How to Test Program Generators? A Case Study using flex.
SEFM
Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh
2007 A* conf
Performance Analysis of FlexRay-based ECU Networks.
DAC
Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh
2007 — conf
Test case generation from formal models through abstraction refinement and model checking.
A-MOST
Manoranjan Satpathy, S. Ramesh
2007 A conf
Testing Model-Processing Tools for Embedded Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
2005 A conf
Automated Synthesis of Assertion Monitors using Visual Specifications.
DATE
Ambar A. Gadkari, S. Ramesh