Follow
Anitha Murugesan
Anitha Murugesan
Honeywell Aerospace
Verified email at honeywell.com
Title
Cited by
Cited by
Year
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
902012
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
802013
Considerations in assuring safety of increasingly autonomous systems
EE Alves, D Bhatt, B Hall, K Driscoll, A Murugesan, J Rushby
442018
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
242013
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
232014
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
222017
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
192014
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
172016
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
142013
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
132013
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
112015
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
112012
Design Considerations for Modeling Modes in CPS
A Murugesan, S Rayadurgam, MW Whalen, MPE Heimdahl
9*2015
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
82019
The CLEAR Way To Transparent Formal Methods
D Bhatt, A Murugesan, B Hall, H Ren, Y Jeppu
https://www.researchgate.net/publication …, 2018
82018
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
72022
DesCert: Design for certification
N Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ...
arXiv preprint arXiv:2203.15178, 2022
62022
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
52019
A CLEAR adoption of ears
B Hall
2018 1st International Workshop on Easy Approach to Requirements Syntax …, 2018
52018
Semantic Analysis of Assurance Cases using s(CASP)
A Murugesan, IH Wong, R Stroud, J Arias, E Salazar, G Gupta, ...
International Conference on Logic Programming 2023 - Goal-directed Execution …, 2023
42023
The system can't perform the operation now. Try again later.
Articles 1–20