default search action

combined dblp search
author search
venue search
publication search

ask others

Anitha Murugesan

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/VaradarajanBRGMSNWA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/VaradarajanBRGMSNWA24
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias:
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. SAFECOMP (Workshops) 2024: 173-187
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-11699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-11699
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby:
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP. CoRR abs/2408.11699 (2024)
2023
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/MurugesanWSAS0B23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/MurugesanWSAS0B23
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby:
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops 2023
2022
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BhattRMBVS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BhattRMBVS22
Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar:
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. NFM 2022: 576-596
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/RamanM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/RamanM22
Ramakrishnan Raman, Anitha Murugesan:
Reinforcement Learning based System-of-Systems Approach for UAV Swarms Behavioral Evolution. SysCon 2022: 1-8
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-15178
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-15178
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren:
DesCert: Design for Certification. CoRR abs/2203.15178 (2022)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MurugesanMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MurugesanMC19
Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay:
Formal Methods Assisted Training of Safe Reinforcement Learning Agents. NFM 2019: 333-340
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MurugesanRH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MurugesanRH19
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. RE 2019: 177-186
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-09142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-09142
Hao Ren, Sai Krishnan Chandrasekar, Anitha Murugesan:
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks. CoRR abs/1909.09142 (2019)
2016
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MurugesanWGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MurugesanWGH16
Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl:
Complete Traceability for Requirements in Satisfaction Arguments. RE 2016: 359-364
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/MurugesanRWH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/MurugesanRWH15
Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl:
Design Considerations for Modeling Modes in Cyber-Physical Systems. IEEE Des. Test 32(5): 66-73 (2015)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/WhalenRGMSHL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/WhalenRGMSHL15
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee:
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE 2015: 90-95
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MurugesanWRTPHY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MurugesanWRTPHY15
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You:
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. NFM 2015: 279-294
2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/MurugesanHWRKDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/MurugesanHWRKDK14
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/MurugesanSRWHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/MurugesanSRWHL14
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MurugesanFHRWL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MurugesanFHRWL14
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee:
Exploring the twin peaks using probabilistic verification techniques. TwinPeaks 2014: 18-23
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WhalenMRH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WhalenMRH14
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Structuring simulink models for verification and reuse. MiSE 2014: 19-24
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/software/WhalenGCMHR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/WhalenGCMHR13
Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam:
Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. 30(2): 54-60 (2013)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HeimdahlDMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HeimdahlDMR13
Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam:
Modeling and requirements on the physical side of cyber-physical systems. TwinPeaks@ICSE 2013: 1-7
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MurugesanRH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MurugesanRH13
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Modes, features, and state-based modeling for clarity and flexibility. MiSE 2013: 13-17
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MurugesanWRH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MurugesanWRH13
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Compositional verification of a medical device system. HILT 2013: 51-64
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/re/WhalenMH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/WhalenMH12
Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl:
Your what is my how: Why requirements and architectural design should be iterative. TwinPeaks@RE 2012: 36-40

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.