Anitha Murugesan

According to our database, Anitha Murugesan authored at least 22 papers between 2012 and 2024.

Collaborative distances:

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

2024

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.

Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby

Theory Pract. Log. Program., 2024

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.

Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2023

Semantic Analysis of Assurance Cases using s(CASP).

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

DesCert: Design for Certification.

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

CoRR, 2022

Reinforcement Learning based System-of-Systems Approach for UAV Swarms Behavioral Evolution.

Ramakrishnan Raman, Anitha Murugesan

Proceedings of the IEEE International Systems Conference, 2022

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2019

Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks.

Hao Ren, Sai Krishnan Chandrasekar, Anitha Murugesan

CoRR, 2019

Requirements Reference Models Revisited: Accommodating Hierarchy in System Design.

Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Formal Methods Assisted Training of Safe Reinforcement Learning Agents.

Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2016

Complete Traceability for Requirements in Satisfaction Arguments.

Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

2015

Design Considerations for Modeling Modes in Cyber-Physical Systems.

Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl

IEEE Des. Test, 2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.

Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Hierarchical multi-formalism proofs of cyber-physical systems.

Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

Structuring simulink models for verification and reuse.

Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Exploring the twin peaks using probabilistic verification techniques.

Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee

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.

Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee

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.

Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013

Your "What" Is My "How": Iteration and Hierarchy in System Design.

Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam

IEEE Softw., 2013

Compositional verification of a medical device system.

Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Modes, features, and state-based modeling for clarity and flexibility.

Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

Modeling and requirements on the physical side of cyber-physical systems.

Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam

Proceedings of the 2nd International Workshop on the Twin Peaks of Requirements and Architecture, 2013

2012

Your what is my how: Why requirements and architectural design should be iterative.

Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl

Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012