António Casimiro Ferreira da Costa (D612-3C11-3E8F)

Curriculum Vitae

António Casimiro Ferreira da Costa

António Casimiro is Associate Professor at the Department of Informatics of the University of Lisboa Faculty of Sciences (FCUL), where he joined in 1996. He graduated (1991) and has a Master in Electrotechnical and Computers Engineering (1995), by the Instituto Superior Técnico (IST) of the University of Lisboa. He has a PhD in Informatics (2003), by the University of Lisboa. He was adjunct Professor of the Carnegie Mellon Information Networking Institute between 2008 and 2011 and a lecturer at IST between 1993 and 1996. He is a member of the LASIGE research laboratory, where he leads the research line on Cyber-Physical Systems. He was recently involved in the ADMORPH and VEDLIoT H2020 projects, leading the team from FCUL. In the past he coordinated the KARYON (FP7), the TRONE (CMU|Portugal) and the AQUAMON (FCT) projects, and was involved and contributed to several national and international projects, such as HIDENETS, CORTEX, CaberNet and TACID. His research has been focusing on architectures, fault tolerance and adaptation in distributed and real-time embedded systems, with applications to cyber-physical systems like autonomous and cooperative vehicles or environmental monitoring. He has more than 80 publications in international refereed journals and conferences in the areas of distributed, fault-tolerant and real-time systems. He served as Program Chair and organizer of AEiC 2023, SAFECOMP 2020 and Ada-Europe 2018, and was Program Co-Chair of SRDS 2014. He organized several international scientific events and is regularly participating in program committees of conferences in his areas of interest, such as DSN, SRDS and SAFECOMP. He is the Editor in-Chief of the Ada User Journal. He led the steering committee of the national conference on informatics (INForum) between 2013 and 2015, was director of FCUL's Informatic resources between 2004 and 2006, and was a member of the Scientific Council of FCUL from 2015 to 2018. He is Vice-President of the Pedagogic Council of FCUL and coordinates the FCUL's Master in Information Security. He is a member of the IFIP WG10.4 on Dependable Computing and Fault Tolerance, of the Ada-Europe Board, of EWICS TC7, of IEEE, of ACM, and of Ordem dos Engenheiros.

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: António Casimiro Ferreira da Costa

Nomes de citação

António Casimiro
António Casimiro Costa

Identificadores de autor

Ciência ID: D612-3C11-3E8F
ORCID iD: 0000-0002-5522-5739
Google Scholar ID: wKMmqlUAAAAJ
Researcher Id: M-4810-2013
Scopus Author Id: 6701655025

Moradas

Dep. Informática, FCUL, Campo Grande, Ed. C6, Piso 3, 1749-016, Lisboa, Lisboa, Portugal (Profissional)

Websites

http://www.di.fc.ul.pt/~casim (Profissional)
https://ciencias.ulisboa.pt/perfil/accosta (Profissional)

Domínios de atuação

Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão	Peer-review
Português (Idioma materno)
Inglês	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)
Francês	Utilizador independente (B2)	Utilizador proficiente (C1)	Utilizador independente (B1)	Utilizador independente (B2)	Utilizador independente (B2)

Formação

	Grau	Classificação
2003 Concluído	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal "Timely actions in the presence of uncertain timeliness" (TESE/DISSERTAÇÃO)	Approved Unanimously with Distinction and Honour
1995 Concluído	Engenharia Electrotécnica e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal "NavCIM: A distributed architecture to support the supervision and control of real-time industrial processes" (TESE/DISSERTAÇÃO)	Very Good (maximum)
1991 Concluído	Engenharia Electrotécnica e de Computadores (Licenciatura) Especialização em Sistemas e Computadores Universidade de Lisboa Instituto Superior Técnico, Portugal	Final average of 15 (scale 0-20)

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2015 - Atual	Investigador principal (carreira) (Investigação)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

2003 - 2015	Investigador (Investigação)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

1997 - 2003	Assistente de Investigação (carreira) (Investigação)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

1991 - 1996	Estagiário de Investigação (Investigação)	Instituto de Engenharia de Sistemas e Computadores, Portugal

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2013/06 - Atual	Professor Associado (Docente Universitário)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2003/04 - 2013/05	Professor Auxiliar (Docente Universitário)	Universidade de Lisboa Faculdade de Ciências, Portugal

