MEMBER

António Casimiro

Profile Picture of António Casimiro

ONGOING

Acronym Title Funding Entity Start Date End Date
VEDLIoT Very Efficient Deep Learning IoT platform EU H2020 01/11/2020 31/10/2023
XIVT eXcellence In Variant Testing P2020 01/01/2020 31/12/2022
AQUAMON Dependable Monitoring with Wireless Sensor Networks in Water Environments FCT 01/10/2018 30/09/2022
REDBOOK Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs FCT 01/10/2018 30/09/2021

PAST

Acronym Title Funding Entity Start Date End Date
IRCoC Intelligent Resilience for Cloud-of-Clouds Services FCT 01/07/2016 31/12/2019
NORTH Non-intrusive Observation and RunTime verification of cyber-pHysical systems FCT 01/01/2017 31/12/2018
ParIS Strategic partnership in Information Security EU ERASMUS+ 01/10/2014 30/09/2017
KARYON Kernel-based Architecture for safety-critical cONtrol EU FP7 01/10/2011 31/12/2014
TRONE Trustworthy and Resilient Operations in a Network Environment FCT 01/10/2010 31/03/2014
MASSIF MASSIF - MAnagement of Security information and events in Service InFrastructures EU FP7 01/10/2010 30/09/2013
CloudFIT CloudFIT - Fault and Intrusion Tolerance for Cloud Computing FCT 01/01/2010 31/12/2011
HIDENETS HIghly DEpendable ip-based NETworks and Services EU FP6 02/01/2006 01/01/2009
to
Antonio Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira. Computer Safety, Reliability, and Security, Springer International Publishing, Lecture Notes in Computer Science, 2020 [Biblios]
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,Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 28-38. Springer International Publishing, 2019 [Biblios]
António Casimiro, Pedro M. Ferreira. Reliable Software Technologies – Ada-Europe 2018, Springer International Publishing, Lecture Notes in Computer Science, 2018 [Biblios]
Gonçalo Jesus, António Casimiro, Anabela Oliveira. Dependable Outlier Detection in Harsh Environments Monitoring Systems. In Developments in Language Theory,Lecture Notes in Computer Science, pages 224-233. Springer International Publishing, 2018 [Biblios]
Andre Nogueira, Antonio Casimiro, Alysson Bessani. Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems, 28(9):2486-2499, Institute of Electrical and Electronics Engineers (IEEE), 2017 [Biblios]
Joao Carlos Cunha, Kalinka Branco, Antonio Casimiro, Urbano Nunes. SSIV 2017 Welcome. In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, 2017 [Biblios]
Joao Carlos Cunha, Kalinka Castelo Branc, Antonio Casimiro, Urbano Jose C. Nunes. Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intelligent Transportation Systems Magazine, 9(1):6-7, Institute of Electrical and Electronics Engineers (IEEE), 2017 [Biblios]
António Casimiro, Inês Gouveia, José Rufino. Enforcing Timeliness and Safety in Mission-Critical Systems. In Reliable Software Technologies – Ada-Europe 2017,Lecture Notes in Computer Science, pages 53-69. Springer International Publishing, 2017 [Biblios]