Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach.

S. Ramesh 0002 Ramesh S. 0002 Sethu Ramesh General Motors R&D, India Science Lab, Bangalore, India https://orcid.org/0000-0002-8501-7447 https://www.wikidata.org/entity/Q130949701 S. Ramesh Ramesh S. S. Ramesh 0001 Indian Institute of Technology, Bombay, Mumbai, India https://www.cse.iitb.ac.in/~ramesh/ S. Ramesh 0003 Ramesh Sekaran Velagapudi Ramakrishna Siddhartha Engineering College, Vijayawada, India Malla Reddy Engineering College for Women, Secunderabad, India Anna University, Department of Information and Communication Engineering, Chennai, India https://orcid.org/0000-0002-6668-2142 https://orcid.org/0000-0002-6817-3878 https://www.wikidata.org/entity/Q87616222 https://www.scopus.com/authid/detail.uri?authorId=56601645600 S. Ramesh 0004 Shiva Ramesh 0004 LSI Logic Corporation, Milpitas, CA, USA S. Ramesh 0005 Ramesh Sundar Vignan Foundation for Science, Technology & Research, Guntur, India https://orcid.org/0000-0002-1369-3200 S. Ramesh Ramesh S.

Nunzio Marco Bisceglia Aurora Francesca Zanenga Mehrnoosh Askarpour Sahar Kokaly S. Ramesh 0002 Marsha Chechik Claudio Menghi Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach. 2026 March 889-907 52 IEEE Trans. Software Eng. 3 https://doi.org/10.1109/TSE.2026.3654819 db/journals/tse/tse52.html#BiscegliaZAKRCM26 streams/journals/tse

Ikram Darif Feifei Niu Manel Abdellatif Lionel C. Briand S. Ramesh 0002 Arun Adiththan Automating the Detection of Requirement Dependencies Using Large Language Models. 2026 February abs/2602.22456 CoRR https://doi.org/10.48550/arXiv.2602.22456 db/journals/corr/corr2602.html#abs-2602-22456 streams/journals/corr

Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand S. Ramesh 0002 SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents. 82-105 2025 January 51 IEEE Trans. Software Eng. 1 https://doi.org/10.1109/TSE.2024.3491496 db/journals/tse/tse51.html#ZolfagharianABR25 streams/journals/tse

Zohreh Aghababaeyan Manel Abdellatif Lionel C. Briand S. Ramesh 0002 DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis. 3284-3309 2025 December 51 IEEE Trans. Software Eng. 12 https://doi.org/10.1109/TSE.2025.3611329 db/journals/tse/tse51.html#AghababaeyanABR25 streams/journals/tse

Hamed Barzamini Ramesh S. 0002 Arun Adiththan Prakash Mohan Peranandam Mona Rahimi Specifying Operational Design Domain in Autonomous Driving for Comprehensive Data Evaluation. 43-55 2025 RE https://doi.org/10.1109/RE63999.2025.00015 conf/re/2025 db/conf/re/re2025.html#BarzaminiSAPR25 streams/conf/re Laure Millet Justin Kernot Arun Adiththan S. Ramesh 0002 Rami Debouk Jeffrey Joyce Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins. 485-498 2025 SAFECOMP (Workshops) https://doi.org/10.1007/978-3-032-02018-5_35 conf/safecomp/2025w db/conf/safecomp/safecomp2025w.html#MilletKARDJ25 streams/conf/safecomp

Mihir Gupte Paolo Giusto S. Ramesh 0002 Is Implicit Knowledge Enough for LLMs? A RAG Approach for Tree-based Structures. 2025 October abs/2510.10806 CoRR https://doi.org/10.48550/arXiv.2510.10806 db/journals/corr/corr2510.html#abs-2510-10806 streams/journals/corr

Mihir Gupte Ramesh S. 0002 Towards Autoformalization of LLM-generated Outputs for Requirement Verification. 2025 November abs/2511.11829 CoRR https://doi.org/10.48550/arXiv.2511.11829 db/journals/corr/corr2511.html#abs-2511-11829 streams/journals/corr

Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand Ramesh S. 0002 Safety Monitoring of Deep Reinforcement Learning Agents. 286-287 2024 ICSE Companion https://doi.org/10.1145/3639478.3643072 https://www.wikidata.org/entity/Q130949702 conf/icse/2024c db/conf/icse/icse2024c.html#ZolfagharianABS24 Nicholas Annable Mehrnoosh Askarpour Thomas Chiang Sahar Kokaly Mark Lawford Richard F. Paige S. Ramesh 0002 Alan Wassyng Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. 134-149 2024 SAFECOMP https://doi.org/10.1007/978-3-031-68606-1_9 conf/safecomp/2024 db/conf/safecomp/safecomp2024.html#AnnableACKLPRW24 streams/conf/safecomp

Zohreh Aghababaeyan Manel Abdellatif Lionel C. Briand S. Ramesh 0002 DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks. 2024 abs/2410.19794 CoRR https://doi.org/10.48550/arXiv.2410.19794 db/journals/corr/corr2410.html#abs-2410-19794 streams/journals/corr

Ramy Shahin Rafael F. Toledo Robert Hackman S. Ramesh 0002 Joanne M. Atlee Marsha Chechik Applying declarative analysis to industrial automotive software product line models. 40 2023 March 28 Empir. Softw. Eng. 2 https://doi.org/10.1007/s10664-023-10290-2 db/journals/ese/ese28.html#ShahinTHSAC23

