Semantic search

From Navigators

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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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, 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.

• 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.