S. Ramesh
Orcid: 0000-0002-8501-7447Affiliations:
- General Motors R&D, India Science Lab, Bangalore, India
According to our database1,
S. Ramesh
authored at least 95 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
1
1
5
2
3
1
1
2
2
3
1
4
2
2
1
1
1
2
2
4
7
5
3
6
7
5
4
2
8
6
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks.
CoRR, 2024
Proceedings of the Computer Safety, Reliability, and Security, 2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
2023
IEEE Trans. Software Eng., July, 2023
Empir. Softw. Eng., March, 2023
IEEE Trans. Software Eng., 2023
CoRR, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2022
Automatic development of requirement linking matrix based on semantic similarity for robust software development.
J. Syst. Softw., 2022
A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications.
Empir. Softw. Eng., 2022
2021
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
2020
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
2019
ACM Trans. Design Autom. Electr. Syst., 2019
Syst., 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
2017
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017
Proceedings of the Testing Software and Systems, 2017
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
2016
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.
Proc. IEEE, 2016
Entropy, 2016
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016
Proceedings of the Testing Software and Systems, 2016
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the 9th India Software Engineering Conference, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
2015
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015
J. Autom. Reason., 2015
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote).
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the Theory and Practice of Model Transformations, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
Softw. Test. Verification Reliab., 2014
Time-budgeting: a component based development methodology for real-time embedded systems.
Formal Aspects Comput., 2014
Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems.
IEEE Embed. Syst. Lett., 2014
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.
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
Frontiers Comput. Sci., 2013
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013
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.
Softw. Test. Verification Reliab., 2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012
2011
Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.
IEEE Embed. Syst. Lett., 2011
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.
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
When to stop verification?: Statistical trade-off between expected loss and simulation cost.
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the 48th Design Automation Conference, 2011
2010
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation.
Proceedings of the 10th International conference on Embedded software, 2010
Model-based analysis, synthesis and testing of automotive hardware/software architectures.
Proceedings of the 10th International conference on Embedded software, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
2008
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008
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.
Proceedings of the 45th Design Automation Conference, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
A simulation condition for correct asynchronous implementation of synchronous design.
Proceedings of the American Control Conference, 2008
2007
Proceedings of the Tests and Proofs - 1st International Conference, 2007
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007
Proceedings of the 44th Design Automation Conference, 2007
Test case generation from formal models through abstraction refinement and model checking.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007
2005
Proceedings of the 2005 Design, 2005