Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Murugesan, Anitha
55  Ergebnisse:
Personensuche X
?
1

CLARISSA: Foundations, Tools & Automation for Assurance Cas..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Varadarajan, Srivatsan ; Bloomfield, Robin ; Rushby, John... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A Novel Framework for Network Intrusion Detection in Health..:

, In: 2023 4th International Conference on Signal Processing and Communication (ICSPC),
Betsy, Sherine Wise ; Murugesan, Anitha ; Ganapathy, N. Bala Sundara. - p. 43-46 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Nature Prognosis and CV Analysis:

, In: 2023 5th International Conference on Advances in Computing, Communication Control and Networking (ICAC3N),
Brindha, C.S ; Deepthi, L.S ; Murugesan, Anitha. - p. 301-304 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Requirements-Driven Model Checking and Test Generation for ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Bhatt, Devesh ; Ren, Hao ; Murugesan, Anitha... - p. 576-596 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Framework for Complex SoS Emergent Behavior Evolution Using..:

Raman, Ramakrishnan ; Murugesan, Anitha
INCOSE International Symposium.  32 (2022)  1 - p. 809-823 , 2022
Link: https://doi.org/10.1002/..
 
?
6

Goat lung surfactant for treatment of respiratory distress ..:

Jain, Kajal ; Nangia, Sushma ; Ballambattu, Vishnu Bhat...
Journal of Perinatology.  39 (2019)  S1 - p. 3-12 , 2019
Link: https://doi.org/10.1038/..
 
?
7

Formal Methods Assisted Training of Safe Reinforcement Lear..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Murugesan, Anitha ; Moghadamfalahi, Mohammad ; Chattopadhyay, Arunabh - p. 333-340 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Using Quantifier Elimination to Enhance the Safety Assuranc..:

, In: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC),
Ren, Hao ; Chandrasekar, Sai Krishnan ; Murugesan, Anitha - p. 1-8 , 2019
Link: https://doi.org/10.1109/..
 
?
9

Requirements Reference Models Revisited: Accommodating Hier..:

, In: 2019 IEEE 27th International Requirements Engineering Conference (RE),
Murugesan, Anitha ; Rayadurgam, Sanjai ; Heimdahl, Mats - p. 177-186 , 2019
Link: https://doi.org/10.1109/..
 
?
10

Structuring simulink models for verification and reuse:

, In: Proceedings of the 6th International Workshop on Modeling in Software Engineering,
Whalen, Michael W. ; Murugesan, Anitha ; Rayadurgam, Sanjai. - p. 19-24 , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

Exploring the twin peaks using probabilistic verification t..:

, In: Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture,
Murugesan, Anitha ; Feng, Lu ; Heimdahl, Mats P. E.... - p. 18-23 , 2014
Link: https://dl.acm.org/doi/1..
 
?
12

Linking Abstract Analysis to Concrete Design : A Hierarc..:

, In: ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014),
Murugesan, Anitha ; Sokolsky, Oleg ; Rayadurgam, Sanjai... - p. 139-150 , 2014
Link: https://dl.acm.org/doi/1..
 
?
13

Compositional verification of a medical device system:

Murugesan, Anitha ; Whalen, Michael W. ; Rayadurgam, Sanjai.
ACM SIGAda Ada Letters.  33 (2013)  3 - p. 51-64 , 2013
Link: https://doi.org/10.1145/..
 
?
14

Modes, features, and state-based modeling for clarity and f..:

, In: Proceedings of the 5th International Workshop on Modeling in Software Engineering,
Murugesan, Anitha ; Rayadurgam, Sanjai ; Heimdahl, Mats P. E. - p. 13-17 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

Compositional verification of a medical device system:

, In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology,
Murugesan, Anitha ; Whalen, Michael W. ; Rayadurgam, Sanjai. - p. 51-64 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15