1996/03 - 2003/03	Assistente (Docente Universitário)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
1993/09 - 1996/03	Assistente Estagiário (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

	Categoria Profissional Instituição de acolhimento	Empregador
2022/05/19 - Atual	Vice-President of the Pedagogic Council	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2018/05 - Atual	Coordinator of the Master in Information Security (Mestrado em Segurança Informática)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2018/01 - 2020/01	Vice-Diretor of the LASIGE Research Unit	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015/06 - 2018/05	Elected member of the Scientific Council	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2015/09 - 2016/08	Member of the Scientific Commission of the PhD in Informatics	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2012/09 - 2015/08	Vice-President of the Informatics Department	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2011/03 - 2012/09	Coordinator of the Master in Information Security (Mestrado em Segurança Informática)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2004/02 - 2006/07	Diretor of the Computing Resources Centre	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal

Outros

	Categoria Profissional Instituição de acolhimento	Empregador
2019 - Atual	Editor In-Chief of the Ada User Journal	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

2008 - 2011	Adjunct Faculty	Carnegie Mellon University, Estados Unidos

Projetos

Bolsa

	Designação	Financiadores
2018/10/01 - 2021/09/30	AQUAMON: Monitorização Confiável em Ambientes Aquáticos com Redes de Sensores sem Fios PTDC/CCI-COM/30142/2017 Investigador responsável Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2018/10/01 - 2021/09/30	uPVN: Redes Virtuais Programáveis, Centradas no Utilizador PTDC/CCI-INF/30340/2017 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2018/10/01 - 2021/05/31	REDBOOK: Defesas robustas apoiadas em maquinaria contra invasões de memória e outras ameaças à cibersegurança PTDC/EEI-HAC/31273/2017 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2016/07/01 - 2019/12/31	IRCoC - Resiliência Inteligente para Serviços na Nuvem de Nuvens PTDC/EEI-SCR/6970/2014 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2013/06/01 - 2015/05/31	READAPT - Reconfiguração e Adaptação em Arquiteturas Multinúcleo Seguras para Aplicações de Criticalidade Mista PTDC/EEI-SCR/3200/2012 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2011/10 - 2014/12	KARYON - Kernel-based ARchitecture for safetY-critical cONtrol FP7-ICT-288195 Investigador responsável Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Seventh Framework Programme for Research and Technological Development Information and Communication Technologies Concluído
2010/10/01 - 2014/03/31	TRONE: Operações Confiáveis e Resilientes em Ambientes de Redes CMU-PT/RNQ/0015/2009 Investigador responsável Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2010/10 - 2013/09	MASSIF - MAnagement of Security information and events in Service Infrastructures FP7-ICT-257475 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Seventh Framework Programme for Research and Technological Development Information and Communication Technologies Concluído
2010/01/01 - 2012/10/31	CloudFIT: Tolerância a Falhas e Intrusões na Computação em Nuvens PTDC/EIA-CCO/108299/2008 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2006/01 - 2008/12	HIDENETS - HIghly DEpendable ip-based NETworks and Services FP6-26979 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Sixth Framework Programme Concluído
2005/08/20 - 2008/11/30	TACID - Transacções ACID atempadas em SGBD POSC/EIA/61568/2004 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2005/03/01 - 2008/06/30	DARIO - Agência Distribuída para Entradas/Saídas Fiáveis POSC/EIA/56041/2004 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2001/04 - 2004/03	CORTEX - CO-operating Real-time senTient objects: architecture and EXperimental evaluation IST-2000-26031 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Concluído
1999/10 - 2001/09	DEAR-COTS: Distributed Embedded Architectures using Commercial Off-The-Shelf Components PRAXIS/P/EEI/14187/1998 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
1999/09 - 2001/08	MICRA - A Model for the Development of MIssion CRitical Applications PRAXIS/P/EEI/12160/1998 Investigador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
1992/09 - 1994/08	DINAS - DQS: Design and Implementation of CNMA-based Networks for CIME Applications in SMEs 6779 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal	European Commission Concluído

Projeto

	Designação	Financiadores
2023/10 - Atual	Automação da análise forense para casos suspeitos de abuso de acesso a informação crítica MEO-AutoAF Orientador FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Em curso
2022/09 - Atual	Detection and Classification of User Behaviour Anomalies on VPN Accesses VPN-Anomalies Orientador LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2020/11 - Atual	VEDLIoT: Very Efficient Deep Learning in IOT H2020-EU.2.1.1-957197 Investigador FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Concluído
2020/01 - Atual	ADMORPH: Towards Adaptively Morphing Embedded Systems H2020-EU.2.1.1-871259 Investigador FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Concluído
2020/10/01 - 2024/09/30	SATO - Self Assessment Towards Optimization of Building Energy 957128 Investigador FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Em curso
2020/01/01 - 2023/06/30	XIVT - eXcellence In Variant Testing 17039 39238 Investigador Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Concluído
2021 - 2022	Integração de Tecnologia Semperis e CyberArk no Ecossistema SIEM IBM QRadar e Palo Alto Cortex xSOAR do CyberSOC da Altice Portugal MEO-CyberSoc4AD Orientador FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2018/11 - 2021/10	HyLIT - Architectural Support for Intrusion Tolerant Operating-System Kernels HyLIT Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Universite du Luxembourg - Campus Belval Concluído
2020/09 - 2021/08	Integração de Physical Information" em "User Behavior Analytics & Security" (PhyUBA) PhyUBA Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2019/10 - 2020/09	Deteção em ElasticSearch e em tempo quase-real de anomalias de segurança no comportamento de utilizadores com privilégios de administração (Elastic4SEC) Elastic4SEC Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2018/09 - 2019/08	Network Topology Discovery and Mapping MEO18 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2017/09 - 2018/08	Cyber Security Controls in Large MS Windows Environments: Monitoring Security Patching Policy Violations MEO17 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2016/09 - 2017/08	Unified Cyber Threat Intelligence MEO16 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2015/10 - 2016/09	Desenvolvimento de um processo automático de gestão de vulnerabilidades de ciber segurança em ambientes de grande dimensão MEO15 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluído
2014/10 - 2015/09	Procura e análise automatizada de superfícies expostas e passíveis de ataque a partir da Internet PTC14 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluído
2013/10 - 2014/09	Analysis and Implementation of Consistency and Fault Tolerant Mechanisms in Soft Real-Time Systems PTC13A Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluído
2013/10 - 2014/09	Deteção, Identificação e Classificação de Atividade Suspeita em Bases de Dados com Informação Reservada PTC13B Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluído
2011/01/01 - 2013/12/31	Strategic Project - UI 408 - 2011-2012 PEst-OE/EEI/UI0408/2011 Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2012/10 - 2013/09	Sistema de monitorização e caracterização de logins suspeitos a sistemas com informação reservada PTC12 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluído
2011/10 - 2012/09	Sistema de detecção, análise e mensuração de eventos relevantes para a avaliação da qualidade de protecção (QoP) de call centers de grande dimensão PTC11 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluído
2010/10 - 2011/09	Detecção, monitorização e análise automática da propagação de worms PTC10 Orientador Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluído

Produções

Publicações

Artigo em conferência	Mika, Kevin; Griessl, René; Kucza, Nils; Porrmann, Florian; Kaiser, Martin; Tigges, Lennart; Hagemeyer, Jens; et al. "VEDLIoT: Next generation accelerated AIoT systems and applications". Trabalho apresentado em 20th ACM International Conference on Computing Frontiers, Bologna, 2023. Publicado • 10.1145/3587135.3592175 Kaiser, M.; Griessl, R.; Kucza, N.; Haumann, C.; Tigges, L.; Mika, K.; Hagemeyer, J.; et al. "VEDLIoT: Very Efficient Deep Learning in IoT". Antwerp, 2022. Publicado • 10.23919/date54114.2022.9774653 Gonçalo de Jesus; Anabela Oliveira; António Casimiro. "Detecting Drifts and Offsets in Environmental Monitoring Networks". Trabalho apresentado em 7th International Conference on Sensors Engineering and Electronics Instrumentation Advances (SEIA 2021), Palma de Mallorca, 2021. Publicado Casimiro, Antonio; Ekenstedt, Emelie; M. Schiller, Elad. "Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights". Trabalho apresentado em 38th International Symposium on Reliable Distributed Systems (SRDS 2019), Lyon, 2019. 10.1109/srds47363.2019.00048 António Casimiro; Carlos Nascimento; Pedro M. Ferreira. "A Methodology to Automate the Selection of LPWA Technologies in WSN Applications". Trabalho apresentado em 11º Simpósio de Informática (INFORUM 2019), Guimarães, 2019. Cunha, J.C.; Branco, K.; Casimiro, A.; Nunes, U.. "3rd International Workshop on Safety and Security of Intelligent Vehicles-SSIV 2017 Welcome". 2017. 10.1109/DSN-W.2017.51 Cunha, J.C.; Branco, K.; Casimiro, A.; Nunes, U.. "2nd International workshop on safety and security of intelligent vehicles - SSIV 2016". 2016. 10.1109/DSN-W.2016.72 António Casimiro; Radu Onica; Nuno Ferreira Neves. "Fault-Tolerant Precision Time Protocol for Smart Grids". Trabalho apresentado em 7º Simpósio de Informática (INFORUM 2015), Covilhã, 2015. Jesus, Gonzalo; Oliveira, Anabela; Azevedo, Alberto; Casimiro, Antonio. "Improving sensor-fusion with environmental models". Trabalho apresentado em IEEE SENSORS, Busan, 2015. 10.1109/icsens.2015.7370654 Cunha, J.C.; Branco, K.; Casimiro, A.; Nunes, U.. "Workshop on Safety and Security of Intelligent Vehicles (SSIV)". 2015. 10.1109/DSN.2015.69 António Casimiro; Gonçalo Jesus; Anabela Oliveira. "Ensuring reliable measurements in remote aquatic sensor networks". Trabalho apresentado em 11th International Conference on Hydroinformatics, New York City, 2014. António Casimiro; Rolf Johansson; Jörg Kaiser; Renato Librino; Kenneth Östberg; José Rufino; Pedro Costa. "An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance". Trabalho apresentado em Workshop on Embedded Real-Time Software and Systems, Toulouse, 2014. Casimiro, Antonio; Ponce, Oscar Morales; Petig, Thomas; Schiller, Elad M.. "Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed". Madrid, 2014. 10.1109/icdcsw.2014.25 Casimiro, A.; Rufino, J.; Pinto, R.C.; Vial, E.; Schiller, E.M.; Morales-Ponce, O.; Petig, T.. "A kernel-based architecture for safe cooperative vehicular functions". 2014. 10.1109/SIES.2014.6871208 Casimiro, A.; Défago, X.; Manivannan, D.. "Message from Technical Program Co-chairs". Nara, 2014. 10.1109/srds.2014.4 António Casimiro; Pedro Nóbrega da Costa; João Pedro Craveiro; José Rufino. "Safety Kernel for Cooperative Sensor-Based Systems". Trabalho apresentado em 2nd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, 2013. Marques, L.; Casimiro, A.. "Fighting uncertainty in highly dynamic wireless sensor networks with probabilistic models". 2013. 10.1109/SRDS.2013.12 Casimiro, A.; Kaiser, J.; Schiller, E.M.; Costa, P.; Parizi, J.; Johansson, R.; Librino, R.. "The KARYON project: Predictable and safe coordination in cooperative vehicular systems". 2013. 10.1109/DSNW.2013.6615530 Araujo, Filipe; Barbosa, Raul; Casimiro, António. "Replication for dependability on virtualized cloud environments". Trabalho apresentado em 10th International Workshop on Middleware for Grids, Clouds and e-Science (MGC'12), Montreal, 2012. 10.1145/2405136.2405138 Dixit, M.; Moniz, H.; Casimiro, A.. "Timeout-based adaptive consensus: Improving performance through adaptation". 2012. 10.1145/2245276.2245371 Casimiro, A.; Verissimo, P.; Kreutz, D.; Araujo, F.; Barbosa, R.; Neves, S.; Sousa, B.; et al. "TRONE: Trustworthy and resilient operations in a network environment". 2012. 10.1109/DSNW.2012.6264694 António Casimiro; Mônica Dixit. "From static to dynamic protocols: adapting timeouts for improved performance". Trabalho apresentado em First Workshop on Autonomic Distributed Systems (WoSIDA’11), Mato Grosso, 2011. Padhy, S.; Kreutz, D.; Casimiro, A.; Pasin, M.. "Trustworthy and resilient monitoring system for cloud infrastructures". 2011. 10.1145/2088960.2088963 Marques, L.; Casimiro, A.. "Lightweight dependable adaptation for wireless sensor networks". 2011. 10.1109/SRDSW.2011.13 Marques, L.; Casimiro, A.. "Data validity and dependable perception in networked sensor-based systems". 2010. 10.1109/SRDS.2010.52 Dixit, M.; Casimiro, A.. "Adaptare-FD: A dependability-oriented adaptive failure detector". 2010. 10.1109/SRDS.2010.24 António Casimiro; Luís Marques. "Dependable Perception in Wireless Sensor Networks". Trabalho apresentado em 2º Simpósio de Informática (INFORUM 2010), Lisboa, 2010. António Casimiro; Luís Marques. "Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications". Trabalho apresentado em 1º Simpósio de Informática (INFORUM 2009), Lisboa, 2009. Casimiro, A.; De Lemos, R.; Gacek, C.. "Workshop on Architecting Dependable Systems (WADS 2009)". 2009. 10.1109/DSN.2009.5270284 Marques, L.; Casimiro, A.; Calha, M.. "Design and development of a proof-of-concept platooning application using the HIDENETS architecture". 2009. 10.1109/DSN.2009.5270334 Mônica Dixit; António Casimiro; Nuno Laranjeiro; Marco Vieira. "Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions". Trabalho apresentado em Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, Naples, 2008. Casimiro, A.; Lollini, P.; Dixit, M.; Bondavalli, A.; Veríssimo, P.. "A framework for dependable QoS adaptation in probabilistic environments". 2008. 10.1145/1363686.1364209 Ortiz, H.; Casimiro, A.; Veríssimo, P.. "Architecture and implementation of an embedded wormhole". 2007. 10.1109/SIES.2007.4297357 Moniz, H.; Neves, N.F.; Correia, M.; Casimiro, A.; Veríssimo, P.. "Intrusion tolerance in wireless environments: An experimental evaluation". 2007. 10.1109/PRDC.2007.46 Martins, P.; Sousa, P.; Casimiro, A.; Venssimo, P.; Veríssimo, P.. "Dependable adaptive real-time applications in wormhole-based systems". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN'04), Florence, 2004. 10.1109/dsn.2004.1311927 Casimiro, António; Kaiser, Jörg; Veríssimo, Paulo. "An architectural framework and a middleware for cooperating smart components". Trabalho apresentado em 2004 Computing Frontiers Conference, 2004. 10.1145/977091.977098 Verissimo, P.; Casimiro, A.. "Event-driven support of real-time sentient objects". 2003. 10.1109/WORDS.2003.1218059 Casimiro, A.; Veríssimo, P.. "Generic timing fault tolerance using a timely computing base". 2002. 10.1109/DSN.2002.1028883 Casimiro, A.; Martins, P.; Verissimo, P.; Rodrigues, L.; Veríssimo, P.. "Measuring distributed durations with stable errors". Trabalho apresentado em IEEE Real-Time Systems Symposium (RTSS’01), London, 2001. 10.1109/real.2001.990630 Casimiro, A.; Verissimo, P.; Veríssimo, P.. "Using the timely computing base for dependable QoS adaptation". Trabalho apresentado em 20th IEEE Symposium on Reliable Distributed Systems (SRDS'01), New Orleans, 2001. 10.1109/reldis.2001.970771 Casimiro, A.; Martins, P.; Verissimo, P.; Casimiro, Antonio; Martins, Pedro; Verissimo, Paulo. "How to build a timely computing base using real-time Linux". Trabalho apresentado em IEEE International Workshop on Factory Communication Systems (WFCS'00), Porto, 2000. 10.1109/wfcs.2000.882542 Verissimo, P.; Casimiro, A.; Fetzer, C.; Veríssimo, P.. "The timely computing base: Timely actions in the presence of uncertain timeliness". Trabalho apresentado em International Conference on Dependable Systems and Networks (ICDSN'00), New York City, 2000. 10.1109/icdsn.2000.857587 Rodrigues, L.; Veríssimo, P.; Casimiro, A.. "Priority-Based Totally Ordered Multicast". Trabalho apresentado em 3rd IFAC/IFIP workshop on Algorithms and Architectures for Real-Time Control (AARTC'95), Ostend, 1995. 10.1016/s1474-6670(17)47252-1 Rodrigues, L.; Verissimo, P.; Casimiro, A.. "Using atomic broadcast to implement a posteriori agreement for clock synchronization". Trabalho apresentado em 12th Symposium on Reliable Distributed Systems (SRDS'93), New Jersey, 1993. 10.1109/reldis.1993.393467
Artigo em revista	Sousa, Inês Sousa; António Casimiro; Cecílio, José. "Artificial Neural Networks for Real-Time Data Quality Assurance". ACM SIGAda Ada Letters 42 1 (2022): 86-89. http://dx.doi.org/10.1145/3577949.3577966. 10.1145/3577949.3577966 Miguel Gutierrez Gaitan; Pedro M. d'Orey; Jose Cecilio; Marta Rodrigues; Pedro M. Santos; Luis Pinto; Anabela Oliveira; António Casimiro; Luis Almeida. "Modeling LoRa Communications in Estuaries for IoT Environmental Monitoring Systems". IEEE Sensors Journal (2022): https://doi.org/10.1109/JSEN.2022.3205760. 10.1109/JSEN.2022.3205760 Gonçalo de Jesus; Anabela Oliveira; António Casimiro. Autor correspondente: Gonçalo de Jesus. "Systematic Failure Detection and Correction in Environmental Monitoring Systems". Sensors & Transducers 252 5 (2021): 28-34. https://www.sensorsportal.com/HTML/DIGEST/P_3231.htm. Acesso aberto • Publicado Ferrari, Paolo; Sisinni, Emiliano; Bellagente, Paolo; Rinaldi, Stefano; Pasetti, Marco; de Sa, Alan Oliveira; Machado, Raphael C. S.; Carmo, Luiz F. R. da C.; António Casimiro. "Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet". IEEE Transactions on Industrial Electronics 68 8 (2021): 7672-7683. http://dx.doi.org/10.1109/tie.2020.3001850. 10.1109/tie.2020.3001850 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 (2021): https://doi.org/10.1145/3445812. 10.1145/3445812 Silva, Lion; Magaia, Naercio; Sousa, Breno; Kobusinska, Anna; Casimiro, Antonio; Mavromoustakis, Constandinos X.; Mastorakis, George; de Albuquerque, Victor Hugo C.. "Computing Paradigms in Emerging Vehicular Environments: A Review". IEEE/CAA Journal of Automatica Sinica 8 3 (2021): 491-511. http://dx.doi.org/10.1109/jas.2021.1003862. 10.1109/jas.2021.1003862 António Casimiro; Cecílio, José; Ferreira, Pedro M.; Casimiro, António. "Evaluation of LoRa Technology in Flooding Prevention Scenarios". Sensors 20 14 (2020): 4034. http://dx.doi.org/10.3390/s20144034. Acesso aberto • 10.3390/s20144034 Oliveira de Sá, Alan; Casimiro, António; Machado, Raphael C. S.; da C. Carmo, Luiz F. R.. "Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration". Sensors 20 3 (2020): 792. http://dx.doi.org/10.3390/s20030792. Acesso aberto • 10.3390/s20030792 António Casimiro; José Rufino; Frank Singhoff; Antónia Lopes; Stéphane Rubini; Valérie-Anne Nicolas; Mounir Lallali; et al. "NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems". Ada User Journal 39 4 (2018): 278-281. https://www.ada-europe.org/archive/auj/auj-39-4.pdf. Acesso aberto António Casimiro; José Rufino; 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 (2018): 296-299. https://www.ada-europe.org/archive/auj/auj-39-4.pdf. Acesso aberto Jäger, Georg; Zug, Sebastian; Casimiro, António. "Generic Sensor Failure Modeling for Cooperative Systems". Sensors 18 3 (2018): 925. http://dx.doi.org/10.3390/s18030925. Acesso aberto • 10.3390/s18030925 Jesus, Gonçalo; Casimiro, António; Oliveira, Anabela. "A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks". Sensors 17 9 (2017): 2010. http://dx.doi.org/10.3390/s17092010. Acesso aberto • 10.3390/s17092010 Cunha, J.C.; Branco, K.C.; Casimiro, A.; Nunes, U.J.C.. "Editorial introduction to the special issue on safety and security of intelligent vehicles [guest editorial]". IEEE Intelligent Transportation Systems Magazine 9 1 (2017): 6-7. http://www.scopus.com/inward/record.url?eid=2-s2.0-85010411580&partnerID=MN8TOARS. 10.1109/MITS.2016.2630583 García-Valls, M.; Casimiro, A.; Reiser, H.P.. "A few open problems and solutions for software technologies for dependable distributed systems". Journal of Systems Architecture 73 (2017): 1-5. http://www.scopus.com/inward/record.url?eid=2-s2.0-85011272297&partnerID=MN8TOARS. 10.1016/j.sysarc.2017.01.007 Nogueira, A.; Casimiro, A.; Bessani, A.. "Elastic State Machine Replication". IEEE Transactions on Parallel and Distributed Systems 28 9 (2017): 2486-2499. http://www.scopus.com/inward/record.url?eid=2-s2.0-85029479396&partnerID=MN8TOARS. 10.1109/TPDS.2017.2686383 Araujo, F.; Boychenko, S.; Barbosa, R.; Casimiro, A.. "Replica placement to mitigate attacks on clouds". Journal of Internet Services and Applications 5 1 (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84920196219&partnerID=MN8TOARS. 10.1186/s13174-014-0007-z Dixit, M.; Casimiro, A.; Lollini, P.; Bondavalli, A.; Verissimo, P.. "Adaptare: Supporting automatic and dependable adaptation in dynamic environments". ACM Transactions on Autonomous and Adaptive Systems 7 2 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84864829073&partnerID=MN8TOARS. 10.1145/2240166.2240168 Martins, P.; Sousa, P.; Casimiro, A.; Verissimo, P.; Veríssimo, P.. "A new programming model for dependable adaptive real-time applications". IEEE Distributed Systems Online 6 5 (2005): http://dx.doi.org/10.1109/mdso.2005.26. Acesso aberto • 10.1109/mdso.2005.26 Veríssimo, P.; Casimiro, A.. "The timely computing base model and architecture". IEEE Transactions on Computers 51 8 (2002): 916-930. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036685163&partnerID=MN8TOARS. 10.1109/TC.2002.1024739 Veríssimo, Paulo; Rodrigues, Luís; Casimiro, Antonio. "CesiumSpray: A Precise and Accurate Global Clock Service for Large-Scale Systems". Real-Time Systems 12 3 (1997): 243-294. http://dx.doi.org/10.1023/a:1007949113722. 10.1023/a:1007949113722 Veríssimo, P.; Rodrigues, L.; Casimiro, A.. "Cesiumspray : A Precise and Accurate Global Time Service for Large-scale Systems". Real-Time Systems 12 3 (1997): 243-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031141350&partnerID=MN8TOARS.
Capítulo de livro	de Sá, Alan Oliveira; Casimiro, António; Machado, Raphael Carlos Santos; da Costa Carmo, Luiz Fernando Rust. "Bio-inspired System Identification Attacks in Noisy Networked Control Systems". In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 28-38. Springer International Publishing, 2019. 10.1007/978-3-030-24202-2_3 Jesus, Gonçalo; Casimiro, António; Oliveira, Anabela. "Dependable Outlier Detection in Harsh Environments Monitoring Systems". In Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science, 224-233. Springer International Publishing, 2018. 10.1007/978-3-319-99229-7_20 Casimiro, António; Gouveia, Inês; Rufino, José. "Enforcing Timeliness and Safety in Mission-Critical Systems". In Reliable Software Technologies – Ada-Europe 2017. Ada-Europe 2017. Lecture Notes in Computer Science, 53-69. Springer International Publishing, 2017. 10.1007/978-3-319-60588-3_4 Vial, Eric; Casimiro, António. "Evaluation of Safety Rules in a Safety Kernel-Based Architecture". In Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, 27-35. Springer International Publishing, 2014. 10.1007/978-3-319-10557-4_5 Alves, João; Casimiro, António; Marques, Luís. "Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks". In Dependable Computing. EWDC 2013. Lecture Notes in Computer Science, 16-23. Springer Berlin Heidelberg, 2013. 10.1007/978-3-642-38789-0_2 Martins, Rolando; Gandhi, Rajeev; Narasimhan, Priya; Pertet, Soila; Casimiro, António; Kreutz, Diego; Veríssimo, Paulo. "Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol". In Middleware 2013. Lecture Notes in Computer Science, 41-61. Springer Berlin Heidelberg, 2013. 10.1007/978-3-642-45065-5_3 Jesus, Gonçalo; Casimiro, António; Oliveira, Anabela. "Towards Dependable Measurements in Coastal Sensors Networks". In Dependable Computing. EWDC 2013. Lecture Notes in Computer Science, 190-193. Springer Berlin Heidelberg, 2013. 10.1007/978-3-642-38789-0_18 Kreutz, Diego; Casimiro, António; Pasin, Marcelo. "A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures". In Distributed Applications and Interoperable Systems. DAIS 2012. Lecture Notes in Computer Science, 87-95. Springer Berlin Heidelberg, 2012. 10.1007/978-3-642-30823-9_7 Casimiro, António; Kaiser, Jörg; Karlsson, Johan; Schiller, Elad Michael; Tsigas, Philippas; Costa, Pedro; Parizi, José; Johansson, Rolf; Librino, Renato. "Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems". In Stabilization, Safety, and Security of Distributed Systems. SSS 2012. Lecture Notes in Computer Science, 232-235. Springer Berlin Heidelberg, 2012. 10.1007/978-3-642-33536-5_22 Casimiro, António; Kaiser, Jörg. "Introduction to ASCoMS 2012". In Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, 149-150. Springer Berlin Heidelberg, 2012. 10.1007/978-3-642-33675-1_12 Marques, Luís; Casimiro, António. "Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults". In Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, 151-161. Springer Berlin Heidelberg, 2012. 10.1007/978-3-642-33675-1_13 Casimiro, Antonio; Rufino, Jose; Marques, Luis; Calha, Mario; Verissimo, Paulo. "Applying Architectural Hybridization in Networked Embedded Systems". In Software Technologies for Embedded and Ubiquitous Systems. SEUS 2009. Lecture Notes in Computer Science, 264-275. Springer Berlin Heidelberg, 2009. 10.1007/978-3-642-10265-3_24 Casimiro, António; Kaiser, Jörg; Verissimo, Paulo. "Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems". In Architecting Dependable Systems IV. Lecture Notes in Computer Science, 287-315. Springer Berlin Heidelberg, 2007. 10.1007/978-3-540-74035-3_13 Vieira, Marco; Costa, António C.; Madeira, Henrique. "Towards Timely ACID Transactions in DBMS". In Advances in Databases: Concepts, Systems and Applications. DASFAA 2007. Lecture Notes in Computer Science, 262-274. Springer Berlin Heidelberg, 2007. 10.1007/978-3-540-71703-4_24 Veríssimo, Paulo; Melro, Sérgio; Casimiro, António; Silva, Luís. "Distributed Industrial Information Systems: Design and Experience". In Balanced Automation Systems II. BASYS 1996. IFIP Advances in Information and Communication Technology, 175-190. Springer US, 1996. 10.1007/978-0-387-35065-3_17
Edição de livro	António Casimiro; Frank Ortmeier; Erwin Schoitsch; Friedemann Bitsch; Pedro M. Ferreira. Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, Lecture Notes in Computer Science.. Springer International Publishing. 2020. 10.1007/978-3-030-55583-2 • Editor António Casimiro; Frank Ortmeier; Friedemann Bitsch; Pedro M. Ferreira. Computer Safety, Reliability, and Security. Lecture Notes in Computer Science.. Springer International Publishing. 2020. 10.1007/978-3-030-54549-9 • Editor António Casimiro; Pedro M. Ferreira. Reliable Software Technologies - Ada-Europe 2018. Springer International Publishing. 2018. 10.1007/978-3-319-92432-8 • Editor António Casimiro; Rajeev Ghandi; Filipe Araújo. SDMCMM '12: Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management. 2012. 10.1145/2405186 • Editor Casimiro, A.; De Lemos, R.; Gacek, C.. Architecting Dependable Systems VII. Springer Berlin Heidelberg. 2010. 10.1007/978-3-642-17245-8 • Editor
Edição de número de revista	António Casimiro. "Special Issue on Dependable Monitoring in Wireless Sensor Networks". Sensors (2018): https://www.mdpi.com/journal/sensors/special_issues/Dependable_Monitoring_WSN_2018. Editor António Casimiro; Marisol García-Valls; Hans P. Reiser. "Special Issue on Software Technologies for Dependable Distributed Systems". Journal of Systems Architecture 73 (2017): Editor António Casimiro; Zonghua Zhang; Farid Naït-Abdesselam; Sherali Zeadally. "Special Issue on: "Security, Trust, and Privacy in DTN and Vehicular Communications"". International Journal of Autonomous and Adaptive Communications Systems (IJAACS) 3 2 (2010): https://www.inderscience.com/info/inarticletoc.php?jcode=ijaacs&year=2010&vol=3&issue=2. Editor convidado
Poster em conferência	António Casimiro; Rúben Menezes; 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". Trabalho apresentado em 7º Simpósio de Informática (INFORUM 2015), 2015.
Resumo em conferência	António Casimiro; José Cecílio; Pedro M. Ferreira; Anabela Oliveira; Paula Freire; Marta Rodrigues; Luís Almeida. "AQUAMON - A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments". Trabalho apresentado em 38th International Conference on on Computer Safety, Reliability and Security (SAFECOMP 2019), Turku, 2019.

Outros

Outra produção

Chapter 6: Network Monitoring and Adapting Connectivity. CPSoS must not only adapt the individual cyber-physical systems but also the network of the same in case communication gets jammed or in case certain communication links fail. To that end, we develop machine learning techniques for monitoring the network for accidental faults and detecting intrusions.. 2022. Espindola, Allan; António Casimiro. http://admorph.eu/wp-content/uploads/2022/09/D2.2.pdf.

Atividades

Apresentação oral de trabalho

	Título da apresentação	Nome do evento Anfitrião (Local do evento)
2023/01	Increasing the resilience of controllers in CPS: the ADMORPH approach	MCS: International Workshop on Mixed Critical Systems – Safe and Secure Intelligent CPS and the development cycle HiPEAC 2023 (Toulouse, França)
2019/01	An architectural approach for safe cooperative autonomous vehicles	Workshop on Assured Autonomy 75th IFIP WG 10.4 Meeting (Champéry, Suiça)
2018/03	Architecting and Programming Complex Embedded Systems: Challenges and Experience	University of Luxembourg (Luxemburgo)
2017/11	Challenges for dependable autonomous and cooperative driving	Linköpings University (Suécia)
2017/11	Open challenges for dependable autonomous and cooperative cars	Chalmers University of Technology (Suécia)
2017/11	Dependable adaptation to communication delays in computer networks	Chalmers University of Technology (Suécia)
2016/11	Safety in autonomous cooperative systems	1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'16) (Porto, Portugal)
2016/07	Challenges for safe and secure real-time embedded systems: the case of autonomous and cooperative vehicles	Encontro Ciência’16, Cyber-Physical Systems Track (Lisboa, Portugal)
2016/06	Open challenges for dependable autonomous and cooperative cars	CISUC - Center for Informatics and Systems of the University of Coimbra (Coimbra, Portugal)
2015/11	Advanced solutions for Time and Space Partitioned systems: architectural hybridization, adaptability and runtime verification	ASHLEY Project - 2nd Academic Workshop (Lisboa, Portugal)
2015/09	Dependability challenges on the way to autonomous and cooperating vehicles	International Workshop on Cooperative Sensing For Smart Mobility (COSSMO'15) (Las Palmas, Espanha)
2015/05	Mestrado em Segurança Informática na FCUL	Painel sobre Education & Training in Cyber Security. Porto Cyber Security Conference (Porto, Portugal)
2015/04	Soluções para a Proteção de Infraestruturas Críticas: Projetos do LaSIGE	Painel sobre Proteção de Infraestruturas Críticas – áreas Académia e de I&D. 9º Simpósio Internacional de Cibersegurança, Ciberdefesa e Gestão de Crises no Ciberespaço (Lisboa, Portugal)
2011/05	Sistemas Distribuídos Autonômicos: Experiências e Desafios	Painel sobre Sistemas Distribuídos Autonômicos. I Workshop on Autonomic Distributed Systems (WoSIDA'11) (Campo Grande, Brasil)
2011/05	Techniques for improved awareness of the temporal behavior in distributed systems	Universidade Federal da Bahia (Salvador, Brasil)
2010/04	Applying architectural hybridization to develop networked dependable control systems: The HIDENETS example	Otto von Guericke University (Magdeburg, Alemanha)
2008/02	Architectures and Frameworks for Systems of Embedded Systems	Workshop on "Dependability of Large-Scale and Dynamic Systems 53rd IFIP WG 10.4 Meeting (Natal, Brasil)
2008/02	Enhancing Dependable Systems of Embedded Systems	Universidade Federal de Santa Catarina (Florianópolis, Brasil)
2007/12	Architectures and Models for Systems of Embedded Systems	CMU CyLab Seminar Carnegie Mellon University (Pittsburgh, Estados Unidos)

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2022/09 - Atual	Secure Coordination along the IoT-Edge-Cloud Continuum Coorientador de Tiago Rafael Neto Carvalho	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2022/09 - Atual	Detection and Classification of User Behaviour Anomalies on VPN Accesses Orientador	Ciência de Dados (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2022/02 - Atual	Attack-Resilient Deep Learning Image Classification Model for Autonomous Driving Systems Coorientador de Bakary Badjie	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal
2021/09 - Atual	Neuro evolution-based data quality framework for regularly sampled sensor data Coorientador	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2021/02 - Atual	AML-Robust Network Intrusion Detection based on Diversity and Machine Learning Orientador de Allan Espindola	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2016/09 - Atual	Safe resource-aware virtual machines for IoT devices Coorientador de Carlos Mão de Ferro	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal
2022/09 - 2024/02	Cooperative Autonomous Driving in Simulation Coorientador	Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2021/09 - 2022/09	Integração de Tecnologia Semperis e CyberArk no Ecossistema SIEM IBM QRadar e Palo Alto Cortex xSOAR do CyberSOC da Altice Portugal Orientador	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2021/09 - 2022/09	Distributed Attestation Service for IoT Coorientador	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2021/09 - 2022/09	Integração de diversas fontes de dados e dashboad para sistema de monitorização remota Orientador	Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2020 - 2022/03	Data quality and dependability of IoT platform for buildings energy assessment Coorientador de João Valente	Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2020 - 2022/02	Localization of logistic parts using IoT and cloud technologies Coorientador de Humberto Oliveira	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2020/09 - 2021/12	Solução para a extinção da pegada digital de um utilizador Orientador	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2021/01	Implementação de Soluções para Confiabilidade de Dados em Redes de Sensores sem Fios Coorientador de João Penim	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020/12	Data Management for Cloud Supported Cooperative Driving Coorientador de Miguel Lourenço	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020/12	Geração Automática de Serviços de Integração em Plataformas de Middleware Orientador de André Pereira	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020/11	Deteção em Tempo Quase-Real de Anomalias no Comportamento de Administradores de Sistemas Orientador de Beatriz Sécio	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020/11	PICSEL: Portable ICS Extensible Lab Orientador de Marco Vieira	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/11	Evaluation of WSN technology for dependable monitoring in water environments Coorientador de Carlos Nascimento	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09 - 2019/11	Dependability framework for real-time aquatic risks forecast systems Coorientador de Gonçalo Jesus	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/10	Design and implementation of a cloud-based membership system for vehicular cooperation Coorientador de Tiago Correia	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/10	Design and implementation of a protocol for safe cooperation of self-driving cars Coorientador de João Pinto	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/09	Recolha de cyberthreat open source intellingence usando técnicas de correlação de informação Orientador de Edgar Tito	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/07	Determinação de Pontos Ótimos de inserção de NIDS numa Rede Corporativa de Grande Dimensão Coorientador de Gonçalo Miranda	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2015 - 2019/07	Desenvolvimento de um processo automático de gestão de vulnerabilidades de ciber segurança em ambientes de grande dimensão Coorientador de Fábio Fernandes	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2019/06	CAN FD: a communication network for future avionic systems Orientador de João Alves	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2018/11	Cyber Security Controls in Large MS Windows Environments: Monitoring Security Patching Policy Violations Coorientador de Gonçalo Reis	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2018/02	Unified Cyber Threat Intelligence Coorientador de Marisa Félix	Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2017/11	Event Processing and Correlation for a Cyber Defense Center Coorientador de Pedro Chaves	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2015 - 2016/04	Sensor Failure Modeling in Dynamic Composed Systems Coorientador de Georg Jäger	Computer Science (Mestrado) Otto von Guericke Universität Magdeburg, Alemanha
2014 - 2015/10	Estudo, implementação e avaliação de um sistema de tempo-real na plataforma RaspberryPi Orientador de Hugo Viegas	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2015/09	Procura e análise automatizada de superfícies expostas e passíveis de ataque a partir da Internet Coorientador de Rúben Meneses	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2015/07	Secure GPS clock synchronization in smart grids Coorientador de Radu Onica	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2015/04	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 Coorientador de João Ferreira	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2013 - 2015/01	Deteção, identificação e classificação de atividade suspeita em bases de dados com informação reservada Coorientador de Jorge Lima	Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2013 - 2014/11	Analysis and Implementation of Consistency and Fault Tolerant Mechanisms in Soft Real-Time Systems Coorientador de Pedro Figueira	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/12	SCADA in a Cloud-Based Architecture Orientador de Miguel Areias	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/11	TimelyWSN: Middleware Architecture for Probabilistic QoS Support in WSNs Orientador de João Alves	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/11	FIT-BROKER: Delivering a Reliable Service for Event Dissemination Orientador de Igor Antunes	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012/11	Sistema de detecção, análise e mensuração de eventos relevantes para a avaliação da qualidade de protecção (QoP) de call centers de grande dimensão Coorientador de Hugo Silva	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2011/12	IPTV Audit Collection Services Orientador de Nuno Antunes	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2011/12	IPv6 - A New Security Challenge Orientador de Vitor Leitão	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2007/01 - 2011/12	Support for Dependable and Adaptive Distributed Systems and Applications Orientador de Mônica Dixit	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011/11	Investigação e desenvolvimento de um sistema automático de detecção, monitorização e análise de propagação de worms em redes empresariais Coorientador de Tiago Sequeira	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011/09	Estudo e implementação de um mecanismo de autenticação 802.1x na rede do Departamento de Informática da FCUL Coorientador de António Broega	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2010/12	IPTV Log Events Profiling Coorientador de Francisco Lameira	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2010/09	Simulador Data Link – Piloto/Controlador Tráfego Aéreo Coorientador de João Alves	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2009/12	Capture and Analysis of the NFS Workload of an ISP Email Service Coorientador de Nuno Loureiro	Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2008 - 2009/09	ACCIPIENS Mobile Coorientador de David Baião	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2008/09	Inacessibilidade em Redes sem Fios Orientador de Simão Fontes	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2006 - 2007/07	Estudo de melhorias ao nível do desenho da arquitectura da rede do DI Coorientador de Nuno Marques	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2006 - 2007/07	Desenvolvimento de software para gestão e configuração de redes de telecomunicações Coorientador de Miguel Afonso	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2006 - 2007/07	Desenvolvimento de software para gestão e configuração de redes de telecomunicações Coorientador de Ângelo Costa	Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2005 - 2006/04	Middleware Frameworks for Location-Based Services: Technologies and Architectures Orientador de André Barbosa	Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
2023 - 2023	27th International Conference on Reliable Software Technologies (AEiC'23) (2023/06 - 2023/06) Conferência (Presidente da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2023 - 2023	42nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'23), Position Papers Chair (2023/09 - 2023/09) Conferência (Membro da Comissão Organizadora)	LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2022 - 2022	41st IEEE International Symposium on Reliable Distributed Systems (SRDS'22), Publicity Co-Chair (2022/09/19 - 2022/09/22) Conferência (Membro da Comissão Organizadora)	LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020 - 2020	39th International Conference on Computer Safety, Reliability and Security (SAFECOMP'20) (2020/09 - 2020/09) Conferência (Presidente da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020 - 2020	5th Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'20) (2020/06 - 2020/06) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - 2018	48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18) (2018/06 - 2018/06) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - 2018	23rd International Conference on Reliable Software Technologies (Ada-Europe 2018) (2018/06 - 2018/06) Conferência (Presidente da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2017 - 2017	47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17) (2017/06 - 2017/06) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015 - 2017	Workshop on Safety and Security of Intelligent Vehicles (SSIV) (2015) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2016 - 2016	Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'16) (2016/11 - 2016/11) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2016 - 2016	35th IEEE International Symposium on Reliable Distributed Systems (SRDS'16) (2016/09 - 2016/09) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2016 - 2016	46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'16) (2016/06 - 2016/07) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015 - 2015	IFIP WG10.4 Workshop on Autonomous and Cooperative Intelligent Vehicles: New safety and security challenges, or yet another critical infrastructure? (2015/06 - 2015/06) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015 - 2015	5th Workshop on Autonomic Distributed Systems (WoSiDA'15) (2015/05 - 2015/05) Oficina (workshop) (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015 - 2015	7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'15) (2015/04 - 2015/04) Oficina (workshop) (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2014 - 2014	33rd IEEE International Symposium on Reliable Distributed Systems (SRDS'14) (2014/10 - 2014/10) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2014 - 2014	13th International Workshop on Assurance in Distributed Systems and Networks (ADSN'14) (2014/06 - 2014/07) Oficina (workshop) (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2013 - 2013	IFIP WG 10.4 Workshop on Dependability in Cloud Computing (2013/01 - 2013/01) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2012 - 2013	Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management (SDMCMM) (2012 - 2013) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2012 - 2012	Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS) (2012/09 - 2012/09) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2011 - 2011	30th IEEE International Symposium on Reliable Distributed Systems (SRDS'11) (2011/09 - 2011/09) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2009 - 2009	Workshop on Architecting Dependable Systems (WADS'09) (2009/06 - 2009/06) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2009 - 2009	39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09) (2009/06 - 2009/07) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2009 - 2009	29th International Conference on Distributed Computing Systems (ICDCS'09) (2009/06 - 2009/06) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2008 - 2008	2nd International Conference on Distributed Event-Based Systems (DEBS'08) (2008/07 - 2008/07) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2007 - 2007	4th International Workshop on Dependable Embedded Systems (WDES'07), (2007/10 - 2007/10) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2006 - 2006	26th International Conference on Distributed Computing Systems (ICDCS'06) (2006/07 - 2006/07) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2004 - 2004	Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04) (2004/12 - 2004/12) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2004 - 2004	25th IEEE International Real-Time Systems Symposium (RTSS'04) (2004/12 - 2004/12) Conferência (Membro da Comissão Organizadora)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2002 - 2002	6th CaberNet Radicals Workshop (2002/02 - 2002/02) Oficina (workshop) (Coorganizador)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Arbitragem científica em conferência

	Nome da conferência	Local da conferência
2024 - Atual	International Conference on Dependable Systems and Networks (DSN)	Brisbane, Australia
2019 - Atual	Ada-Europe International Conference on Reliable Software Technologies (AEiC)
2018 - Atual	European Dependable Computing Conference (EDCC)
2016 - Atual	International Conference on Computer Safety, Reliability and Security (SAFECOMP)
2011 - Atual	Symposium on Applied Computing (SAC). Dependable and Adaptive Distributed Systems (DADS) track
2023 - 2023	International Conference on Dependable Systems and Networks (DSN)	Porto, Portugal
2023 - 2023	International Conference on Distributed Computing and Networking (ICDCN)	Kharagpur, India
2019 - 2022	International Conference on Emerging Technologies and Factory Automation (ETFA)
2019 - 2020	International Conference on Distributed Computing Systems (ICDCS)
2018 - 2018	International Symposium on Reliable Distributed Systems (SRDS)
2018 - 2018	IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC)
2015 - 2018	International Conference on Dependability (DEPEND)
2017 - 2017	International Conference on Distributed Computing Systems (ICDCS)
2016 - 2016	International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP)
2015 - 2015	International European Conference on Parallel and Distributed Computing (EuroPar)
2012 - 2015	International Symposium on Reliable Distributed Systems (SRDS)
2012 - 2013	ACM/IFIP/USENIX International Middleware Conference (Middleware)
2012 - 2012	International Conference on Dependable Systems and Networks (DSN)
2009 - 2012	International Conference on Dependability (DEPEND)
2007 - 2012	International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP)
2011 - 2011	Latin American Dependable Computing Conference (LADC)
2011 - 2011	International Conference on Internet of Things (IoT)
2008 - 2011	International Conference on Distributed Applications and Interoperable Systems (DAIS)
2008 - 2010	International Symposium on Reliable Distributed Systems (SRDS)
2009 - 2009	International Conference on Dependable Systems and Networks (DSN)
2005 - 2005	International Conference on Dependable Systems and Networks (DSN)

Membro de associação

	Nome da associação	Tipo de participação
2019 - Atual	Ada-Europe	Member of the Board
2018 - Atual	EWICS TC7 (European Workshop on Industrial Computer Systems Reliability, Safety and Security)	Member
2012 - Atual	Association for Computing Machinery (ACM)	Member
2012 - Atual	IFIP WG10.4 on Dependable Computing and Fault Tolerance	Member
2003 - Atual	Institute of Electrical and Electronics Engineers (IEEE)	Member
1991 - Atual	Ordem dos Engenheiros	Member

Membro de comissão

	Descrição da atividade Tipo de participação	Instituição / Organização
2013 - 2015	Coordinating Committee, INForum - Simpósio de Informática Presidente / Vice-presidente	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2009 - 2013	Coordinating Committee, INForum - Simpósio de Informática Membro	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal