default search action
António Casimiro
António Casimiro Costa
Person information
- affiliation: University of Lisbon, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c46]Tiago Carvalho, António Casimiro, Alysson Bessani:
On the Design of Coordination Services for IoT. DSN-S 2024: 38-42 - 2023
- [c45]Kevin Mika
, René Griessl
VEDLIoT: Next generation accelerated AIoT systems and applications. CF 2023: 291-296 - [i4]Bakary Badjie, José Cecílio, António Casimiro:
Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm. CoRR abs/2303.15901 (2023) - [i3]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 abs/2305.05388 (2023) - 2022
- [c44]Martin Kaiser
VEDLIoT: Very Efficient Deep Learning in IoT. DATE 2022: 963-968 - [i2]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
VEDLIoT: Very Efficient Deep Learning in IoT. CoRR abs/2207.00675 (2022) - 2021
- [j15]Lion Silva, Naércio Magaia
Computing Paradigms in Emerging Vehicular Environments: A Review. IEEE CAA J. Autom. Sinica 8(3): 491-511 (2021) - [j14]Gonçalo de Jesus
Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems. ACM Trans. Cyber Phys. Syst. 5(3): 29:1-29:30 (2021) - [j13]Paolo Ferrari
Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. IEEE Trans. Ind. Electron. 68(8): 7672-7683 (2021) - 2020
- [j12]Alan Oliveira de Sá
Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. Sensors 20(3): 792 (2020) - [j11]José Cecílio
Evaluation of LoRa Technology in Flooding Prevention Scenarios. Sensors 20(14): 4034 (2020) - [e4]António Casimiro
Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Lecture Notes in Computer Science 12234, Springer 2020, ISBN 978-3-030-54548-2 [contents] - [e3]António Casimiro
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. Lecture Notes in Computer Science 12235, Springer 2020, ISBN 978-3-030-55582-5 [contents]
2010 – 2019
- 2019
- [c43]Alan Oliveira de Sá, António Casimiro
Bio-inspired System Identification Attacks in Noisy Networked Control Systems. BICT 2019: 28-38 - [c42]António Casimiro
Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights. SRDS 2019: 354-356 - [i1]António Casimiro, Emelie Ekenstedt, Elad Michael Schiller:
Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems. CoRR abs/1906.04703 (2019) - 2018
- [j10]Georg Jäger
Generic Sensor Failure Modeling for Cooperative Systems. Sensors 18(3): 925 (2018) - [c41]Gonçalo de Jesus
Dependable Outlier Detection in Harsh Environments Monitoring Systems. SAFECOMP Workshops 2018: 224-233 - [e2]António Casimiro
Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science 10873, Springer 2018, ISBN 978-3-319-92431-1 [contents] - 2017
- [j9]João Carlos Cunha
Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intell. Transp. Syst. Mag. 9(1): 6-7 (2017) - [j8]Marisol García-Valls
A few open problems and solutions for software technologies for dependable distributed systems. J. Syst. Archit. 73: 1-5 (2017) - [j7]Gonçalo de Jesus
A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks. Sensors 17(9): 2010 (2017) - [j6]André Nogueira, António Casimiro
Elastic State Machine Replication. IEEE Trans. Parallel Distributed Syst. 28(9): 2486-2499 (2017) - [c40]António Casimiro
Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe 2017: 53-69 - [c39]João Carlos Cunha
SSIV 2017 Welcome. DSN Workshops 2017: 1 - 2016
- [c38]João Carlos Cunha
Introduction to SSIV 2016. DSN Workshops 2016: 161 - 2015
- [c37]João Carlos Cunha
Workshop on Safety and Security of Intelligent Vehicles (SSIV). DSN 2015: 569-570 - 2014
- [j5]Filipe Araújo
Replica placement to mitigate attacks on clouds. J. Internet Serv. Appl. 5(1): 7:1-7:13 (2014) - [c36]António Casimiro
Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed. ICDCS Workshops 2014: 167-176 - [c35]Eric Vial, António Casimiro
Evaluation of Safety Rules in a Safety Kernel-Based Architecture. SAFECOMP Workshops 2014: 27-35 - [c34]António Casimiro
A kernel-based architecture for safe cooperative vehicular functions. SIES 2014: 228-237 - 2013
- [c33]António Casimiro
The KARYON project: Predictable and safe coordination in cooperative vehicular systems. DSN Workshops 2013: 1-12 - [c32]João Alves, António Casimiro
Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks. EWDC 2013: 16-23 - [c31]Gonçalo de Jesus, António Casimiro
Towards Dependable Measurements in Coastal Sensors Networks. EWDC 2013: 190-193 - [c30]Rolando Martins
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. Middleware 2013: 41-61 - [c29]Pedro Nóbrega Da Costa, João Craveiro, António Casimiro, José Rufino:
Safety Kernel for Cooperative Sensor-Based Systems. ASCoMS@SAFECOMP 2013 - [c28]Luis Marques
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. SRDS 2013: 31-40 - 2012
- [j4]Monica Dixit, António Casimiro
Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Trans. Auton. Adapt. Syst. 7(2): 18:1-18:25 (2012) - [c27]Diego Kreutz, António Casimiro
A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures. DAIS 2012: 87-95 - [c26]António Casimiro
TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops 2012: 1-6 - [c25]Filipe Araújo
Replication for dependability on virtualized cloud environments. MGC@Middleware 2012: 2 - [c24]Monica Dixit, Henrique Moniz
Timeout-based adaptive consensus: improving performance through adaptation. SAC 2012: 492-497 - [c23]António Casimiro
Introduction to ASCoMS 2012. SAFECOMP Workshops 2012: 149-150 - [c22]Luis Marques
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. SAFECOMP Workshops 2012: 151-161 - [c21]António Casimiro
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. SSS 2012: 232-235 - 2011
- [c20]Luis Marques
Lightweight Dependable Adaptation for Wireless Sensor Networks. SRDS Workshops 2011: 26-35 - 2010
- [c19]Monica Dixit, António Casimiro
Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector. SRDS 2010: 141-147 - [c18]Luis Marques
Data Validity and Dependable Perception in Networked Sensor-Based Systems. SRDS 2010: 358-362 - [e1]António Casimiro
Architecting Dependable Systems VII. Lecture Notes in Computer Science 6420, Springer 2010, ISBN 978-3-642-17244-1 [contents]
2000 – 2009
- 2009
- [c17]Luis Marques
Design and development of a proof-of-concept platooning application using the HIDENETS architecture. DSN 2009: 223-228 - [c16]António Casimiro
Workshop on Architecting Dependable Systems (WADS 2009). DSN 2009: 598-599 - [c15]António Casimiro
Applying Architectural Hybridization in Networked Embedded Systems. SEUS 2009: 264-275 - 2008
- [c14]António Casimiro
A framework for dependable QoS adaptation in probabilistic environments. SAC 2008: 2192-2196 - 2007
- [c13]Marco Vieira
Towards Timely ACID Transactions in DBMS. DASFAA 2007: 262-274 - [c12]Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo:
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364 - [c11]Hugo Ortiz, António Casimiro
Architecture and Implementation of an Embedded Wormhole. SIES 2007: 341-344 - 2006
- [c10]António Casimiro
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS 2006: 287-315 - [c9]Marco Vieira
Towards Timely ACID Transactions in DBMS. PRDC 2006: 381-382 - 2005
- [j3]Pedro Martins, Paulo Sousa, António Casimiro
A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE Distributed Syst. Online 6(5) (2005) - 2004
- [c8]António Casimiro
An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers 2004: 28-39 - [c7]Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro
Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN 2004: 567- - 2003
- [c6]Paulo Veríssimo
Event-Driven Support of Real-Time Sentient Objects. WORDS 2003: 2-9 - 2002
- [j2]Paulo Veríssimo
The Timely Computing Base Model and Architecture. IEEE Trans. Computers 51(8): 916-930 (2002) - [c5]António Casimiro
Generic Timing Fault Tolerance using a Timely Computing Base. DSN 2002: 27-38 - 2001
- [c4]António Casimiro
Measuring Distributed Durations with Stable Error. RTSS 2001: 310-319 - [c3]António Casimiro
Using the Timely Computing Base for Dependable QoS Adaptation. SRDS 2001: 208-217 - 2000
- [c2]Paulo Veríssimo, António Casimiro
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN 2000: 533-542
1990 – 1999
- 1997
- [j1]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): 243-294 (1997) - 1993
- [c1]Paulo Veríssimo, António Casimiro
Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. SRDS 1993: 115-124
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 01:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: