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]
Joao Carlos Cunha, Kalinka Branco, Antonio Casimiro, Urbano Nunes. Introduction to SSIV 2016. In 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W). IEEE, 2016 [Biblios]
Gonçalo Jesus, Antonio Casimiro, Anabela Oliveira. Ensuring reliable measurements in remote aquatic sensor networks. In 11th International Conference on Hydroinformatics (HIC 2014), 2014 [Biblios]
António Casimiro, Oscar Morales Ponce, Thomas Petig, Elad M. Schiller. Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed. In The Thirteenth International Workshop on Assurance in Distributed Systems and Networks (ADSN 2014), Proceedings of the 34th International Conference on Distributed Computing Systems Workshops, pages 167-176, 2014 [Biblios]
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), 2013 [Biblios]
Mônica Dixit, Henrique Moniz, António Casimiro. Timeout-based Adaptive Consensus: Improving Performance through Adaptation.. In 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, 2012 [Biblios]
Diego Kreutz, António Casimiro, Marcelo Pasin. A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures. In 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), pages 87-95, 2012 [Biblios]
Amir Soltani Nezhad, António Casimiro, Paulo Veríssimo. A Secure Architecture for a Recursive Virtualization Environment. In International Conference on Dependable Systems and Networks (DSN'12), 2012 [Biblios]
António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raúl Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan. TRONE: Trustworthy and Resilient Operations in a Network Environment. In 2nd International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV'12), pages 1-6, 2012 [Biblios]
Luís Marques, António Casimiro. Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. In Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), pages 151-161, 2012 [Biblios]
António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino. KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. In 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), 2012 [Biblios]
Filipe Araujo, Raul Barbosa, António Casimiro. Replication for Dependability on Virtualized Cloud Environments. In 10th International Workshop on Middleware for Clouds and e-science, 2012 [Biblios]
Padhy, S., A. Casimiro, D. Kreutz, M. Pasin. Trustworthy and Resilient Monitoring System for Cloud Infrastructure. In ACM/IFIP/USENIX 12th International Middleware Conference, Poster session, 2011 [Biblios]
Luís Marques, António Casimiro. Lightweight Dependable Adaptation for Wireless Sensor Networks. In 4th International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'11), in Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDS'11), pages 26-35, 2011 [Biblios]
António Casimiro, Mônica Dixit. From static to dynamic protocols: adapting timeouts for improved performance. In I Workshop on Autonomic Distributed Systems (WoSIDA'11), pages 17-21, 2011 [Biblios]
Mônica Dixit, António Casimiro. Adaptare-FD: A dependability-oriented adaptive failure detector. In Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), 2010 [Biblios]
Luís Marques, António Casimiro. Data Validity and Dependable Perception in Networked Sensor-Based Systems. In 3rd International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'10), 2010 [Biblios]
Luís Marques, António Casimiro, Mário Calha. Design and development of a proof-of-concept platooning application using the hidenets architecture. In 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009 [Biblios]
António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Veríssimo. Applying architectural hybridization in networked embedded systems. In The Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009),, 2009 [Biblios]
Mônica Dixit, António Casimiro, Nuno Laranjeiro, Marco Vieira. Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions. In Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, 2008 [Biblios]
António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli, Paulo Veríssimo. A framework for dependable QoS adaptation in probabilistic environments. In 23rd ACM Symposium on Applied Computing (SAC’08), Dependable and Adaptive Distributed Systems Track, 2008 [Biblios]
Marco Vieira, António Casimiro, Henrique Madeira. Towards Timely ACID Transactions in DBMS. In 12th International Conference on Database Systems for Advanced Applications, 2007 [Biblios]
Hugo Ortiz, António Casimiro, Paulo Veríssimo. Architecture and Implementation of an Embedded Wormhole. In IEEE Second International Symposium on Industrial Embedded Systems, 2007 [Biblios]
António Casimiro, Marco Vieira, Henrique Madeira. Middleware Support for Time-Elastic Database Applications. In International Conference on Dependable Systems and Networks, 2007 [Biblios]
Vieira M., A. Casimiro, H. Madeira.. Towards Timely ACID Transactions in DBMS. In IEEE 12th International Symposium Pacific Rim Dependable Computing, 2006 [Biblios]
Marco Vieira, António Casimiro, Henrique Madeira. TACID Transactions. In the International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep-05), 2005 [Biblios]
Pedro Martins, António Casimiro, Paulo Veríssimo. A Generic Temporal Consistency Model for Distributed Control Systems. In WACERTS'04 - Workshop on Architectures for Cooperative Embedded Real-Time Systems, 2004 [Biblios]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo. Dependable Adaptive Real-Time Applications in Wormhole-based Systems. In International Conference onDependable Systems and Networks (DSN'04), 2004 [Biblios]
Marco Vieira, António Casimiro, Henrique Madeira. Timely ACID Transactions in DBMS. In International Conference on Dependable Systems and Networks - DSN 2004, 2004 [Biblios]
Paulo Veríssimo, António Casimiro. Event-Driven Support of Real-Time Sentient Objects. In 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems, 2003 [Biblios]
A. Casimiro, P. Veríssimo. Generic Timing Fault Tolerance using a Timely Computing Base. In DSN 2002 - International Conference on Dependable Systems and Networks, 2002 [Biblios]
P. Veríssimo, A. Casimiro. The Timely Computing Base Model and Architecture. IEEE TRANSACTIONS ON COMPUTERS, 51(8), 2002 [Biblios]
A. Casimiro, P. Veríssimo. Using the Timely Computing Base for Dependable QoS Adaptation. In 20th IEEE Symposium on Reliable Distributed Systems, 2001 [Biblios]
A. Casimiro, P. Martins, P. Veríssimo, L. Rodrigues. Measuring Distributed Durations with Stable Errors. In 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001 [Biblios]
A. Casimiro, M. Correia. Recent Advances on the Timely Computing Base Model. In DSN 2001 - International Conference on Dependable Systems and Networks, 2001 [Biblios]
P. Veríssimo, A. Casimiro, C. Fetzer. The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. In DSN 2000 -International Conference on Dependable Systems and Networks, 2000 [Biblios]
A. Casimiro, P. Martins, P. Veríssimo. How to Build a Timely Computing Base using Real-Time Linux. In IEEE International Workshop on Factory Communication Systems - 2000, 2000 [Biblios]