Zohreh Aghababaeyan Manel Abdellatif Lionel C. Briand Ramesh S. 0002 Mojtaba Bagherzadeh Black-Box Testing of Deep Neural Networks through Test Case Diversity. 3182-3204 2023 49 IEEE Trans. Software Eng. 5 https://doi.org/10.1109/TSE.2023.3243522 db/journals/tse/tse49.html#AghababaeyanABS23

Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand Mojtaba Bagherzadeh Ramesh S. 0002 A Search-Based Testing Approach for Deep Reinforcement Learning Agents. 3715-3735 2023 July 49 IEEE Trans. Software Eng. 7 https://doi.org/10.1109/TSE.2023.3269804 db/journals/tse/tse49.html#ZolfagharianABBS23

Unmesh D. Bordoloi Samarjit Chakraborty Markus Jochim Prachi Joshi Arvind Raghuraman S. Ramesh 0002 Autonomy-driven Emerging Directions in Software-defined Vehicles. 1-6 2023 DATE https://doi.org/10.23919/DATE56975.2023.10136910 conf/date/2023 db/conf/date/date2023.html#BordoloiCJJRR23

Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand Ramesh S. 0002 SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents. 2023 abs/2308.02594 CoRR https://doi.org/10.48550/arXiv.2308.02594 db/journals/corr/corr2308.html#abs-2308-02594

Jian Chen Manar H. Alalfi Thomas R. Dean Ramesh S. 0002 SimSched: A tool for Simulating Autosar Implementaion in Simulink. 2023 abs/2308.14974 CoRR https://doi.org/10.48550/arXiv.2308.14974 db/journals/corr/corr2308.html#abs-2308-14974

Sofia Ananieva Sandra Greiner 0001 Timo Kehrer Jacob Krüger Thomas Kühn 0001 Lukas Linsbauer Sten Grüner Anne Koziolek Henrik Lönn S. Ramesh 0002 Ralf H. Reussner A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications. 101 2022 27 Empir. Softw. Eng. 5 https://doi.org/10.1007/s10664-021-10097-z db/journals/ese/ese27.html#AnanievaGKKKLGK22

Dnyanesh Rajpathak 0001 Prakash Mohan Peranandam S. Ramesh 0002 Automatic development of requirement linking matrix based on semantic similarity for robust software development. 111211 2022 186 J. Syst. Softw. https://doi.org/10.1016/j.jss.2021.111211 db/journals/jss/jss186.html#RajpathakPR22

Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand Mojtaba Bagherzadeh Ramesh S. 0002 Search-Based Testing Approach for Deep Reinforcement Learning Agents. 2022 abs/2206.07813 CoRR https://doi.org/10.48550/arXiv.2206.07813 db/journals/corr/corr2206.html#abs-2206-07813

Ramy Shahin Robert Hackman Rafael F. Toledo S. Ramesh 0002 Joanne M. Atlee Marsha Chechik Applying Declarative Analysis to Software Product Line Models: An Industrial Study. 145-155 2021 MoDELS https://doi.org/10.1109/MODELS50736.2021.00023 conf/models/2021 db/conf/models/models2021.html#ShahinHTRAC21

Ramy Shahin Robert Hackman Rafael F. Toledo S. Ramesh 0002 Joanne M. Atlee Marsha Chechik Applying Declarative Analysis to Software Product Line Models: An Industrial Study. 2021 abs/2107.07690 CoRR https://arxiv.org/abs/2107.07690 db/journals/corr/corr2107.html#abs-2107-07690

Zohreh Aghababaeyan Manel Abdellatif Lionel C. Briand Ramesh S. 0002 Mojtaba Bagherzadeh Black-Box Testing of Deep Neural Networks through Test Case Diversity. 2021 abs/2112.12591 CoRR https://arxiv.org/abs/2112.12591 db/journals/corr/corr2112.html#abs-2112-12591

Sofia Ananieva Sandra Greiner 0001 Thomas Kühn 0001 Jacob Krüger Lukas Linsbauer Sten Grüner Timo Kehrer Heiko Klare Anne Koziolek Henrik Lönn Sebastian Krieter Christoph Seidl 0001 S. Ramesh 0002 Ralf H. Reussner Bernhard Westfechtel A conceptual model for unifying variability in space and time. 15:1-15:12 2020 SPLC (A) https://doi.org/10.1145/3382025.3414955 conf/splc/2020a db/conf/splc/splc2020a.html#AnanievaG0KLGKK20

Omer Nguena Timo Alexandre Petrenko S. Ramesh 0002 Fault model-driven testing from FSM with symbolic inputs. 501-527 2019 27 Softw. Qual. J. 2 https://doi.org/10.1007/s11219-019-9440-3 https://www.wikidata.org/entity/Q121277939 db/journals/sqj/sqj27.html#TimoPR19

Joseph D'Ambrosio Arun Adiththan Edwin Ordoukhanian Prakash Mohan Peranandam S. Ramesh 0002 Azad M. Madni Padma Sundaram An MBSE Approach for Development of Resilient Automated Automotive Systems. 1 2019 7 Syst. 1 https://doi.org/10.3390/systems7010001 db/journals/systems/systems7.html#DAmbrosioAOPRMS19

Debiprasanna Sahoo Swaraj Sha Manoranjan Satpathy Madhu Mutyam S. Ramesh 0002 Partha S. Roop Formal Modeling and Verification of a Victim DRAM Cache. 20:1-20:23 2019 24 ACM Trans. Design Autom. Electr. Syst. 2 https://doi.org/10.1145/3306491 https://www.wikidata.org/entity/Q128377588 db/journals/todaes/todaes24.html#SahooSSMRR19

Omer Nguena Timo Alexandre Petrenko S. Ramesh 0002 Using Imprecise Test Oracles Modelled by FSM. 32-39 2019 ICST Workshops https://doi.org/10.1109/ICSTW.2019.00029 conf/icst/2019w db/conf/icst/icstw2019.html#TimoPR19 Sofia Ananieva Timo Kehrer Heiko Klare Anne Koziolek Henrik Lönn S. Ramesh 0002 Andreas Burger Gabriele Taentzer Bernhard Westfechtel Towards a conceptual model for unifying variability in space and time. 67:1-67:5 2019 SPLC (B) https://doi.org/10.1145/3307630.3342412 conf/splc/2019b db/conf/splc/splc2019b.html#AnanievaKKKLRBT19

Debiprasanna Sahoo Swaraj Sha Manoranjan Satpathy Madhu Mutyam S. Ramesh 0002 Partha S. Roop Formal Modeling and Verification of Controllers for a Family of DRAM Caches. 2485-2496 2018 37 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2018.2857318 db/journals/tcad/tcad37.html#SahooSSMRR18

Arun Adiththan S. Ramesh 0002 Soheil Samii Cloud-assisted control of ground vehicles using adaptive computation offloading techniques. 589-592 2018 DATE https://doi.org/10.23919/DATE.2018.8342076 conf/date/2018 db/conf/date/date2018.html#AdiththanRS18 Jian Chen Manar H. Alalfi Thomas R. Dean S. Ramesh 0002 Modeling AUTOSAR Implementations in Simulink. 279-292 2018 ECMFA https://doi.org/10.1007/978-3-319-92997-2_18 conf/ecmdafa/2018 db/conf/ecmdafa/ecmfa2018.html#ChenADR18 Omer Nguena-Timo Alexandre Petrenko S. Ramesh 0002 Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. 354-375 2018 ICTAC https://doi.org/10.1007/978-3-030-02508-3_19 conf/ictac/2018 db/conf/ictac/ictac2018.html#Nguena-TimoPR18

Huafeng Yu Stanley Bak Xin Li 0001 Corina S. Pasareanu Ramesh S. 0002 Qi Zhu 0002 Guest Editorial. 55-56 2017 2 IET Cyper-Phys. Syst.: Theory & Appl. 2 https://doi.org/10.1049/iet-cps.2017.0092 db/journals/iet-cps/iet-cps2.html#YuBLPSZ17

S. Ramesh 0002 Birgit Vogel-Heuser Wanli Chang 0001 Debayan Roy Licong Zhang Samarjit Chakraborty Specification, Verification and Design of Evolving Automotive Software: Invited. 83:1-83:6 2017 DAC https://doi.org/10.1145/3061639.3072946 conf/dac/2017 db/conf/dac/dac2017.html#RameshVCRZC17 Arun Adiththan Kaliappa Ravindran S. Ramesh 0002 Management of QoS-oriented Adaptation in Automobile Cruise Control Systems. 79-80 2017 ICAC https://doi.org/10.1109/ICAC.2017.50 https://doi.ieeecomputersociety.org/10.1109/ICAC.2017.50 conf/icac/2017 db/conf/icac/icac2017.html#AdiththanRR17 Omer Nguena-Timo Alexandre Petrenko S. Ramesh 0002 Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. 108-125 2017 ICTSS https://doi.org/10.1007/978-3-319-67549-7_7 conf/pts/2017 db/conf/pts/ictss2017.html#Nguena-TimoPR17 Arun Adiththan Kaliappa Ravindran S. Ramesh 0002 Situation-Based Autonomic Management of Automobile Cruise Control Systems. 103-108 2017 FAS*W@SASO/ICCAC https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.128 conf/saso/2017fasw db/conf/saso/fasw2017.html#AdiththanRS17

Ganesh Khandu Narwane José Angel Galindo Shankara Narayanan Krishna David Benavides 0001 Jean-Vivien Millo S. Ramesh 0002 Traceability Analyses between Features and Assets in Software Product Lines. 2016 18 Entropy 8 https://doi.org/10.3390/e18080269 db/journals/entropy/entropy18.html#NarwaneGKBMR16 269

Indranil Saha 0001 Suman Roy 0001 S. Ramesh 0002 Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. 904-922 2016 104 Proc. IEEE 5 https://doi.org/10.1109/JPROC.2016.2519247 db/journals/pieee/pieee104.html#SahaRR16

