Anitha Murugesan

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 8

Top Topics

Reinforcement Learning Agents

Reference Model

Top Venues

Publications

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