António Casimiro

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Created page with "{{Person |name=António Casimiro |email=casim@di.fc.ul.pt |url=http://www.di.fc.ul.pt/~casim |role=Faculty }}")
m
 
Line 3: Line 3:
|email=casim@di.fc.ul.pt
|email=casim@di.fc.ul.pt
|url=http://www.di.fc.ul.pt/~casim
|url=http://www.di.fc.ul.pt/~casim
 +
|phone=+351 217500612
 +
|fax=+351 217500084
|role=Faculty
|role=Faculty
}}
}}

Latest revision as of 16:47, 21 January 2013

Faculty

António Casimiro

 

Projects

Current projects

  • ADMORPH (Towards Adaptively Morphing Embedded Systems)
  • 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

Concluded

Ongoing

Publications

  • Alan Oliveira de Sá, António Casimiro, Raphael Carlos Santos Machado, Luiz Fernando Rust da Costa Carmo, “Bio-inspired System Identification Attacks in Noisy Networked Control Systems”, in Bio-inspired Information and Communication Technologies. BICT 2019., Compagnoni A., Casey W., Cai Y., Mishra B., Eds., ser. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer, Cham, Mar. 2019, vol. 289, pp. 28–38.

  • 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.

More publications

As editor

BibTeX

Navigators - António Casimiro
Personal tools
Navigators toolbox