Boris Madzar Jalil Boudjadar Juergen Dingel Thomas E. Fuhrman S. Ramesh 0002 Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. 153-171 2016 FACS https://doi.org/10.1007/978-3-319-57666-4_10 conf/facs2/2016 db/conf/facs2/facs2016.html#MadzarBDFR16 Alexandre Petrenko Omer Nguena-Timo S. Ramesh 0002 Multiple Mutation Testing from FSM. 222-238 2016 FORTE https://doi.org/10.1007/978-3-319-39570-8_15 conf/forte/2016 db/conf/forte/forte2016.html#PetrenkoNR16 Sujit Kumar Chakrabarti S. Ramesh 0002 SymTest: A Framework for Symbolic Testing of Embedded Software. 48-58 2016 ISEC https://doi.org/10.1145/2856636.2856642 https://www.wikidata.org/entity/Q131122432 conf/indiaSE/2016 db/conf/indiaSE/isec2016.html#ChakrabartiR16 Paolo Giusto Ramesh S. 0002 Sudhakaran M. Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends. 704-710 2016 MODELSWARD https://doi.org/10.5220/0005831007040710 https://ieeexplore.ieee.org/document/7954423 conf/modelsward/2016 db/conf/modelsward/modelsward2016.html#GiustoSM16 Alexandre Petrenko Omer Nguena-Timo S. Ramesh 0002 Test Generation by Constraint Solving and FSM Mutant Killing. 36-51 2016 ICTSS https://doi.org/10.1007/978-3-319-47443-4_3 conf/pts/2016 db/conf/pts/ictss2016.html#PetrenkoNR16 Anuradha Annaswamy Samarjit Chakraborty Dip Goswami S. Ramesh 0002 Marilyn Wolf Trustworthy Cyber Physical Systems. 19-20 2016 VLSID https://doi.org/10.1109/VLSID.2016.136 https://doi.ieeecomputersociety.org/10.1109/VLSID.2016.136 conf/vlsid/2016 db/conf/vlsid/vlsid2016.html#AnnaswamyCGRW16 Samarjit Chakraborty S. Ramesh 0002 Technologies for Safe and Intelligent Transportation Systems. 56-58 2016 VLSID https://doi.org/10.1109/VLSID.2016.151 https://doi.ieeecomputersociety.org/10.1109/VLSID.2016.151 conf/vlsid/2016 db/conf/vlsid/vlsid2016.html#ChakrabortyR16

Kamalesh Ghosh Pallab Dasgupta S. Ramesh 0002 Automated Planning as an Early Verification Tool for Distributed Control. 31-68 2015 54 J. Autom. Reason. 1 https://doi.org/10.1007/s10817-014-9313-1 db/journals/jar/jar54.html#GhoshDR15

Samarjit Chakraborty S. Ramesh 0002 Guest Editorial Special Section on Automotive Embedded Systems and Software. 1701-1703 2015 34 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2015.2488378 db/journals/tcad/tcad34.html#ChakrabortyR15

Shankara Narayanan Krishna Ganesh Khandu Narwane S. Ramesh 0002 Ashutosh Trivedi 0001 Compositional modeling and analysis of automotive feature product lines. 57:1-57:6 2015 DAC https://doi.org/10.1145/2744769.2747928 conf/dac/2015 db/conf/dac/dac2015.html#KrishnaNRT15 Alexandre Petrenko Omer Nguena-Timo S. Ramesh 0002 Model-based testing of automotive software: some challenges and solutions. 118:1-118:6 2015 DAC https://doi.org/10.1145/2744769.2747935 conf/dac/2015 db/conf/dac/dac2015.html#PetrenkoTR15 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 0002 Migrating Automotive Product Lines: A Case Study. 82-97 2015 ICMT https://doi.org/10.1007/978-3-319-21155-8_7 conf/icmt/2015 db/conf/icmt/icmt2015.html#FamelisLSSSCCDV15 Ramesh S. 0002 Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote). 3 2015 MoDELS https://doi.org/10.1109/MODELS.2015.7338229 https://doi.ieeecomputersociety.org/10.1109/MODELS.2015.7338229 conf/models/2015 db/conf/models/models2015.html#S15 Guillaume Langelier Arnaud Dury Alexandre Petrenko S. Ramesh 0002 Tameem Assaf Building an interactive test development environment for cyclic executive systems. 127-135 2015 SIES https://doi.org/10.1109/SIES.2015.7185048 conf/sies/2015 db/conf/sies/sies2015.html#LangelierDPRA15 Michal Antkiewicz Joanne M. Atlee Juergen Dingel S. Ramesh 0002 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 CEUR-WS.org CEUR Workshop Proceedings 1487 2015 https://ceur-ws.org/Vol-1487 https://nbn-resolving.org/urn:nbn:de:0074-1487-5 db/conf/models/mase2015.html

Albert Mo Kim Cheng Ramesh S. 0002 Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems. 2-3 2014 6 IEEE Embed. Syst. Lett. 1 https://doi.org/10.1109/LES.2014.2306753 db/journals/esl/esl6.html#ChengS14

Manoj G. Dixit S. Ramesh 0002 Pallab Dasgupta Time-budgeting: a component based development methodology for real-time embedded systems. 591-621 2014 26 Formal Aspects Comput. 3 https://doi.org/10.1007/s00165-012-0273-0 https://www.wikidata.org/entity/Q130884163 db/journals/fac/fac26.html#DixitRD14

Swarup Mohalik Ambar A. Gadkari Anand Yeolekar K. C. Shashidhar S. Ramesh 0002 Automatic test case generation from Simulink/Stateflow models using model checking. 155-180 2014 24 Softw. Test. Verification Reliab. 2 https://doi.org/10.1002/stvr.1489 db/journals/stvr/stvr24.html#MohalikGYSR14

