Anitha Murugesan is a PhD student in the Department of Computer Science at University of Minnesota at Twin Cities. Her research interests are requirements analysis, model based development and verification of cyber physical systems. She is a research assistant in the Crisys group (Critical Systems Reserach) guided by Dr.Mats Heimdahl. She is currently working on identifying and demonstrating effective compositional requirements verification techniques for cyber physical systems. Click here to view a video demonstration of the project. Prior to pursuing PhD, she has worked at Honeywell Technology Solutions Lab , India as an IT professional specialized in web applications. Her hobbies are playing keyboard and painting.
↑

• Michael W Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats PE Heimdahl, Insup Lee Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems Accepted at International Conference on Formal Methods and Models for System Design, Austin, TX, September 2015.
• Anitha Murugesan, Sanjai Rayadurgam, Michael Whalen and Mats Heimdahl Design Considerations for Modeling Modes in Cyber–Physical Systems Accepted at IEEE Design and Test, August 2015.
• Anitha Murugesan, Michael Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Heimdahl and Dongjiang You.Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. Accepted at NASA Formal Methods Symposium, Parsedena, CA, April 2015.
• Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Mats Heimdahl, Baek-Gyu Kim, Oleg Sokolsky and Insup Lee.From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Accepted at Symposium on Foundations of Health Information Engineering and Systems (FHIES) and the Software Engineering in Healthcare (SEHC) Workshop, Washington DC, July 2014.
• Anitha Murugesan, Lu Feng, Mats Heimdahl, Sanjai Rayadurgam, Michael Whalen, and Insup Lee. Exploring the Twin Peaks Using Probabilistic Verification Techniques. Accepted at Fourth International Workshop on the Twin Peaks of Requirements and Architecture, India, May 2014.
• Michael Whalen, Anitha Murugesan, Sanjai Rayadurgam, and Mats Heimdahl Structuring Simulink Models for Verification and Reuse. Accepted at Sixth International Workshop on Modelling in Software Engineering, India, May 2014.
• Anitha Murugesan, Oleg Sokolsky ,Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl and Insup Lee Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. Accepted at 5th International Conference on Cyber-Physical Systems, Berlin, Germany, April 2014.
• Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats Heimdahl. Compositional Verification of a Medical Device System. Accepted at High Integrity Language Technology Accepted at High Integrity Language Technology, Pittsburg, Nov 2013. Outstanding Paper Award. PDF
• Anitha Murugesan, Sanjai Rayadurgam, Mats Heimdahl Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems. Accepted at Medical Cyber Physical Systems Workshop, Philadelphia, Pennsylvania, Apr 2013. PDF
• Anitha Murugesan, Sanjai Rayadurgam, Mats Heimdahl. Modes, Features, and State-Based Modeling for Clarity and Flexibility. Accepted at Workshop on Modeling in Software Engineering, San Francisco, California, May 2013. PDF
• Mats P.E. Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam. Modeling and Requirements on the Physical Side of Cyber-Physical Systems. Accepted at Second International Workshop on the Twin Peaks of Requirements and Architecture, San Francisco, California, May 2013. PDF
• Michael W. Whalen, Andrew Gacek, Darren Cofer, Anitha Murugesan, Mats P. E. Heimdahl and Sanjai Rayadurgam.Your What is My How: Iteration and Hierarchy in System Design Accepted at IEEE Software Journal, Nov 2012. PDF
• Michael Whalen, Mats Heimdahl and Anitha Murugesan. Your What is My How: Why Requirements and Architectural Design Should Be Iterative Accepted at First International Workshop on the Twin Peaks of Requirements and Architecture, Chicago, Illinois, Jun 2012 PDF
↑

• Expected 2016

  Ph.D. - Computer Science

  University of Minnesota, Minneapolis, MN
  Advisor: Dr. Mats P.E. Heimdahl
• Jan 2015

  M.S - Computer Science

  University of Minnesota, Minneapolis, MN
  
• May 2004

  Master of Technology - Computer Science

  Vellore Institute of Technology, India
• May 2002

  Bachelor of Engineering - Electrical & Electronics

  University of Madras, India
↑

• Nov 2013

  Outstanding Paper Award

  Paper: Compositional Verification of a Medical Device System.
  Venue: High Integrity Language Technology, Pittsburg
• Feb 2010

  Patent Award

  Awarded by: Patent Paralegal, Honeywell Aerospace, India.
  Project: Analysis Data Manager
• 2004-2009

  Individual Excellence, Team Achievement and Team Excellence Awards

  Awarded by: Honeywell Technology Solutions, India.
• May 2004

  University Gold Medalist (University First Rank in M.Tech)

  Awarded by: Vellore Institute of Technology, India
• Sep 2001

  Best Technical Paper Award

  Paper : JINI
  Venue: Futura 2K1, National Level Technical Symposium, India.
↑