S. Ramesh

According to our database, S. Ramesh authored at least 85 papers between 2005 and 2023.

Collaborative distances:

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

2023

A Search-Based Testing Approach for Deep Reinforcement Learning Agents.

Amirhossein Zolfagharian, Manel Abdellatif, Lionel C. Briand, Mojtaba Bagherzadeh, Ramesh S

IEEE Trans. Software Eng., July, 2023

Applying declarative analysis to industrial automotive software product line models.

Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik

Empir. Softw. Eng., March, 2023

Black-Box Testing of Deep Neural Networks through Test Case Diversity.

Zohreh Aghababaeyan, Manel Abdellatif, Lionel C. Briand, Ramesh S, Mojtaba Bagherzadeh

IEEE Trans. Software Eng., 2023

SimSched: A tool for Simulating Autosar Implementaion in Simulink.

Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ramesh S

CoRR, 2023

SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents.

Amirhossein Zolfagharian, Manel Abdellatif, Lionel C. Briand, Ramesh S

CoRR, 2023

2022

Automatic development of requirement linking matrix based on semantic similarity for robust software development.

Dnyanesh Rajpathak, Prakash Mohan Peranandam, S. Ramesh

J. Syst. Softw., 2022

A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications.

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

Empir. Softw. Eng., 2022

2021

Applying Declarative Analysis to Software Product Line Models: An Industrial Study.

Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

A conceptual model for unifying variability in space and time.

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

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2019

Formal Modeling and Verification of a Victim DRAM Cache.

Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop

ACM Trans. Design Autom. Electr. Syst., 2019

An MBSE Approach for Development of Resilient Automated Automotive Systems.

Joseph D'Ambrosio, Arun Adiththan, Edwin Ordoukhanian, Prakash Mohan Peranandam, S. Ramesh, Azad M. Madni, Padma Sundaram

Syst., 2019

Fault model-driven testing from FSM with symbolic inputs.

Omer Nguena Timo, Alexandre Petrenko, S. Ramesh

Softw. Qual. J., 2019

Towards a conceptual model for unifying variability in space and time.

Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Using Imprecise Test Oracles Modelled by FSM.

Omer Nguena Timo, Alexandre Petrenko, S. Ramesh

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Formal Modeling and Verification of Controllers for a Family of DRAM Caches.

Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.

Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Modeling AUTOSAR Implementations in Simulink.

Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017

Guest Editorial.

Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S, Qi Zhu

IET Cyper-Phys. Syst.: Theory & Appl., 2017

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs.

Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh

Proceedings of the Testing Software and Systems, 2017

Specification, Verification and Design of Evolving Automotive Software: Invited.

S. Ramesh, Birgit Vogel-Heuser, Wanli Chang, Debayan Roy, Licong Zhang, Samarjit Chakraborty

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.

Indranil Saha, Suman Roy, S. Ramesh

Proc. IEEE, 2016

Traceability Analyses between Features and Assets in Software Product Lines.

Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh

Entropy, 2016

Technologies for Safe and Intelligent Transportation Systems.

Samarjit Chakraborty, S. Ramesh

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

Trustworthy Cyber Physical Systems.

Anuradha Annaswamy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Marilyn Wolf

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

Test Generation by Constraint Solving and FSM Mutant Killing.

Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh

Proceedings of the Testing Software and Systems, 2016

SymTest: A Framework for Symbolic Testing of Embedded Software.

Sujit Kumar Chakrabarti, S. Ramesh

Proceedings of the 9th India Software Engineering Conference, 2016

Multiple Mutation Testing from FSM.

Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.

Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Guest Editorial Special Section on Automotive Embedded Systems and Software.

Samarjit Chakraborty, S. Ramesh

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Automated Planning as an Early Verification Tool for Distributed Control.

Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh

J. Autom. Reason., 2015

Building an interactive test development environment for cyclic executive systems.

Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Migrating Automotive Product Lines: A Case Study.

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

Proceedings of the Theory and Practice of Model Transformations, 2015

Model-based testing of automotive software: some challenges and solutions.

Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh

Proceedings of the 52nd Annual Design Automation Conference, 2015

Compositional modeling and analysis of automotive feature product lines.

Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Automatic test case generation from Simulink/Stateflow models using model checking.

Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh

Softw. Test. Verification Reliab., 2014

Time-budgeting: a component based development methodology for real-time embedded systems.

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Formal Aspects Comput., 2014