Prahladavaradan Sampath A. C. Rajeev S. Ramesh 0002 Translation Validation for Stateflow to C. 23:1-23:6 2014 DAC https://doi.org/10.1145/2593069.2593237 https://www.wikidata.org/entity/Q130990679 conf/dac/2014 db/conf/dac/dac2014.html#SampathRR14 Kaliappa Ravindran Sethu Ramesh Model-based design of cyber-physical software systems for smart worlds: a software engineering perspective. 62-71 2014 MoSEMInA https://doi.org/10.1145/2593783.2593785 conf/icse/2014mosemina db/conf/icse/mosemina2014.html#RavindranS14 Omer Nguena-Timo Alexandre Petrenko Arnaud Dury S. Ramesh 0002 Reachability in hierarchical machines. 475-482 2014 IRI https://doi.org/10.1109/IRI.2014.7051927 https://doi.ieeecomputersociety.org/10.1109/IRI.2014.7051927 conf/iri/2014 db/conf/iri/iri2014.html#TimoPDR14 Manoj G. Dixit S. Ramesh 0002 Pallab Dasgupta Early Time-Budgeting for Component-Based Embedded Control Systems. 123-137 2014 Embedded Systems Development, From Functional Models to Implementations https://doi.org/10.1007/978-1-4614-3879-3_7 books/daglib/0039015 db/books/collections/SZNM2014.html#DixitRD14

Jean-Vivien Millo Frédéric Mallet Anthony Coadou S. Ramesh 0002 Scenario-based verification in presence of variability using a synchronous approach. 650-672 2013 7 Frontiers Comput. Sci. 5 https://doi.org/10.1007/s11704-013-3094-6 db/journals/fcsc/fcsc7.html#MilloMCR13

Manoranjan Satpathy S. Ramesh 0002 Colin F. Snook Neeraj Kumar Singh 0001 Michael J. Butler A mixed approach to rigorous development of control designs. 7-12 2013 CACSD https://doi.org/10.1109/CACSD.2013.6663474 https://www.wikidata.org/entity/Q59625836 conf/cacsd/2013 db/conf/cacsd/cacsd2013.html#SatpathyRSSB13 Swarup Mohalik Devesh B. Chokshi Manoj G. Dixit A. C. Rajeev S. Ramesh 0002 Scalable model-checking for precise end-to-end latency computation. 19-24 2013 CACSD https://doi.org/10.1109/CACSD.2013.6663476 conf/cacsd/2013 db/conf/cacsd/cacsd2013.html#MohalikCDRR13 Dip Goswami Martin Lukasiewycz Matthias Kauer Sebastian Steinhorst Alejandro Masrur Samarjit Chakraborty S. Ramesh 0002 Model-based development and verification of control software for electric vehicles. 96:1-96:9 2013 DAC https://doi.org/10.1145/2463209.2488853 https://www.wikidata.org/entity/Q130963877 conf/dac/2013 db/conf/dac/dac2013.html#GoswamiLKSMCR13 Alexandre Petrenko Arnaud Dury S. Ramesh 0002 Swarup Mohalik A Method and Tool for Test Optimization for Automotive Controllers. 198-207 2013 ICST Workshops https://doi.org/10.1109/ICSTW.2013.31 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.31 conf/icst/2013w db/conf/icst/icstw2013.html#PetrenkoDRM13 Jean-Vivien Millo S. Ramesh 0002 Shankara Narayanan Krishna Ganesh Khandu Narwane Compositional Verification of Software Product Lines. 109-123 2013 IFM https://doi.org/10.1007/978-3-642-38613-8_8 conf/ifm/2013 db/conf/ifm/ifm2013.html#MilloRKN13 Manoranjan Satpathy Colin F. Snook Silky Arora S. Ramesh 0002 Michael J. Butler Systematic Development of Control Designs via Formal Refinement. 143-148 2013 MODELSWARD https://doi.org/10.5220/0004321001430148 conf/modelsward/2013 db/conf/modelsward/modelsward2013.html#SatpathySARB13

Ansuman Banerjee Sayak Ray Pallab Dasgupta P. P. Chakrabarti 0001 S. Ramesh 0002 P. Vignesh V. Ganesan A dynamic assertion-based verification platform for validation of UML designs. 1-14 2012 37 ACM SIGSOFT Softw. Eng. Notes 1 https://doi.org/10.1145/2088883.2088891 db/journals/sigsoft/sigsoft37.html#BanerjeeRDCRG12

Manoranjan Satpathy Anand Yeolekar Prakash Mohan Peranandam S. Ramesh 0002 Efficient coverage of parallel and hierarchical stateflow models for test case generation. 457-479 2012 22 Softw. Test. Verification Reliab. 7 https://doi.org/10.1002/stvr.444 db/journals/stvr/stvr22.html#SatpathyYPR12

