Pedro Cruz

According to our database, Pedro Cruz authored at least 8 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Attitude Uncertainty Analysis of a Three-Vehicle Constrained Formation.

Pedro Cruz, Pedro Batista

Sensors, 2022

2021

Characterization of Degenerate Configurations in Attitude Determination of Three-Vehicle Heterogeneous Formations.

Pedro Cruz, Pedro Batista

Sensors, 2021

Attitude observers for three-vehicle heterogeneous formations based on the Lagrange-d'Alembert principle.

Pedro Cruz, Pedro Tiago Martins Batista, Amit K. Sanyal

Proceedings of the 2021 European Control Conference, 2021

2020

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts.

Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz

Dataset, October, 2020

SmartBugs: A Framework to Analyze Solidity Smart Contracts.

João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts.

Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Special Cases in the Attitude Determination of Three-Vehicle Heterogeneous Formations.

Pedro Cruz, Pedro Tiago Martins Batista

Proceedings of the 7th International Conference on Control, 2020

2018

Relative and inertial attitude determination in three-vehicle long formations.

Pedro Cruz, Pedro Batista

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018