António Casimiro

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 22

Top Topics

Outlier Detection

Computing Paradigms

Wireless Sensor

Top Venues

Publications

Bakary Badjie, José Cecílio, António Casimiro
Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm. CoRR (2023)
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
VEDLIoT - Next generation accelerated AIoT systems and applications. CoRR (2023)
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
VEDLIoT: Next generation accelerated AIoT systems and applications. CF (2023)
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, F. Qararyah, Stavroula Zouzoula, António Casimiro, Alysson Neves Bessani, José Cecílio, Stefan Andersson, Oliver Brunnegård, Olof Eriksson, Roland Weiss, F. Mcierhöfer, Hans Salomonsson, Elaheh Malekzadeh, Daniel Ödman, Anum Khurshid, Pascal Felber, Marcelo Pasin, Valerio Schiavoni, Jämes Ménétrey, K. Gugala, Piotr Zierhoffer, Eric Knauss, Hans-Martin Heyn
VEDLIoT: Very Efficient Deep Learning in IoT. DATE (2022)
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 Quararyah, 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
VEDLIoT: Very Efficient Deep Learning in IoT. CoRR (2022)
Lion Silva, Naércio Magaia, Breno Sousa, Anna Kobusinska, António Casimiro, Constandinos X. Mavromoustakis, George Mastorakis, Victor Hugo C. de Albuquerque
Computing Paradigms in Emerging Vehicular Environments: A Review. IEEE CAA J. Autom. Sinica 8 (3) (2021)
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
Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. IEEE Trans. Ind. Electron. 68 (8) (2021)
Gonçalo de Jesus, António Casimiro, Anabela Oliveira
Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
José Cecílio, Pedro Miguel Ferreira, António Casimiro
Evaluation of LoRa Technology in Flooding Prevention Scenarios. Sensors 20 (14) (2020)
Alan Oliveira de Sá, António Casimiro, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo
Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. Sensors 20 (3) (2020)
António Casimiro, Emelie Ekenstedt, Elad Michael Schiller
Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights. SRDS (2019)
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. BICT (2019)
António Casimiro, Emelie Ekenstedt, Elad Michael Schiller
Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems. CoRR (2019)
Georg Jäger, Sebastian Zug, António Casimiro
Generic Sensor Failure Modeling for Cooperative Systems. Sensors 18 (3) (2018)
Gonçalo de Jesus, António Casimiro, Anabela Oliveira
Dependable Outlier Detection in Harsh Environments Monitoring Systems. SAFECOMP Workshops (2018)
João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes
SSIV 2017 Welcome. DSN Workshops (2017)
António Casimiro, Inês Gouveia, José Rufino
Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe (2017)
Marisol García-Valls, António Casimiro, Hans P. Reiser
A few open problems and solutions for software technologies for dependable distributed systems. J. Syst. Archit. 73 (2017)
André Nogueira, António Casimiro, Alysson Bessani
Elastic State Machine Replication. IEEE Trans. Parallel Distributed Syst. 28 (9) (2017)
João Carlos Cunha, Kalinka Castelo Branco, António Casimiro, Urbano Nunes
Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intell. Transp. Syst. Mag. 9 (1) (2017)
Gonçalo de Jesus, António Casimiro, Anabela Oliveira
A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks. Sensors 17 (9) (2017)
João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes
Introduction to SSIV 2016. DSN Workshops (2016)
João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes
Workshop on Safety and Security of Intelligent Vehicles (SSIV). DSN (2015)
António Casimiro, José Rufino, Ricardo C. Pinto, Eric Vial, Elad Michael Schiller, Oscar Morales-Ponce, Thomas Petig
A kernel-based architecture for safe cooperative vehicular functions. SIES (2014)
Eric Vial, António Casimiro
Evaluation of Safety Rules in a Safety Kernel-Based Architecture. SAFECOMP Workshops (2014)
António Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller
Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed. ICDCS Workshops (2014)
Filipe Araújo, Serhiy Boychenko, Raul Barbosa, António Casimiro
Replica placement to mitigate attacks on clouds. J. Internet Serv. Appl. 5 (1) (2014)
António Casimiro, Jörg Kaiser, Elad Schiller, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
The KARYON project: Predictable and safe coordination in cooperative vehicular systems. DSN Workshops (2013)
Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila M. Pertet, António Casimiro, Diego Kreutz, Paulo Veríssimo
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. Middleware (2013)
João Alves, António Casimiro, Luis Marques
Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks. EWDC (2013)
Gonçalo de Jesus, António Casimiro, Anabela Oliveira
Towards Dependable Measurements in Coastal Sensors Networks. EWDC (2013)
Luis Marques, António Casimiro
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. SRDS (2013)
Pedro Nóbrega Da Costa, João Craveiro, António Casimiro, José Rufino
Safety Kernel for Cooperative Sensor-Based Systems. ASCoMS@SAFECOMP (2013)
António Casimiro, Jörg Kaiser
Introduction to ASCoMS 2012. SAFECOMP Workshops (2012)
Monica Dixit, António Casimiro, Paolo Lollini, Andrea Bondavalli, Paulo Veríssimo
Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Trans. Auton. Adapt. Syst. 7 (2) (2012)
António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. SSS (2012)
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
TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops (2012)
Luis Marques, António Casimiro
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. SAFECOMP Workshops (2012)
Monica Dixit, Henrique Moniz, António Casimiro
Timeout-based adaptive consensus: improving performance through adaptation. SAC (2012)
Diego Kreutz, António Casimiro, Marcelo Pasin
A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures. DAIS (2012)
Filipe Araújo, Raul Barbosa, António Casimiro
Replication for dependability on virtualized cloud environments. MGC@Middleware (2012)
Luis Marques, António Casimiro
Lightweight Dependable Adaptation for Wireless Sensor Networks. SRDS Workshops (2011)
Monica Dixit, António Casimiro
Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector. SRDS (2010)
Luis Marques, António Casimiro
Data Validity and Dependable Perception in Networked Sensor-Based Systems. SRDS (2010)
Luis Marques, António Casimiro, Mario Calha
Design and development of a proof-of-concept platooning application using the HIDENETS architecture. DSN (2009)
António Casimiro, Rogério de Lemos, Cristina Gacek
Workshop on Architecting Dependable Systems (WADS 2009). DSN (2009)
António Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo
Applying Architectural Hybridization in Networked Embedded Systems. SEUS (2009)
António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo
A framework for dependable QoS adaptation in probabilistic environments. SAC (2008)
Hugo Ortiz, António Casimiro, Paulo Veríssimo
Architecture and Implementation of an Embedded Wormhole. SIES (2007)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC (2007)
António Casimiro, Jörg Kaiser, Paulo Veríssimo
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS (2006)
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE Distributed Syst. Online 6 (5) (2005)
António Casimiro, Jörg Kaiser, Paulo Veríssimo
An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers (2004)
Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo
Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN (2004)
Paulo Veríssimo, António Casimiro
Event-Driven Support of Real-Time Sentient Objects. WORDS (2003)
António Casimiro, Paulo Veríssimo
Generic Timing Fault Tolerance using a Timely Computing Base. DSN (2002)
Paulo Veríssimo, António Casimiro
The Timely Computing Base Model and Architecture. IEEE Trans. Computers 51 (8) (2002)
António Casimiro, Paulo Veríssimo
Using the Timely Computing Base for Dependable QoS Adaptation. SRDS (2001)
António Casimiro, Pedro Martins, Luís E. T. Rodrigues, Paulo Veríssimo
Measuring Distributed Durations with Stable Error. RTSS (2001)
Paulo Veríssimo, António Casimiro, Christof Fetzer
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN (2000)
Paulo Veríssimo, Luís E. T. Rodrigues, António Casimiro
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real Time Syst. 12 (3) (1997)
Paulo Veríssimo, António Casimiro, Luís E. T. Rodrigues
Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. SRDS (1993)