Jean-Vivien Millo S. Ramesh 0002 Relating Requirement and Design Variabilities. 35-42 2012 APSEC Workshops https://doi.org/10.1109/APSEC.2012.67 conf/apsec/2012w db/conf/apsec/apsec2012w.html#MilloR12 Kamalesh Ghosh Pallab Dasgupta S. Ramesh 0002 Planning with Action Prioritization and New Benchmarks for Classical Planning. 779-790 2012 Australasian Conference on Artificial Intelligence https://doi.org/10.1007/978-3-642-35101-3_66 conf/ausai/2012 db/conf/ausai/ausai2012.html#GhoshDR12 A. C. Rajeev Swarup Mohalik S. Ramesh 0002 Verifying timing synchronization constraints in distributed embedded architectures. 200-205 2012 DATE https://doi.org/10.1109/DATE.2012.6176463 https://doi.ieeecomputersociety.org/10.1109/DATE.2012.6176463 http://dl.acm.org/citation.cfm?id=2492759 conf/date/2012 db/conf/date/date2012.html#RajeevMR12 Prakash Mohan Peranandam Sachin Raviram Manoranjan Satpathy Anand Yeolekar Ambar A. Gadkari S. Ramesh 0002 An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. 308-311 2012 DATE https://doi.org/10.1109/DATE.2012.6176485 https://doi.ieeecomputersociety.org/10.1109/DATE.2012.6176485 http://dl.acm.org/citation.cfm?id=2492785 conf/date/2012 db/conf/date/date2012.html#PeranandamRSYGR12 Sachin Raviram Prakash Mohan Peranandam Manoranjan Satpathy S. Ramesh 0002 SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. 164-167 2012 ICTAC https://doi.org/10.1007/978-3-642-32943-2_13 conf/ictac/2012 db/conf/ictac/ictac2012.html#RaviramPSR12 Silky Arora Prahladavaradan Sampath S. Ramesh 0002 Resolving uncertainty in automotive feature interactions. 21-30 2012 RE https://doi.org/10.1109/RE.2012.6345807 https://doi.ieeecomputersociety.org/10.1109/RE.2012.6345807 https://orkg.org/orkg/resource/R220838 conf/re/2012 db/conf/re/re2012.html#AroraSR12 Swarup Mohalik S. Ramesh 0002 Jean-Vivien Millo Shankara Narayanan Krishna Ganesh Khandu Narwane Tracing SPLs precisely and efficiently. 186-195 2012 SPLC (1) https://doi.org/10.1145/2362536.2362562 conf/splc/2012-1 db/conf/splc/splc2012-1.html#MohalikRMKN12

Shankara Narayanan Krishna Ganesh Khandu Narwane S. Ramesh 0002 Swarup Mohalik Jean-Vivien Millo Formalizing Traceability and Derivability in Software Product Lines http://arxiv.org/abs/1201.0595 2012 CoRR abs/1201.0595 db/journals/corr/corr1201.html#abs-1201-0595

Jean-Vivien Millo S. Ramesh 0002 Shankara Narayanan Krishna Ganesh Khandu Narwane Compositional Verification of Evolving Software Product Lines http://arxiv.org/abs/1212.4258 2012 CoRR abs/1212.4258 db/journals/corr/corr1212.html#abs-1212-4258

Silky Arora Ambar A. Gadkari S. Ramesh 0002 Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. 62-65 2011 3 IEEE Embed. Syst. Lett. 2 https://doi.org/10.1109/LES.2011.2127445 db/journals/esl/esl3.html#AroraGR11

Manoj G. Dixit S. Ramesh 0002 Pallab Dasgupta Some results on Parametric Temporal Logic. 994-998 2011 111 Inf. Process. Lett. 20 https://doi.org/10.1016/j.ipl.2011.07.002 db/journals/ipl/ipl111.html#DixitRD11

