|
|
| Welcome > Papers > Technical Reports |
Technical Reports
Timeout Adaptive Consensus: Improving Performance through Adaptation
Mônica Dixit, Henrique Moniz, António Casimiro
Department of Informatics, University of Lisboa
Benchmarking some Portuguese S&T system research units
Francisco M. Couto, Ivan Andrade, Pedro Gonçalves, Paulo Veríssimo
DI FCUL
Active Quorum Systems: Specification and Correctness Proof
Alysson Bessani
DI-FCUL-TR 2010-02
Handling self-citations using Google Scholar
Francisco M. Couto, Tiago Grego, Catia Pesquita, Paulo Veríssimo
International Journal of Scientometrics, Informetrics and Bibliometrics, 13:2, 2009
A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments
Mônica Dixit, António Casimiro, Paulo Veríssimo, Paolo Lollini, Andrea Bondavalli
Department of Informatics, University of Lisboa
Cheap Intrusion-Tolerant Protection for CRUTIAL Things
Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
DI-FCUL TR-2009-14
AIR Project Final Report
José Rufino, Sérgio Filipe
DI-FCUL Technical Report TR-07-35, Lisbon, Portugal, December 2007.
AIR Project Summary Report
José Rufino, Sérgio Filipe
DI-FCUL Technical Report TR-07-36, Lisbon, Portugal, December 2007.
Intrusion-Tolerant Protection for Critical Infrastructures
Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Technical Report DI/FCUL TR-07-8. Department of Computer Science, University of Lisboa. April 2007.
Proactive Resilience through Architectural Hybridization (extended version)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
Technical Report DI/FCUL TR-05-8. Department of Computer Science, University of Lisboa. May 2005.
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Technical Report DI/FCUL TR-04-6. Department of Computer Science, University of Lisbon. July 2004.
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Technical Report DI/FCUL TR-04-5. Department of Computer Science, University of Lisbon. June 2004.
Low Complexity Byzantine-Resilient Consensus
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
Technical Report DI/FCUL TR-03-25, Department of Computer Science, University of Lisbon. August 2003
Analysis and Design of Application Scenarios
G. Blair, K. Cheverst, H. Duran-Limon, A. Friday, G. Samartzidis, T. Sivaharan, Paulo Sousa, M. Wu
Technical Report DI/FCUL TR-03-21, Department of Computer Science, University of Lisbon. July 2003
Proof-of-concept prototypes
V. Cahill, António Casimiro, J. Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Veríssimo, M. Wu
Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003
The CORTEX Programming Model
G. Biegel, G. Blair, C. Brudna, V. Cahill, António Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, J. Kaiser, R. Meier, V. Reynolds, Paulo Veríssimo, M. Wu
Technical Report DI/FCUL TR-03-19, Department of Computer Science, University of Lisbon. July 2003
Preliminary Specification of Basic Services and Protocols
G. Blair, C. Brudna, V. Cahill, António Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, Pedro Martins, Paulo Veríssimo
Technical Report DI/FCUL TR-03-18, Department of Computer Science, University of Lisbon. July 2003
Conceptual Model and Architecture of MAFTIA
A. Adelsbach, C. Cachin, Sadie Creese, Yves Deswarte, K. Kursawe, J.-C. Laprie, D. Powell, B. Randell, James Riordan, Peter Ryan, William Simmionds, R. J. Stroud, Paulo Veríssimo, M. Waidner, Andreas Wespi
Technical Report DI/FCUL TR-03-01, Department of Computer Science, University of Lisbon. Feb 2003
Lessons Learned with NavTech: a Framework for Reliable Large-Scale Applications
Paulo Veríssimo
Technical Report DI/FCUL TR-02-17, Department of Computer Science, University of Lisbon. December 2002
Intrusion-Tolerant Architectures: Concepts and Design.
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
Technical Report DI/FCUL TR-03-5, Department of Computer Science, University of Lisbon. April 2003
Intrusion Tolerance: Concepts and Design Principles. A Tutorial
Paulo Veríssimo
Technical Report DI/FCUL TR-02-6, Department of Computer Science, University of Lisbon. July 2002.
Complete Specification of APIs and Protocols for the MAFTIA Middleware
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 Veríssimo, M. Waidner, I. S. Welch
Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon. jULY 2002
Preliminary definition of CORTEX system architecture
C. Brudna, V. Cahill, António Casimiro, R. Cunningham, J. Kaiser, R. Meier, Paulo Veríssimo
Technical Report DI/FCUL TR-03-17, Department of Computer Science, University of Lisbon. July 2003
Preliminary definition of CORTEX programming model
P. Barron, G. Biegel, V. Cahill, António Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, J. Kaiser, R. Meier, Paulo Veríssimo
Technical Report DI/FCUL TR-03-15, Department of Computer Science, University of Lisbon. July 2003
Preliminary definition of CORTEX interaction model
G. Biegel, C. Brudna, António Casimiro, J. Kaiser, C. Liu, C. Mitidieri, Paulo Veríssimo
Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects
Paulo Veríssimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, J. Kaiser
Technical Report DI/FCUL TR-02-1, Department of Computer Science, University of Lisbon. Feb 2002
MAFTIA Conceptual Model and Architecture
A. Adelsbach, C. Cachin, Sadie Creese, Yves Deswarte, K. Kursawe, J.-C. Laprie, B. Pfitzmann, D. Powell, B. Randell, James Riordan, R. J. Stroud, Paulo Veríssimo, M. Waidner, Andreas Wespi
Technical Report DI/FCUL TR-01-10, Department of Computer Science, University of Lisbon. Nov 2001
Definition of Application Scenarios
G. Biegel, G. Blair, V. Cahill, António Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, J. Kaiser, R. Meier, N. Riejers, Paulo Veríssimo
Technical Report DI/FCUL TR-03-14, Department of Computer Science, University of Lisbon. July 2003
First Specification of APIs and Protocols for the MAFTIA Middleware
Nuno Ferreira Neves, Paulo Veríssimo
Technical Report DI/FCUL TR-01-6. Department of Computer Science, University of Lisbon. September 2001
Service and Protocol Architecture for the MAFTIA Middleware
Paulo Veríssimo, Nuno Ferreira Neves
Technical Report DI/FCUL TR-01-1. Department of Computer Science, University of Lisbon. January 2001
The design of a COTS real-time distributed security kernel (extended version)
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
Technical report, Department of Computer Science, University of Lisbon, 2001
The middleware architecture of MAFTIA: A blueprint.
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
Technical Report DI/FCUL TR 00-6, Department of Computer Science, University of Lisbon, September 2000.
MAFTIA: Reference Model and Use Cases
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 Veríssimo, G. Trouessin, R. J. Stroud, M. Waidner, I. S. Welch
Technical Report DI/FCUL TR-00-5. Department of Computer Science, University of Lisbon. August 2000
Event Timestamping Tool: a simple PC based kernel to timestamp distributed events
Pedro Martins, António Casimiro
Technical Report DI/FCUL TR-00-4, Department of Informatics, University of Lisboa, July 2000
Timing Failure Detection with a Timely Computing Base.
António Casimiro, Paulo Veríssimo
Technical Report DI/FCUL TR-99-8, Department of Informatics, University of Lisboa, November 1999
The Timely Computing Base
Paulo Veríssimo, António Casimiro
Technical Report DI/FCUL TR-99-2, Department of Informatics, University of Lisboa, May 1999
CONFIANÇA NO FUNCIONAMENTO: Proposta para uma Terminologia em Português
Paulo Veríssimo, Rogério de Lemos
1989. INESC, Lisboa, Portugal
Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications
Carlos Almeida, Paulo Veríssimo
May 1996. INESC, Lisboa, Portugal
Real-Time Group Communication in a Quasi-Synchronous System
Carlos Almeida, Paulo Veríssimo
November 1995. INESC, Lisboa, Portugal
Adaptive Synchronous Cooperation over Large Scale Networks
François Cosquer, Pedro Antunes, Nuno Guimarães, Paulo Veríssimo
August 1995. INESC, Lisboa, Portugal
Survey of Selected Groupware Applications and Supporting Platforms
François Cosquer, Paulo Veríssimo
July 1994. (Also available as Broadcast Technical Report 2nd Year Vol.1) (Submitted for publication)
The ROMANCE approach to replicated object management
Luís Rodrigues, Paulo Veríssimo
September 1993. IST - INESC, Lisboa, Portugal
A Framework for Structuring Group Support in LSDCs
Paulo Veríssimo, Werner Vogels, Luís Rodrigues
September 1993. INESC, Lisboa, Portugal
MESSAGE SLOTTING: Ensuring replica determinism in preemptive real-time systems
Luís Rodrigues, Paulo Veríssimo
1993 INESC, Lisboa, Portugal
A study on the inaccessibility characteristics of token-based standard LANs
José Rufino, Paulo Veríssimo
INESC Technical Report RT-26/92, Lisboa, Portugal. April 1992.
A study on the inaccessibility characteristics of the FDDI LAN
José Rufino, Paulo Veríssimo
INESC Technical Report RT-25/92, Lisboa, Portugal, March 1992.
A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LAN
José Rufino, Paulo Veríssimo
INESC Technical Report RT/24-92, Lisboa, Portugal, February 1992.
xAMp, a protocol suite for group communication
Luís Rodrigues, Paulo Veríssimo
January 1992. INESC, Lisboa, Portugal
Real-Time and Dependability Comparison of Delta-4/XPA and MARS systems
Sérgio Melro, Paulo Veríssimo
January 1992. INESC, Lisboa, Portugal
The performance of the xAMP protocol on Token-Bus and FDDI NAC's
Paulo Veríssimo, José Rufino, Henrique Fonseca, Luís Rodrigues
INESC Technical Report RT/101-91, Lisboa, Portugal, November 1991.
A posteriori Agreement for Clock Synchronization on Broadcast Networks
Luís Rodrigues, Paulo Veríssimo
March 1991 (Revised, March 1992). INESC, Lisboa, Portugal
AtomicMaze: Implementing a distributed computer game using AMp
Mário Baptista, Luís Rodrigues, Paulo Veríssimo
March 1989. INESC, Lisboa, Portugal
|
|