Concepedia

António Casimiro

AC

24

Publications

775

Citations

14

H-Index

1995

Active since

Affiliations

University of Lisbon(Current)

National Laboratory for Civil Engineering

Otto-von-Guericke University Magdeburg

Chalmers University of Technology

Universidade Federal do Rio de Janeiro

António Casimiro is an author at University of Lisbon specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal VerificationComputer ArchitectureComputer EngineeringFormal MethodsSystem SoftwareFault ToleranceInternet Of Things

Publications per year

1995–2022

24

Publications

24

The timely computing base model and architecture

António Casimiro · IEEE Transactions on Computers · 2002 · 135 citations

Event-driven Architecture, Engineering, Computer Architecture +21

CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems

Paulo Verı́ssimo, António Casimiro · Real-Time Systems · 1997 · 107 citations

The timely computing base: Timely actions in the presence of uncertain timeliness

António Casimiro, Christof Fetzer · 2002 · 75 citations

Engineering, Verification, Software Engineering +21

CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects

Paulo Verı́ssimo, Vinny Cahill, António Casimiro et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2002 · 56 citations · Full text

A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks

Gonçalo Jesus, António Casimiro, A. Oliveira · Sensors · 2017 · 48 citations · Full text

Engineering, Wireless Sensor System, Verification +19

Rows per page

1–5 of 24