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

Curriculum Vitae

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.

Read full resume ↓

Identification

Personal identification

Full name: António Casimiro Ferreira da Costa

Citation names

António Casimiro
António Casimiro Costa

Author identifiers

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

Addresses

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

Websites

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

Knowledge fields

Exact Sciences - Computer and Information Sciences

Languages

Language	Speaking	Reading	Writing	Listening	Peer-review
Portuguese (Mother tongue)
English	Advanced (C1)	Advanced (C1)	Advanced (C1)	Advanced (C1)	Advanced (C1)
French	Upper intermediate (B2)	Advanced (C1)	Intermediate (B1)	Upper intermediate (B2)	Upper intermediate (B2)

Education

	Degree	Classification
2003 Concluded	Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal "Timely actions in the presence of uncertain timeliness" (THESIS/DISSERTATION)	Approved Unanimously with Distinction and Honour
1995 Concluded	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" (THESIS/DISSERTATION)	Very Good (maximum)
1991 Concluded	Engenharia Electrotécnica e de Computadores (Licenciatura) Major in Sistemas e Computadores Universidade de Lisboa Instituto Superior Técnico, Portugal	Final average of 15 (scale 0-20)

Affiliation

Science

	Category Host institution	Employer
2015 - Current	Principal Investigator (Research)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

2003 - 2015	Researcher (Research)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

1997 - 2003	Research Assistant (Research)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

1991 - 1996	Research Trainee (Research)	Instituto de Engenharia de Sistemas e Computadores, Portugal

Teaching in Higher Education

	Category Host institution	Employer
2013/06 - Current	Associate Professor (University Teacher)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2003/04 - 2013/05	Assistant Professor (University Teacher)	Universidade de Lisboa Faculdade de Ciências, Portugal

1996/03 - 2003/03	Assistant (University Teacher)	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
1993/09 - 1996/03	Trainee Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Positions / Appointments

	Category Host institution	Employer
2022/05/19 - Current	Vice-President of the Pedagogic Council	Universidade de Lisboa Faculdade de Ciências, Portugal
	Universidade de Lisboa Faculdade de Ciências, Portugal
2018/05 - Current	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

Others

	Category Host institution	Employer
2019 - Current	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, United States

Projects

Grant

	Designation	Funders
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 Principal investigator Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2018/10/01 - 2021/09/30	uPVN: Redes Virtuais Programáveis, Centradas no Utilizador PTDC/CCI-INF/30340/2017 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
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 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2016/07/01 - 2019/12/31	IRCoC - Resiliência Inteligente para Serviços na Nuvem de Nuvens PTDC/EEI-SCR/6970/2014 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
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 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2011/10 - 2014/12	KARYON - Kernel-based ARchitecture for safetY-critical cONtrol FP7-ICT-288195 Principal investigator 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 Concluded
2010/10/01 - 2014/03/31	TRONE: Operações Confiáveis e Resilientes em Ambientes de Redes CMU-PT/RNQ/0015/2009 Principal investigator Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2010/10 - 2013/09	MASSIF - MAnagement of Security information and events in Service Infrastructures FP7-ICT-257475 Researcher 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 Concluded
2010/01/01 - 2012/10/31	CloudFIT: Tolerância a Falhas e Intrusões na Computação em Nuvens PTDC/EIA-CCO/108299/2008 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2006/01 - 2008/12	HIDENETS - HIghly DEpendable ip-based NETworks and Services FP6-26979 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Sixth Framework Programme Concluded
2005/08/20 - 2008/11/30	TACID - Transacções ACID atempadas em SGBD POSC/EIA/61568/2004 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2005/03/01 - 2008/06/30	DARIO - Agência Distribuída para Entradas/Saídas Fiáveis POSC/EIA/56041/2004 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2001/04 - 2004/03	CORTEX - CO-operating Real-time senTient objects: architecture and EXperimental evaluation IST-2000-26031 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	European Commission Concluded
1999/10 - 2001/09	DEAR-COTS: Distributed Embedded Architectures using Commercial Off-The-Shelf Components PRAXIS/P/EEI/14187/1998 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
1999/09 - 2001/08	MICRA - A Model for the Development of MIssion CRitical Applications PRAXIS/P/EEI/12160/1998 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Concluded
1992/09 - 1994/08	DINAS - DQS: Design and Implementation of CNMA-based Networks for CIME Applications in SMEs 6779 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal	European Commission Concluded

Contract

	Designation	Funders
2023/10 - Current	Automação da análise forense para casos suspeitos de abuso de acesso a informação crítica MEO-AutoAF Supervisor 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 Ongoing
2022/09 - Current	Detection and Classification of User Behaviour Anomalies on VPN Accesses VPN-Anomalies Supervisor LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluded
2020/11 - Current	VEDLIoT: Very Efficient Deep Learning in IOT H2020-EU.2.1.1-957197 Researcher 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 Concluded
2020/01 - Current	ADMORPH: Towards Adaptively Morphing Embedded Systems H2020-EU.2.1.1-871259 Researcher 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 Concluded
2020/10/01 - 2024/09/30	SATO - Self Assessment Towards Optimization of Building Energy 957128 Researcher 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	Ongoing
2020/01/01 - 2023/06/30	XIVT - eXcellence In Variant Testing 17039 39238 Researcher Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Concluded
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 Supervisor 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 Concluded
2018/11 - 2021/10	HyLIT - Architectural Support for Intrusion Tolerant Operating-System Kernels HyLIT Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Universite du Luxembourg - Campus Belval Concluded
2020/09 - 2021/08	Integração de Physical Information" em "User Behavior Analytics & Security" (PhyUBA) PhyUBA Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluded
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 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluded
2018/09 - 2019/08	Network Topology Discovery and Mapping MEO18 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluded
2017/09 - 2018/08	Cyber Security Controls in Large MS Windows Environments: Monitoring Security Patching Policy Violations MEO17 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluded
2016/09 - 2017/08	Unified Cyber Threat Intelligence MEO16 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluded
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 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	MEO - Serviços de Comunicações e Multimédia, S.A Concluded
2014/10 - 2015/09	Procura e análise automatizada de superfícies expostas e passíveis de ataque a partir da Internet PTC14 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluded
2013/10 - 2014/09	Analysis and Implementation of Consistency and Fault Tolerant Mechanisms in Soft Real-Time Systems PTC13A Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluded
2013/10 - 2014/09	Deteção, Identificação e Classificação de Atividade Suspeita em Bases de Dados com Informação Reservada PTC13B Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluded
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 Concluded
2012/10 - 2013/09	Sistema de monitorização e caracterização de logins suspeitos a sistemas com informação reservada PTC12 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluded
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 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluded
2010/10 - 2011/09	Detecção, monitorização e análise automática da propagação de worms PTC10 Supervisor Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal	PT Comunicações Concluded

Outputs

Publications

Book chapter	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
Conference abstract	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". Paper presented in 38th International Conference on on Computer Safety, Reliability and Security (SAFECOMP 2019), Turku, 2019.
Conference paper	Mika, Kevin; Griessl, René; Kucza, Nils; Porrmann, Florian; Kaiser, Martin; Tigges, Lennart; Hagemeyer, Jens; et al. "VEDLIoT: Next generation accelerated AIoT systems and applications". Paper presented in 20th ACM International Conference on Computing Frontiers, Bologna, 2023. Published • 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. Published • 10.23919/date54114.2022.9774653 Gonçalo de Jesus; Anabela Oliveira; António Casimiro. "Detecting Drifts and Offsets in Environmental Monitoring Networks". Paper presented in 7th International Conference on Sensors Engineering and Electronics Instrumentation Advances (SEIA 2021), Palma de Mallorca, 2021. Published Casimiro, Antonio; Ekenstedt, Emelie; M. Schiller, Elad. "Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights". Paper presented in 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". Paper presented in 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". Paper presented in 7º Simpósio de Informática (INFORUM 2015), Covilhã, 2015. Jesus, Gonzalo; Oliveira, Anabela; Azevedo, Alberto; Casimiro, Antonio. "Improving sensor-fusion with environmental models". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 12th Symposium on Reliable Distributed Systems (SRDS'93), New Jersey, 1993. 10.1109/reldis.1993.393467
Conference poster	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". Paper presented in 7º Simpósio de Informática (INFORUM 2015), 2015.
Edited book	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
Journal article	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. Corresponding author: 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. Open access • Published 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. Open access • 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. Open access • 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. Open access 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. Open access 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. Open access • 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. Open access • 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. Open access • 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.
Journal issue	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. Invited editor

Other

Other output

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.

Activities

Oral presentation

	Presentation title	Event name Host (Event location)
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, France)
2019/01	An architectural approach for safe cooperative autonomous vehicles	Workshop on Assured Autonomy 75th IFIP WG 10.4 Meeting (Champéry, Switzerland)
2018/03	Architecting and Programming Complex Embedded Systems: Challenges and Experience	University of Luxembourg (Luxembourg)
2017/11	Challenges for dependable autonomous and cooperative driving	Linköpings University (Sweden)
2017/11	Open challenges for dependable autonomous and cooperative cars	Chalmers University of Technology (Sweden)
2017/11	Dependable adaptation to communication delays in computer networks	Chalmers University of Technology (Sweden)
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, Spain)
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, Brazil)
2011/05	Techniques for improved awareness of the temporal behavior in distributed systems	Universidade Federal da Bahia (Salvador, Brazil)
2010/04	Applying architectural hybridization to develop networked dependable control systems: The HIDENETS example	Otto von Guericke University (Magdeburg, Germany)
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, Brazil)
2008/02	Enhancing Dependable Systems of Embedded Systems	Universidade Federal de Santa Catarina (Florianópolis, Brazil)
2007/12	Architectures and Models for Systems of Embedded Systems	CMU CyLab Seminar Carnegie Mellon University (Pittsburgh, United States)

Supervision

	Thesis Title Role	Degree Subject (Type) Institution / Organization
2022/09 - Current	Secure Coordination along the IoT-Edge-Cloud Continuum Co-supervisor of Tiago Rafael Neto Carvalho	Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2022/09 - Current	Detection and Classification of User Behaviour Anomalies on VPN Accesses Supervisor	Ciência de Dados (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2022/02 - Current	Attack-Resilient Deep Learning Image Classification Model for Autonomous Driving Systems Co-supervisor of Bakary Badjie	Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2021/09 - Current	Neuro evolution-based data quality framework for regularly sampled sensor data Co-supervisor	Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2021/02 - Current	AML-Robust Network Intrusion Detection based on Diversity and Machine Learning Supervisor of Allan Espindola	Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2016/09 - Current	Safe resource-aware virtual machines for IoT devices Co-supervisor of Carlos Mão de Ferro	Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2022/09 - 2024/02	Cooperative Autonomous Driving in Simulation Co-supervisor	Informática (Master) 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 Supervisor	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2021/09 - 2022/09	Distributed Attestation Service for IoT Co-supervisor	Engenharia Informática (Master) 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 Supervisor	Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2020 - 2022/03	Data quality and dependability of IoT platform for buildings energy assessment Co-supervisor of João Valente	Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2020 - 2022/02	Localization of logistic parts using IoT and cloud technologies Co-supervisor of Humberto Oliveira	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2020/09 - 2021/12	Solução para a extinção da pegada digital de um utilizador Supervisor	Segurança Informática (Master) 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 Co-supervisor of João Penim	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020/12	Data Management for Cloud Supported Cooperative Driving Co-supervisor of Miguel Lourenço	Engenharia Informática (Master) 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 Supervisor of André Pereira	Engenharia Informática (Master) 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 Supervisor of Beatriz Sécio	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020/11	PICSEL: Portable ICS Extensible Lab Supervisor of Marco Vieira	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/11	Evaluation of WSN technology for dependable monitoring in water environments Co-supervisor of Carlos Nascimento	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09 - 2019/11	Dependability framework for real-time aquatic risks forecast systems Co-supervisor of Gonçalo Jesus	Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/10	Design and implementation of a cloud-based membership system for vehicular cooperation Co-supervisor of Tiago Correia	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/10	Design and implementation of a protocol for safe cooperation of self-driving cars Co-supervisor of João Pinto	Engenharia Informática (Master) 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 Supervisor of Edgar Tito	Segurança Informática (Master) 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 Co-supervisor of Gonçalo Miranda	Engenharia Informática (Master) 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 Co-supervisor of Fábio Fernandes	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2019/06	CAN FD: a communication network for future avionic systems Supervisor of João Alves	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2018/11	Cyber Security Controls in Large MS Windows Environments: Monitoring Security Patching Policy Violations Co-supervisor of Gonçalo Reis	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2018/02	Unified Cyber Threat Intelligence Co-supervisor of Marisa Félix	Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2017/11	Event Processing and Correlation for a Cyber Defense Center Co-supervisor of Pedro Chaves	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2015 - 2016/04	Sensor Failure Modeling in Dynamic Composed Systems Co-supervisor of Georg Jäger	Computer Science (Master) Otto von Guericke Universität Magdeburg, Germany
2014 - 2015/10	Estudo, implementação e avaliação de um sistema de tempo-real na plataforma RaspberryPi Supervisor of Hugo Viegas	Engenharia Informática (Master) 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 Co-supervisor of Rúben Meneses	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2015/07	Secure GPS clock synchronization in smart grids Co-supervisor of Radu Onica	Segurança Informática (Master) 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 Co-supervisor of João Ferreira	Engenharia Informática (Master) 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 Co-supervisor of Jorge Lima	Informática (Master) 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 Co-supervisor of Pedro Figueira	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/12	SCADA in a Cloud-Based Architecture Supervisor of Miguel Areias	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/11	TimelyWSN: Middleware Architecture for Probabilistic QoS Support in WSNs Supervisor of João Alves	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/11	FIT-BROKER: Delivering a Reliable Service for Event Dissemination Supervisor of Igor Antunes	Segurança Informática (Master) 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 Co-supervisor of Hugo Silva	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2011/12	IPTV Audit Collection Services Supervisor of Nuno Antunes	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2011/12	IPv6 - A New Security Challenge Supervisor of Vitor Leitão	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2007/01 - 2011/12	Support for Dependable and Adaptive Distributed Systems and Applications Supervisor of Mônica Dixit	Informática (PhD) 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 Co-supervisor of Tiago Sequeira	Engenharia Informática (Master) 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 Co-supervisor of António Broega	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2010/12	IPTV Log Events Profiling Co-supervisor of Francisco Lameira	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2010/09	Simulador Data Link – Piloto/Controlador Tráfego Aéreo Co-supervisor of João Alves	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2009/12	Capture and Analysis of the NFS Workload of an ISP Email Service Co-supervisor of Nuno Loureiro	Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2008 - 2009/09	ACCIPIENS Mobile Co-supervisor of David Baião	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2008/09	Inacessibilidade em Redes sem Fios Supervisor of Simão Fontes	Engenharia Informática (Master) 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 Co-supervisor of Nuno Marques	Engenharia Informática (Master) 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 Co-supervisor of Miguel Afonso	Engenharia Informática (Master) 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 Co-supervisor of Ângelo Costa	Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2005 - 2006/04	Middleware Frameworks for Location-Based Services: Technologies and Architectures Supervisor of André Barbosa	Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal

Event organisation

	Event name Type of event (Role)	Institution / Organization
2023 - 2023	27th International Conference on Reliable Software Technologies (AEiC'23) (2023/06 - 2023/06) Conference (President of the Organising Committee)	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) Conference (Member of the Organising Committee)	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) Conference (Member of the Organising Committee)	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) Conference (President of the Organising Committee)	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) Workshop (Co-organisor)	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) Conference (Member of the Organising Committee)	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) Conference (President of the Organising Committee)	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) Conference (Member of the Organising Committee)	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) Workshop (Co-organisor)	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) Workshop (Co-organisor)	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) Conference (Member of the Organising Committee)	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) Conference (Member of the Organising Committee)	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) Workshop (Co-organisor)	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) Workshop (Member of the Organising Committee)	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) Workshop (Member of the Organising Committee)	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) Conference (Member of the Organising Committee)	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) Workshop (Member of the Organising Committee)	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) Workshop (Co-organisor)	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) Workshop (Co-organisor)	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) Workshop (Co-organisor)	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) Conference (Member of the Organising Committee)	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) Workshop (Co-organisor)	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) Conference (Member of the Organising Committee)	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) Conference (Member of the Organising Committee)	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) Conference (Member of the Organising Committee)	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) Workshop (Co-organisor)	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) Conference (Member of the Organising Committee)	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) Workshop (Co-organisor)	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) Conference (Member of the Organising Committee)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2002 - 2002	6th CaberNet Radicals Workshop (2002/02 - 2002/02) Workshop (Co-organisor)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Association member

	Society Organization name	Role
2019 - Current	Ada-Europe	Member of the Board
2018 - Current	EWICS TC7 (European Workshop on Industrial Computer Systems Reliability, Safety and Security)	Member
2012 - Current	Association for Computing Machinery (ACM)	Member
2012 - Current	IFIP WG10.4 on Dependable Computing and Fault Tolerance	Member
2003 - Current	Institute of Electrical and Electronics Engineers (IEEE)	Member
1991 - Current	Ordem dos Engenheiros	Member

Committee member

	Activity description Role	Institution / Organization
2013 - 2015	Coordinating Committee, INForum - Simpósio de Informática President / Vice-president	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2009 - 2013	Coordinating Committee, INForum - Simpósio de Informática Member	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Conference scientific committee

	Conference name	Conference host
2024 - Current	International Conference on Dependable Systems and Networks (DSN)	Brisbane, Australia
2019 - Current	Ada-Europe International Conference on Reliable Software Technologies (AEiC)
2018 - Current	European Dependable Computing Conference (EDCC)
2016 - Current	International Conference on Computer Safety, Reliability and Security (SAFECOMP)
2011 - Current	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)