S. Ramesh 0002 Ambar A. Gadkari Rigorous model-based design & verification flow for in-vehicle software. 13-16 2011 DAC https://doi.org/10.1145/2024724.2024728 conf/dac/2011 db/conf/dac/dac2011.html#RameshG11 Sumit Kumar Jha 0001 Christopher James Langmead Swarup Mohalik S. Ramesh 0002 When to stop verification?: Statistical trade-off between expected loss and simulation cost. 1309-1314 2011 DATE https://doi.org/10.1109/DATE.2011.5763210 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763210 conf/date/2011 db/conf/date/date2011.html#JhaLMR11 Manfred Broy Samarjit Chakraborty Dip Goswami S. Ramesh 0002 Manoranjan Satpathy Stefan Resmerita Wolfgang Pree Cross-layer analysis, testing and verification of automotive control software. 263-272 2011 EMSOFT https://doi.org/10.1145/2038642.2038683 conf/emsoft/2011 db/conf/emsoft/emsoft2011.html#BroyCGRSRP11 Jean-Vivien Millo Swarup Mohalik S. Ramesh 0002 Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. 41-50 2011 ISEC https://doi.org/10.1145/1953355.1953361 conf/indiaSE/2011 db/conf/indiaSE/isec2011.html#MilloMR11 Prahladavaradan Sampath Silky Arora S. Ramesh 0002 Evolving specifications formally. 5-14 2011 RE https://doi.org/10.1109/RE.2011.6051651 https://doi.ieeecomputersociety.org/10.1109/RE.2011.6051651 conf/re/2011 db/conf/re/re2011.html#SampathAR11 Manoj G. Dixit Pallab Dasgupta S. Ramesh 0002 Taming the component timing: A CBD methodology for real-time embedded systems. 1649-1652 2010 DATE https://doi.org/10.1109/DATE.2010.5457077 http://dl.acm.org/citation.cfm?id=1871324 conf/date/2010 db/conf/date/date2010.html#DixitDR10 A. C. Rajeev Swarup Mohalik Manoj G. Dixit Devesh B. Chokshi S. Ramesh 0002 Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. 129-138 2010 EMSOFT https://doi.org/10.1145/1879021.1879039 conf/emsoft/2010 db/conf/emsoft/emsoft2010.html#RajeevMDCR10 Samarjit Chakraborty S. Ramesh 0002 Jürgen Teich Model-based analysis, synthesis and testing of automotive hardware/software architectures. 299-300 2010 EMSOFT https://doi.org/10.1145/1879021.1879061 conf/emsoft/2010 db/conf/emsoft/emsoft2010.html#ChakrabortyRT10 A. C. Rajeev Prahladavaradan Sampath K. C. Shashidhar S. Ramesh 0002 CoGenTe: a tool for code generator testing. 349-350 2010 ASE https://doi.org/10.1145/1858996.1859070 conf/kbse/2010 db/conf/kbse/ase2010.html#RajeevSSR10 Deepak D'Souza Madhu Gopinathan S. Ramesh 0002 Prahladavaradan Sampath Supervisory control for real-time systems based on conflict-tolerant controllers. 555-560 2009 CASE https://doi.org/10.1109/COASE.2009.5234088 conf/case/2009 db/conf/case/case2009.html#DSouzaGRS09 Aditya Kanade 0001 Rajeev Alur Franjo Ivancic S. Ramesh 0002 Sriram Sankaranarayanan 0001 K. C. Shashidhar Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. 430-445 2009 CAV https://doi.org/10.1007/978-3-642-02658-4_33 conf/cav/2009 db/conf/cav/cav2009.html#KanadeAIRSS09 S. Xu Ratnesh Kumar 0001 Shengbing Jiang S. Ramesh 0002 A simulation condition for correct asynchronous implementation of synchronous design. 1728-1733 2008 ACC https://doi.org/10.1109/ACC.2008.4586741 conf/amcc/2008 db/conf/amcc/acc2008.html#XuKJR08 Ansuman Banerjee Sayak Ray Pallab Dasgupta Partha Pratim Chakrabarti S. Ramesh 0002 P. Vignesh V. Ganesan A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. 222-227 2008 ATVA https://doi.org/10.1007/978-3-540-88387-6_18 conf/atva/2008 db/conf/atva/atva2008.html#BanerjeeRDCRG08 Ambar A. Gadkari Anand Yeolekar J. Suresh S. Ramesh 0002 Swarup Mohalik K. C. Shashidhar AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. 204-208 2008 CAV https://doi.org/10.1007/978-3-540-70545-1_19 conf/cav/2008 db/conf/cav/cav2008.html#GadkariYSRMS08 Swarup Mohalik A. C. Rajeev Manoj G. Dixit S. Ramesh 0002 P. Vijay Suman Paritosh K. Pandya Shengbing Jiang Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. 296-299 2008 DAC https://doi.org/10.1145/1391469.1391544 conf/dac/2008 db/conf/dac/dac2008.html#MohalikRDRSPJ08 Rajeev Alur Aditya Kanade 0001 S. Ramesh 0002 K. C. Shashidhar Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. 89-98 2008 EMSOFT https://doi.org/10.1145/1450058.1450071 https://www.wikidata.org/entity/Q131123864 conf/emsoft/2008 db/conf/emsoft/emsoft2008.html#AlurKRS08 Manoranjan Satpathy Anand Yeolekar S. Ramesh 0002 Randomized directed testing (REDIRECT) for Simulink/Stateflow models. 217-226 2008 EMSOFT https://doi.org/10.1145/1450058.1450088 conf/emsoft/2008 db/conf/emsoft/emsoft2008.html#SatpathyYR08 Deepak D'Souza Madhu Gopinathan S. Ramesh 0002 Prahladavaradan Sampath Conflict-Tolerant Real-Time Features. 274-283 2008 QEST https://doi.org/10.1109/QEST.2008.16 https://doi.ieeecomputersociety.org/10.1109/QEST.2008.16 conf/qest/2008 db/conf/qest/qest2008.html#DSouzaGRS08 Prahladavaradan Sampath A. C. Rajeev S. Ramesh 0002 K. C. Shashidhar Behaviour Directed Testing of Auto-code Generators. 191-200 2008 SEFM https://doi.org/10.1109/SEFM.2008.13 https://doi.ieeecomputersociety.org/10.1109/SEFM.2008.13 conf/sefm/2008 db/conf/sefm/sefm2008.html#SampathRRS08 Samarjit Chakraborty S. Ramesh 0002 Programming and Performance Modelling of Automotive ECU Networks. 8-9 2008 VLSI Design https://doi.org/10.1109/VLSI.2008.131 https://doi.ieeecomputersociety.org/10.1109/VLSI.2008.131 conf/vlsid/2008 db/conf/vlsid/vlsid2008.html#ChakrabortyR08 Manoranjan Satpathy S. Ramesh 0002 Test case generation from formal models through abstraction refinement and model checking. 85-94 2007 conf/amost/2007 A-MOST https://doi.org/10.1145/1291535.1291544 db/conf/amost/amost2007.html#SatpathyR07 Andrei Hagiescu Unmesh D. Bordoloi Samarjit Chakraborty Prahladavaradan Sampath P. Vignesh V. Ganesan S. Ramesh 0002 Performance Analysis of FlexRay-based ECU Networks. 284-289 2007 conf/dac/2007 DAC https://doi.org/10.1145/1278480.1278554 db/conf/dac/dac2007.html#HagiescuBCSGR07 Prahladavaradan Sampath A. C. Rajeev S. Ramesh 0002 K. C. Shashidhar Testing Model-Processing Tools for Embedded Systems. 203-214 2007 IEEE Real-Time and Embedded Technology and Applications Symposium https://doi.org/10.1109/RTAS.2007.39 https://doi.ieeecomputersociety.org/10.1109/RTAS.2007.39 conf/rtas/2007 db/conf/rtas/rtas2007.html#SampathRRS07 Prahladavaradan Sampath A. C. Rajeev K. C. Shashidhar S. Ramesh 0002 How to Test Program Generators? A Case Study using flex. 80-92 2007 conf/sefm/2007 SEFM https://doi.org/10.1109/SEFM.2007.24 https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.24 db/conf/sefm/sefm2007.html#SampathRSR07 S. Ramesh 0002 P. Vignesh V. Ganesan Gurulingesh Raravi A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. 63-70 2007 conf/sies/2007 SIES https://doi.org/10.1109/SIES.2007.4297318 db/conf/sies/sies2007.html#RameshGR07 Manoranjan Satpathy Michael J. Butler Michael Leuschel S. Ramesh 0002 Automatic Testing from Formal Specifications. 95-113 2007 conf/tap/2007 TAP https://doi.org/10.1007/978-3-540-73770-4_6 db/conf/tap/tap2007.html#SatpathyBLR07

