Anitha Murugesan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. | Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2019 | RE | Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. | Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2016 | RE | Complete Traceability for Requirements in Satisfaction Arguments. | Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl |
| 2015 | MEMOCODE | Hierarchical multi-formalism proofs of cyber-physical systems. | Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee |
| 2014 | ICSE | Exploring the twin peaks using probabilistic verification techniques. | Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee |
| 2014 | ICSE | Structuring simulink models for verification and reuse. | Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2013 | ICSE | Modeling and requirements on the physical side of cyber-physical systems. | Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam |
| 2013 | ICSE | Modes, features, and state-based modeling for clarity and flexibility. | Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2012 | RE | Your what is my how: Why requirements and architectural design should be iterative. | Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl |