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

• Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino, P. Costa, “An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance”, in Proceedings of the Workshop on Embedded Real-Time Software and Systems (ERTS2), Toulouse, France, Feb. 2014.

• Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, Paulo Verissimo, “Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol”, in Middleware 2013, Eyers, David and Schwan, Karsten, Eds., ser. Lecture Notes in Computer Science. Beijing, China: Springer Berlin Heidelberg, Dec. 2013, vol. 8275, pp. 41–61.

• Luís Marques, António Casimiro, “Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models”, in 32nd International Symposium on Reliable Distributed Systems (SRDS 2013), Braga, Portugal, Sept. 2013.

• Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.

• António Casimiro, Jörg Kaiser, Elad Michael Schiller, P. Costa, José Parizi, Rolf Johansson, Renato Librino, “The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems”, in 2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems (WORCS'13), Jun. 2013.

• João Alves, António Casimiro, Luís Marques, “Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “Towards Dependable Measurements in Coastal Sensors Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• Filipe Araújo, Raul Barbosa, António Casimiro, “Replication for dependability on virtualized cloud environments”, in Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science, Montreal, Quebec, Canada, Dec. 2012, pp. 2:1–2:6. http://doi.acm.org/10.1145/2405136.2405138

• António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Daniel Santos Costa, José Parizi, Rolf Johansson, Renato Librino, “Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems”, in Stabilization, Safety, and Security of Distributed Systems, Andréa W. Richa, Christian Scheideler, Eds., ser. LNCS. Toronto, Canada: Springer Berlin Heidelberg, Oct. 2012, vol. 7596, pp. 232–235. http://dx.doi.org/10.1007/978-3-642-33536-5_22

• Luís Marques, António Casimiro, “Towards dependable and stable perception in smart environments with timing and value faults”, in Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security, Magdeburg, Germany, Sept. 2012, pp. 151–161. http://dx.doi.org/10.1007/978-3-642-33675-1_13

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “Adaptare: Supporting automatic and dependable adaptation in dynamic environments”, ACM Transactions on Autonomous and Adaptive Systems, vol. 7, no. 2, pp. 18:1–18:25, Jul. 2012. http://doi.acm.org/10.1145/2240166.2240168

• Luís Marques, António Casimiro, “Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks”, Department of Informatics, University of Lisbon, Tech. Rep. 12--04, Jul. 2012. http://hdl.handle.net/10455/6873

• António Casimiro, Paulo Verissimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan, “TRONE: Trustworthy and Resilient Operations in a Network Environment”, in Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on, Boston, MA, USA, Jun. 2012, pp. 1–6. http://dx.doi.org/10.1109/DSNW.2012.6264694

• Diego Kreutz, António Casimiro, Marcelo Pasin, “A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures”, in Proceedings of the 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), Stockholm, Sweden, Jun. 2012, pp. 87–95. http://dx.doi.org/10.1007/978-3-642-30823-9_7

• Amir Soltani Nezhad, António Casimiro, Paulo Verissimo, “A Multi-Layered Architecture for a Secure Virtualization Environment”, in Fast Abstract at the 2012 International Conference on Dependable Systems and Networks, Boston, MA, USA, Jun. 2012.

• Mônica Dixit, Henrique Moniz, António Casimiro, “Timeout-based adaptive consensus: improving performance through adaptation”, in Proceedings of the 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Riva del Garda (Trento), Italy, Mar. 2012, pp. 492–497. http://doi.acm.org/10.1145/2245276.2245371

• Smruti Padhy, Diego Kreutz, António Casimiro, Marcelo Pasin, “Trustworthy and resilient monitoring system for cloud infrastructures”, in Proceedings of the Middleware 2011 Workshop on Posters and Demos Track, Lisbon, Portugal, Dec. 2011, pp. 3:1–3:2. http://dx.doi.org/10.1145/2088960.2088963

• Luís Marques, António Casimiro, “Lightweight Dependable Adaptation for Wireless Sensor Networks”, in 4th International Workshop on Dependable Network Computing and Mobile Systems (DNCMS 2011), in Proceedings of the 30th IEEE International Symposium on Reliable Distributed Systems Workshops, pages 26-35, Madrid, Spain, October 2011., Oct. 2011.

• António Casimiro, Mônica Dixit, “From static to dynamic protocols: adapting timeouts for improved performance”, in I Workshop on Autonomic Distributed Systems (WoSIDA'11), May 2011.

• Mônica Dixit, António Casimiro, “Adaptare-FD: A dependability-oriented adaptive failure detector”, in 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), Nov. 2010.

• Mônica Dixit, Henrique Moniz, António Casimiro, “Timeout Adaptive Consensus: Improving Performance through Adaptation”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2010-06, Nov. 2010. http://hdl.handle.net/10455/6686

• Luís Marques, António Casimiro, “Dependable Perception in Wireless Sensor Networks”, in Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, Sept. 2010.

• Luís Marques, António Casimiro, “Data Validity and Dependable Perception in Networked Sensor-Based Systems”, in 3rd International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'10), in Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), New Delhi, India, November 2010, Aug. 2010.

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments”, Department of Informatics, University of Lisboa, Tech. Rep. TR-09-19, Dec. 2009. http://hdl.handle.net/10455/3273

• António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Verissimo, “Applying architectural hybridization in networked embedded systems”, in Proceedings of the 7th IFIP WG 10.2 International Workshop (SEUS 2009), Software Technologies for Embedded and Ubiquitous Systems, LNCS 5860, Sunggu Lee and Priya Narasimhan (Eds), Newport Beach, CA, USA, November 2009, Nov. 2009.

• Luís Marques, António Casimiro, “Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications”, in Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, Lisboa, Portugal, September 2009, Sept. 2009.

• Luís Marques, António Casimiro, Mário Calha, “Design and development of a proof-of-concept platooning application using the HIDENETS architecture”, in Proceedings of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks, Estoril, Lisboa, Portugal, June 2009, Jul. 2009.

• Mônica Dixit, António Casimiro, Paulo Verissimo, “Probabilistic Adaptive Time-Aware Consensus”, in Eurosys 2009, WIP session, Nuremberg, Germany, March 2009, Mar. 2009.

• Mônica Dixit, António Casimiro, N. Laranjeiro, Marco Vieira, “Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions”, in Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, Napoli, Italy, October 2008, Oct. 2008.

• António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli, Paulo Verissimo, “A framework for dependable QoS adaptation in probabilistic environments”, in Proceedings of the 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Fortaleza, Ceara, Brazil, March 2008., Mar. 2008.