Concepedia

André Santos

AS

10

Publications

243

Citations

10

H-Index

2010

Active since

Affiliations

University of Minho(Current)

Fraunhofer Institute for Manufacturing Engineering and Automation

Indian Institute of Technology Patna

André Santos is an author at University of Minho specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsRoboticsAutomationSoftware DesignSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

2010–2021

10

Publications

10

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata

Raju Halder, José Proença, Nuno Macedo et al. · 2017 · 55 citations · Full text

Robotic Systems, Engineering, Field Robotics +18

A framework for quality assessment of ROS repositories

André Santos, Alcino Cunha, Nuno Macedo et al. · 2016 · 46 citations · Full text

Total Quality Management, Software Maintenance, Engineering +26

Static-Time Extraction and Analysis of the ROS Computation Graph

André Santos, Alcino Cunha, Nuno Macedo · 2019 Third IEEE International Conference on Robotic Computing (IRC) · 2019 · 23 citations · Full text

Robotic Systems, Engineering, Computational Complexity Theory +26

Verification of system-wide safety properties of ROS applications

Renato Carvalho, Alcino Cunha, Nuno Macedo et al. · 2020 · 22 citations · Full text

Software Maintenance, Engineering, Verification +23

Mining the usage patterns of ROS primitives

André Santos, Alcino Cunha, Nuno Macedo et al. · 2017 · 21 citations · Full text

Robot Kinematics, Robotic Systems, Engineering +26

Rows per page

1–5 of 10