Antnio Casimiro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
12
Active years
1993–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NetSoft | Diversity as a Security Primitive for ML-Based Network Intrusion Detection. | Allan Espindola, Altair O. Santin, Eduardo K. Viegas, Pedro M. Ferreira, Antnio Casimiro |
| 2024 | DSN | On the Design of Coordination Services for IoT. | Tiago Carvalho, Antnio Casimiro, Alysson Bessani |
| 2022 | DATE | VEDLIoT: Very Efficient Deep Learning in IoT. | Martin Kaiser, Ren Griessl, Nils Kucza, Carola Haumann, Lennart Tigges, Kevin Mika, Jens Hagemeyer, Florian Porrmann, Ulrich Rckert, Micha vor dem Berge, Stefan Krupop, Mario Porrmann, Marco Tassemeier, Pedro Trancoso, Fareed Qararyah, Stavroula Zouzoula, Antnio Casimiro, Alysson Neves Bessani, Jos Ceclio, Stefan Andersson, Oliver Brunnegrd, Olof Eriksson, Roland Weiss, Franz Meierhfer, Hans Salomonsson, Elaheh Malekzadeh, Daniel dman, Anum Khurshid, Pascal Felber, Marcelo Pasin, Valerio Schiavoni, Jmes Mntrey, Karol Gugala, Piotr Zierhoffer, Eric Knauss, Hans-Martin Heyn |
| 2019 | SRDS | Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights. | Antnio Casimiro, Emelie Ekenstedt, Elad Michael Schiller |
| 2018 | SAFECOMP | Dependable Outlier Detection in Harsh Environments Monitoring Systems. | Gonalo de Jesus, Antnio Casimiro, Anabela Oliveira |
| 2017 | DSN | SSIV 2017 Welcome. | Joo Carlos Cunha, Kalinka Branco, Antnio Casimiro, Urbano Nunes |
| 2016 | DSN | Introduction to SSIV 2016. | Joo Carlos Cunha, Kalinka Branco, Antnio Casimiro, Urbano Nunes |
| 2015 | DSN | Workshop on Safety and Security of Intelligent Vehicles (SSIV). | Joo Carlos Cunha, Kalinka Branco, Antnio Casimiro, Urbano Nunes |
| 2014 | SAFECOMP | Evaluation of Safety Rules in a Safety Kernel-Based Architecture. | Eric Vial, Antnio Casimiro |
| 2013 | DSN | The KARYON project: Predictable and safe coordination in cooperative vehicular systems. | Antnio Casimiro, Jrg Kaiser, Elad Schiller, Pedro Costa, Jos Parizi, Rolf Johansson, Renato Librino |
| 2013 | Middleware | Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. | Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila M. Pertet, Antnio Casimiro, Diego Kreutz, Paulo Verssimo |
| 2013 | SAFECOMP | Safety Kernel for Cooperative Sensor-Based Systems. | Pedro Nbrega Da Costa, Joo Craveiro, Antnio Casimiro, Jos Rufino |
| 2013 | SRDS | Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. | Luis Marques, Antnio Casimiro |
| 2012 | DAIS | A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures. | Diego Kreutz, Antnio Casimiro, Marcelo Pasin |
| 2012 | DSN | TRONE: Trustworthy and Resilient Operations in a Network Environment. | Antnio Casimiro, Paulo Verssimo, Diego Kreutz, Filipe Arajo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marlia Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan |
| 2012 | Middleware | Replication for dependability on virtualized cloud environments. | Filipe Arajo, Raul Barbosa, Antnio Casimiro |
| 2012 | SAC | Timeout-based adaptive consensus: improving performance through adaptation. | Monica Dixit, Henrique Moniz, Antnio Casimiro |
| 2012 | SAFECOMP | Introduction to ASCoMS 2012. | Antnio Casimiro, Jrg Kaiser |
| 2012 | SAFECOMP | Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. | Luis Marques, Antnio Casimiro |
| 2012 | SSS | Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. | Antnio Casimiro, Jrg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, Jos Parizi, Rolf Johansson, Renato Librino |
| 2011 | SRDS | Lightweight Dependable Adaptation for Wireless Sensor Networks. | Luis Marques, Antnio Casimiro |
| 2010 | SRDS | Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector. | Monica Dixit, Antnio Casimiro |
| 2010 | SRDS | Data Validity and Dependable Perception in Networked Sensor-Based Systems. | Luis Marques, Antnio Casimiro |
| 2009 | DSN | Workshop on Architecting Dependable Systems (WADS 2009). | Antnio Casimiro, Rogrio de Lemos, Cristina Gacek |
| 2009 | DSN | Design and development of a proof-of-concept platooning application using the HIDENETS architecture. | Luis Marques, Antnio Casimiro, Mario Calha |
| 2008 | SAC | A framework for dependable QoS adaptation in probabilistic environments. | Antnio Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Verssimo |
| 2007 | PRDC | Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antnio Casimiro, Paulo Verssimo |
| 2006 | ICSE | Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. | Antnio Casimiro, Jrg Kaiser, Paulo Verssimo |
| 2004 | DSN | Dependable Adaptive Real-Time Applications in Wormhole-based Systems. | Pedro Martins, Paulo Jorge Paiva de Sousa, Antnio Casimiro, Paulo Verssimo |
| 2002 | DSN | Generic Timing Fault Tolerance using a Timely Computing Base. | Antnio Casimiro, Paulo Verssimo |
| 2001 | RTSS | Measuring Distributed Durations with Stable Error. | Antnio Casimiro, Pedro Martins, Lus E. T. Rodrigues, Paulo Verssimo |
| 2001 | SRDS | Using the Timely Computing Base for Dependable QoS Adaptation. | Antnio Casimiro, Paulo Verssimo |
| 2000 | DSN | he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. | Paulo Verssimo, Antnio Casimiro, Christof Fetzer |
| 1993 | SRDS | Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. | Paulo Verssimo, Antnio Casimiro, Lus E. T. Rodrigues |