“Preliminary definition of CORTEX interaction model”
From Navigators
Past memberHenrique Moniz is no longer with the Navigators.
File:Henrique Moniz.jpg
Henrique Moniz
Projects
Past projects
- DIVERSE (Diversity for Intrusion-Tolerant Systems)
- CRUTIAL (CRitical UTility InfrastructurAL resilience)
- RESIST NoE (Resilience for Survivability in IST (Network of Excellence))
- RITAS (Randomized Intrusion Tolerance for Asynchronous Systems)
Publications
- 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
- Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “RITAS: Services for Randomized Intrusion Tolerance”, IEEE Transactions on Dependable and Secure Computing, vol. 8, n. 1, pp. 122-136, Jan.-Feb. 2011., Jan. 2011.
- Henrique Moniz, “Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, 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
- Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, “Turquois: Byzantine Consensus in Wireless Ad hoc Networks”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010., Jun. 2010.
- Henrique Moniz, Alessandra Tedeschi, Nuno Ferreira Neves, Miguel Correia, “A Distributed Systems Approach to Airborne Self-Separation, Computational Models, Software Engineering and Advanced Technologies in Air Transportation”, in Computational Models, Software Engineering and Advanced Technologies in Air Transportation, I. Oliveira, Eds.. IGI Global, Oct. 2009.
- Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomization can be a Healer: Consensus with Dynamic Omission Failures”, in Proceedings of the 23rd International Symposium on Distributed Computing (DISC 2009), pages 63-77, Sept. 2009.
- Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Verissimo, “Intrusion Tolerance in Wireless Environments: An Experimental Evaluation”, in Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Dec. 2007.
- Alysson Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Verissimo, “When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus”, in Proceedings of 21st International Symposium on Distributed Computing (DISC 07), Sept. 2007.
- Henrique Moniz, “Randomized Intrusion-Tolerant Asynchronous Services”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2006.
- Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols”, in Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, October 2006, Oct. 2006.
- Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomized Intrusion-Tolerant Asynchronous Services”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, pages 568-577, June 2006, Jun. 2006.
BibTeX
Navigators - Henrique MonizFaculty members | Alysson Bessani, António Casimiro, Fernando Ramos, Ibéria Medeiros, Nuno Ferreira Neves, Pedro M. Ferreira |
---|---|
Post-doc researchers | João Sousa, Salvatore Signorello |
PhD students | AdrianoSerckumecka, Diego Kreutz, Fernando Alves, Gonçalo Jesus, JoaoAmado, Luís Marques, Max Alaluna, Miguel Garcia, Paulo Antunes, Regivaldo Costa, Rui Marques, Túlio Ribeiro, Vinicius Vielmo Cogo |
Hired researchers | Eric Vial, Ricardo Mendes, Tiago Oliveira |
MSc students | Ana Fidalgo, BrunoLourenco, Bruno Nunes, Carlos Nascimento, Claudio Martins, Diogo Duarte, Diogo Gonçalves, Diogo Pires, Gonçalo Reis, José Batalheiro, JoaoMarques, João Pinto, João Silva, Kleomar Almeida, Miguel Moreira, Pedro Alves, Pedro Gaspar, Rui Pedro Caldeira, Rui Pereira, Tiago Correia … further results |
Undergraduate students | (none) |
Management | (none) |
Missing institution, Tech. Rep., Mar. 2002.
Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003.Abstract: —
Download paper
Download Preliminary definition of CORTEX interaction model
Export citation
Project(s): Project:CORTEX
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)