Anitha Murugesan

23 papers A 2C 3Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2024 J jnl
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.
Theory Pract. Log. Program.
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP.
CoRR
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 — conf
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
SAFECOMP (Workshops)
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias
2023 — conf
Semantic Analysis of Assurance Cases using s(CASP).
ICLP Workshops
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
2022 J jnl
DesCert: Design for Certification.
CoRR
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
2022 — conf
Reinforcement Learning based System-of-Systems Approach for UAV Swarms Behavioral Evolution.
SysCon
Ramakrishnan Raman, Anitha Murugesan
2022 — conf
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.
NFM
Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar
2019 — conf
Formal Methods Assisted Training of Safe Reinforcement Learning Agents.
NFM
Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay
2019 A conf
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design.
RE
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2019 J jnl
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks.
CoRR
Hao Ren, Sai Krishnan Chandrasekar, Anitha Murugesan
2016 A conf
Complete Traceability for Requirements in Satisfaction Arguments.
RE
Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl
2015 — conf
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.
NFM
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You
2015 J jnl
Design Considerations for Modeling Modes in Cyber-Physical Systems.
IEEE Des. Test
Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl
2015 C conf
Hierarchical multi-formalism proofs of cyber-physical systems.
MEMOCODE
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
2014 — conf
Exploring the twin peaks using probabilistic verification techniques.
TwinPeaks
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
2014 — conf
From Requirements to Code: Model Based Development of a Medical Cyber Physical System.
FHIES/SEHC
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2014 — conf
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety.
ICCPS
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee
2014 C conf
Structuring simulink models for verification and reuse.
MiSE
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013 — conf
Compositional verification of a medical device system.
HILT
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013 — conf
Modeling and requirements on the physical side of cyber-physical systems.
TwinPeaks@ICSE
Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam
2013 C conf
Modes, features, and state-based modeling for clarity and flexibility.
MiSE
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013 J jnl
Your "What" Is My "How": Iteration and Hierarchy in System Design.
IEEE Softw.
Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam
2012 — conf
Your what is my how: Why requirements and architectural design should be iterative.
TwinPeaks@RE
Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl