Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. - Paulo Veríssimo; António Casimiro; Luís E. T. Rodrigues (SRDS, 1993)

CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. - Paulo Veríssimo; Luís E. T. Rodrigues; António Casimiro (Real Time Syst., 1997)

he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. - Paulo Veríssimo; António Casimiro; Christof Fetzer (DSN, 2000)

Measuring Distributed Durations with Stable Error. - António Casimiro; Pedro Martins; Luís E. T. Rodrigues; Paulo Veríssimo (RTSS, 2001)

Using the Timely Computing Base for Dependable QoS Adaptation. - António Casimiro; Paulo Veríssimo (SRDS, 2001)

Generic Timing Fault Tolerance using a Timely Computing Base. - António Casimiro; Paulo Veríssimo (DSN, 2002)

The Timely Computing Base Model and Architecture. - Paulo Veríssimo; António Casimiro (IEEE Trans. Computers, 2002)

Event-Driven Support of Real-Time Sentient Objects. - Paulo Veríssimo; António Casimiro (WORDS, 2003)

An architectural framework and a middleware for cooperating smart components. - António Casimiro; Jörg Kaiser; Paulo Veríssimo (Conf. Computing Frontiers, 2004)

Dependable Adaptive Real-Time Applications in Wormhole-based Systems. - Pedro Martins; Paulo Jorge Paiva de Sousa; António Casimiro; Paulo Veríssimo (DSN, 2004)

A New Programming Model for Dependable Adaptive Real-Time Applications. - Pedro Martins; Paulo Sousa 001; António Casimiro; Paulo Veríssimo (IEEE Distributed Syst. Online, 2005)

Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. - António Casimiro; Jörg Kaiser; Paulo Veríssimo (WADS, 2006)

Towards Timely ACID Transactions in DBMS. - Marco Vieira; António Casimiro Costa; Henrique Madeira (DASFAA, 2007)

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; António Casimiro; Paulo Veríssimo (PRDC, 2007)

Architecture and Implementation of an Embedded Wormhole. - Hugo Ortiz; António Casimiro; Paulo Veríssimo (SIES, 2007)

A framework for dependable QoS adaptation in probabilistic environments. - António Casimiro; Paolo Lollini; Monica Dixit; Andrea Bondavalli; Paulo Veríssimo (SAC, 2008)

Workshop on Architecting Dependable Systems (WADS 2009). - António Casimiro; Rogério de Lemos; Cristina Gacek (DSN, 2009)

Design and development of a proof-of-concept platooning application using the HIDENETS architecture. - Luis Marques; António Casimiro; Mario Calha (DSN, 2009)

Applying Architectural Hybridization in Networked Embedded Systems. - António Casimiro; José Rufino; Luis Marques; Mario Calha; Paulo Veríssimo (SEUS, 2009)

Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector. - Monica Dixit; António Casimiro (SRDS, 2010)

Data Validity and Dependable Perception in Networked Sensor-Based Systems. - Luis Marques; António Casimiro (SRDS, 2010)

Lightweight Dependable Adaptation for Wireless Sensor Networks. - Luis Marques; António Casimiro (SRDS Workshops, 2011)

A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures. - Diego Kreutz; António Casimiro; Marcelo Pasin (DAIS, 2012)

TRONE: Trustworthy and Resilient Operations in a Network Environment. - António Casimiro; Paulo Veríssimo; Diego Kreutz; Filipe Araújo; Raul Barbosa; Samuel Neves; Bruno Sousa; Marília Curado; Carlos Silva; Rajeev Gandhi; Priya Narasimhan (DSN Workshops, 2012)

Replication for dependability on virtualized cloud environments. - Filipe Araújo; Raul Barbosa; António Casimiro (MGC@Middleware, 2012)

Timeout-based adaptive consensus: improving performance through adaptation. - Monica Dixit; Henrique Moniz; António Casimiro (SAC, 2012)

Introduction to ASCoMS 2012. - António Casimiro; Jörg Kaiser (SAFECOMP Workshops, 2012)

Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. - Luis Marques; António Casimiro (SAFECOMP Workshops, 2012)

Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. - António Casimiro; Jörg Kaiser; Johan Karlsson; Elad Michael Schiller; Philippas Tsigas; Pedro Costa; José Parizi; Rolf Johansson 002; Renato Librino (SSS, 2012)

Adaptare: Supporting automatic and dependable adaptation in dynamic environments. - Monica Dixit; António Casimiro; Paolo Lollini; Andrea Bondavalli; Paulo Veríssimo (ACM Trans. Auton. Adapt. Syst., 2012)

The KARYON project: Predictable and safe coordination in cooperative vehicular systems. - António Casimiro; Jörg Kaiser; Elad Schiller; Pedro Costa; José Parizi; Rolf Johansson 002; Renato Librino (DSN Workshops, 2013)

Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks. - João Alves; António Casimiro; Luis Marques (EWDC, 2013)

Towards Dependable Measurements in Coastal Sensors Networks. - Gonçalo de Jesus; António Casimiro; Anabela Oliveira (EWDC, 2013)

Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. - Rolando Martins; Rajeev Gandhi; Priya Narasimhan; Soila M. Pertet; António Casimiro; Diego Kreutz; Paulo Veríssimo (Middleware, 2013)

Safety Kernel for Cooperative Sensor-Based Systems. - Pedro Nóbrega Da Costa; João Craveiro; António Casimiro; José Rufino (ASCoMS@SAFECOMP, 2013)

Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. - Luis Marques; António Casimiro (SRDS, 2013)

Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed. - António Casimiro; Oscar Morales-Ponce; Thomas Petig; Elad Michael Schiller (ICDCS Workshops, 2014)