Reachability in hierarchical machines.

Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Model-based design of cyber-physical software systems for smart worlds: a software engineering perspective.

Kaliappa Ravindran, Sethu Ramesh

Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014

Translation Validation for Stateflow to C.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Early Time-Budgeting for Component-Based Embedded Control Systems.

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013

Scenario-based verification in presence of variability using a synchronous approach.

Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh

Frontiers Comput. Sci., 2013

Systematic Development of Control Designs via Formal Refinement.

Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Compositional Verification of Software Product Lines.

Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A Method and Tool for Test Optimization for Automotive Controllers.

Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Model-based development and verification of control software for electric vehicles.

Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

A mixed approach to rigorous development of control designs.

Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

Scalable model-checking for precise end-to-end latency computation.

Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2012

Efficient coverage of parallel and hierarchical stateflow models for test case generation.

Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh

Softw. Test. Verification Reliab., 2012

A dynamic assertion-based verification platform for validation of UML designs.

Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan

ACM SIGSOFT Softw. Eng. Notes, 2012

Compositional Verification of Evolving Software Product Lines

Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane

CoRR, 2012

Formalizing Traceability and Derivability in Software Product Lines

Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo

CoRR, 2012

Tracing SPLs precisely and efficiently.

Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane

Proceedings of the 16th International Software Product Line Conference, 2012

Resolving uncertainty in automotive feature interactions.

Silky Arora, Prahladavaradan Sampath, S. Ramesh

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.

Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Verifying timing synchronization constraints in distributed embedded architectures.

A. C. Rajeev, Swarup Mohalik, S. Ramesh

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.

Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Planning with Action Prioritization and New Benchmarks for Classical Planning.

Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Relating Requirement and Design Variabilities.

Jean-Vivien Millo, S. Ramesh

Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

2011

Some results on Parametric Temporal Logic.

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Inf. Process. Lett., 2011

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.

Silky Arora, Ambar A. Gadkari, S. Ramesh

IEEE Embed. Syst. Lett., 2011

Evolving specifications formally.

Prahladavaradan Sampath, Silky Arora, S. Ramesh

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking.

Jean-Vivien Millo, Swarup Mohalik, S. Ramesh

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

Cross-layer analysis, testing and verification of automotive control software.

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree

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

When to stop verification?: Statistical trade-off between expected loss and simulation cost.

Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh

Proceedings of the Design, Automation and Test in Europe, 2011

Rigorous model-based design & verification flow for in-vehicle software.

S. Ramesh, Ambar A. Gadkari

Proceedings of the 48th Design Automation Conference, 2011

2010

CoGenTe: a tool for code generator testing.

A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh

Proceedings of the ASE 2010, 2010

Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation.

A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh

Proceedings of the 10th International conference on Embedded software, 2010

Model-based analysis, synthesis and testing of automotive hardware/software architectures.

Samarjit Chakraborty, S. Ramesh, Jürgen Teich

Proceedings of the 10th International conference on Embedded software, 2010

Taming the component timing: A CBD methodology for real-time embedded systems.

Manoj G. Dixit, Pallab Dasgupta, S. Ramesh

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Supervisory control for real-time systems based on conflict-tolerant controllers.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Programming and Performance Modelling of Automotive ECU Networks.

Samarjit Chakraborty, S. Ramesh

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Behaviour Directed Testing of Auto-code Generators.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Conflict-Tolerant Real-Time Features.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Randomized directed testing (REDIRECT) for Simulink/Stateflow models.

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.

Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.

Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang

Proceedings of the 45th Design Automation Conference, 2008

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

A simulation condition for correct asynchronous implementation of synchronous design.

S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh

Proceedings of the American Control Conference, 2008

2007

Automatic Testing from Formal Specifications.

Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh

Proceedings of the Tests and Proofs - 1st International Conference, 2007

How to Test Program Generators? A Case Study using flex.

Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Testing Model-Processing Tools for Embedded Systems.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Performance Analysis of FlexRay-based ECU Networks.

Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh

Proceedings of the 44th Design Automation Conference, 2007

Test case generation from formal models through abstraction refinement and model checking.

Manoranjan Satpathy, S. Ramesh

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2005

Automated Synthesis of Assertion Monitors using Visual Specifications.

Ambar A. Gadkari, S. Ramesh

Proceedings of the 2005 Design, 2005