Automated Synthesis of Assertion Monitors using Visual Specifications. - Ambar A. Gadkari; S. Ramesh 002 (DATE, 2005)

Test case generation from formal models through abstraction refinement and model checking. - Manoranjan Satpathy; S. Ramesh 002 (A-MOST, 2007)

Performance Analysis of FlexRay-based ECU Networks. - Andrei Hagiescu; Unmesh D. Bordoloi; Samarjit Chakraborty; Prahladavaradan Sampath; P. Vignesh V. Ganesan; S. Ramesh 002 (DAC, 2007)

Testing Model-Processing Tools for Embedded Systems. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002; K. C. Shashidhar (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

How to Test Program Generators? A Case Study using flex. - Prahladavaradan Sampath; A. C. Rajeev; K. C. Shashidhar; S. Ramesh 002 (SEFM, 2007)

A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. - S. Ramesh 002; P. Vignesh V. Ganesan; Gurulingesh Raravi (SIES, 2007)

Automatic Testing from Formal Specifications. - Manoranjan Satpathy; Michael J. Butler; Michael Leuschel; S. Ramesh 002 (TAP, 2007)

A simulation condition for correct asynchronous implementation of synchronous design. - S. Xu; Ratnesh Kumar 001; Shengbing Jiang; S. Ramesh 002 (ACC, 2008)

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. - Ambar A. Gadkari; Anand Yeolekar; J. Suresh; S. Ramesh 002; Swarup Mohalik; K. C. Shashidhar (CAV, 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 002; P. Vijay Suman; Paritosh K. Pandya; Shengbing Jiang (DAC, 2008)

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. - Rajeev Alur; Aditya Kanade 001; S. Ramesh 002; K. C. Shashidhar (EMSOFT, 2008)

Randomized directed testing (REDIRECT) for Simulink/Stateflow models. - Manoranjan Satpathy; Anand Yeolekar; S. Ramesh 002 (EMSOFT, 2008)

Conflict-Tolerant Real-Time Features. - Deepak D'Souza; Madhu Gopinathan; S. Ramesh 002; Prahladavaradan Sampath (QEST, 2008)

Behaviour Directed Testing of Auto-code Generators. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002; K. C. Shashidhar (SEFM, 2008)

Programming and Performance Modelling of Automotive ECU Networks. - Samarjit Chakraborty; S. Ramesh 002 (VLSI Design, 2008)

Supervisory control for real-time systems based on conflict-tolerant controllers. - Deepak D'Souza; Madhu Gopinathan; S. Ramesh 002; Prahladavaradan Sampath (CASE, 2009)

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. - Aditya Kanade 001; Rajeev Alur; Franjo Ivancic; S. Ramesh 002; Sriram Sankaranarayanan 001; K. C. Shashidhar (CAV, 2009)

Taming the component timing: A CBD methodology for real-time embedded systems. - Manoj G. Dixit; Pallab Dasgupta; S. Ramesh 002 (DATE, 2010)

Model-based analysis, synthesis and testing of automotive hardware/software architectures. - Samarjit Chakraborty; S. Ramesh 002; Jürgen Teich (EMSOFT, 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 002 (EMSOFT, 2010)

CoGenTe: a tool for code generator testing. - A. C. Rajeev; Prahladavaradan Sampath; K. C. Shashidhar; S. Ramesh 002 (ASE, 2010)

Rigorous model-based design & verification flow for in-vehicle software. - S. Ramesh 002; Ambar A. Gadkari (DAC, 2011)

When to stop verification?: Statistical trade-off between expected loss and simulation cost. - Sumit Kumar Jha 001; Christopher James Langmead; Swarup Mohalik; S. Ramesh 002 (DATE, 2011)

Cross-layer analysis, testing and verification of automotive control software. - Manfred Broy; Samarjit Chakraborty; Dip Goswami; S. Ramesh 002; Manoranjan Satpathy; Stefan Resmerita; Wolfgang Pree (EMSOFT, 2011)

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. - Jean-Vivien Millo; Swarup Mohalik; S. Ramesh 002 (ISEC, 2011)

Evolving specifications formally. - Prahladavaradan Sampath; Silky Arora; S. Ramesh 002 (RE, 2011)

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. - Silky Arora; Ambar A. Gadkari; S. Ramesh 002 (IEEE Embed. Syst. Lett., 2011)

Some results on Parametric Temporal Logic. - Manoj G. Dixit; S. Ramesh 002; Pallab Dasgupta (Inf. Process. Lett., 2011)

Relating Requirement and Design Variabilities. - Jean-Vivien Millo; S. Ramesh 002 (APSEC Workshops, 2012)

Planning with Action Prioritization and New Benchmarks for Classical Planning. - Kamalesh Ghosh; Pallab Dasgupta; S. Ramesh 002 (Australasian Conference on Artificial Intelligence, 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 002 (DATE, 2012)

Verifying timing synchronization constraints in distributed embedded architectures. - A. C. Rajeev; Swarup Mohalik; S. Ramesh 002 (DATE, 2012)

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. - Sachin Raviram; Prakash Mohan Peranandam; Manoranjan Satpathy; S. Ramesh 002 (ICTAC, 2012)

Resolving uncertainty in automotive feature interactions. - Silky Arora; Prahladavaradan Sampath; S. Ramesh 002 (RE, 2012)

Tracing SPLs precisely and efficiently. - Swarup Mohalik; S. Ramesh 002; Jean-Vivien Millo; Shankara Narayanan Krishna; Ganesh Khandu Narwane (SPLC (1), 2012)

Formalizing Traceability and Derivability in Software Product Lines - Shankara Narayanan Krishna; Ganesh Khandu Narwane; S. Ramesh 002; Swarup Mohalik; Jean-Vivien Millo (CoRR, 2012)

Compositional Verification of Evolving Software Product Lines - Jean-Vivien Millo; S. Ramesh 002; Shankara Narayanan Krishna; Ganesh Khandu Narwane (CoRR, 2012)

A dynamic assertion-based verification platform for validation of UML designs. - Ansuman Banerjee; Sayak Ray; Pallab Dasgupta; P. P. Chakrabarti 001; S. Ramesh 002; P. Vignesh V. Ganesan (ACM SIGSOFT Softw. Eng. Notes, 2012)

Efficient coverage of parallel and hierarchical stateflow models for test case generation. - Manoranjan Satpathy; Anand Yeolekar; Prakash Mohan Peranandam; S. Ramesh 002 (Softw. Test. Verification Reliab., 2012)

Scalable model-checking for precise end-to-end latency computation. - Swarup Mohalik; Devesh B. Chokshi; Manoj G. Dixit; A. C. Rajeev; S. Ramesh 002 (CACSD, 2013)

A mixed approach to rigorous development of control designs. - Manoranjan Satpathy; S. Ramesh 002; Colin F. Snook; Neeraj Kumar Singh 001; Michael J. Butler (CACSD, 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 002 (DAC, 2013)

A Method and Tool for Test Optimization for Automotive Controllers. - Alexandre Petrenko; Arnaud Dury; S. Ramesh 002; Swarup Mohalik (ICST Workshops, 2013)

Compositional Verification of Software Product Lines. - Jean-Vivien Millo; S. Ramesh 002; Shankara Narayanan Krishna; Ganesh Khandu Narwane (IFM, 2013)

Systematic Development of Control Designs via Formal Refinement. - Manoranjan Satpathy; Colin F. Snook; Silky Arora; S. Ramesh 002; Michael J. Butler (MODELSWARD, 2013)

Scenario-based verification in presence of variability using a synchronous approach. - Jean-Vivien Millo; Frédéric Mallet; Anthony Coadou; S. Ramesh 002 (Frontiers Comput. Sci., 2013)

Early Time-Budgeting for Component-Based Embedded Control Systems. - Manoj G. Dixit; S. Ramesh 002; Pallab Dasgupta (Embedded Systems Development, From Functional Models to Implementations, 2014)

Translation Validation for Stateflow to C. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002 (DAC, 2014)

Model-based design of cyber-physical software systems for smart worlds: a software engineering perspective. - Kaliappa Ravindran; Sethu Ramesh (MoSEMInA, 2014)

Reachability in hierarchical machines. - Omer Nguena-Timo; Alexandre Petrenko; Arnaud Dury; S. Ramesh 002 (IRI, 2014)

Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems. - Albert Mo Kim Cheng; Ramesh S. 002 (IEEE Embed. Syst. Lett., 2014)

Time-budgeting: a component based development methodology for real-time embedded systems. - Manoj G. Dixit; S. Ramesh 002; Pallab Dasgupta (Formal Aspects Comput., 2014)

Automatic test case generation from Simulink/Stateflow models using model checking. - Swarup Mohalik; Ambar A. Gadkari; Anand Yeolekar; K. C. Shashidhar; S. Ramesh 002 (Softw. Test. Verification Reliab., 2014)

Compositional modeling and analysis of automotive feature product lines. - Shankara Narayanan Krishna; Ganesh Khandu Narwane; S. Ramesh 002; Ashutosh Trivedi 001 (DAC, 2015)

Model-based testing of automotive software: some challenges and solutions. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (DAC, 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 002 (ICMT, 2015)

Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote). - Ramesh S. 002 (MoDELS, 2015)

Building an interactive test development environment for cyclic executive systems. - Guillaume Langelier; Arnaud Dury; Alexandre Petrenko; S. Ramesh 002; Tameem Assaf (SIES, 2015)

Automated Planning as an Early Verification Tool for Distributed Control. - Kamalesh Ghosh; Pallab Dasgupta; S. Ramesh 002 (J. Autom. Reason., 2015)

Guest Editorial Special Section on Automotive Embedded Systems and Software. - Samarjit Chakraborty; S. Ramesh 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. - Boris Madzar; Jalil Boudjadar; Juergen Dingel; Thomas E. Fuhrman; S. Ramesh 002 (FACS, 2016)

Multiple Mutation Testing from FSM. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (FORTE, 2016)

SymTest: A Framework for Symbolic Testing of Embedded Software. - Sujit Kumar Chakrabarti; S. Ramesh 002 (ISEC, 2016)

Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends. - Paolo Giusto; Ramesh S. 002; Sudhakaran M. (MODELSWARD, 2016)

Test Generation by Constraint Solving and FSM Mutant Killing. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (ICTSS, 2016)

Trustworthy Cyber Physical Systems. - Anuradha Annaswamy; Samarjit Chakraborty; Dip Goswami; S. Ramesh 002; Marilyn Wolf (VLSID, 2016)

Technologies for Safe and Intelligent Transportation Systems. - Samarjit Chakraborty; S. Ramesh 002 (VLSID, 2016)

Traceability Analyses between Features and Assets in Software Product Lines. - Ganesh Khandu Narwane; José Angel Galindo; Shankara Narayanan Krishna; David Benavides 001; Jean-Vivien Millo; S. Ramesh 002 (Entropy, 2016)

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. - Indranil Saha; Suman Roy 001; S. Ramesh 002 (Proc. IEEE, 2016)

Specification, Verification and Design of Evolving Automotive Software: Invited. - S. Ramesh 002; Birgit Vogel-Heuser; Wanli Chang 001; Debayan Roy; Licong Zhang; Samarjit Chakraborty (DAC, 2017)

Management of QoS-oriented Adaptation in Automobile Cruise Control Systems. - Arun Adiththan; Kaliappa Ravindran; S. Ramesh 002 (ICAC, 2017)

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. - Omer Nguena-Timo; Alexandre Petrenko; S. Ramesh 002 (ICTSS, 2017)

Situation-Based Autonomic Management of Automobile Cruise Control Systems. - Arun Adiththan; Kaliappa Ravindran; S. Ramesh 002 (FAS*W@SASO/ICCAC, 2017)

Guest Editorial. - Huafeng Yu; Stanley Bak; Xin Li 001; Corina S. Pasareanu; Ramesh S. 002; Qi Zhu 002 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)

Modeling AUTOSAR Implementations in Simulink. - Jian Chen; Manar H. Alalfi; Thomas R. Dean; S. Ramesh 002 (ECMFA, 2018)

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. - Omer Nguena-Timo; Alexandre Petrenko; S. Ramesh 002 (ICTAC, 2018)

Formal Modeling and Verification of Controllers for a Family of DRAM Caches. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam; S. Ramesh 002; Partha S. Roop (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Using Imprecise Test Oracles Modelled by FSM. - Omer Nguena Timo; Alexandre Petrenko; S. Ramesh 002 (ICST Workshops, 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 002; Andreas Burger; Gabriele Taentzer; Bernhard Westfechtel (SPLC (B), 2019)

Fault model-driven testing from FSM with symbolic inputs. - Omer Nguena Timo; Alexandre Petrenko; S. Ramesh 002 (Softw. Qual. J., 2019)

An MBSE Approach for Development of Resilient Automated Automotive Systems. - Joseph D'Ambrosio; Arun Adiththan; Edwin Ordoukhanian; Prakash Mohan Peranandam; S. Ramesh 002; Azad M. Madni; Padma Sundaram (Syst., 2019)

Formal Modeling and Verification of a Victim DRAM Cache. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam; S. Ramesh 002; Partha S. Roop (ACM Trans. Design Autom. Electr. Syst., 2019)

A conceptual model for unifying variability in space and time. - Sofia Ananieva; Sandra Greiner 001; Thomas Kühn 001; Jacob Krüger; Lukas Linsbauer; Sten Grüner; Timo Kehrer; Heiko Klare; Anne Koziolek; Henrik Lönn; Sebastian Krieter; Christoph Seidl 001; et al. (SPLC (A), 2020)

Applying Declarative Analysis to Software Product Line Models: An Industrial Study. - Ramy Shahin; Robert Hackman; Rafael F. Toledo; S. Ramesh 002; Joanne M. Atlee; Marsha Chechik (MoDELS, 2021)

A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications. - Sofia Ananieva; Sandra Greiner 001; Timo Kehrer; Jacob Krüger; Thomas Kühn 001; Lukas Linsbauer; Sten Grüner; Anne Koziolek; Henrik Lönn; S. Ramesh 002; Ralf H. Reussner (Empir. Softw. Eng., 2022)

Automatic development of requirement linking matrix based on semantic similarity for robust software development. - Dnyanesh Rajpathak 001; Prakash Mohan Peranandam; S. Ramesh 002 (J. Syst. Softw., 2022)

Autonomy-driven Emerging Directions in Software-defined Vehicles. - Unmesh D. Bordoloi; Samarjit Chakraborty; Markus Jochim; Prachi Joshi; Arvind Raghuraman; S. Ramesh 002 (DATE, 2023)

SimSched: A tool for Simulating Autosar Implementaion in Simulink. - Jian Chen; Manar H. Alalfi; Thomas R. Dean; Ramesh S. 002 (CoRR, 2023)

Black-Box Testing of Deep Neural Networks through Test Case Diversity. - Zohreh Aghababaeyan; Manel Abdellatif; Lionel C. Briand; Ramesh S. 002; Mojtaba Bagherzadeh (IEEE Trans. Software Eng., 2023)

Applying declarative analysis to industrial automotive software product line models. - Ramy Shahin; Rafael F. Toledo; Robert Hackman; S. Ramesh 002; Joanne M. Atlee; Marsha Chechik (Empir. Softw. Eng., 2023)

A Search-Based Testing Approach for Deep Reinforcement Learning Agents. - Amirhossein Zolfagharian; Manel Abdellatif; Lionel C. Briand; Mojtaba Bagherzadeh; Ramesh S. 002 (IEEE Trans. Software Eng., 2023)

Safety Monitoring of Deep Reinforcement Learning Agents. - Amirhossein Zolfagharian; Manel Abdellatif; Lionel C. Briand; Ramesh S. 002 (ICSE Companion, 2024)

Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. - Nicholas Annable; Mehrnoosh Askarpour; Thomas Chiang; Sahar Kokaly; Mark Lawford; Richard F. Paige; S. Ramesh 002; Alan Wassyng (SAFECOMP, 2024)

DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks. - Zohreh Aghababaeyan; Manel Abdellatif; Lionel C. Briand; S. Ramesh 002 (CoRR, 2024)

SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents. - Amirhossein Zolfagharian; Manel Abdellatif; Lionel C. Briand; S. Ramesh 002 (IEEE Trans. Software Eng., 2025)