| 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 | 90 | 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 | 77 | 2013 |
| Considerations in assuring safety of increasingly autonomous systems EE Alves, D Bhatt, B Hall, K Driscoll, A Murugesan, J Rushby | 40 | 2018 |
| 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 | 23 | 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 | 23 | 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 | 21 | 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 | 19 | 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 | 17 | 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 | 14 | 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 | 13 | 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 | 11 | 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 | 10 | 2012 |
| 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 | 8 | 2019 |
| The CLEAR Way To Transparent Formal Methods D Bhatt, A Murugesan, B Hall, H Ren, Y Jeppu https://www.researchgate.net/publication …, 2018 | 8 | 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 | 7 | 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 | 5 | 2019 |
| A CLEAR adoption of ears B Hall 2018 1st International Workshop on Easy Approach to Requirements Syntax …, 2018 | 5 | 2018 |
| Descert: design for certification N Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ... arXiv preprint arXiv:2203.15178, 2022 | 4 | 2022 |
| Hierarchical multi-formalism proofs of cyber-physical systems MW Whalen, S Rayadurgam, E Ghassabani, A Murugesan, O Sokolsky, ... 2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015 | 4 | 2015 |
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaPotvrđena adresa e-pošte na umn.edu
