Anitha Murugesan
Anitha Murugesan
Honeywell Aerospace
Verified email at
Cited by
Cited by
Your" what" is my" how": Iteration and hierarchy in system design
MW Whalen, A Gacek, D Cofer, A Murugesan, MPE Heimdahl, ...
IEEE software 30 (2), 54-60, 2012
Compositional verification of a medical device system
A Murugesan, MW Whalen, S Rayadurgam, MPE Heimdahl
Proceedings of the 2013 ACM SIGAda annual conference on High integrity …, 2013
Considerations in assuring safety of increasingly autonomous systems
EE Alves, D Bhatt, B Hall, K Driscoll, A Murugesan, J Rushby
Structuring simulink models for verification and reuse
MW Whalen, A Murugesan, S Rayadurgam, MPE Heimdahl
Proceedings of the 6th International Workshop on Modeling in Software …, 2014
Modeling and requirements on the physical side of cyber-physical systems
MPE Heimdahl, L Duan, A Murugesan, S Rayadurgam
2013 2nd International Workshop on the Twin Peaks of Requirements and …, 2013
From requirements to code: Model based development of a medical cyber physical system
A Murugesan, MPE Heimdahl, MW Whalen, S Rayadurgam, J Komp, ...
Software Engineering in Health Care: 4th International Symposium, FHIES 2014 …, 2017
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety
A Murugesan, O Sokolsky, S Rayadurgam, M Whalen, M Heimdahl, I Lee
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014
Complete traceability for requirements in satisfaction arguments
A Murugesan, MW Whalen, E Ghassabani, MPE Heimdahl
2016 IEEE 24th International Requirements Engineering Conference (RE), 359-364, 2016
Modes, features, and state-based modeling for clarity and flexibility
A Murugesan, S Rayadurgam, MPE Heimdahl
2013 5th International Workshop on Modeling in Software Engineering (MiSE …, 2013
Using models to address challenges in specifying requirements for medical cyber-physical systems
A Murugesan, S Rayadurgam, M Heimdahl
Fourth workshop on Medical Cyber-Physical Systems, 2013
Are we there yet? determining the adequacy of formalized requirements and test suites
A Murugesan, MW Whalen, N Rungta, O Tkachuk, S Person, ...
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
Your what is my how: Why requirements and architectural design should be iterative
MW Whalen, A Murugesan, MPE Heimdahl
2012 First IEEE International Workshop on the Twin Peaks of Requirements and …, 2012
Design Considerations for Modeling Modes in CPS
A Murugesan, S Rayadurgam, MW Whalen, MPE Heimdahl
Requirements Reference Models Revisited - Accommodating Hierarchy in System Design
A Murugesan, M Heimdahl, S Rayadurgam
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
The CLEAR Way To Transparent Formal Methods
D Bhatt, A Murugesan, B Hall, H Ren, Y Jeppu …, 2018
Requirements-driven model checking and test generation for comprehensive verification
D Bhatt, H Ren, A Murugesan, J Biatek, S Varadarajan, N Shankar
NASA Formal Methods Symposium, 576-596, 2022
Formal methods assisted training of safe reinforcement learning agents
A Murugesan, M Moghadamfalahi, A Chattopadhyay
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
Descert: design for certification
N Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ...
arXiv preprint arXiv:2203.15178, 2022
A CLEAR adoption of ears
B Hall
2018 1st International Workshop on Easy Approach to Requirements Syntax …, 2018
Reinforcement Learning for Emergent Behavior Evolution in Complex System-of-Systems
A Murugesan, R Raman
16th Intl. Conference on Systems, 2021
The system can't perform the operation now. Try again later.
Articles 1–20