António Casimiro

From Navigators

Jump to: navigation, search


António Casimiro



Current projects

  • AQUAMON (Dependable Monitoring with Wireless Sensor Networks in Water Environments)
  • IRCoC (Intelligent Resilience for Cloud-of-Clouds Services)
  • Xivt (eXcellence In Variant Testing)

Past projects

  • NORTH (Non-intrusive Observation and RunTime verification of cyber-pHysical systems)
  • KARYON (Kernel-Based ARchitecture for safetY-critical cONtrol)
  • TRONE (Trustworthy and Resilient Operations in a Network Environment)
  • MASSIF (MAnagement of Security information and events in Service Infrastructures)
  • HIDENETS (HIghly DEpendable ip-based NETworks and Services)
  • TACID (Timely ACID Transactions in DBMS)
  • DARIO (Distributed Agency for Reliable Input/Output)
  • CORTEX (CO-operating Real-time senTient objects: architecture and EXperimental evaluation)
  • DEAR-COTS (Distributed Embedded Architectures using Commercial Off-The-Shelf Components)
  • MICRA (A Model for the Development of Mission Critical Applications)

Student supervision




  • Eric Vial, António Casimiro, “Evaluation of Safety Rules in a Safety Kernel-Based Architecture”, in Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS. Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.

  • Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, Paulo Verissimo, “Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol”, in Middleware 2013, Eyers, David and Schwan, Karsten, Eds., ser. Lecture Notes in Computer Science. Beijing, China: Springer Berlin Heidelberg, Dec. 2013, vol. 8275, pp. 41–61.

  • Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.

More publications

As editor


Navigators - António Casimiro
Personal tools
Navigators toolbox