Evaluation of Safety Rules in a Safety Kernel-Based Architecture. - Eric Vial; António Casimiro (SAFECOMP Workshops, 2014)

A kernel-based architecture for safe cooperative vehicular functions. - António Casimiro; José Rufino; Ricardo C. Pinto; Eric Vial; Elad Michael Schiller; Oscar Morales-Ponce; Thomas Petig (SIES, 2014)

Replica placement to mitigate attacks on clouds. - Filipe Araújo; Serhiy Boychenko; Raul Barbosa; António Casimiro (J. Internet Serv. Appl., 2014)

Workshop on Safety and Security of Intelligent Vehicles (SSIV). - João Carlos Cunha; Kalinka Branco; António Casimiro; Urbano Nunes 001 (DSN, 2015)

Introduction to SSIV 2016. - João Carlos Cunha; Kalinka Branco; António Casimiro; Urbano Nunes 001 (DSN Workshops, 2016)

Enforcing Timeliness and Safety in Mission-Critical Systems. - António Casimiro; Inês Pinto Gouveia; José Rufino (Ada-Europe, 2017)

SSIV 2017 Welcome. - João Carlos Cunha; Kalinka Branco; António Casimiro; Urbano Nunes 001 (DSN Workshops, 2017)

Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. - João Carlos Cunha; Kalinka Castelo Branco; António Casimiro; Urbano Nunes 001 (IEEE Intell. Transp. Syst. Mag., 2017)

A few open problems and solutions for software technologies for dependable distributed systems. - Marisol García-Valls; António Casimiro; Hans P. Reiser (J. Syst. Archit., 2017)

A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks. - Gonçalo de Jesus; António Casimiro; Anabela Oliveira (Sensors, 2017)

Elastic State Machine Replication. - André Nogueira; António Casimiro; Alysson Bessani (IEEE Trans. Parallel Distributed Syst., 2017)

Dependable Outlier Detection in Harsh Environments Monitoring Systems. - Gonçalo de Jesus; António Casimiro; Anabela Oliveira (SAFECOMP Workshops, 2018)

Generic Sensor Failure Modeling for Cooperative Systems. - Georg Jäger; Sebastian Zug; António Casimiro (Sensors, 2018)

Bio-inspired System Identification Attacks in Noisy Networked Control Systems. - Alan Oliveira de Sá; António Casimiro; Raphael Carlos Santos Machado; Luiz Fernando Rust da Costa Carmo (BICT, 2019)

Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights. - António Casimiro; Emelie Ekenstedt; Elad Michael Schiller (SRDS, 2019)

Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems. - António Casimiro; Emelie Ekenstedt; Elad Michael Schiller (CoRR, 2019)

Evaluation of LoRa Technology in Flooding Prevention Scenarios. - José Cecílio; Pedro Miguel Ferreira; António Casimiro (Sensors, 2020)

Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. - Alan Oliveira de Sá; António Casimiro; Raphael C. S. Machado; Luiz Fernando Rust da Costa Carmo (Sensors, 2020)

Computing Paradigms in Emerging Vehicular Environments: A Review. - Lion Silva; Naércio Magaia; Breno Sousa; Anna Kobusinska; António Casimiro; Constandinos X. Mavromoustakis; George Mastorakis; Victor Hugo C. de Albuquerque (IEEE CAA J. Autom. Sinica, 2021)

Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems. - Gonçalo de Jesus; António Casimiro; Anabela Oliveira (ACM Trans. Cyber Phys. Syst., 2021)

Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. - Paolo Ferrari; Emiliano Sisinni; Paolo Bellagente; Stefano Rinaldi; Marco Pasetti; Alan Oliveira de Sá; Raphael C. S. Machado; Luiz Fernando Rust da Costa Carmo; António Casimiro (IEEE Trans. Ind. Electron., 2021)

VEDLIoT: Very Efficient Deep Learning in IoT. - Martin Kaiser; René Griessl; Nils Kucza; Carola Haumann; Lennart Tigges; Kevin Mika; Jens Hagemeyer; Florian Porrmann; Ulrich Rückert 001; Micha vor dem Berge; Stefan Krupop; Mario Porrmann; et al. (DATE, 2022)

VEDLIoT: Very Efficient Deep Learning in IoT. - Martin Kaiser; René Griessl; Nils Kucza; Carola Haumann; Lennart Tigges; Kevin Mika; Jens Hagemeyer; Florian Porrmann; Ulrich Rückert 001; Micha vor dem Berge; Stefan Krupop; Mario Porrmann; et al. (CoRR, 2022)

VEDLIoT: Next generation accelerated AIoT systems and applications. - Kevin Mika; René Griessl; Nils Kucza; Florian Porrmann; Martin Kaiser; Lennart Tigges; Jens Hagemeyer; Pedro Trancoso; Muhammad Waqar Azhar; Fareed Qararyah; Stavroula Zouzoula; Jämes Ménétrey; et al. (CF, 2023)

Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm. - Bakary Badjie; José Cecílio; António Casimiro (CoRR, 2023)

On the Design of Coordination Services for IoT. - Tiago Carvalho 002; António Casimiro; Alysson Bessani (DSN-S, 2024)

LWSEE: Lightweight Secured Software-Based Execution Environment. - José Cecílio; Alan Oliveira de Sá; Georg Jäger; André Souto; António Casimiro (Internet Things, 2025)

Adversarial Attacks and Countermeasures on Image Classification-based Deep Learning Models in Autonomous Driving Systems: A Systematic Review. - Bakary Badjie; José Cecílio; António Casimiro (ACM Comput. Surv., 2025)

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework. - Bakary Badjie; José Cecílio; António Casimiro (CoRR, 2025)