Linkedin

Member

António Casimiro

António Casimiro visit and invited talk @ KAUST
LASIGE @ HiPEAC 2024
LASIGE @ Ciências Research & Innovation Day 2023
António Casimiro at the VEDLIoT’s 5th Project General Assembly
VEDLIoT project @ the IoT Tech Expo 2023
ADMORPH project final review
Strong presence of LASIGE @ DSN2023
8th LASIGE Workshop (2023)
LASIGE @ HiPEAC 2023
ADMORPH Consortium Meeting in Luxembourg
Vedliot’s 3rd Project General Assembly
LASIGE at INForum 2022 organization
ADMORPH project meets at Lisbon
LASIGE distinguished @ the 111st Ciências ULisboa anniversary
LASIGE @ Cybersecurity Executive Program
ADMORPH's project @ YouTube channel
LASIGE @ Encontro Ciência'21
LASIGE’s paper getting considerable media coverage
H2020 SEEDS kick-off project meeting
José Cecílio, Pedro M. Ferreira and António Casimiro's paper at MDPI Sensors Journal
VEDLIoT, the new EU project funding of LASIGE
LASIGE @ Encontro Ciência' 20
Successful organization at SafeComp2020
LASIGE gets H2020 MSCA RISE funding in the SEEDS project
António Casimiro is the new Ada User Journal (AUJ) Editor-in-Chief
LASIGE publication @ IEEE Transactions on Industrial Electronics
LASIGE participates in CERCIRAS, a COST funded R&D network
António Casimiro's talk @ IFIP 10.4 Working Group
General Chair and Program Co-Chair @ SafeComp 2020
New LASIGE Executive Committee Elected (2020/2021)
LASIGE relevant participation - INForum 2019
LASIGE members have been selected to host prestigious conferences in their fields
Invited Talk @ ASHLEY Project - Academic Workshop
Best Student Paper Award @ INFórum 2015
Keynote speech @ COSSMO 2015
INForum 2015 - Simpósio de Informática
Round Table @ Porto Cyber Security Conference 2015
1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015) co-organized by LaSIGE member
IFIP 10.4 Working Group Workshop organized by LaSIGE member

ONGOING

Acronym Title Funding Entity Start Date End Date
SEEDS A holistic design of secure vehicular networks: communications, data caching and blockchain services EU 01/03/2021 28/02/2025

PAST

