Concepedia

Anitha Murugesan

AM

Statistics

Publications

9

Citations

241

H-Index

9

Active since

2012

Affiliations

University of Minnesota(Current)

Anitha Murugesan is an author at University of Minnesota specializing in systems engineering, engineering, and computer science.

Publications per year

2012–2019

9

Publications

9

Your "What" Is My "How": Iteration and Hierarchy in System Design

Michael W. Whalen, Andrew Gacek, Darren Cofer et al. · IEEE Software · 2012 · 73 citations · Full text

Engineering, Design, Systems Engineering +16

Compositional verification of a medical device system

Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam et al. · 2013 · 51 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Considerations in Assuring Safety of Increasingly Autonomous Systems

Erin Alves, Devesh Bhatt, Brendan Hall et al. · NASA Technical Reports Server (NASA) · 2018 · 28 citations

Engineering, Aerospace Engineering, Autonomous Systems +16

Structuring simulink models for verification and reuse

Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam et al. · 2014 · 19 citations · Full text

Computing, Computer Science, Systems Engineering +17

Modeling and requirements on the physical side of cyber-physical systems

Mats P. E. Heimdahl, Lian Duan, Anitha Murugesan et al. · 2013 · 17 citations

Engineering, Computer Science, Systems Engineering +13

1–5 of 9