António Casimiro

According to our database, António Casimiro authored at least 62 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm.

Bakary Badjie, José Cecílio, António Casimiro

CoRR, 2023

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, Marcelo Pasin, Pascal Felber, Carina Marcus, Oliver Brunnegård, Olof Eriksson, Hans Salomonsson, Daniel Ödman, Andreas Ask, António Casimiro, Alysson Bessani, Tiago Carvalho, Karol Gugala, Piotr Zierhoffer, Grzegorz Latosinski, Marco Tassemeier, Mario Porrmann, Hans-Martin Heyn, Eric Knauss, Yufei Mao, Franz Meierhöfer

Proceedings of the 20th ACM International Conference on Computing Frontiers, 2023

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, Micha vor dem Berge, Stefan Krupop, Mario Porrmann, Marco Tassemeier, Pedro Trancoso, Fareed Qararyah, Stavroula Zouzoula, António Casimiro, Alysson Bessani, José Cecílio, Stefan Andersson, Oliver Brunnegård, Olof Eriksson, Roland Weiss, Franz Meierhöfer, Hans Salomonsson, Elaheh Malekzadeh, Daniel Ödman, Anum Khurshid, Pascal Felber, Marcelo Pasin, Valerio Schiavoni, Jämes Ménétrey, Karol Gugula, Piotr Zierhoffer, Eric Knauss, Hans-Martin Heyn

CoRR, 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, Micha vor dem Berge, Stefan Krupop, Mario Porrmann, Marco Tassemeier, Pedro Trancoso, Fareed Qararyah, Stavroula Zouzoula, António Casimiro, Alysson Neves Bessani, José Cecílio, Stefan Andersson, Oliver Brunnegård, Olof Eriksson, Roland Weiss, Franz Meierhöfer, Hans Salomonsson, Elaheh Malekzadeh, Daniel Ödman, Anum Khurshid, Pascal Felber, Marcelo Pasin, Valerio Schiavoni, Jämes Ménétrey, Karol Gugala, Piotr Zierhoffer, Eric Knauss, Hans-Martin Heyn

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

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

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

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

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

Evaluation of LoRa Technology in Flooding Prevention Scenarios.

José Cecílio, Pedro Miguel Ferreira, António Casimiro

Sensors, 2020

2019

Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems.

António Casimiro, Emelie Ekenstedt, Elad Michael Schiller

CoRR, 2019

Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights.

António Casimiro, Emelie Ekenstedt, Elad Michael Schiller

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

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

Proceedings of the Bio-inspired Information and Communication Technologies, 2019

2018

Generic Sensor Failure Modeling for Cooperative Systems.

Georg Jäger, Sebastian Zug, António Casimiro

Sensors, 2018

Dependable Outlier Detection in Harsh Environments Monitoring Systems.

Gonçalo de Jesus, António Casimiro, Anabela Oliveira

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Elastic State Machine Replication.

André Nogueira, António Casimiro, Alysson Bessani

IEEE Trans. Parallel Distributed Syst., 2017

A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks.

Gonçalo de Jesus, António Casimiro, Anabela Oliveira

Sensors, 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

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

IEEE Intell. Transp. Syst. Mag., 2017

SSIV 2017 Welcome.

João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

Enforcing Timeliness and Safety in Mission-Critical Systems.

António Casimiro, Inês Pinto Gouveia, José Rufino

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

Introduction to SSIV 2016.

João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015

Workshop on Safety and Security of Intelligent Vehicles (SSIV).

João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Replica placement to mitigate attacks on clouds.

Filipe Araújo, Serhiy Boychenko, Raul Barbosa, António Casimiro

J. Internet Serv. Appl., 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

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Evaluation of Safety Rules in a Safety Kernel-Based Architecture.

Eric Vial, António Casimiro

Proceedings of the Computer Safety, Reliability, and Security, 2014

Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed.

António Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller

Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014

2013

Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models.

Luis Marques, António Casimiro

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Safety Kernel for Cooperative Sensor-Based Systems.

Pedro Nóbrega Da Costa, João Craveiro, António Casimiro, José Rufino

Proceedings of the SAFECOMP 2013, 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

Proceedings of the Middleware 2013, 2013

Towards Dependable Measurements in Coastal Sensors Networks.

Gonçalo de Jesus, António Casimiro, Anabela Oliveira

Proceedings of the Dependable Computing - 14th European Workshop, 2013

Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks.

João Alves, António Casimiro, Luis Marques

Proceedings of the Dependable Computing - 14th European Workshop, 2013

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, Renato Librino

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

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

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, Renato Librino

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults.

Luis Marques, António Casimiro

Proceedings of the Computer Safety, Reliability, and Security, 2012

Introduction to ASCoMS 2012.

António Casimiro, Jörg Kaiser

Proceedings of the Computer Safety, Reliability, and Security, 2012

Timeout-based adaptive consensus: improving performance through adaptation.

Monica Dixit, Henrique Moniz, António Casimiro

Proceedings of the ACM Symposium on Applied Computing, 2012

Replication for dependability on virtualized cloud environments.

Filipe Araújo, Raul Barbosa, António Casimiro

Proceedings of the 10th International Workshop on Middleware for Grids, 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

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures.

Diego Kreutz, António Casimiro, Marcelo Pasin

Proceedings of the Distributed Applications and Interoperable Systems, 2012

2011

Lightweight Dependable Adaptation for Wireless Sensor Networks.

Luis Marques, António Casimiro

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011

2010

Data Validity and Dependable Perception in Networked Sensor-Based Systems.

Luis Marques, António Casimiro

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.

Monica Dixit, António Casimiro

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

2009

Applying Architectural Hybridization in Networked Embedded Systems.

António Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Design and development of a proof-of-concept platooning application using the HIDENETS architecture.

Luis Marques, António Casimiro, Mario Calha

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Workshop on Architecting Dependable Systems (WADS 2009).

António Casimiro, Rogério de Lemos, Cristina Gacek

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

A framework for dependable QoS adaptation in probabilistic environments.

António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Architecture and Implementation of an Embedded Wormhole.

Hugo Ortiz, António Casimiro, Paulo Veríssimo

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation.

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Towards Timely ACID Transactions in DBMS.

Marco Vieira, António Casimiro Costa, Henrique Madeira

Proceedings of the Advances in Databases: Concepts, 2007

2006

Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.

António Casimiro, Jörg Kaiser, Paulo Veríssimo

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

A New Programming Model for Dependable Adaptive Real-Time Applications.

Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo

IEEE Distributed Syst. Online, 2005

2004

Dependable Adaptive Real-Time Applications in Wormhole-based Systems.

Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

An architectural framework and a middleware for cooperating smart components.

António Casimiro, Jörg Kaiser, Paulo Veríssimo

Proceedings of the First Conference on Computing Frontiers, 2004

2003

Event-Driven Support of Real-Time Sentient Objects.

Paulo Veríssimo, António Casimiro

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

2002

The Timely Computing Base Model and Architecture.

Paulo Veríssimo, António Casimiro

IEEE Trans. Computers, 2002

Generic Timing Fault Tolerance using a Timely Computing Base.

António Casimiro, Paulo Veríssimo

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Using the Timely Computing Base for Dependable QoS Adaptation.

António Casimiro, Paulo Veríssimo

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Measuring Distributed Durations with Stable Error.

António Casimiro, Pedro Martins, Luís E. T. Rodrigues, Paulo Veríssimo

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

2000

he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness.

Paulo Veríssimo, António Casimiro, Christof Fetzer

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1997

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

1993

Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization.

Paulo Veríssimo, António Casimiro, Luís E. T. Rodrigues

Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993