Papers
9
Total Citations
217
H-Index
7
About
No biography available yet.
Research Focus
Computer science9 · 217 citations
Robot6 · 170 citations
Artificial intelligence6 · 170 citations
Middleware (distributed applications)4 · 128 citations
Distributed computing5 · 124 citations
Embedded system4 · 100 citations
Software5 · 95 citations
Software engineering5 · 95 citations
Programming language3 · 83 citations
Identification (biology)2 · 78 citations
Automaton2 · 78 citations
Control engineering2 · 78 citations
Key Achievements
7
H-Index
9
Papers
217
Total Citations
24
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
57 citations · 2017
📈 Most Prolific Year: 2017 (3 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, INESC TEC, University of Minho, Universidade do Porto
Top Papers
- 1Formal Verification of ROS-Based Robotic Applications Using Timed-Automata57 citations · 2017
- 2A framework for quality assessment of ROS repositories47 citations · 2016
- 3Static-Time Extraction and Analysis of the ROS Computation Graph23 citations · 2019
- 4Mining the usage patterns of ROS primitives22 citations · 2017
- 5Verification of system-wide safety properties of ROS applications22 citations · 2020
- 6Formal verification of ROS-based robotic applications using timed-automata21 citations · 2017
- 7Property-based testing for the robot operating system20 citations · 2018
- 8Schema-guided Testing of Message-oriented Systems3 citations · 2022
- 9Variability Analysis for Robot Operating System Applications2 citations · 2022
Key Collaborators
ASAndré Santos9 shared papersACAlcino Cunha7 shared papersJPJosé Proença2 shared papersRHRaju Halder2 shared papersSMSara Melo1 shared papersRARafael Arrais1 shared papersFNFilipe Neves dos Santos1 shared papersCBCláudio Belo Lourenço1 shared papersRCRenato Carvalho1 shared papersRNRicardo N. Pereira1 shared papers
Not generated yet