Anastasia Mavridou

Ames Research Center

Papers

4

Total Citations

55

H-Index

4

About

No biography available yet.

Research Focus

Computer science4 · 55 citations
Software engineering3 · 51 citations
Programming language3 · 51 citations
Formal verification2 · 45 citations
Engineering2 · 41 citations
Systems engineering2 · 41 citations
Flexibility (engineering)1 · 35 citations
Formal methods1 · 35 citations
Artificial intelligence2 · 14 citations
Robot2 · 14 citations
Distributed computing1 · 10 citations
Embedded system1 · 10 citations

Key Achievements

4
H-Index
4
Papers
55
Total Citations
14
Avg Citations/Paper
🏆 Most Cited Paper
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
35 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 13
🏛 Institutions: Ames Research Center

Top Papers

  1. 1
    Integrating Formal Verification and Assurance: An Inspection Rover Case Study
    35 citations · 2021
  2. 2
    Monitoring ROS2: from Requirements to Autonomous Robots
    10 citations · 2022
  3. 3
    Exploring Requirements for Software that Learns: A Research Preview
    6 citations · 2023
  4. 4
    Robotics: A New Mission for FRET Requirements
    4 citations · 2024

Key Collaborators

MFMarie Farrell3 shared papersTPTom Pressburger2 shared papersIPIvan Pérez1 shared papersMFMichael Fisher1 shared papersPMPatrick Martin1 shared papersGVGricel Vázquez1 shared papersJSJohann Schumann1 shared papersAWAlexander Will1 shared papersGBGuillaume Brat1 shared papersIŠIrfan Šljivo1 shared papersHBHamza Bourbouh1 shared papersLALouise A. Dennis1 shared papersRCRadu Călinescu1 shared papers
Not generated yet