Anitha Murugesan

Employment

• Honeywell Aerospace Advanced R&D Scientist
  2016 - Present

Education

• University of Minnesota M.S
• University of Madras B.E
• Univeristy of Minnesota PhD
• Vellore Institute of Technology University M.Tech

Projects & Funding

Projects & funding information is unavailable.

Publications (19)

• Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
  Theory and Practice of Logic Programming 2024 DOI: 10.1017/S1471068424000425
  +Save
• Formal methods assisted training of safe reinforcement learning agents
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2019 DOI: 10.1007/978-3-030-20652-9_22
  +Save
• Requirements reference models revisited: Accommodating hierarchy in system design
  Proceedings of the IEEE International Conference on Requirements Engineering 2019 DOI: 10.1109/RE.2019.00028
  +Save
• Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks
  AIAA/IEEE Digital Avionics Systems Conference - Proceedings 2019 DOI: 10.1109/DASC43569.2019.9081635
  +Save
• A CLEAR adoption of EARS
  Proceedings - 2018 1st International Workshop on Easy Approach to Requirements Syntax, EARS 2018 2018 DOI: 10.1109/EARS.2018.00010
  +Save
• From requirements to code: Model based development of a medical cyber physical system
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017 DOI: 10.1007/978-3-319-63194-3_7
  +Save
• Opportunities and challenges for formal methods tools in the certification of avionics software
  IEEE Aerospace Conference Proceedings 2017 DOI: 10.1109/AERO.2017.7943664
  +Save
• Complete Traceability for Requirements in Satisfaction Arguments
  Proceedings - 2016 IEEE 24th International Requirements Engineering Conference, RE 2016 2016 DOI: 10.1109/RE.2016.35
  +Save
• Design considerations for modeling modes in cyber-physical systems
  IEEE Design and Test 2015 DOI: 10.1109/MDAT.2015.2462112
  +Save
• Hierarchical multi-formalism proofs of cyber-physical systems
  2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015 2015 DOI: 10.1109/MEMCOD.2015.7340474
  +Save