Nuno Macedo

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, INESC TEC, University of Minho, Universidade do Porto

论文数

9

总引用数

217

H-Index

7

关于

暂无简介。

研究焦点

Computer science9 · 217 次引用
Robot6 · 170 次引用
Artificial intelligence6 · 170 次引用
Middleware (distributed applications)4 · 128 次引用
Distributed computing5 · 124 次引用
Embedded system4 · 100 次引用
Software5 · 95 次引用
Software engineering5 · 95 次引用
Programming language3 · 83 次引用
Identification (biology)2 · 78 次引用
Automaton2 · 78 次引用
Control engineering2 · 78 次引用

主要成就

7
H 指数
9
论文
217
总引用数
24
篇均引用
🏆 最高被引论文
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
57 次引用 · 2017
📈 最高产年份: 2017 (3 论文)
🤝 主要合作者: 10
🏛 所属机构: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, INESC TEC, University of Minho, Universidade do Porto

代表论文

  1. 1
    Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
    57 次引用 · 2017
  2. 2
    A framework for quality assessment of ROS repositories
    47 次引用 · 2016
  3. 3
    Static-Time Extraction and Analysis of the ROS Computation Graph
    23 次引用 · 2019
  4. 4
    Mining the usage patterns of ROS primitives
    22 次引用 · 2017
  5. 5
    Verification of system-wide safety properties of ROS applications
    22 次引用 · 2020
  6. 6
    Formal verification of ROS-based robotic applications using timed-automata
    21 次引用 · 2017
  7. 7
    Property-based testing for the robot operating system
    20 次引用 · 2018
  8. 8
    Schema-guided Testing of Message-oriented Systems
    3 次引用 · 2022
  9. 9
    Variability Analysis for Robot Operating System Applications
    2 次引用 · 2022

主要合作者

ASAndré Santos9 篇合著论文ACAlcino Cunha7 篇合著论文JPJosé Proença2 篇合著论文RHRaju Halder2 篇合著论文SMSara Melo1 篇合著论文RARafael Arrais1 篇合著论文FNFilipe Neves dos Santos1 篇合著论文CBCláudio Belo Lourenço1 篇合著论文RCRenato Carvalho1 篇合著论文RNRicardo N. Pereira1 篇合著论文
尚未生成