Ambar A. Gadkari S. Ramesh 0002 Automated Synthesis of Assertion Monitors using Visual Specifications http://arxiv.org/abs/0710.4698 2007 CoRR abs/0710.4698 db/journals/corr/corr0710.html#abs-0710-4698

Ambar A. Gadkari S. Ramesh 0002 Automated Synthesis of Assertion Monitors using Visual Specifications. 390-395 2005 conf/date/2005 DATE https://doi.org/10.1109/DATE.2005.74 https://doi.ieeecomputersociety.org/10.1109/DATE.2005.74 http://dl.acm.org/citation.cfm?id=1049135 db/conf/date/date2005.html#GadkariR05 Manel Abdellatif Arun Adiththan Zohreh Aghababaeyan Manar H. Alalfi Rajeev Alur Nicholas Annable Anuradha M. AnnaswamyAnuradha Annaswamy Michal Antkiewicz Silky Arora Mehrnoosh Askarpour Tameem Assaf Joanne M. Atlee Mojtaba Bagherzadeh Stanley Bak Ansuman Banerjee Hamed Barzamini David Benavides 0001 Nunzio Marco Bisceglia Unmesh D. Bordoloi Abdeldjalil BoudjadarJalil Boudjadar Lionel C. Briand Manfred Broy Andreas Burger Michael J. Butler P. P. Chakrabarti 0001Partha Pratim Chakrabarti Sujit Kumar Chakrabarti Samarjit Chakraborty Wanli Chang 0001 Marsha Chechik Jian Chen Albert Mo Kim Cheng Thomas Chiang Devesh B. Chokshi Anthony Coadou James R. Cordy Joseph D'Ambrosio Ikram Darif Pallab Dasgupta Thomas R. Dean Rami Debouk Jürgen DingelJuergen Dingel Manoj G. Dixit Deepak D'Souza Arnaud Dury Michalis Famelis Thomas E. Fuhrman Ambar A. Gadkari José A. GalindoJosé Angel Galindo P. Vignesh V. Ganesan Kamalesh Ghosh Paolo Giusto Madhu Gopinathan Dip Goswami Sandra Greiner 0001 Sten Grüner Mihir Gupte Robert Hackman Andrei Hagiescu Franjo Ivancic Sumit Kumar Jha 0001 Shengbing Jiang Markus Jochim Prachi Joshi Jeffrey Joyce Aditya Kanade 0001 Matthias Kauer Timo Kehrer Justin Kernot Heiko Klare Sahar Kokaly Anne Koziolek Sebastian Krieter S. Krishna 0004Shankara Narayanan Krishna Jacob Krüger Thomas Kühn 0001 Ratnesh Kumar 0001 Guillaume Langelier Christopher J. LangmeadChristopher James Langmead Mark Lawford Michael Leuschel Xin Li 0001 Lukas Linsbauer Sofia LinsbauerSofia Ananieva Henrik Lönn Levi Lucio Martin Lukasiewycz Sudhakaran M. Azad M. Madni Boris Madzar Frédéric Mallet Alejandro Masrur Claudio Menghi Laure Millet Jean-Vivien Millo Swarup Mohalik Madhu Mutyam Ganesh Khandu Narwane Omer Nguena-TimoOmer Nguena Timo Feifei Niu Edwin Ordoukhanian Richard F. Paige Paritosh K. Pandya Corina S. Pasareanu Prakash Mohan Peranandam Alexandre Petrenko Wolfgang Pree Arvind Raghuraman Mona Rahimi A. C. Rajeev Dnyanesh Rajpathak 0001 Gurulingesh Raravi Kaliappa Nadar RavindranKaliappa Ravindran Sachin Raviram Sayak Ray Stefan Resmerita Ralf H. Reussner Partha S. Roop Debayan Roy Suman Roy 0001 Indranil Saha 0001 Debiprasanna Sahoo Rick Salay Soheil Samii Prahladavaradan Sampath Alessio Di Sandro Sriram Sankaranarayanan 0001 Manoranjan Satpathy Christoph Seidl 0001 Gehan M. K. Selim Swaraj Sha Ramy Shahin K. C. Shashidhar Neeraj Kumar Singh 0001 Colin F. Snook Sebastian Steinhorst P. Vijay Suman Padma Sundaram J. Suresh Gabriele Taentzer Jürgen Teich Rafael F. Toledo Ashutosh Trivedi 0001 Hans Vangheluwe Birgit Vogel-Heuser Alan Wassyng Bernhard Westfechtel Marilyn Wolf S. Xu Anand Yeolekar Huafeng Yu Aurora Francesca Zanenga Licong Zhang Qi Zhu 0002 Amirhossein Zolfagharian