António Casimiro

73 papers A 9B 9C 3Misc 4Journal 24Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Decoupling Mixture-of-experts Routing from Gradient Noise: A Framework for Structured Specialization and Soft Generalization Toward Robust and Efficient Inference. Expert Syst. Appl. Bakary Badjie, José Cecílio, António Casimiro
2026	J	`jnl`	Enhancing intrusion detection generalization via diversity-driven multi-view ensemble learning in industrial systems. Future Gener. Comput. Syst. Allan Espindola, António Casimiro, Altair O. Santin, Pedro Miguel Ferreira, Eduardo K. Viegas
2025	J	`jnl`	Adversarial Attacks and Countermeasures on Image Classification-based Deep Learning Models in Autonomous Driving Systems: A Systematic Review. ACM Comput. Surv. Bakary Badjie, José Cecílio, António Casimiro
2025	J	`jnl`	Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework. CoRR Bakary Badjie, José Cecílio, António Casimiro
2025	J	`jnl`	LWSEE: Lightweight Secured Software-Based Execution Environment. Internet Things José Cecílio, Alan Oliveira de Sá, Georg Jäger, André Souto, António Casimiro
2024	—	`conf`	On the Design of Coordination Services for IoT. DSN-S Tiago Carvalho, António Casimiro, Alysson Bessani
2023	J	`jnl`	Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm. CoRR Bakary Badjie, José Cecílio, António Casimiro
2023	J	`jnl`	VEDLIoT - Next generation accelerated AIoT systems and applications. CoRR 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
2023	—	`conf`	VEDLIoT: Next generation accelerated AIoT systems and applications. CF 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
2022	A	`conf`	VEDLIoT: Very Efficient Deep Learning in IoT. DATE 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
2022	J	`jnl`	VEDLIoT: Very Efficient Deep Learning in IoT. CoRR 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
2021	J	`jnl`	Computing Paradigms in Emerging Vehicular Environments: A Review. IEEE CAA J. Autom. Sinica Lion Silva, Naércio Magaia, Breno Sousa, Anna Kobusinska, António Casimiro, Constandinos X. Mavromoustakis, George Mastorakis, Victor Hugo C. de Albuquerque
2021	J	`jnl`	Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. IEEE Trans. Ind. Electron. 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
2021	J	`jnl`	Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems. ACM Trans. Cyber Phys. Syst. Gonçalo de Jesus, António Casimiro, Anabela Oliveira
2020	B	`ed.`	Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings SAFECOMP António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira
2020	—	`ed.`	Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings "SAFECOMP Workshops António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira
2020	J	`jnl`	Evaluation of LoRa Technology in Flooding Prevention Scenarios. Sensors José Cecílio, Pedro Miguel Ferreira, António Casimiro
2020	J	`jnl`	Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. Sensors Alan Oliveira de Sá, António Casimiro, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo
2019	—	`conf`	Bio-inspired System Identification Attacks in Noisy Networked Control Systems. BICT Alan Oliveira de Sá, António Casimiro, Raphael Carlos Santos Machado, Luiz Fernando Rust da Costa Carmo
2019	J	`jnl`	Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems. CoRR António Casimiro, Emelie Ekenstedt, Elad Michael Schiller
2019	B	`conf`	Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights. SRDS António Casimiro, Emelie Ekenstedt, Elad Michael Schiller
2018	—	`conf`	Dependable Outlier Detection in Harsh Environments Monitoring Systems. SAFECOMP Workshops Gonçalo de Jesus, António Casimiro, Anabela Oliveira
2018	J	`jnl`	Generic Sensor Failure Modeling for Cooperative Systems. Sensors Georg Jäger, Sebastian Zug, António Casimiro
2018	Misc	`ed.`	Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings Ada-Europe António Casimiro, Pedro Miguel Ferreira
2017	J	`jnl`	A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks. Sensors Gonçalo de Jesus, António Casimiro, Anabela Oliveira
2017	J	`jnl`	A few open problems and solutions for software technologies for dependable distributed systems. J. Syst. Archit. Marisol García-Valls, António Casimiro, Hans P. Reiser
2017	J	`jnl`	Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intell. Transp. Syst. Mag. João Carlos Cunha, Kalinka Castelo Branco, António Casimiro, Urbano Nunes
2017	J	`jnl`	Elastic State Machine Replication. IEEE Trans. Parallel Distributed Syst. André Nogueira, António Casimiro, Alysson Bessani
2017	Misc	`conf`	Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe António Casimiro, Inês Pinto Gouveia, José Rufino
2017	—	`conf`	SSIV 2017 Welcome. DSN Workshops João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes
2016	—	`conf`	Introduction to SSIV 2016. DSN Workshops João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes
2015	A	`conf`	Workshop on Safety and Security of Intelligent Vehicles (SSIV). DSN João Carlos Cunha, Kalinka Branco, António Casimiro, Urbano Nunes
2014	—	`conf`	A kernel-based architecture for safe cooperative vehicular functions. SIES António Casimiro, José Rufino, Ricardo C. Pinto, Eric Vial, Elad Michael Schiller, Oscar Morales-Ponce, Thomas Petig
2014	—	`conf`	Evaluation of Safety Rules in a Safety Kernel-Based Architecture. SAFECOMP Workshops Eric Vial, António Casimiro
2014	J	`jnl`	Replica placement to mitigate attacks on clouds. J. Internet Serv. Appl. Filipe Araújo, Serhiy Boychenko, Raul Barbosa, António Casimiro
2014	—	`conf`	Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed. ICDCS Workshops António Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller
2013	A	`conf`	Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. Middleware Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila M. Pertet, António Casimiro, Diego Kreutz, Paulo Veríssimo
2013	B	`conf`	Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. SRDS Luis Marques, António Casimiro
2013	—	`conf`	Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks. EWDC João Alves, António Casimiro, Luis Marques
2013	—	`conf`	Safety Kernel for Cooperative Sensor-Based Systems. ASCoMS@SAFECOMP Pedro Nóbrega Da Costa, João Craveiro, António Casimiro, José Rufino
2013	—	`conf`	The KARYON project: Predictable and safe coordination in cooperative vehicular systems. DSN Workshops António Casimiro, Jörg Kaiser, Elad Schiller, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
2013	—	`conf`	Towards Dependable Measurements in Coastal Sensors Networks. EWDC Gonçalo de Jesus, António Casimiro, Anabela Oliveira
2012	C	`conf`	A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures. DAIS Diego Kreutz, António Casimiro, Marcelo Pasin
2012	J	`jnl`	Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Trans. Auton. Adapt. Syst. Monica Dixit, António Casimiro, Paolo Lollini, Andrea Bondavalli, Paulo Veríssimo
2012	C	`conf`	Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. SSS António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
2012	—	`conf`	Introduction to ASCoMS 2012. SAFECOMP Workshops António Casimiro, Jörg Kaiser
2012	—	`conf`	Replication for dependability on virtualized cloud environments. MGC@Middleware Filipe Araújo, Raul Barbosa, António Casimiro
2012	—	`conf`	TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops 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
2012	Misc	`conf`	Timeout-based adaptive consensus: improving performance through adaptation. SAC Monica Dixit, Henrique Moniz, António Casimiro
2012	—	`conf`	Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. SAFECOMP Workshops Luis Marques, António Casimiro
2011	—	`conf`	Lightweight Dependable Adaptation for Wireless Sensor Networks. SRDS Workshops Luis Marques, António Casimiro
2010	B	`conf`	Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector. SRDS Monica Dixit, António Casimiro
2010	B	`ed.`	Architecting Dependable Systems VII WADS António Casimiro, Rogério de Lemos, Cristina Gacek
2010	B	`conf`	Data Validity and Dependable Perception in Networked Sensor-Based Systems. SRDS Luis Marques, António Casimiro
2009	—	`conf`	Applying Architectural Hybridization in Networked Embedded Systems. SEUS António Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo
2009	A	`conf`	Design and development of a proof-of-concept platooning application using the HIDENETS architecture. DSN Luis Marques, António Casimiro, Mario Calha
2009	A	`conf`	Workshop on Architecting Dependable Systems (WADS 2009). DSN António Casimiro, Rogério de Lemos, Cristina Gacek
2008	Misc	`conf`	A framework for dependable QoS adaptation in probabilistic environments. SAC António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo
2007	—	`conf`	Architecture and Implementation of an Embedded Wormhole. SIES Hugo Ortiz, António Casimiro, Paulo Veríssimo
2007	C	`conf`	Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo
2006	B	`conf`	Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS António Casimiro, Jörg Kaiser, Paulo Veríssimo
2005	J	`jnl`	A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE Distributed Syst. Online Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
2004	—	`conf`	An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers António Casimiro, Jörg Kaiser, Paulo Veríssimo
2004	A	`conf`	Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo
2003	—	`conf`	Event-Driven Support of Real-Time Sentient Objects. WORDS Paulo Veríssimo, António Casimiro
2003	—	`—`	Timely Actions in the Presence of Uncertain Timeliness. António Casimiro
2002	A	`conf`	Generic Timing Fault Tolerance using a Timely Computing Base. DSN António Casimiro, Paulo Veríssimo
2002	J	`jnl`	The Timely Computing Base Model and Architecture. IEEE Trans. Computers Paulo Veríssimo, António Casimiro
2001	A	`conf`	Measuring Distributed Durations with Stable Error. RTSS António Casimiro, Pedro Martins, Luís E. T. Rodrigues, Paulo Veríssimo
2001	B	`conf`	Using the Timely Computing Base for Dependable QoS Adaptation. SRDS António Casimiro, Paulo Veríssimo
2000	A	`conf`	he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN Paulo Veríssimo, António Casimiro, Christof Fetzer
1997	J	`jnl`	CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real Time Syst. Paulo Veríssimo, Luís E. T. Rodrigues, António Casimiro
1993	B	`conf`	Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. SRDS Paulo Veríssimo, António Casimiro, Luís E. T. Rodrigues