António Casimiro
From Navigators
Faculty
- Email: casim@di.fc.ul.pt
- Homepage: http://www.di.fc.ul.pt/~casim
- Phone: +351 217500612
- Fax: +351 217500084
Projects
Current projects
- VEDLIoT (Very Efficient Deep Learning in IOT)
- SATO (Self Assessment Towards Optimization of Building Energy)
- ADMORPH (Towards Adaptively Morphing Embedded Systems)
- AQUAMON (Dependable Monitoring with Wireless Sensor Networks in Water Environments)
- REDBOOK (Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs)
- Xivt (eXcellence In Variant Testing)
Past projects
- NORTH (Non-intrusive Observation and RunTime verification of cyber-pHysical systems)
- IRCoC (Intelligent Resilience for Cloud-of-Clouds Services)
- KARYON (Kernel-Based ARchitecture for safetY-critical cONtrol)
- TRONE (Trustworthy and Resilient Operations in a Network Environment)
- MASSIF (MAnagement of Security information and events in Service Infrastructures)
- HIDENETS (HIghly DEpendable ip-based NETworks and Services)
- TACID (Timely ACID Transactions in DBMS)
- DARIO (Distributed Agency for Reliable Input/Output)
- CORTEX (CO-operating Real-time senTient objects: architecture and EXperimental evaluation)
- DEAR-COTS (Distributed Embedded Architectures using Commercial Off-The-Shelf Components)
- MICRA (A Model for the Development of Mission Critical Applications)
Student supervision
Concluded
- Gonçalo Jesus, “A dependability framework for WSN-based aquatic monitoring systems”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Nov. 2019.
- Carlos Nascimento, “Evaluation of WSN Technology for Dependable Monitoring in Water Environments”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Nov. 2019.
- João de Sousa Alves, “CAN FD: a communication network for future avionic systems”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Portugal, Jun. 2019.
- Radu Onica, “Secure GPS Clock Synchronization in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2015.
- Vitor Manuel Carujo Leitão, “IPv6 - A New Security Challenge”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2011.
Ongoing
- Rohit Kumar (PhD student)
- Carlos Mão de Ferro (PhD student)
- Adriano Mão de Ferro (PhD student)
- Allan Espíndola (PhD student)
- João Valente (MSc student)
- Inês Sousa (MSc student)
- Tiago R. N. Carvalho (MSc student)
Publications
- Paolo Ferrari, Emiliano Sisinni, Paolo Bellagente, Stefano Rinaldi, Marco Pasetti, Alan Oliveira, Raphael C. S. Machado, And Luiz F. R. da C. Carmo, António Casimiro, “Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet”, IEEE Transactions on Industrial Electronics, vol. Early Access, pp. 1–1, Jun. 2020. DOI: 10.1109/TIE.2020.3001850
- Alan Oliveira, António Casimiro, Raphael C. S. Machado, And Luiz F. R. da C. Carmo, “Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration”, Sensors, vol. 20, no. 792, Jan. 2020.
- 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”, in Safecomp 2019 Fast Abstract, Turku, Finland, Sept. 2019.
- António Casimiro, Emelie Ekenstedt, Elad M. Schiller, “Self-stabilizing Manoeuvre Negotiation: the Case of Virtual Traffic Lights”, in 38th International Symposium on Reliable Distributed Systems (SRDS 2019), Poster Session, Lyon, France, Sept. 2019.
- Carlos Nascimento, António Casimiro, Pedro M. Ferreira, “A Methodology to Automate the Selection of LPWA Technologies in WSN Applications”, in Simpósio de Informática (INFORUM), Guimarães, Portugal, Sept. 2019.
- Alan Oliveira, António Casimiro, Raphael Carlos Santos Machado, Luiz Fernando Rust da Costa Carmo, “Bio-inspired System Identification Attacks in Noisy Networked Control Systems”, in Bio-inspired Information and Communication Technologies. BICT 2019., Compagnoni A., Casey W., Cai Y., Mishra B., Eds., ser. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer, Cham, Mar. 2019, vol. 289, pp. 28–38.
- José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro, “Non-intrusive Runtime Verification within a System-on-Chip”, Ada User Journal, vol. 39, no. 4, pp. 296–299, Dec. 2018.
- Gonçalo Jesus, António Casimiro, Anabela Oliveira, “Dependable Outlier Detection in Harsh Environments Monitoring Systems”, in Computer Safety, Reliability, and Security. SAFECOMP 2018, Gallina B., Skavhaug A., Schoitsch E., Bitsch F., Eds., ser. Lecture Notes in Computer Science, vol 11094. Springer, Cham, Sept. 2018, pp. 224–233.
- José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache, “NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems”, Ada User Journal, pp. 278–281, Jun. 2018.
- Georg Jäger, Sebastian Zug, António Casimiro, “Generic Sensor Failure Modeling for Cooperative Systems”, Sensors, vol. 18, no. 925, Mar. 2018.
- Gonçalo Jesus, António Casimiro, Anabela Oliveira, “A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks”, Sensors, vol. 17, no. 9, Sept. 2017.
- António Casimiro, Inês Gouveia, José Rufino, “Enforcing Timeliness and Safety in Mission-Critical Systems”, in Proceedings of the 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017, Vienna, Austria, Jun. 2017.
- André Nogueira, António Casimiro, Alysson Bessani, “Elastic State Machine Replication”, IEEE Transactions on Parallel and Distributed Systems, Mar. 2017.
- Rúben Menezes, António Casimiro, José A. Alegria and Paulo T. Serrão, “Procura e Análise Automatizada de Superfícies Expostas e Passíveis de Ataque a Partir da Internet”, Sept. 2015.
- Radu Onica, Nuno Ferreira Neves, António Casimiro, “Fault-Tolerant Precision Time Protocol for Smart Grids”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.
- Eric Vial, António Casimiro, “Evaluation of Safety Rules in a Safety Kernel-Based Architecture”, in Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS. Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.
- Gonçalo Jesus, Anabela Oliveira, António Casimiro, “Ensuring Reliable Measurements in Remote Aquatic Sensor Networks”, in Proceedings of the 11th International Conference on Hydroinformatics, New York City, USA, Aug. 2014.
- Filipe Araujo, Serhiy Boychenko, Raul Barbosa, António Casimiro, “Replica Placement to Mitigate Attacks on Clouds”, Journal of Internet Services and Applications, vol. 5, no. 1, Jul. 2014.
- António Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad M. Schiller, “Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed (Invited Paper)”, in Proceedings of the 13th International Workshop on Assurance in Distributed Systems and Networks (ADSN), co-located with ICDCS, Madrid, Spain, Jun. 2014.
- António Casimiro, José Rufino, Ricardo Correia Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce, Thomas Petig, “A Kernel-based Architecture fo Safe Cooperative Vehicular Functions (Invited Paper)”, in Proceedings of the 2014 Symposium on Industrial Embedded Systems, Pisa, Italy, Jun. 2014.
As editor
- António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., Architecting Dependable Systems VII, ser. LNCS. Springer, Dec. 2010, vol. 6420.
BibTeX
Navigators - António Casimiro| Faculty members | Alan Oliveira, Alysson Bessani, Ana Respício, António Casimiro, Bernardo Ferreira, Ibéria Medeiros, José Cecílio, Nuno Ferreira Neves, Pedro M. Ferreira, Vinicius Vielmo Cogo |
|---|---|
| Post-doc researchers | David Matos |
| PhD students | Adriano Mão de Ferro, AdrianoSerckumecka, Allan Espíndola, Ana Fidalgo, Carlos Mão de Ferro, Fernando Alves, Joel Samper, Miracle Aniakor, Nuno Dionísio, Paulo Antunes, Regivaldo Costa, Robin Vassantlal, Rohit Kumar, Samaneh Shafee, Žygimantas Jasiūnas |
| Hired researchers | (none) |
| MSc students | Alexandre Nascimento, André Gil, Bruno Matos, David Silva, Diogo Avelãs, Diogo Duarte, Diogo Pires, Diogo Ferreira, Frederico Apolónia, Gonçalo Reis, Inês Sousa, João Loureiro, João Queimado, João Silva, João Valente, Lívio Rodrigues, Miguel Oliveira, Pedro Alves, Pedro Rosa, Rafael Ramires … further results |
| Undergraduate students | (none) |
| Management | (none) |
