“Preliminary definition of CORTEX interaction model”

From Navigators

Revision as of 20:08, 30 October 2012 (view source) Jcraveiro (Talk | contribs) (Created page with "{{Person |name=Henrique Moniz |role=Past member }}") ← Older edit		Revision as of 19:30, 11 January 2013 (view source) Jcraveiro (Talk | contribs) (XML import corrections) Newer edit →
Line 2:		Line 2:
	|name=Henrique Moniz		|name=Henrique Moniz
	|role=Past member		|role=Past member
		+	}}
		+	{{Publication
		+	|title=
		+
		+
		+
		+
		+
		+	Preliminary definition of CORTEX interaction model
		+	|author=
		+	G. Biegel, C. Brudna, António Casimiro, J. Kaiser, C. Liu, C. Mitidieri, Paulo Veríssimo
		+	|url=
		+	http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-16
		+	|abstract=
		+
		+	|type=
		+	techreport
		+	|note=
		+	Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003
		+	|month=
		+	mar
		+	|year=
		+	2002
		+	|Project=
		+	Project:CORTEX
		+	|ResearchLine=
		+	Timeliness and Adaptation in Dependable Systems (TADS)
	}}		}}

---

Revision as of 19:30, 11 January 2013

Past member

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 Moniz

People

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)

G. Biegel, C. Brudna, António Casimiro, J. Kaiser, C. Liu, C. Mitidieri, Paulo Veríssimo

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

BibTeX

Project(s): Project:CORTEX

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)