Acronym Title Funding Entity Start Date End Date
VEDLIoT Very Efficient Deep Learning IoT platform EU H2020 01/11/2020 31/10/2023
XIVT eXcellence In Variant Testing P2020 01/01/2020 30/06/2023
ADMORPH Adaptive, dynamically morphing, mission and safety-critical CPS EU H2020 01/01/2020 30/06/2023
AQUAMON Dependable Monitoring with Wireless Sensor Networks in Water Environments FCT 01/10/2018 30/09/2022
REDBOOK Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs FCT 01/10/2018 30/09/2021
IRCoC Intelligent Resilience for Cloud-of-Clouds Services FCT 01/07/2016 31/12/2019
NORTH Non-intrusive Observation and RunTime verification of cyber-pHysical systems FCT 01/01/2017 31/12/2018
ParIS Strategic partnership in Information Security EU ERASMUS+ 01/10/2014 30/09/2017
KARYON Kernel-based Architecture for safety-critical cONtrol EU FP7 01/10/2011 31/12/2014
TRONE Trustworthy and Resilient Operations in a Network Environment FCT 01/10/2010 31/03/2014
MASSIF MASSIF - MAnagement of Security information and events in Service InFrastructures EU FP7 01/10/2010 30/09/2013
CloudFIT CloudFIT - Fault and Intrusion Tolerance for Cloud Computing FCT 01/01/2010 31/12/2011
HIDENETS HIghly DEpendable ip-based NETworks and Services EU FP6 02/01/2006 01/01/2009
to
Bakary Badjie, José Cecílio, Antonio Casimiro. Adversarial Attacks and Countermeasures on Image Classification-based Deep Learning Models in Autonomous Driving Systems: A Systematic Review. ACM Computing Surveys, Association for Computing Machinery (ACM), 2024 [Biblios]
Costa, Gonçalo Manuel Valente da, Costa, António Casimiro Ferreira da, Cecílio, José Manuel da Silva. Cooperative Autonomous Driving in Simulation. Master's dissertation, 2024 [Biblios]
Badjie, B, Cecílio, J., Casimiro, A.. Denoising Autoencoder-Based Defensive Distillation as an Adversarial Robustness Algorithm Against Data Poisoning Attacks. In Ada User Journal, pages 209-213(3), 2023 [Biblios]
A Pimentel, C Grelck, L Miedema, D Sapra, M Völp, F Lucchetti, A Matovic, M Maggio, N Vreman, S Altmeyer, F Haas, A Casimiro, J Cecílio, G Jäger, A Espindola, S Skalistis, J Kouwer, G de Lange, J Almeida, H Blasum, M Brotz, S Wagner, P Novobílský. The ADMORPH approach for Adaptively Morphing Embedded Systems. In Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering, 2023 [Biblios]
Costa, G., Cecílio, J., Casimiro, A.. Cooperative Autonomous Driving in Simulation. In Ada User Journal, pages 133-136(2), 2023 [Biblios]
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 Brunnegard, Olof Eriksson, Hans Salomonsson, Daniel Ödman, Andreas Ask, Antonio 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. In Proceedings of the 20th ACM International Conference on Computing Frontiers. ACM, 2023 [Biblios]
Inês Sousa Sousa, António Casimiro, José Cecílio. Artificial Neural Networks for Real-Time Data Quality Assurance. ACM SIGAda Ada Letters, 42(1):86-89, Association for Computing Machinery (ACM), 2022 [Biblios]
Miguel Gutierrez Gaitan, Pedro M. d'Orey, Jose Cecilio, Marta Rodrigues, Pedro M. Santos, Luis Pinto, Anabela Oliveira, Antonio Casimiro, Luis Almeida. Modeling LoRa Communications in Estuaries for IoT Environmental Monitoring Systems. IEEE Sensors Journal, 22(21):21312-21325, Institute of Electrical and Electronics Engineers (IEEE), 2022 [Biblios]
M. Kaiser, R. Griessl, N. Kucza, C. Haumann, L. Tigges, K. Mika, J. Hagemeyer, F. Porrmann, U. Ruckert, M. vor dem Berge, S. Krupop, M. Porrmann, M. Tassemeier, P. Trancoso, F. Qararyah, S. Zouzoula, A. Casimiro, A. Bessani, J. Cecilio, S. Andersson, O. Brunnegard, O. Eriksson, R. Weiss, F. Mcierhofer, H. Salomonsson, E. Malekzadeh, D. Odman, A. Khurshid, P. Felber, M. Pasin, V. Schiavoni, J. Menetrey, K. Gugala, P. Zierhoffer, E. Knauss, H. Heyn. VEDLIoT: Very Efficient Deep Learning in IoT. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 2022 [Biblios]
Carvalho, Tiago Rafael Neto, Bessani, Alysson Neves, Costa, António Casimiro Ferreira da. Distributed Attestation Service for IoT. Master's dissertation, 2022 [Biblios]
Valente, João Miguel Mota Cláudio, Ferreira, Pedro Miguel Frazão Fernandes, Costa, António Casimiro Ferreira da. Data quality and dependability of IOT Platform for buildings energy assessment. Master's dissertation, 2022 [Biblios]
Martins, José António Teixeira, Costa, António Casimiro Ferreira da. Solução para a extinção da pegada digital de um utilizador. Master's dissertation, 2022 [Biblios]
Nunes, Guilherme Nuno Baptista, Costa, António Casimiro Ferreira da, Alegria, José. CyberSOC4AD: integração de tecnologia Semperis e CyberArk no ecossistema SIEM IBM QRadar e Palo Alto Cortex XSOAR do CyberSOC da Altice Portugal. Master's dissertation, 2022 [Biblios]
Sousa, Inês Silva, Cecílio, José Manuel da Silva, Costa, António Casimiro Ferreira da. Integration of multiple data sources and dashboard for a remote monitoring system. Master's dissertation, 2022 [Biblios]
Jesus, G., Oliveira, A., Casimiro, A.. Systematic Failure Detection and Correction in Environmental Monitoring Systems. Sensors & Transducers Journal, 252(5):28-34, International Frequency Sensor Association (IFSA) Publishing, 2021 [Biblios]
Gonçalo Jesus, António Casimiro, Anabela Oliveira. Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems. ACM Transactions on Cyber-Physical Systems, 5(3):1-30, Association for Computing Machinery (ACM), 2021 [Biblios]
Lion Silva, Naercio Magaia, Breno Sousa, Anna Kobusi?ska, António Casimiro, Constandinos X. Mavromoustakis, George Mastorakis, Victor Hugo C. de Albuquerque. Computing Paradigms in Emerging Vehicular Environments: A Review. IEEE/CAA Journal of Automatica Sinica, 8(3):491-511, 2021 [Biblios]
José Cecílio, Pedro M. Ferreira, António Casimiro. Evaluation of LoRa Technology in Flooding Prevention Scenarios. Sensors, 20(14), MDPI AG, 2020 [Biblios]
Alan Oliveira de Sá, António Casimiro, Raphael C. S. Machado, Luiz F. R. da C. Carmo. Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. Sensors, 20(3), MDPI AG, 2020 [Biblios]
João Miguel Mendes Penim, António Casimiro Ferreira da Costa, Pedro Miguel Frazão Fernandes Ferreira. Implementação de Soluções para Confiabilidade de Dados em Redes de Sensores sem Fios. Master's dissertation, 2020 [Biblios]
Marco Manuel Santos Vieira, António Casimiro. PICSEL – Portable ICS Extensible Lab. Master's dissertation, 2020 [Biblios]
André Manuel da Silva Pereira, António Casimiro. Geração Automática de Serviços de Integração em Plataformas de Middleware. Master's dissertation, 2020 [Biblios]
Beatriz Pereira Sécio, António Casimiro Ferreira da Costa. Deteção em tempo quase-real de anomalias no comportamento de administradores de sistemas. Master's dissertation, 2020 [Biblios]
Lourenço, Miguel Ângelo Luís, Costa, António Casimiro Ferreira da, Bessani, Alysson Neves. Data Management for Cloud Supported Cooperative Driving. Master's dissertation, 2020 [Biblios]
Antonio Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira. Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, Springer International Publishing, Lecture Notes in Computer Science, 2020 [Biblios]
Antonio Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira. Computer Safety, Reliability, and Security, Springer International Publishing, Lecture Notes in Computer Science, 2020 [Biblios]
Paolo Ferrari, Emiliano Sisinni, Paolo Bellagente, Stefano Rinaldi, Marco Pasetti, Alan Oliveira de Sa, Raphael C. S. Machado, Luiz F. R. da C. Carmo, Antonio Casimiro. Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. IEEE Transactions on Industrial Electronics, 1-1, Institute of Electrical and Electronics Engineers (IEEE), 2020 [Biblios]
Antonio Casimiro, Emelie Ekenstedt, Elad M. Schiller. Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights. In 2019 38th Symposium on Reliable Distributed Systems (SRDS). IEEE, 2019 [Biblios]
Carlos Nascimento, António Casimiro, Pedro M. Ferreira. A Methodology to Automate the Selection of LPWA Technologies in WSN Applications. In INForum 2019 - Simpósio de Informática, 2019 [Biblios]
Jesus, Gonçalo João Vitorino de , Casimiro, António, Oliveira, Anabela. A dependability framework for WSN-based aquatic monitoring systems. PhD thesis, 2019 [Biblios]
Alves, João de Sousa, Costa, António Casimiro Ferreira da. CAN FD: a communication network for future avionic systems. Master's dissertation, 2019 [Biblios]
Miranda, Gonçalo Manuel Martins, Costa, António Casimiro Ferreira da, Alegria, José. Determinação de Pontos ótimos de inserção do NIDS numa rede corporativa de grande dimensão. Master's dissertation, 2019 [Biblios]
Fernandes, Fábio Guimarães, Costa, António Casimiro Ferreira da, Alegria, José António dos Santos. Desenvolvimento de um processo automático de gestão de vulnerabilidades de ciber segurança em ambientes de grande dimensão. Master's dissertation, 2019 [Biblios]
Martins, Edgar Tito Matias Oliveira, Costa, António Casimiro Ferreira da. Recolha de cyberthreat open source intelligence usando técnicas de correlação de informação. Master's dissertation, 2019 [Biblios]
Carlos Alexandre Aleixo Nascimento, Costa, António Casimiro Ferreira da, Ferreira, Pedro Miguel Frazão Fernandes. Evaluation of wsn technology for dependable monitoring in water environmnts. Master's dissertation, 2019 [Biblios]
Tiago André Martinho Correia, Costa, António Casimiro Ferreira da, Magaia, Naercio David Pedro. Design and implementation of a cloud-based membership system for vehicular cooperation. Master's dissertation, 2019 [Biblios]
João Pedro Vicente e Campos Pinto, Costa, António Casimiro Ferreira da, Magaia, Naercio David Pedro. Design and implementation of a protocol for safe cooperation of self-driving cars. Master's dissertation, 2019 [Biblios]
António Casimiro, José Cecílio, Pedro Ferreira, Anabela Oliveira, Paula Freire, Marta Rodrigues , Luís Almeida. AQUAMON – A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments. In 38th International Conference on on Computer Safety, Reliability and Security (SAFECOMP 2019), 2019 [Biblios]
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, In Bio-inspired Information and Communication Technologies,Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 28 - 38. Springer International Publishing, 2019 [Biblios]
José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache. NORTH – Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems. Ada User Journal, 39(4):278-281, 2018 [Biblios]
José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma. Non-intrusive Runtime Verification within a System-on-Chip. Ada User Journal, 39(4):296-299, 2018 [Biblios]
Gonçalo Lima Tavares Campos dos Reis, António Casimiro Ferreira da Costa, José António dos Santos Alegria. Controlos de cibersegurança em ambientes MS Windows de grandes empresas: modelo de risco para priorização de atualizações de segurança. Master's dissertation, 2018 [Biblios]
Georg Jäger, Sebastian Zug, António Casimiro. Generic Sensor Failure Modeling for Cooperative Systems. Sensors, 18(3), MDPI AG, 2018 [Biblios]
Marisa Tomé Félix, António Casimiro Ferreira da Costa, José António do Santos Alegria. Unified cyber threat intelligence. Master's dissertation, 2018 [Biblios]
António Casimiro. Sensors – Special Issue “Dependable Monitoring in Wireless Sensor Networks”, MDPI, Sensors - Section "Sensor Networks", 2018 [Biblios]
António Casimiro, Pedro M. Ferreira. Reliable Software Technologies – Ada-Europe 2018, Springer International Publishing, Lecture Notes in Computer Science, 2018 [Biblios]
Gonçalo Jesus, António Casimiro, Anabela Oliveira. Dependable Outlier Detection in Harsh Environments Monitoring Systems. In Developments in Language Theory,Lecture Notes in Computer Science, pages 224-233. Springer International Publishing, 2018 [Biblios]
Pedro Miguel Rainho Chaves, Costa, António Casimiro Ferreira da, Costa, Luís Miguel Dias. Event processing and correlation for a cyber defence center. Master's dissertation, 2017 [Biblios]
Gonçalo Jesus, António Casimiro, Anabela Oliveira. A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks. Sensors, 17(9), MDPI AG, 2017 [Biblios]
Andre Nogueira, Antonio Casimiro, Alysson Bessani. Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems, 28(9):2486-2499, Institute of Electrical and Electronics Engineers (IEEE), 2017 [Biblios]
Joao Carlos Cunha, Kalinka Branco, Antonio Casimiro, Urbano Nunes. SSIV 2017 Welcome. In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, 2017 [Biblios]
Marisol García-Valls, António Casimiro, Hans P. Reiser. A few open problems and solutions for software technologies for dependable distributed systems. Journal of Systems Architecture, 73, Elsevier BV, 2017 [Biblios]
Joao Carlos Cunha, Kalinka Castelo Branc, Antonio Casimiro, Urbano Jose C. Nunes. Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intelligent Transportation Systems Magazine, 9(1):6-7, Institute of Electrical and Electronics Engineers (IEEE), 2017 [Biblios]
António Casimiro, Inês Gouveia, José Rufino. Enforcing Timeliness and Safety in Mission-Critical Systems. In Reliable Software Technologies – Ada-Europe 2017,Lecture Notes in Computer Science, pages 53-69. Springer International Publishing, 2017 [Biblios]
Joao Carlos Cunha, Kalinka Branco, Antonio Casimiro, Urbano Nunes. Introduction to SSIV 2016. In 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W). IEEE, 2016 [Biblios]
Hugo Viegas, António Casimiro Ferreira da Costa. Estudo, implementação e avaliação de um sistema de tempo real na plataforma RaspberryPi. Master's dissertation, 2015 [Biblios]
Rúben Miguel Meneses, António Casimiro Ferreira da Costa, José António dos Santos Alegria. Procura e análise automatizada de superfícies expostas e passíveis de ataque a partir da Internet. Master's dissertation, 2015 [Biblios]
João Ferreira, António Casimiro Ferreira da Costa, José António dos Santos Alegria. Investigação e implementação de uma datawarehouse para descoberta forense, classificação, agregação e análise de identidades e acessos a dados sensíveis. Master's dissertation, 2015 [Biblios]
Radu Onica, Nuno Fuentecilla Maia Ferreira Neves, António Casimiro Ferreira da Costa. Secure GPS Clock Synchronization in Smart Grids. Master's dissertation, 2015 [Biblios]
João Carlos Cunha, Kalinka Branco, Antonio Casimiro, Urbano Nunes. Proceedings of the Workshop on Safety and Security of Intelligent Vehicles (SSIV), 2015 [Biblios]
Rúben Menezes, António Casimiro, José A. Alegria, Paulo T. Serrão. Procura e Análise Automatizada de Superfícies Expostas e Passíveis de Ataque a Partir da Internet. In 7th Simpósio de Informática (INFORUM), 2015 [Biblios]
Radu Onica, Nuno Neves, António Casimiro. Fault-Tolerant Precision Time Protocol for Smart Grids. In 7th Simpósio de Informática (INFORUM), 2015 [Biblios]
Gonçalo Jesus, Anabela Oliveira, Alberto Azevedo, António Casimiro. Improving sensor-fusion with environmental models. In 2015 IEEE SENSORS, pages 1839-1842, 2015 [Biblios]
Casimiro, A., Defago, X.. Message from Technical Program Co-chairs. In 2014 IEEE 33rd International Symposium on Reliable Distributed Systems. IEEE, 2014 [Biblios]
Figueira, Pedro Miguel Ferreira, Costa, António Casimiro Ferreira da, Alegria, José . Analysis and implementation of consistency and fault tolerance mechanisms in soft real-time systems. Master's dissertation, 2014 [Biblios]
Filipe Araujo, Serhiy Boychenko, Raul Barbosa, António Casimiro. Replica placement to mitigate attacks on clouds, 2014 [Biblios]
Eric Vial, António Casimiro. Evaluation of Safety Rules in a Safety Kernel-Based Architecture. In 33rd SAFECOMP Workshop, pages 27-35, 2014 [Biblios]
Gonçalo Jesus, Antonio Casimiro, Anabela Oliveira. Ensuring reliable measurements in remote aquatic sensor networks. In 11th International Conference on Hydroinformatics (HIC 2014), 2014 [Biblios]
António Casimiro, Oscar Morales Ponce, Thomas Petig, Elad M. Schiller. Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed. In The Thirteenth International Workshop on Assurance in Distributed Systems and Networks (ADSN 2014), Proceedings of the 34th International Conference on Distributed Computing Systems Workshops, pages 167-176, 2014 [Biblios]
Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino, Pedro Costa. An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance. In Workshop on Embedded Real-Time Software and Systems, 2014 [Biblios]
António Casimiro, José Rufino, Ricardo C. Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce, Thomas Petig. A Kernel-based Architecture fo Safe Cooperative Vehicular Functions. In 2014 Symposium on Industrial Embedded Systems, pages 228-237, 2014 [Biblios]
Miguel Osório Areias, Costa, António Casimiro Ferreira da, Bessani, Alysson Neves. SCADA in a Cloud-Based Architecture. Master's dissertation, 2013 [Biblios]
João André Varino Alves, Costa, António Casimiro Ferreira da, Marques, Luís Miguel Madeira. TimelyWSN: Middleware Architecture for Probabilistic QoS Support in WSNs. Master's dissertation, 2013 [Biblios]
Igor Daniel Cristina Antunes, Costa, António Casimiro Ferreira da, Kreutz, Diego Luís. FIT-BROKER: Delivering a Reliable Service for Event Dissemination. Master's dissertation, 2013 [Biblios]
Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, Paulo Veríssimo. Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. In 14th ACM/IFIP/USENIX International Middleware Conference, 2013 [Biblios]
Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino. Safety Kernel for Cooperative Sensor-Based Systems. In Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), 2013 [Biblios]
Luís Marques, António Casimiro. Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. In 32nd IEEE Symposium on Reliable Distributed Systems (SRDS'13), 2013 [Biblios]
João Alves, António Casimiro, Luís Marques. Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks. In 14th European Workshop on Dependable Computing, 2013 [Biblios]
Gonçalo Jesus, António Casimiro, Anabela Oliveira. Towards Dependable Measurements in Coastal Sensors Networks. In 14th European Workshop on Dependable Computing, 2013 [Biblios]
António Casimiro, Jörg Kaiser, Elad Michael Schiller, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino. The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems. In 2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems, 2013 [Biblios]
Casimiro, A, Ghandi, R., Araújo, F.. Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, ACM, 2012 [Biblios]
Hugo Rosa da Silva, Costa, António Casimiro Ferreira da, Alegria, José. Investigação e Desenvolvimento de Mecanismos Automáticos e Distribuídos de Detecção, Análise e Mensuração de Eventos Relevantes para a Avaliação da Qualidade de Protecção de Call Centers de Grande Dimensão. Master's dissertation, 2012 [Biblios]
Luís Marques, António Casimiro. Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks, 2012 [Biblios]
Mônica Dixit, Henrique Moniz, António Casimiro. Timeout-based Adaptive Consensus: Improving Performance through Adaptation.. In 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, 2012 [Biblios]
Diego Kreutz, António Casimiro, Marcelo Pasin. A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures. In 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), pages 87-95. Springer Berlin Heidelberg, 2012 [Biblios]
Amir Soltani Nezhad, António Casimiro, Paulo Veríssimo. A Secure Architecture for a Recursive Virtualization Environment. In International Conference on Dependable Systems and Networks (DSN'12), 2012 [Biblios]
António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raúl Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan. TRONE: Trustworthy and Resilient Operations in a Network Environment. In 2nd International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV'12), pages 1-6, 2012 [Biblios]
Luís Marques, António Casimiro. Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. In Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), pages 151-161, 2012 [Biblios]
António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino. KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. In 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), 2012 [Biblios]
Filipe Araujo, Raul Barbosa, António Casimiro. Replication for Dependability on Virtualized Cloud Environments. In 10th International Workshop on Middleware for Clouds and e-science, 2012 [Biblios]
Mônica Dixit, António Casimiro, Paolo Lolinni, Andrea Bondavalli, Paulo Veríssimo. Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 7(2), 2012 [Biblios]
Antunes, Nuno Filipe Fernandes, Casimiro, António. MS IPTV audit collection services. Master's dissertation, 2011 [Biblios]
Broega, António José Carvalho, Casimiro, António, Fernandes, Nuno. Estudo e implementação de soluções para a melhoria da qualidade de serviço da rede do departamento de informática da FCUL: autenticação baseada em 802.1X e transição para IPV6. Master's dissertation, 2011 [Biblios]
Padhy, S., A. Casimiro, D. Kreutz, M. Pasin. Trustworthy and Resilient Monitoring System for Cloud Infrastructure. In ACM/IFIP/USENIX 12th International Middleware Conference, Poster session, 2011 [Biblios]
Smruti Padhy, Diego Kreutz, António Casimiro, Marcelo Pasin. Trustworthy and Resilient Monitoring System for Cloud Infrastructure. In ACM/IFIP/USENIX 12th International Middleware Conference, 2011 [Biblios]
Luís Marques, António Casimiro. Lightweight Dependable Adaptation for Wireless Sensor Networks. In 4th International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'11), in Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDS'11), pages 26-35, 2011 [Biblios]
António Casimiro, Mônica Dixit. From static to dynamic protocols: adapting timeouts for improved performance. In I Workshop on Autonomic Distributed Systems (WoSIDA'11), pages 17-21, 2011 [Biblios]
Casimiro, A., Lemos, R., Gacek, C.. Architecting Dependable Systems VII, Springer Berlin Heidelberg, Lecture Notes in Computer Science, 2010 [Biblios]
Mônica Dixit, Henrique Moniz, António Casimiro. Timeout Adaptive Consensus: Improving Performance through Adaptation, 2010 [Biblios]
Luís Marques, António Casimiro. Dependable Perception in Wireless Sensor Networks. In INFORUM - Simpósio de Informática, 2010 [Biblios]
Mônica Dixit, António Casimiro. Adaptare-FD: A dependability-oriented adaptive failure detector. In Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), 2010 [Biblios]
Luís Marques, António Casimiro. Data Validity and Dependable Perception in Networked Sensor-Based Systems. In 3rd International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'10), 2010 [Biblios]
António Casimiro, Rogério de Lemos, Cristina Gacek (Eds.). Architecting Dependable Systems VII, 2010 [Biblios]
Bondavalli, Andrea, Casimiro, António, Dixit, Mônica, Lollini, Paolo, Verissimo, Paulo. A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments, 2009 [Biblios]
Luís Marques, António Casimiro. Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications. In INForum - Simpósio de Informática 2009 , 2009 [Biblios]
Mônica Dixit, António Casimiro, Paulo Veríssimo. Probabilistic Adaptive Time-Aware Consensus. In Eurosys 2009, WIP session, 2009 [Biblios]
Luís Marques, António Casimiro, Mário Calha. Design and development of a proof-of-concept platooning application using the hidenets architecture. In 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009 [Biblios]
António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Veríssimo. Applying architectural hybridization in networked embedded systems. In The Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009),, 2009 [Biblios]
António Casimiro, Paulo Veríssimo. HIDENETS – Highly Dependable IP-based Networks and Services, 2008 [Biblios]
Mônica Dixit, António Casimiro, Nuno Laranjeiro, Marco Vieira. Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions. In Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, 2008 [Biblios]
António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli, Paulo Veríssimo. A framework for dependable QoS adaptation in probabilistic environments. In 23rd ACM Symposium on Applied Computing (SAC’08), Dependable and Adaptive Distributed Systems Track, 2008 [Biblios]
Marco Vieira, António C. Costa, Henrique Madeira. Towards Timely ACID Transactions in DBMS. In Advances in Databases: Concepts, Systems and Applications,Lecture Notes in Computer Science, pages 262-274. Springer Berlin Heidelberg, 2007 [Biblios]
Bondavalli, Andrea, Casimiro, António, Dixit, Mónica, Lolinni, Paolo, Veríssimo, Paulo. A framework for dependable adaptation in probabilistic environments, 2007 [Biblios]
Casimiro, António, Falai, L., Huszerl, G., Kaâniche, Mohamed, Matthiesen, E.V., Radimirsch, M., Reitenspieß, M., Svinnset, I-E.. Use case scenarios and preliminary reference model, 2007 [Biblios]
Bondavalli, Andrea, Casimiro, António, Ceccarelli, A., Daidone, A., Falai, L., Frejek, P., Giandomenico, F., Huszerl, G., Killijian, M-O., Kövi, A., Matthiesen, E.V., Moniz, Henrique, Renier, T., Roy, M.. Resilient architecture (preliminary version), 2007 [Biblios]
Arlat, J., Bondavalli, Andrea, Calha, Mario, Casimiro, António, Daidone, A., Falai, L., Huszerl, G., Kaâniche, Mohamed, Killijian, M-O., Kövi, A., Liu, Y., Lolinni, Paolo, Matthiesen, E.V., Radimirsch, M., Renier, T., Rivière, N., Roy, M., Schwefel, H-P., Svinnset, I-E., Waeselynck, H.. Revised reference model, 2007 [Biblios]
Marco Vieira, António Casimiro, Henrique Madeira. Towards Timely ACID Transactions in DBMS. In 12th International Conference on Database Systems for Advanced Applications, 2007 [Biblios]
Hugo Ortiz, António Casimiro, Paulo Veríssimo. Architecture and Implementation of an Embedded Wormhole. In IEEE Second International Symposium on Industrial Embedded Systems, 2007 [Biblios]
Hans P. Reiser, António Casimiro. Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks. In International Workshop on Dependable Embedded Systems, 2007 [Biblios]
António Casimiro, Marco Vieira, Henrique Madeira. Middleware Support for Time-Elastic Database Applications. In International Conference on Dependable Systems and Networks, 2007 [Biblios]
António Casimiro, Jörg Kaiser, Paulo Veríssimo. Generic-Events Architecture: Integrating real-world aspects in event-based systems, In Architecting Dependable Systems IV. Springer Berlin Heidelberg, 2007 [Biblios]
Vieira M., A. Casimiro, H. Madeira.. Towards Timely ACID Transactions in DBMS. In IEEE 12th International Symposium Pacific Rim Dependable Computing, 2006 [Biblios]
Casimiro A., O. Mendizabal, P. Veríssimo. On the development of dependable embedded applications using specialized wormholes. In 3rd International Workshop on Dependable Embedded Systems, 2006 [Biblios]
Marco Vieira, António Casimiro, Henrique Madeira. TACID Transactions. In the International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep-05), 2005 [Biblios]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo. A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE DISTRIBUTED SYSTEMS ONLINE, 6(5), 2005 [Biblios]
Pedro Martins, António Casimiro, Paulo Veríssimo. A Generic Temporal Consistency Model for Distributed Control Systems. In WACERTS'04 - Workshop on Architectures for Cooperative Embedded Real-Time Systems, 2004 [Biblios]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo. Dependable Adaptive Real-Time Applications in Wormhole-based Systems. In International Conference onDependable Systems and Networks (DSN'04), 2004 [Biblios]
Marco Vieira, António Casimiro, Henrique Madeira. Timely ACID Transactions in DBMS. In International Conference on Dependable Systems and Networks - DSN 2004, 2004 [Biblios]
António Casimiro, J. Kaiser, Paulo Veríssimo. An Architectural Framework and a Middleware for Cooperating Smart Components. In CF04: 1st Conference on Computing Frontiers. ACM, 2004 [Biblios]
Casimiro, António, Martins, Pedro, Sousa, Paulo, Veríssimo, Paulo. Concretização de um cenário de carros cooperantes num ambiente móvel sem fios, 2003 [Biblios]
Casimiro, António. Timely Actions in the Presence of Uncertain Timeliness. PhD thesis, 2003 [Biblios]
Vinny Cahill, António Casimiro, Jorg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Veríssimo, M. Wu. Proof-of-concept prototypes, 2003 [Biblios]
Paulo Sousa, Pedro Martins, António Casimiro, Paulo Veríssimo. Concretização de um cenário de carros cooperantes num ambiente móvel sem fios, 2003 [Biblios]
G. Biegel, G. Blair, C. Brudna, V. Cahill, António Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes , J. Kaiser, R. Meier, V. Reynolds, Paulo Veríssimo, M. Wu. The CORTEX Programming Model, 2003 [Biblios]
Paulo Veríssimo, António Casimiro. Event-Driven Support of Real-Time Sentient Objects. In 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems, 2003 [Biblios]
Paulo Veríssimo, Jorg Kaiser, António Casimiro. An architecture to support interaction via Generic Events. In 24th IEEE Real-time Systems Symposium, 2003 [Biblios]
P. Veríssimo, V. Cahill, A. Casimiro, K. Cheverst, A. Friday, J. Kaiser. CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects, 2002 [Biblios]
P. Veríssimo, V. Cahill, A. Casimiro, K. Cheverst, A. Friday, J. Kaiser. CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities. In European Wireless 2002, 2002 [Biblios]
A. Casimiro, P. Veríssimo. Generic Timing Fault Tolerance using a Timely Computing Base. In DSN 2002 - International Conference on Dependable Systems and Networks, 2002 [Biblios]
P. Veríssimo, A. Casimiro. The Timely Computing Base Model and Architecture. IEEE TRANSACTIONS ON COMPUTERS, 51(8), 2002 [Biblios]
A. Casimiro, P. Verissimo. Using the timely computing base for dependable QoS adaptation. In Proceedings 20th IEEE Symposium on Reliable Distributed Systems. IEEE Comput. Soc, 2001 [Biblios]
A. Casimiro, P. Martins, P. Verissimo, L. Rodrigues. Measuring distributed durations with stable errors. In Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420). IEEE Comput. Soc, 2001 [Biblios]
Casimiro, António, Veríssimo, Paulo. Using the Timely Computing Base for Dependable QoS Adaptation, 2001 [Biblios]
A. Casimiro, P. Veríssimo. Using the Timely Computing Base for Dependable QoS Adaptation. In 20th IEEE Symposium on Reliable Distributed Systems, 2001 [Biblios]
A. Casimiro, P. Martins, P. Veríssimo, L. Rodrigues. Measuring Distributed Durations with Stable Errors. In 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001 [Biblios]
A. Casimiro, M. Correia. Recent Advances on the Timely Computing Base Model. In DSN 2001 - International Conference on Dependable Systems and Networks, 2001 [Biblios]
P. Verissimo, A. Casimiro, C. Fetzer. The timely computing base: Timely actions in the presence of uncertain timeliness. In Proceeding International Conference on Dependable Systems and Networks. DSN 2000. IEEE Comput. Soc, 2000 [Biblios]
A. Casimiro, P. Martins, P. Verissimo. How to build a timely computing base using real-time Linux. In 2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531). IEEE, 2000 [Biblios]
Casimiro, António, Martins, Pedro. Event Timestamping Tool: a simple PC based kernel to timestamp distributed events, 2000 [Biblios]
P. Martins, A. Casimiro. Event Timestamping Tool: a simple PC based kernel to timestamp distributed events, 2000 [Biblios]
P. Veríssimo, A. Casimiro, C. Fetzer. The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. In DSN 2000 -International Conference on Dependable Systems and Networks, 2000 [Biblios]
P. Veríssimo, A. Casimiro, L. M. Pinho, F. Vasques, L. Rodrigues, E. Tovar. Distributed Computer-Controlled Systems: the DEAR-COTS Approach. In 16th IFAC Workshop on Distributed Computer Control Systems, 2000 [Biblios]
A. Casimiro, P. Martins, P. Veríssimo. How to Build a Timely Computing Base using Real-Time Linux. In IEEE International Workshop on Factory Communication Systems - 2000, 2000 [Biblios]
Casimiro, António, Veríssimo, Paulo. Timing Failure Detection with a Timely Computing Base, 1999 [Biblios]
Casimiro, António, Veríssimo, Paulo. The Timely Computing Base, 1999 [Biblios]
António Casimiro, Paulo Veríssimo. Timing Failure Detection with a Timely Computing Base, 1999 [Biblios]
Paulo Veríssimo, António Casimiro. The Timely Computing Base, 1999 [Biblios]
A. Casimiro, P. Veríssimo. Timing Failure Detection with a Timely Computing Base. In 3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99), 1999 [Biblios]
Paulo Veríssimo, Luís Rodrigues, Antonio Casimiro. CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real-Time Systems, 12(3):243-294, Springer Science and Business Media LLC, 1997 [Biblios]
Paulo Veríssimo, Sérgio Melro, António Casimiro, Luís Silva. Distributed Industrial Information Systems: Design and Experience, In IFIP Advances in Information and Communication Technology,Balanced Automation Systems II, pages 175 - 190. Springer US, 1996 [Biblios]
L. Rodrigues, P. Veríssimo, A. Casimiro. Priority-Based Totally Ordered Multicast. In IFAC Proceedings Volumes, pages 351-359(5). Elsevier BV, 1995 [Biblios]
L. Rodrigues, P. Verissimo, A. Casimiro. Using atomic broadcast to implement a posteriori agreement for clock synchronization. In Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems. IEEE Comput. Soc. Press, 1993 [Biblios]