Anitha Murugesan
Orcid: 0000-0001-7473-2528
According to our database1,
Anitha Murugesan
authored at least 22 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., 2024
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
2022
Reinforcement Learning based System-of-Systems Approach for UAV Swarms Behavioral Evolution.
Proceedings of the IEEE International Systems Conference, 2022
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2019
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks.
CoRR, 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
2015
IEEE Des. Test, 2015
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
2014
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014
Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
From Requirements to Code: Model Based Development of a Medical Cyber Physical System.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014
2013
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013
Proceedings of the 2nd International Workshop on the Twin Peaks of Requirements and Architecture, 2013
2012
Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012