Publications/All

From Navigators

Jump to: navigation, search

  • Adriano Serckumecka, Ibéria Medeiros, Bernardo Ferreira, Alysson Bessani, “SLiCER: Safe Long-term Cloud Event Archival”, in In Proceedings of the IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Dec. 2019.

  • Mario Faiella, Gustavo Gonzalez-Granadillo, Ibéria Medeiros, Rui Azevedo, Susana Gonzalez-Zarzosa, “Enriching Threat Intelligence Platforms Capabilities”, in In Proceedings of the International Conference on Security and Cryptography, Prague, Czech Republic (SECRYPT), Jul. 2019.

  • Alan Oliveira de Sá, 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.

  • Adriano Serckumecka, Ibéria Medeiros, Bernardo Ferreira, Alysson Bessani, “A Cost-Effective Cloud Event Archival for SIEMs”, in In Proceedings of the Workshop on Distributed and Reliable Storage Systems (DRSS, with SRDS 2019), Oct. 2019.

  • Pedro Maia, “Resilient Communications in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2018.

  • Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Margarida Gama-Carvalho, Maria Fernandes, Paulo Esteves-Verissimo, “How can photo sharing inspire sharing genomes?”, in Proceedings of the 11th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB'17), Porto, Portugal, Jun. 2017.

  • Arjuna Sathiaseelan, Mennan Selimi, Carlos Molina, Adisorn Lertsinsrubtavee, Leandro Navarro, Felix Freitag, Fernando Ramos, Roger Baig, “Towards Decentralised Resilient Community Clouds”, in 2nd Workshop on Middleware for Edge Clouds & Cloudlets, Nov. 2017.

  • Alysson Bessani, Nuno Ferreira Neves, Paulo Verissimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia, “JITeR: Just-In-Time Application-Layer Routing”, Computer Networks, vol. 104, pp. 122–136, Jul. 2016.

  • Tobias Distler, Christopher Bahn, Alysson Bessani, Frank Fischer, Flavio Junqueira, “Extensible Distributed Coordination”, in Proceedings of the 10th ACM European Conference on Computer Systems (EuroSys), Bordeux, France, Apr. 2015.

  • Antonio E. Ruano, Gonçalo Mestre, Helder Duarte, Sergio Silva, Shabnam Pesteh, Hamid R. Khosravani, Pedro M. Ferreira, Ricardo Horta, “A neural-network based intelligent weather station”, in 2015 IEEE 9th International Symposium on Intelligent Signal Processing (WISP) Proceedings, Siena, Italy, May 2015.

  • Catia Alexandra Bimbo Magalhaes, “Towards Secure Software-Defined Networks”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2015.

  • Rodrigo de Medeiros, “Secure Monitoring for a Secure Smart Grid”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2015.

  • Alysson Bessani, Jörgen Brandt, Marc Bux, Vinicius Vielmo Cogo, Lora Dimitrova, Jim Dowling, Ali Gholami, Kamal Hakimzadeh, Michael Hummel, Mahmoud Ismail, Erwin Laure, Ulf Leser, Jan-Eric Litton, Roxanna Martinez, Jane Reichel, Salman Niazi, Karin Zimmermann, “BiobankCloud: a Platform for the Secure Storage, Sharing, and Processing of Large Biomedical Data Sets”, in Proceedings of the 1st Int. Workshop on Data Management and Analytics for Medicine and Healthcare (DMAH 2015), Hawaii, US, Sept. 2015.

  • Tiago Oliveira, Ricardo Mendes, Alysson Bessani, “Sharing Files Using Cloud Storage Services”, in Proceedings of the 2nd Workshop on Dependability and Interoperability in Heterogeneous Clouds (DIHC), co-­located with Euro­-Par, Aug. 2014.

  • Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, “SCFS: A Shared Cloud-backed File System”, in Proceedings of the 2014 USENIX Annual Technical Conference (USENIX-ATC), Philadelphia, PA, US, Jun. 2014.

  • Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Web Application Protection with the WAP Tool”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

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

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

  • Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, Paulo Verissimo, “Efficient Byzantine Fault-Tolerance”, IEEE Transactions on Computers, vol. 62, no. 1, pp. 16–30, Jan. 2013.

  • Vinicius Vielmo Cogo, André Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser, Alysson Bessani, “FITCH: Supporting Adaptive Replicated Services in the Cloud”, in Proceedings of the 13th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'13), Jim Dowling, Francois Taïani, Eds., Florence, Italy, Jun. 2013, pp. 15–28.

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

  • João Antunes, “Network Attack Injection”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, May 2012.

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

  • T. Distler, R. Kapitza, Ivan Popov, Hans P. Reiser, W. Schroeder-Preikschat, “SPARE: Replicas on Hold”, in Proceedings of the 18th Annual Network & Distributed System Security Symposium, Feb. 2011.

  • Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “OS Diversity for Intrusion Tolerance: Myth or Reality?”, in Proceedings of the International Conference on Dependable Systems and Networks - DSN'11. Hong Kong, China, June 2011., Jun. 2011.

  • Luciana Arantes, Jonathan Lejeune, Madeleine Piffaretti, Olivier Marin, Pierre Sens, Julien Sopena, Alysson Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabricio Silva, “Étude d'une architecture MapReduce tolérant les fautes byzantines”, in the 20éme Rencontres francophones du parallélisme (RENPAR'11), Saint Malo, FR, May 2011.

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

  • João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, Rui Neves, “Vulnerability Removal with Attack Injection”, IEEE Transactions on Software Engineering, Special issue on Evaluation and Improvement of Software Dependability, Jun. 2010.

  • João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Using Attack Injection on Closed Protocols”, in Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN'10), Jun. 2010.

  • Alysson Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabricio Silva, Luciana Arantes, Olivier Marin, Pierre Sens, Julien Sopena, “Making Hadoop MapReduce Byzantine Fault-Tolerant”, in Supplement of the International Conference on Dependable Systems and Networks (DSN'10), Jun. 2010.

  • Alysson Bessani, Miguel Correia, Paulo Sousa, “Active Quorum Systems”, in Proceedings of the 6th Workshop on Hot Topics in System Dependability - HotDep'10 (together with USENIX OSDI'10). Vancouver, Canada. October 2010., Oct. 2010.

  • Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “An Efficient Byzantine-Resilient Tuple Space”, IEEE Transactions on Computers. Vol. 58 no. 8. pp. 1080-1094. IEEE Computer Society. August 2009., Aug. 2009.

  • J. Domaschka, H. Schmidt, F. J. Hauck, R. Kapitza, Hans P. Reiser, “DOSGi: An Architecture for Instant Replication”, in Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Supplemental Volume, Jul. 2009.

  • Rogério Correia, Paulo Sousa, “WEST: Wormhole-Enhanced State Transfer”, in Proceedings of the DSN 2009 Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM), Estoril, Portugal, June 2009., Jun. 2009.

  • François Aubry, Alysson Bessani, Paulo Sousa, “BFT Services Programming with a Dependable Tuple Space”, in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009., Jun. 2009.

  • José Rufino, João Pedro Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor, “AIR Technology: a step towards ARINC 653 in space”, in Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.

  • Paulo Verissimo, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa, “Intrusion-Resilient Middleware Design and Validation”, in Information Assurance, Security and Privacy Services, ser. Handbooks in Information Systems. Emerald Group Publishing Limited, May 2009, vol. 4, pp. 615–678.

  • Helder Silva, A. Constantino, D. Freitas, Manuel Coutinho, S. Faustino, M. Mota, P. Colaço, José Sousa, L. Dias, B. Damjanovic, Marco Zulianello, José Rufino, “RTEMS Centre - Support and Maintenance Centre to RTEMS Operating System”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2009). Istanbul, Turkey, May 2009., May 2009.

  • Tobias Schoofs, Sérgio Santos, Cássia Tatibana, José Anjos, José Rufino, James Windsor, “An Integrated Modular Avionics Development Environment”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA) 2009. Istanbul, Turkey, May 2009., May 2009.

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

  • Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fernando Pereira, “Proactive Byzantine Quorum Systems”, in Proceedings of the XI International Symposium on Distributed Objects and Applications (DOA'09). LNCS XXXX. Vilamoura, Portugal., Nov. 2009.

  • Paulo Sousa, Alysson Bessani, Rafael R. Obelheiro, “The FOREVER Service for Fault/Intrusion Removal”, in Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2008). Glasgow, UK, April 2008., Apr. 2008.

  • Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fabíola Greve, “Byzantine Consensus with Unknown Participants”, in Proceedings of the 12th International Conference On Principles Of DIstributed Systems (OPODIS'08). LNCS 5401. Luxor, Egypt., Dec. 2008.

  • Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Verissimo, “Information Assurance Technology Forecast 2008”, IEEE Security & Privacy, vol. 6, no. 1, pp. 10-17, January/February, 2008., Jan. 2008.

  • H. Schmidt, R. Kapitza, F. J. Hauck, Hans P. Reiser, “Adaptive Web Service Migration”, in Proceedings of the 8th IFIP WG International Conference on Distributed Applications and Interoperable Systems - DAIS, Jun. 2008.

  • Sérgio Santos, José Rufino, Tobias Schoofs, Cássia Tatibana, James Windsor, “A Portable ARINC 653 Standard Interface”, in Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference, St. Paul, Minnesota, USA, October 2008., Oct. 2008.

  • Marco Vieira, António Casimiro, Henrique Madeira, “Towards Timely ACID Transactions in DBMS”, in The 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007), Bangkok, Thailand, April 2007, Apr. 2007.

  • Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Intrusion-Tolerant Protection for Critical Infrastructures”, Missing institution, Tech. Rep., Apr. 2007. Technical Report DI/FCUL TR-07-8. Department of Computer Science, University of Lisboa. April 2007.

  • Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam, Andrea Bondavalli, Alessandro Daidone, “The CRUTIAL Architecture for Critical Information Infrastructures”, in Architecting Dependable Systems V, Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marco Vieira, Eds., ser. LNCS. Springer, Aug. 2007, vol. 5135.

  • Paulo Sousa, “Proactive Resilience”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, May 2007.

  • José Rufino, Sérgio Filipe, Manuel Coutinho, Sérgio Santos, James Windsor, “ARINC 653 Interface in RTEMS”, in Proceedings of the DASIA 2007 "Data Systems in Aerospace" Conference, Napoli, Italy, May/June 2007., May 2007.

  • João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Finding Local Resource Exhaustion Vulnerabilities”, in Student paper in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), Trollhättan, Sweden, November 2007., Nov. 2007.

  • Wagner Saback Dantas, Alysson Bessani, Joni Fraga, Miguel Correia, “Evaluating Byzantine Quorum Systems”, in In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS). October 2007., Oct. 2007.

  • Paulo Verissimo, “Assumptions: The Trojan Horses of Secure Protocols”, in In V. Gorodetsky, I. Kotenko, and V.A. Skormin (Eds.): "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS) 2007, CCIS 1, pp. 34-41, 2007. Springer-Verlag., Sept. 2007.

  • G. Dondossola, G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, Paulo Verissimo, “Critical Utility Infrastructure Resilience”, in In Workshop on Security and Networking in Critical Real-Time and Embedded Systems (CRTES'06), with RTAS'06, San Jose, California, USA, April 2006., Apr. 2006.

  • João Manuel Alexandre Cardana, “Analisador Comportamental de Rede”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2006.

  • Paulo Verissimo, “Thou Shalt Not Trust non-Trustworthy Systems”, Jul. 2006. Keynote at the Workshop on Assurance in Distributed Systems and Networks (ADSN2006), with the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), Lisboa, Portugal, July 2006.

  • Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Verissimo, Rui Neves, “Using Attack Injection to Discover New Vulnerabilities”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, June 2006., Jun. 2006.

  • José Rufino, Paulo Verissimo, Guilherme Arroz, Carlos Almeida, “Control of Inaccessibility in CANELy”, in Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06), Torino, Italy, June, 2006., Jun. 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.

  • Paulo Sousa, “Proactive Resilience”, in In Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume. Coimbra, Portugal, pages 27-32, October 2006., Oct. 2006.

  • Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “A New Approach to Proactive Recovery”, in In Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pages 35-40, April 2005., Apr. 2005.

  • Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Solving Vector Consensus with a Wormhole”, IEEE Transactions on Parallel and Distributed Systems, vol. 16, no. 12, pp. 1120-1131, December 2005., Dec. 2005.

  • Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Resilient State Machine Replication”, in In Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, pages 305-309, December 2005., Dec. 2005.

  • Marco Vieira, António Casimiro, Henrique Madeira, “TACID Transactions”, in Proceedings of the International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep-05), Yokohama, Japan, June 2005, Jun. 2005.

  • Nuno Diniz, José Rufino, “ARINC 653 In Space”, in Proceedings of the DASIA 2005 "Data Systems in Aerospace" Conference, Edimburgh, Scotland, May/June 2005., May 2005.

  • Manuel Coutinho, José Rufino, Carlos Almeida, “VITRAL: A text mode windows manager for RTEMS”, in Actas das Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC05), Novembro 2005., Nov. 2005.

  • Manuel Coutinho, José Rufino, Carlos Almeida, “Control of event handling timeliness in RTEMS”, in Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., Nov. 2005.

  • José Pascoal, Tiago Jorge, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “FTP Tolerante a Intrusões”, in In 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, November 2005., Oct. 2005.

  • Marco Vieira, António Casimiro, Henrique Madeira, “Timely ACID Transactions in DBMS”, in Fast Abstract at the 2004 International Conference on Dependable Systems and Networks, Florence, Italy, June 2004, Jun. 2004.

  • Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Wormhole-Aware Byzantine Protocols”, in 2nd Bertinoro Workshop on Future Directions in Distributed Computing: Survivability - Obstacles and Solutions (FuDiCo: SOS), Bertinoro, Italy, June, 2004., Jun. 2004.

  • V. Cahill, António Casimiro, Jörg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Verissimo, M. Wu, “Proof-of-concept prototypes”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003

  • G. Biegel, G. Blair, C. Brudna, V. Cahill, António Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, Jörg Kaiser, R. Meier, V. Reynolds, Paulo Verissimo, M. Wu, “The CORTEX Programming Model”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-19, Department of Computer Science, University of Lisbon. July 2003

  • G. Blair, C. Brudna, V. Cahill, António Casimiro, R. Cunningham, H. Duran-Limon, Jörg Kaiser, Pedro Martins, Paulo Verissimo, “Preliminary Specification of Basic Services and Protocols”, Missing institution, Tech. Rep., Feb. 2003. Technical Report DI/FCUL TR-03-18, Department of Computer Science, University of Lisbon. July 2003

  • Paulo Verissimo, António Casimiro, “Event-Driven Support of Real-Time Sentient Objects”, in Proceedings of the Eighth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, Jan 2003, Jan. 2003.

  • José Rufino, Paulo Verissimo, Guilherme Arroz, “Node Failure Detection and Membership in CANELy”, in Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN03). San Francisco, California, USA, June 2003., Jun. 2003.

  • G. Blair, K. Cheverst, H. Duran-Limon, A. Friday, G. Samartzidis, T. Sivaharan, Paulo Sousa, M. Wu, “Analysis and Design of Application Scenarios”, Missing institution, Tech. Rep., May 2003. Technical Report DI/FCUL TR-03-21, Department of Computer Science, University of Lisbon. July 2003

  • Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Verissimo, “Low Complexity Byzantine-Resilient Consensus”, Missing institution, Tech. Rep., Oct. 2003. Technical Report DI/FCUL TR-03-25, Department of Computer Science, University of Lisbon. August 2003

  • C. Brudna, V. Cahill, António Casimiro, R. Cunningham, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX system architecture”, Missing institution, Tech. Rep., Apr. 2002. Technical Report DI/FCUL TR-03-17, Department of Computer Science, University of Lisbon. July 2003

  • J. Armstrong, C. Cachin, Miguel Correia, A. Costa, Hugo Miranda, Nuno Ferreira Neves, Nuno Miguel Neves, J. A. Poritz, B. Randell, Lau Cheuk Lung, Luís Rodrigues, R. J. Stroud, Paulo Verissimo, M. Waidner, I. S. Welch, “Complete Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon. jULY 2002

  • P. Barron, G. Biegel, V. Cahill, António Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX programming model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-15, Department of Computer Science, University of Lisbon. July 2003

  • G. Biegel, C. Brudna, António Casimiro, Jörg Kaiser, C. Liu, C. Mitidieri, Paulo Verissimo, “Preliminary definition of CORTEX interaction model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003

  • Miguel Antunes, Hugo Miranda, António Rito Silva, Luís Rodrigues, Jorge Martins, “Separating Replication from Distributed Communication: Problems and Solutions”, in in Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 103-108Phoenix, Arizona, USA, Apr. 2001.

  • João Rodrigues, Hugo Miranda, João Ventura, Luís Rodrigues, “The design of RTAppia”, in in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 8-10 January 2001., Jan. 2001.

  • François Cosquer, Paulo Verissimo, Sacha Krakowiak, Loïc Decloedt, “Support for Distributed CSCW Applications”, in Recent Advances In Distributed Systems, S. Krakowiak, S.K. Shrivastava, Eds., ser. LNCS. Springer-Verlag, Jan. 2001, vol. 1752, ch. 13.

  • Alexandre Pinto, Hugo Miranda, Luís Rodrigues, “Light-Weight Groups: an implementation in Ensemble”, in in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy., May 2001.

  • João Ventura, João Rodrigues, Luís Rodrigues, “Response Time Analysis of Composable Micro-Protocols”, in in Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, May, 2 - 4, 2001, pp 335-342., May 2001.

  • G. Biegel, G. Blair, V. Cahill, António Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, N. Riejers, Paulo Verissimo, “Definition of Application Scenarios”, Missing institution, Tech. Rep., Oct. 2001. Technical Report DI/FCUL TR-03-14, Department of Computer Science, University of Lisbon. July 2003

  • Luís Rodrigues, K. Guo, “Partitionable Light-Weight Groups”, in Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, Taipe, Taiwan, Apr. 2000.

  • C. Cachin, J. Camenisch, M. Dacier, Yves Deswarte, J.Dobson, D. Horne, K. Kursawe, J.-C. Laprie, J.-C. Lebraud, D. Long, T. McCutcheon, J. Muller, F. Petzold, B. Pfitzmann, D. Powell, B. Randell, M. Schunter, V. Shoup, Paulo Verissimo, G. Trouessin, R. J. Stroud, M. Waidner, I. S. Welch, “MAFTIA: Reference Model and Use Cases”, Missing institution, Tech. Rep., Aug. 2000. Technical Report DI/FCUL TR-00-5. Department of Computer Science, University of Lisbon. August 2000

  • Luís Rodrigues, Katherine Guo, Paulo Verissimo, Kenneth P. Birman, “A Dynamic Light-Weight Group Service”, in Journal of Parallel and Distributed Computing Vol. 60, No. 12, December 2000, pp 1449-1479. Academic Press., Dec. 2000.

  • Luís Rodrigues, R. Baldoni, E. Anceaume, M. Raynal, “Deadline-Constrained Causal Order”, in In Proceedings of the The 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing, Newport Beach, California, USA, March, 2000., Mar. 2000.

  • J. Pereira, Luís Rodrigues, R. Oliveira, “Semantically Reliable Multicast Protocols”, in in Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, pp. 60-69, Nurnberg, Germany, October 2000., Oct. 2000.

  • Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The middleware architecture of MAFTIA: A blueprint”, in In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 2000., Oct. 2000.

  • Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The middleware architecture of MAFTIA: A blueprint.”, Missing institution, Tech. Rep., Sept. 2000. Technical Report DI/FCUL TR 00-6, Department of Computer Science, University of Lisbon, September 2000.

  • Paulo Verissimo, “Global Computing - A Vision”, Sept. 2000. Presented at Global Computing: Co-operation of Autonomous and Mobile Entities in Dynamic Environments, Consultation Workshop, Edinburgh - September 2000.

  • Paulo Verissimo, M. Raynal, “Time, clocks and temporal order”, in Advances in Distributed Systems, S. Krakowiak, S. Shrivastava, Eds., ser. LNCS. Springer Verlag, Jan. 1999, vol. 1752, ch. 1.

  • José Rufino, Paulo Verissimo, Guilherme Arroz, “A Columbus' Egg Ideia for CAN Media Redundancy”, in Digest of Papers of the 29th IEEE International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 1999., Jun. 1999.

  • Paulo Verissimo, António Casimiro, “The Timely Computing Base”, Missing institution, Tech. Rep., May 1999. Technical Report DI/FCUL TR-99-2, Department of Informatics, University of Lisboa, May 1999

  • José Rufino, Paulo Verissimo, Guilherme Arroz, “Design of Bus Media Redundancy in CAN”, in Fieldbus Technology - Systems Integration, Networking, and Engineering. Proceedings of International Symposium on Fieldbus Systems and their Applications (FeT-99). Magdeburg, Germany, September 1999. Dietrich, D.; Neumann, P.; Schweinzer, H. (Eds.)., Sept. 1999.

… further results

Export to BibTeX

Navigators - Publications/All

Personal tools
Navigators toolbox