|
|
| Welcome > Papers > All Documents |
All Documents
Using Behavioral Profiles to Detect Software Flaws in Network Servers
João Antunes, Nuno Ferreira Neves
Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)
Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes
Pedro Costa, Marcelo Pasin, Alysson Bessani, Miguel Correia
Proceedings of the 3rd IEEE International Conference on Cloud Computing and Science - CloudCom’11 (Best paper Award).
An Approach to Enhance the Timeliness of Wireless Communications
Jeferson L. R. Souza, José Rufino
Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Lisbon, November, 2011.
DiveInto: Supporting Diversity in Intrusion-Tolerant Systems
João Antunes, Nuno Ferreira Neves
Proceedings of the Symposium on Reliable Distributed Systems (SRDS)
Lightweight Dependable Adaptation for Wireless Sensor Networks
Luís Marques, António Casimiro
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.
Predictability and Efficiency in Contemporary Hard RTOS for Multiprocessor Systems
André Nogueira, Mário Calha
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems
João Craveiro, José Rufino, Frank Singhoff
23rd Euromicro Conference on Real-Time Systems (ECRTS 2011) - Work-in-Progress session, Porto, Portugal, Jul. 2011. Also on ACM SIGBED Review.
OS Diversity for Intrusion Tolerance: Myth or Reality?
Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro
Proceedings of the International Conference on Dependable Systems and Networks - DSN'11. Hong Kong, China, June 2011.
Recursive Virtual Machines for Advanced Security Mechanisms
Bernhard kauer, Paulo Veríssimo, Alysson Bessani
Proceedings of the 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV'11). DSN'11 supplemental volume.
From static to dynamic protocols: adapting timeouts for improved performance
António Casimiro, Mônica Dixit
I Workshop on Autonomic Distributed Systems (WoSIDA'11)
Automatically Complementing Protocol Specifications From Network Traces
João Antunes, Nuno Ferreira Neves
13th European Workshop on Dependable Computing
On the Reliability and Availability of Systems Tolerant to Stealth Intrusion
Luis Brandão, Alysson Bessani
Proceedings of the 5th Latin-American Symposium on Dependable Computing - LADC'11. São José dos Campos, Brazil. April 2011.
DepSky: Dependable and Secure Storage in a Cloud-of-Clouds
Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa
Proceedings of the 6th ACM SIGOPS/EuroSys European Systems Conference - EuroSys'11. Salzburg, Austria. April 2011.
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
Mônica Dixit, António Casimiro, Paulo Veríssimo, Paolo Lollini, Andrea Bondavalli
ACM Transactions on Autonomous and Adaptive Systems (to appear)
SPARE: Replicas on Hold
T. Distler, R. Kapitza, Ivan Popov, Hans P. Reiser, W. Schroeder-Preikschat
Proceedings of the 18th Annual Network & Distributed System Security Symposium
RITAS: Services for Randomized Intrusion Tolerance
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
IEEE Transactions on Dependable and Secure Computing, vol. 8, n. 1, pp. 122-136, Jan.-Feb. 2011.
Adaptability Support in Time- and Space-Partitioned Aerospace Systems
João Craveiro, José Rufino
Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
José Rufino, João Craveiro, Paulo Veríssimo
Architecting Dependable Systems VII, LNCS 6420, Casimiro, A.; Lemos, R.d.; Gacek, C. (Eds.) 2010.
Timeout Adaptive Consensus: Improving Performance through Adaptation
Mônica Dixit, Henrique Moniz, António Casimiro
Department of Informatics, University of Lisboa
Adaptare-FD: A dependability-oriented adaptive failure detector
Mônica Dixit, António Casimiro
29th IEEE Symposium on Reliable Distributed Systems (SRDS'10)
Benchmarking some Portuguese S&T system research units
Francisco M. Couto, Ivan Andrade, Pedro Gonçalves, Paulo Veríssimo
DI FCUL
Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software
João Craveiro, José Rufino
FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, M. Lumpe and L. S. Barbosa (Eds.), Guimarães, Portugal, Oct. 2010, pp. 253-254.
Building a time- and space-partitioned architecture for the next generation of space vehicle avionics
José Rufino, João Craveiro, Paulo Veríssimo
Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), LNCS 6399, S.L. Min et al. (Eds.), Waidhofen an der Ybbs, Austria, Oct. 2010.
EBAWA: Efficient Byzantine Agreement for Wide-Area Networks
Giuliana Santos, Miguel Correia, Alysson Bessani, Lau Cheuk Lung
Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium - HASE'10. San Jose, CA, USA. November 2010.
Active Quorum Systems
Alysson Bessani, Miguel Correia, Paulo Sousa
Proceedings of the 6th Workshop on Hot Topics in System Dependability - HotDep'10 (together with USENIX OSDI'10). Vancouver, Canada. October 2010.
Schedulability Analysis in Partitioned Systems for Aerospace Avionics
João Craveiro, José Rufino
Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sep. 2010.
Typhon: Um Serviço de Autenticação e Autorização Tolerante a Intrusões
João Sousa, Alysson Bessani, Paulo Sousa
Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sep. 2010.
Melhorando a Fiabilidade e Segurança do Armazenamento em Clouds
Bruno Quaresma, Alysson Bessani, Paulo Sousa
Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sep. 2010.
Exploiting AIR Composability towards Spacecraft Onboard Software Update
Joaquim Rosa, João Craveiro, José Rufino
Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sep. 2010. Accepted for publication.
Dependable Perception in Wireless Sensor Networks
Luís Marques, António Casimiro
Proceedings of Simpósio de Informática (Inforum 2010), WIP Session
Data Validity and Dependable Perception in Networked Sensor-Based Systems
Luís Marques, António Casimiro
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
Active Quorum Systems: Specification and Correctness Proof
Alysson Bessani
DI-FCUL-TR 2010-02
Using Attack Injection on Closed Protocols
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN'10)
Vulnerability Removal with Attack Injection
João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves
IEEE Transactions on Software Engineering, Special issue on Evaluation and Improvement of Software Dependability
Turquois: Byzantine Consensus in Wireless Ad hoc Networks
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia
Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010.
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
IEEE Transactions on Parallel and Distributed Systems, vol. 21, no. 4, pp. 452-465, Apr. 2010.
A Dependable Infrastructure for Cooperative Web Services Coordination
Eduardo Alchieri, Alysson Bessani, Joni Fraga
International Journal of Web Services Research. Vol. 7, Num. 2, pp. 43-64. April 2010.
Intrusion Tolerant Services Through Virtualization: a Shared Memory Approach
Valdir Stumm Júnior, Lau Cheuk Lung, Miguel Correia, Joni Fraga, Jim Lau
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, April 2010.
Asynchronous Byzantine Consensus with 2f+1 Processes
Miguel Correia, Giuliana Santos, Lau Cheuk Lung
Proceedings of the 25th Annual ACM Symposium on Applied Computing, March 2010.
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
Applying architectural hybridization in networked embedded systems
António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Veríssimo
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
Proactive Byzantine Quorum Systems
Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fernando Pereira
Proceedings of the XI International Symposium on Distributed Objects and Applications (DOA'09). LNCS XXXX. Vilamoura, Portugal.
A Distributed Systems Approach to Airborne Self-Separation, Computational Models, Software Engineering and Advanced Technologies in Air Transportation
Henrique Moniz, Alessandra Tedeschi, Nuno Ferreira Neves, Miguel Correia
Computational Models, Software Engineering and Advanced Technologies in Air Transportation, I. Oliveira (ed.), IGI Global
Highly-Resilient Services for Critical Infrastructures
Giuliana Santos, Miguel Correia, Alysson Bessani, Lau Cheuk Lung
Proceedings of the Workshop on Embedded Systems and Communications Security (ESCS). September 2009.
Spin One’s Wheels? Byzantine Fault Tolerance with a Spinning Primary
Giuliana Santos, Miguel Correia, Alysson Bessani, Lau Cheuk Lung
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS'09). Niagara Falls, USA.
Integration of generic operating systems in partitioned architectures
João Craveiro
M.Sc. thesis, Faculty of Sciences, University of Lisbon, 2009
Randomization can be a Healer: Consensus with Dynamic Omission Failures
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Proceedings of the 23rd International Symposium on Distributed Computing (DISC 2009), pages 63-77
Characterization of Inaccessibility in Wireless Networks - A Case Study on IEEE 802.15.4 Standard
Jeferson L. R. Souza, José Rufino
Analysis, Architectures and Modelling of Embedded Systems. Proceedings of the Third IFIP TC 10 International Embedded Systems Symposium (IESS 2009), Langenargen, Germany, September, 2009. Series: IFIP Advances in Information and Communication Technology.
Flexible Operating System Integration in Partitioned Aerospace Systems
João Craveiro, José Rufino, Tobias Schoofs, James Windsor
Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, September 2009.
Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications
Luís Marques, António Casimiro
Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, Lisboa, Portugal, September 2009
Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15.4 ?
Jeferson L. R. Souza, José Rufino
Actas do INForum - Simpósio de Informática 2009 (Work in Progress Session), Lisbon, Portugal, September 2009.
Building an Automaton Towards Protocol Reverse Engineering
João Antunes, Nuno Ferreira Neves
Simpósio de Informática Inforum 2009
Efficient State Transfer for Recovery-Based Byzantine-Fault-Tolerant State Machine Replication
Rogério Correia, Paulo Sousa
Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, September 2009.
Optimizing Deadline-Driven Bulk Data Transfers in Overlay Networks
Andrei Agapi, Sebastien Soudan, Marcelo Pasin, Pascale Vicat-Blanc Primet, Thilo Kielmann
2009 Proceedings of 18th International Conference on Computer Communications and Networks
Cheap Intrusion-Tolerant Protection for CRUTIAL Things
Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
DI-FCUL TR-2009-14
An Efficient Byzantine-Resilient Tuple Space
Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung
IEEE Transactions on Computers. Vol. 58 no. 8. pp. 1080-1094. IEEE Computer Society. August 2009.
DOSGi: An Architecture for Instant Replication
J. Domaschka, H. Schmidt, F. J. Hauck, R. Kapitza, Hans P. Reiser
Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Supplemental Volume
Design and development of a proof-of-concept platooning application using the HIDENETS architecture
Luís Marques, António Casimiro, Mário Calha
Proceedings of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks, Estoril, Lisboa, Portugal, June 2009
Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection
Paulo Sousa, Alysson Bessani, Wagner Saback Dantas, Fábio Souto, Miguel Correia, Nuno Ferreira Neves
Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal, pp. 217-222, Jun-Jul 2009.
WEST: Wormhole-Enhanced State Transfer
Rogério Correia, Paulo Sousa
Proceedings of the DSN 2009 Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM), Estoril, Portugal, June 2009.
Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity
Alysson Bessani, Alessandro Daidone, Ilir Gashi, Rafael R. Obelheiro, Paulo Sousa, Vladimir Stankovic
Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), Estoril, Portugal, June 2009.
Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility Networks
Wagner Saback Dantas, Alysson Bessani, Miguel Correia
Proceedings of the DSN 2009 5th Workshop on Hot Topics in System Dependability (HotDep 2009), Estoril, Portugal. June 2009.
Transparent Byzantine Fault-Tolerant Directory Service using COTS components
Francisco Vieira, Paulo Sousa, Alysson Bessani
Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009.
BFT Services Programming with a Dependable Tuple Space
François Aubry, Alysson Bessani, Paulo Sousa
Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009.
Functional decomposition and interactions in hybrid intrusion-tolerant systems
Hans Reiser, T. Distler, R. Kapitza
Proceedings of the 3rd Workshop on Middleware-Application Interaction (MAI '09)
AIR Technology: a step towards ARINC 653 in space
José Rufino, João Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor
Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.
Intrusion-Resilient Middleware Design and Validation
Paulo Veríssimo, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
Information Assurance, Security and Privacy Services (Handbooks in Information Systems, volume 4), Emerald Group Publishing Limited, pp. 615-678, 2009.
Embedded Linux in a partitioned architecture for aerospace applications
João Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda
Proceedings of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, May 2009
RTEMS Centre - Support and Maintenance Centre to RTEMS Operating System
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
Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2009). Istanbul, Turkey, May 2009.
An IMA Development Environment
Tobias Schoofs, Sérgio Santos, Cássia Tatibana, José Anjos, José Rufino, James Windsor
Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA) 2009. Istanbul, Turkey, May 2009.
Probabilistic Adaptive Time-Aware Consensus
Mônica Dixit, António Casimiro, Paulo Veríssimo
Eurosys 2009, WIP session, Nuremberg, Germany, March 2009
Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces
Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung
IEEE Transactions on Parallel and Distributed Systems. Vol. 20 no. 3. pp. 419-43. IEEE Computer Society. March 2009.
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
Paulo Veríssimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
Proceedings of the 42nd Hawaii International Conference for the Systems Sciences (HICSS-42), Waikoloa, Hawaii, January 2009.
Multithreading Strategies for Replicated Objects
J. Domaschka, F. J. Hauck, T. Bestfleisch, Hans P. Reiser, R. Kapitza
Proc. of the ACM/IFIP/USENIX 9th International Middleware Conference (Dec 1-5, 2008, Leuven, Belgium), 2008.
The CRUTIAL Way of Critical Infrastructure Protection
Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
IEEE Security and Privacy, vol. 6, no. 6, pp. 44-51, Nov/Dec 2008.
FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery
Alysson Bessani, Hans Reiser, Paulo Sousa, I. Gashi, V. Stankovic, T. Distler, R. Kapitza, A. Daidone, Rafael R. Obelheiro
In Middleware (Companion), Leuven, Belgium, pages 99-101, December 2008.
Byzantine Consensus with Unknown Participants
Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fabíola Greve
Proceedings of the 12th International Conference On Principles Of DIstributed Systems (OPODIS'08). LNCS 5401. Luxor, Egypt.
Detection and Prediction of Resource-Exhaustion Vulnerabilities
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
Proceedings of the 19th IEEE International Symposium on Software Reliability Engineering
A Portable ARINC 653 Standard Interface
Sérgio Santos, José Rufino, Tobias Schoofs, Cássia Tatibana, James Windsor
Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference, St. Paul, Minnesota, USA, October 2008.
Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions
Mônica Dixit, António Casimiro, N. Laranjeiro, Marco Vieira
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
Towards Intrusion-Tolerant Process Control Software
Hugo Ortiz, Paulo Sousa, Paulo Veríssimo
4th National Conference on Segurança Informática nas Organizações (SINO 2008), Coimbra, Portugal, October 2008.
A Dependable Infrastructure for Cooperative Web Services Coordination
Eduardo Alchieri, Alysson Bessani, Joni Fraga
Proceedings of the 6th IEEE International Conference on Web Services - ICWS 2008, Beijing, China. September 2008.
On Byzantine Generals with Alternative Plans
Miguel Correia, Alysson Bessani, Paulo Veríssimo
Journal of Parallel and Distributed Computing, Vol. 68, Issue 9, pages 1291-1296, Elsevier.
Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm
Manuel Coutinho, José Rufino, Carlos Almeida
Proceedings of the EUROMICRO Conference on Real-Time Systems (ECRTS 2008), Prague, Czech Republic, July 2008.
Using Object Replication for Building a Dependable Version Control System
R. Kapitza, P. Baumann, Hans Reiser
Proceedings of the 8th IFIP WG International Conference on Distributed Applications and Interoperable Systems - DAIS
Adaptive Web Service Migration
H. Schmidt, R. Kapitza, F. J. Hauck, Hans P. Reiser
Proceedings of the 8th IFIP WG International Conference on Distributed Applications and Interoperable Systems - DAIS
AMOBA - ARINC 653 Simulator for Modular Space Based Applications
Edgar Pascoal, José Rufino, Tobias Schoofs, James Windsor
Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2008). Palma de Majorca, Spain, May 2008.
DepSpace: A Byzantine Fault-Tolerant Coordination Service
Alysson Bessani, Eduardo Alchieri, Miguel Correia, Joni Fraga
Proceedings of the 3rd ACM/SIGOPS/EuroSys European Systems Conference - EuroSys 2008. Glasgow, Scotland, April 2008.
The FOREVER Service for Fault/Intrusion Removal
Paulo Sousa, Alysson Bessani, Rafael R. Obelheiro
Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2008). Glasgow, UK, April 2008.
Efficient State Transfer for Hypervisor-Based Proactive Recovery
T. Distler, R. Kapitza, Hans P. Reiser
Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (in conjunction with Eurosys 2008, Glasgow, Scotland, April 1, 2008)
A framework for dependable QoS adaptation in probabilistic environments
António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli, Paulo Veríssimo
Proceedings of the 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Fortaleza, Ceara, Brazil, March 2008.
FPGA-based Engineering of Bus Media Redundancy in CAN
José Rufino, Ricardo Pinto, Carlos Almeida
Proceedings of the 12th CAN in Automation (CiA) International CAN Conference. Barcelona, Spain, March 2008.
Fault and Intrusion Tolerance on the Basis of Virtual Machines
Hans Reiser, R. Kapitza
Tagungsband des 1. Fachgesprch Virtualisierung (Feb 11-12, 2008, Paderborn, Germany)
The CRUTIAL Reference Critical Information Infrastructure Architecture: A Blueprint
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
International Journal of System of Systems Engineering, vol. 1, n. 1/2, pp 78-95, 2008.
Information Assurance Technology Forecast 2008
Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Veríssimo
IEEE Security & Privacy, vol. 6, no. 1, pp. 10-17, January/February, 2008.
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.
Resilient Intrusion Tolerance through Proactive and Reactive Recovery
Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Melbourne, Australia, pages 373-380, December 2007.
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07)
On the Effects of Finite Memory on Intrusion-Tolerant Systems
Giuliana Santos, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo
The 13th IEEE Pacific Rim International Symposium
on Dependable Computing (PRDC 07)
A FPGA-based solution for enforcing dependability and timeliness in CAN
José Rufino, Ricardo Pinto, Carlos Almeida
Proceedings of the IP Based Electronic System Conference and Exhibition (IP07). Grenoble, France, December 2007.
Finding Local Resource Exhaustion Vulnerabilities
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
Student paper in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), Trollhättan, Sweden, November 2007.
Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades
Emanuel Teixeira, João Antunes, Nuno Ferreira Neves
Proceedings of the Segurança Informática nas Organizações
Automated Rule-Based Diagnosis Through A Distributed Monitor System
Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel Correia, Paulo Veríssimo
IEEE Transactions on Dependable and Secure Computing, vol. 4, no. 4, pp. 266-279, Oct-Dec, 2007
Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks
Hans Reiser, António Casimiro
4th International Workshop on Dependable Embedded Systems (WDES-07), in conjunction with the 26th Symposium on Reliable Distributed Systems, Beijing, China, October 2007
Evaluating Byzantine Quorum Systems
Wagner Saback Dantas, Alysson Bessani, Joni Fraga, Miguel Correia
In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS). October 2007.
When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus
Alysson Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo
Proceedings of 21st International Symposium on Distributed Computing (DISC 07)
Assumptions: The Trojan Horses of Secure Protocols
Paulo Veríssimo
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.
Analysis of a Redundant Architecture for Critical Infrastructure Protection
Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo
Architecting Dependable Systems V, LNCS 5135, Lemos, R.d.; Di Giandomenico, F.; Gacek, C.; Muccini, H.; Vieira, M. (Eds.) 2008
The CRUTIAL Architecture for Critical Information Infrastructures
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam, Andrea Bondavalli, Alessandro Daidone
Architecting Dependable Systems V, LNCS 5135, Lemos, R.d.; Di Giandomenico, F.; Gacek, C.; Muccini, H.; Vieira, M. (Eds.) 2008
Architecture and Implementation of an Embedded Wormhole
Hugo Ortiz, António Casimiro
Proceedings of the 2007 Symposium on Industrial Embedded Systems, Lisbon, Portugal, July 2007
Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed Systems
Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung
In Proceedings of the 6th IEEE International Symposium on Network Computing and Applications (NCA), pages 231-238, July 2007.
GridTS: A New Approach for Fault Tolerant Scheduling in Grid Computing
Fabio Favarim, Joni Fraga, Lau Cheuk Lung, Miguel Correia
n Proceedings of the 6th IEEE International Symposium on Network Computing and Applications (NCA), pages 187-194, July 2007.
Middleware Support for Time-Elastic Database Applications
António Casimiro, Marco Vieira, Henrique Madeira
Fast Abstract at the 2007 International Conference on Dependable Systems and Networks, Edimburgh, UK, June 2007
Hidden Problems of Asynchronous Proactive Recovery
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
To appear in the Third Workshop on Hot Topics in System Dependability (HotDep 2007). Edinburgh, UK, June 2007
Generic-Events Architecture: Integrating real-world aspects in event-based systems
António Casimiro, Jörg Kaiser, Paulo Veríssimo
Architecting Dependable Systems IV, LNCS 4615, Rogério de Lemos, Cristina Gacek and Alexander Romanovsky (Eds.), 2007
ARINC 653 Interface in RTEMS
José Rufino, Sérgio Filipe, Manuel Coutinho, Sérgio Santos, James Windsor
Proceedings of the DASIA 2007 "Data Systems in Aerospace" Conference, Napoli, Italy, May/June 2007.
Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids
Fabio Favarim, Joni Fraga, Lau Cheuk Lung, Miguel Correia, João Santos
In Proceedings of the 10th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC). May 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.
Towards Timely ACID Transactions in DBMS
Marco Vieira, António Casimiro, Henrique Madeira
The 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007), Bangkok, Thailand, April 2007
Specification-Based Intrusion Detection System for Carrier Ethernet
Pan Jieke, João Redol, Miguel Correia
In International Conference on Web Information Systems and Technologies(WEBIST 2007), Barcelona, Spain, March 2007
Worm-IT - A Wormhole-based Intrusion-Tolerant Group Communication System
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
Journal of Systems & Software, vol. 80, n. 2, pages 178-197, Elsevier, February 2007
Enforcing Dependability and Timeliness in Controller Area Networks
José Rufino, Carlos Almeida, Paulo Veríssimo, Guilherme Arroz
Proceedings of the 32nd Annual Conference of the IEEE Industrial Electronics Society (IECON06), Paris, France, November, 2006.
Proactive Resilience
Paulo Sousa
In Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume. Coimbra, Portugal, pages 27-32, October 2006.
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, pages 71-80, October 2006.
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, October 2006
Fault-Tolerant Multiuser Computational Grids based on Tuple Spaces
Fabio Favarim, Lau Cheuk Lung, Joni Fraga, Miguel Correia
In International Workshop on Dependability in Service-oriented Grids (WODSOG). October 1st, 2006, Leeds, UK
On the development of dependable embedded applications using specialized wormholes
António Casimiro, Odorico Mendizabal, Paulo Veríssimo
3rd International Workshop on Dependable Embedded Systems (WDES-06), in conjunction with the 25th Symposium on Reliable Distributed Systems, Leeds, UK, October 2006
VITRAL - A Text Mode Window Manager for Real-Time Embedded Kernels
Manuel Coutinho, Carlos Almeida, José Rufino
Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September, 2006.
Integrating Inaccessibility Control and Timer Management in CANELy
José Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz
Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September, 2006.
Intrusion-Tolerant Middleware: The Road to Automatic Security
Paulo Veríssimo, Nuno Ferreira Neves, C. Cachin, J. A. Poritz, D. Powell, Yves Deswarte, R. J. Stroud, I. S. Welch
IEEE Security & Privacy, vol. 4, no. 4, pp. 54-62, Jul./Aug. 2006.
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
Proceedings of the 1st International Workshop on Critical Information Infrastructures @ ISC’06, Samos - Greece, August 2006.
Thou Shalt Not Trust non-Trustworthy Systems
Paulo Veríssimo
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.
Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces
Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung
In Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS), July 2006.
Randomized Intrusion-Tolerant Asynchronous Services
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, pages 568-577, June 2006
Using Attack Injection to Discover New Vulnerabilities
Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves
Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, June 2006.
Interconnected Embedded Systems: Challenges and Main Problems to Solve
Carlos Almeida, José Rufino
Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06 Work in Progress Sessions), Torino, Italy, June, 2006.
Control of Inaccessibility in CANELy
José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida
Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06), Torino, Italy, June, 2006.
Proactive Resilience through Architectural Hybridization
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, pages 686-690, April 2006.
Critical Utility Infrastructure Resilience
G. Dondossola, G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, Paulo Veríssimo
In Workshop on Security and Networking in Critical Real-Time and Embedded Systems (CRTES'06), with RTAS'06, San Jose, California, USA, April 2006.
Travelling through Wormholes: a new look at Distributed Systems Models
Paulo Veríssimo
SIGACT News, vol. 37, no. 1, pages 66-81, 2006.
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Computer Journal. vol. 41, n. 1, pp 82-96, January 2006.
Solving Vector Consensus with a Wormhole
Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
IEEE Transactions on Parallel and Distributed Systems, vol. 16, no. 12, pp. 1120-1131, December 2005.
Resilient State Machine Replication
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, pages 305-309, December 2005.
Gestão do consumo em microprocessadores: Aumento da autonomia sem comprometer a funcionalidade
Gonçalo Rijo, Carlos Almeida, José Rufino
Actas das Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC05), Lisboa, Portugal, Novembro 2005.
VITRAL: A text mode windows manager for RTEMS
Manuel Coutinho, José Rufino, Carlos Almeida
Actas das Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC05), Novembro 2005.
Control of event handling timeliness in RTEMS
Manuel Coutinho, José Rufino, Carlos Almeida
Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005.
Low Complexity Byzantine-Resilient Consensus
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Lau Cheuk Lung
Distributed Computing, vol. 17, n. 3, pp. 237--249, March 2005. http://www.springerlink.com/index/10.1007/s00446-004-0110-7
Diagnóstico de Vulnerabilidades através da Injecção de Ataques
João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves
1ª Conferência Nacional sobre Segurança Informática nas Organizações (SINO 2005), Covilhã, Portugal.
FTP Tolerante a Intrusões
José Pascoal, Tiago Jorge, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
In 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, November 2005.
Um Núcleo de Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões
Pan Jieke, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
In 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, November 2005
Serviços Distribuídos Tolerantes a Intrusões: resultados recentes e problemas abertos
Miguel Correia
V Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - Livro Texto dos Minicursos, pp. 113-162, Sociedade Brasileira de Computação, Setembro de 2005
TACID Transactions
Marco Vieira, António Casimiro, Henrique Madeira
Proceedings of the International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep-05), Yokohama, Japan, June 2005
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN'05). Yokohama, Japan, pages 98-107, June 2005.
ARINC 653 In Space
Nuno Diniz, José Rufino
Proceedings of the DASIA 2005 "Data Systems in Aerospace" Conference, Edimburgh, Scotland, May/June 2005.
A New Programming Model for Dependable Adaptive Real-Time Applications
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
IEEE Distributed Systems Online, vol. 6, no. 5, 2005.
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.
A New Approach to Proactive Recovery
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pages 35-40, April 2005.
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems. Florianopolis, Brasil, pages 174-183, October 2004
An Intrusion-Tolerant Web Server based on the DISTRACT Architecture
Rafael Ferraz, João Sequeira, Bruno Gonçalves, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
In Workshop on Dependable Distributed Data Management, Florianopolis, Brasil, pages 45-50, October 2004.
Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões
Tiago Jorge, José Pascoal, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
In 7ª Conferência sobre Redes de Computadores. Leiria, Portugal, pages 111-122, October 2004.
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.
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
Proceedings of the International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004
Timely ACID Transactions in DBMS
Marco Vieira, António Casimiro, Henrique Madeira
Fast Abstract at the 2004 International Conference on Dependable Systems and Networks, Florence, Italy, June 2004
Wormhole-Aware Byzantine Protocols
Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2nd Bertinoro Workshop on Future Directions in Distributed Computing: Survivability - Obstacles and Solutions (FuDiCo: SOS), Bertinoro, Italy, June, 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.
An Architectural Framework and a Middleware for Cooperating Smart Components
António Casimiro, J. Kaiser, Paulo Veríssimo
Proceedings of the First Conference on Computing Frontiers, Ischia, Italy, April 2004
An architecture to support interaction via Generic Events
Paulo Veríssimo, J. Kaiser, António Casimiro
24th IEEE Real-time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, December 2003
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
Intrusion-Tolerant Architectures: Concepts and Design
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
Architecting Dependable Systems, pp. 3-36, Springer-Verlag LNCS 2677, 2003
Extended version in http://www.di.fc.ul.pt/tech-reports/03-5.pdf
Node Failure Detection and Membership in CANELy
José Rufino, Paulo Veríssimo, Guilherme Arroz
Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN03). San Francisco, California, USA, June 2003.
A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB Model
Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
Proceedings of the 21st Simpósio Brasileiro de Redes de Computadores, Natal, Brasil, May 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
Uncertainty and Predictability: Can they be reconciled?
Paulo Veríssimo
Future Directions in Distributed Computing, pp. 108-113, Springer Verlag LNCS 2584, May, 2003
Event-Driven Support of Real-Time Sentient Objects
Paulo Veríssimo, António Casimiro
Proceedings of the Eighth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, Jan 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
Towards a cooperating autonomous car
Paulo Sousa, Paulo Veríssimo
Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct 2002
The Timely Computing Base and its Future Trends
Pedro Martins, Paulo Veríssimo
Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct. 2002.
The Design of a COTS Real-Time Distributed Security Kernel
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
Fourth European Dependable Computing Conference, Toulouse, France, October 2002
© Springer-Verlag, http://www.springer.de/comp/lncs/
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model
Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS'2002), Suita, Japan, October 2002
The Timely Computing Base Model and Architecture
Paulo Veríssimo, António Casimiro
IEEE Transactions on Computers - Special Issue on Asynchronous Real-Time Systems, vol. 51, n. 8, Aug 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
Computational System for Real-Time Distributed Control
José Rufino
PhD Thesis. Technical University of Lisbon, Instituto Superior Técnico, Lisboa, Portugal. July 2002
Generic Timing Fault Tolerance using a Timely Computing Base
António Casimiro, Paulo Veríssimo
Proceedings of the International Conference on Dependable Systems and Networks, Washington D.C., USA, June 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 Entities
Paulo Veríssimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, J. Kaiser
Proceedings of European Wireless 2002, Florence, Italy, February 2002
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
Recent Advances on the Timely Computing Base Model
António Casimiro, Miguel Correia
Fast Abstract at the International Conference on Dependable Systems and Networks
Measuring Distributed Durations with Stable Errors
António Casimiro, Pedro Martins, Paulo Veríssimo, Luís Rodrigues
Proceedings of the 22nd IEEE Real-Time Systems Symposium, London, UK, December 2001
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
Using the Timely Computing Base for Dependable QoS Adaptation
António Casimiro, Paulo Veríssimo
Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems, New Orleans, USA, October 2001
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
Improving real-time characteristics of a COTS Local Area Network
Carlos Almeida, José Rufino
Proceedings of the International Conference on Communications in Computing (CIC2001). Las Vegas, Nevada, June 2001.
Light-Weight Groups: an implementation in Ensemble
Alexandre Pinto, Hugo Miranda, Luís Rodrigues
in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy.
Quality of Service in Indirect Communication Systems
Filipe Araújo, Luís Rodrigues
in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy.
Response Time Analysis of Composable Micro-Protocols
João Ventura, João Rodrigues, Luís Rodrigues
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.
Separating Replication from Distributed Communication: Problems and Solutions
Miguel Antunes, Hugo Miranda, António Rito Silva, Luís Rodrigues, Jorge Martins
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-108
Phoenix, Arizona, USA
Appia, a flexible protocol kernel supporting multiple coordinated channels
Hugo Miranda, Alexandre Pinto, Luís Rodrigues
in Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 707-710.
Phoenix, Arizona, USA (Poster session).
The Architecture of a Secure Group Communication System Based on Intrusion Tolerance
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
in Proceedings of the International Workshop on Applied Reliable Group Communication, Phoenix, Arizona, USA, April 2001.
Support for Distributed CSCW Applications
François Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt
Recent Advances In Distributed Systems, S. Krakowiak and S.K. Shrivastava (editors), Chapter 13, Part III- Applications Support, Springer-Verlag, LNCS vol. 1752, 2000
The design of RTAppia
João Rodrigues, Hugo Miranda, João Ventura, Luís Rodrigues
in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 8-10 January 2001.
Distributed Systems for System Architects
Paulo Veríssimo, Luís Rodrigues
Kluwer Academic Publishers
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
A Dynamic Light-Weight Group Service
Luís Rodrigues, Katherine Guo, Paulo Veríssimo, Kenneth P. Birman
in Journal of Parallel and Distributed Computing Vol. 60, No. 12, December 2000, pp 1449-1479. Academic Press.
Distributed Computer-Controlled Systems: the DEAR-COTS Approach.
Paulo Veríssimo, António Casimiro, L. M. Pinho, F. Vasques, Luís Rodrigues, E. Tovar
in Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia, November 2000.
Group Communication Support for Dependable Multi-User Object Oriented Environments
Hugo Miranda, Miguel Antunes, Luís Rodrigues, António Rito Silva
in Proceedings of the International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000), in conjunction with the 19th IEEE Symposium on Reliable Distributed Systems, Nurnberg, Germany, October 2000.
Semantically Reliable Multicast Protocols
J. Pereira, Luís Rodrigues, R. Oliveira
in Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, pp. 60-69, Nurnberg, Germany, October 2000.
The middleware architecture of MAFTIA: A blueprint
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 2000.
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.
Global Computing - A Vision
Paulo Veríssimo
Presented at Global Computing: Co-operation of Autonomous and Mobile Entities in Dynamic Environments, Consultation Workshop, Edinburgh - September 2000.
How to Build a Timely Computing Base using Real-Time Linux
António Casimiro, Pedro Martins, Paulo Veríssimo
in Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems, Porto, Portugal, September 2000.
Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems
Luís Rodrigues, M. Raynal
in Proceedings of the European Conference on Parallel Computing (Euro-Par 2000), Munchen, Germany, August, 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
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
Paulo Veríssimo, António Casimiro, C. Fetzer
in Proceedings of the 1st International Conference on Dependable Systems and Networks, New York, USA, June 2000.
Partitionable Light-Weight Groups
Luís Rodrigues, K. Guo
in Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, Taipe, Taiwan, April, 2000.
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems
Luís Rodrigues, M. Raynal
In Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, Taipe, Taiwan, April, 2000.
Deadline-Constrained Causal Order
Luís Rodrigues, R. Baldoni, E. Anceaume, M. Raynal
In Proceedings of the The 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing, Newport Beach, California, USA, March, 2000.
The Logically Instantaneous Communication Mode: a Communication Abstraction
A. Mostefaoui, M. Raynal, Paulo Veríssimo
Future Generation Computer Systems, Elsevier Science, 2000 (month to appear).
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
Flexible Communication Support for CSCW Applications
Hugo Miranda, Luís Rodrigues
5th International Workshop on Groupware, Cacún, México, September 22-24, 1999
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines
A. Mostefaoui, M. Raynal, Paulo Veríssimo
Lecture Notes in Computer Science LNCS 1662, September 1999, Springer-Verlag, editor Victor Malyshkin.
Design of Bus Media Redundancy in CAN
José Rufino, Paulo Veríssimo, Guilherme Arroz
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.).
Scalability issues in MOOs: the role of object migration and replication
Luís Rodrigues
Multi-User Object-Oriented Environments Workshop In association with the 13th European Conference on Object-Oriented Programming (ECOOP'99) Lisbon, Portugal, June 14-18, 1999
A Columbus' Egg Ideia for CAN Media Redundancy
José Rufino, Paulo Veríssimo, Guilherme Arroz
Digest of Papers of the 29th IEEE International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 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
Embedded Platforms for Distributed Real-Time Computing: Challenges and Results
José Rufino, Paulo Veríssimo, Guilherme Arroz
Proceedings of the 2nd IEEE International Symposium on Object-oriented Real-Time distributed Computing. Saint Malo, France, May 1999.
Communication support for multiple QoS requirements
Hugo Miranda, Luís Rodrigues
3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 23-28, 1999
Timing Failure Detection with a Timely Computing Base
António Casimiro, Paulo Veríssimo
3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 23-28, 1999
Topology-aware algorithms for large-scale communication
Luís Rodrigues, Paulo Veríssimo
Advances in Distributed Systems, S. Krakowiak and S. Shrivastava (editors), Chapter 6, pp. 127-156, Springer Verlag LNCS vol. 1752, 2000
Time, clocks and temporal order.
Paulo Veríssimo, M. Raynal
Advances in Distributed Systems, S. Krakowiak and S. Shrivastava (editors), Chapter 1, Springer Verlag LNCS vol. 1752, 2000
Fault-Tolerant Clock Synchronization in CAN
Luís Rodrigues, M. Guimarães, José Rufino
Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998
Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems
Carlos Almeida, Paulo Veríssimo
Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998
Defining a CAN-based Infrastructure for Fault-Tolerant Real-Time Distributed Computing
José Rufino, Paulo Veríssimo, Guilherme Arroz
Proceedings of the 19th IEEE Real-Time Systems Symposium - Work In Progress Sessions. Madrid, Spain, December 1998.
Scalable Atomic Multicast
Luís Rodrigues, Rachid Guerraoui, A. Schiper
Proceedings of the Seventh International Conference on Computer Communications and Networks (IC3N'98), Lafayette, Louisiana, USA, 12-15 October, 1998
Hardware support for CAN fault-tolerant communication
José Rufino, Nuno Pedrosa, José Monteiro, Paulo Veríssimo, Guilherme Arroz
Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, Lisboa, Portugal, September 1998
A Fault-Tolerant Secure CORBA Store using Fragmentation-Redundancy-Scattering
C. Silva, Luís Rodrigues
Proceedings of the ECOOP Workshop on Distributed Object Security, In Association with 12th European Conference on Object-Oriented Programming Brussels, Belgium, July 20, 1998
Fault-Tolerant Broadcasts in CAN
José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues
Digest of Papers, The 28th IEEE International Symposium on Fault-Tolerant Computing. Munich, Germany, June, 1998.
CONFIANÇA NO FUNCIONAMENTO: Proposta para uma Terminologia em Português
Paulo Veríssimo, Rogério de Lemos
1989. INESC, Lisboa, Portugal
On the Role of Time in Distributed Systems
Paulo Veríssimo
Proceedings of the 6th Workshop on Future Trends of Distributed Computing Systems (FTDCS'97). Tunis, Tunisia, October 1997
How hard is hard real-time communication on field-buses?
Paulo Veríssimo, José Rufino, Li Ming
Digest of Papers, The 27th International Symposium on Fault-Tolerant Computing. Seattle - USA, July 1997. IEEE
Cesiumspray: a precise and accurate global clock service for large-scale systems
Paulo Veríssimo, Luís Rodrigues, António Casimiro
May 1997. Journal of Real-Time Systems, 12(3), pp.243-294. Kluwer Academic Publishers
Dynamic Light-Weight Groups
Katherine Guo, Luís Rodrigues
Proceedings of the 17th IEEE International Conference on Distributed Computing Systems. Baltimore, Maryland, USA, May, 1997
A Transparent Light-Weight Group Service
Luís Rodrigues, Katherine Guo, António Sargento, Robert van Renesse, Brad Glade, Paulo Veríssimo, Kenneth P. Birman
Proceedings of the 15th IEEE Symposium on Reliable Distributed Systems. Niagara-on-the-Lake, Canada, October, 1996
Enhancing dependability of cooperative applications in partitionable environments
François Cosquer, Pedro Antunes, Paulo Veríssimo
October 1996 Dependable Computing - EDCC-2, volume 1150 of Lecture Notes in Computer Science, chapter 6, pp.335-352. Springer-Verlag
Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems
Carlos Almeida, Paulo Veríssimo
June 1996. Proceedings of the 8th Euromicro Workshop on Real-Time Systems. L'Aquila, Italy
Distributed Industrial Information Systems: Design and Experience
Paulo Veríssimo, Sérgio Melro, António Casimiro, Luís Silva
June 1996. Proceedings of the 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems (BASYS'96). Lisboa, Portugal
Totally Ordered Multicast in Large-Scale Systems
Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo
Proceedings of the 16th International Conference on Distributed Computing Systems. Hong Kong, May 1996
Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications
Carlos Almeida, Paulo Veríssimo
May 1996. INESC, Lisboa, Portugal
SEGURANÇA e CONFIABILIDADE: na ordem do dia dos sistemas distribuídos
Paulo Veríssimo
Jornadas do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros. Lisboa-IST, 1996
Causal Delivery Protocols in Real-time Systems: a Generic Model
Paulo Veríssimo
1996. Journal of Real-Time Systems, vol 10, n 1, pp: 45-73. KluwerAcademic Publishers
Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models
Paulo Veríssimo, Carlos Almeida
Winter 1995. Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), 7(4), pp.35-39
Real-Time Group Communication in a Quasi-Synchronous System
Carlos Almeida, Paulo Veríssimo
November 1995. INESC, Lisboa, Portugal
A Study on the Inaccessibility Characteristics of the Controller Area Network
José Rufino, Paulo Veríssimo
Proceedings of the 2nd International CAN Conference. London, United Kingdom, October 1995.
Using Tailored Failure Suspectors to Support Distributed Cooperative Applications
François Cosquer, Luís Rodrigues, Paulo Veríssimo
October 1995. Proceedings of the 7th International Conference on Parallel and Distributed Computing and Systems. Washington, D.C., USA
An Adaptive Real-Time Group Communication Protocol
Carlos Almeida, Paulo Veríssimo
October 1995. Proceedings of the First IEEE Workshop on Factory Communication Systems. Leysin, Switzerland
The Impact of Group Communication Paradigms on Groupware Support
François Cosquer, Paulo Veríssimo
August 1995. Proceedings of the 5th Workshop on Future Trends of Distributed Computing Systems. Cheju Island, Korea
Reliable Computing over Mobile Networks
Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo
August 1995. Proceedings of the 5th Workshop on Future Trends of Distributed Computing Systems. Cheju Island, Korea
Adaptive Synchronous Cooperation over Large Scale Networks
François Cosquer, Pedro Antunes, Nuno Guimarães, Paulo Veríssimo
August 1995. INESC, Lisboa, Portugal
Priority-based totally ordered multicast
Luís Rodrigues, António Casimiro, Paulo Veríssimo
May 1995. Proceedings of the 3rd IFAC/IFIP workshop on Algorithms and Architectures for Real-Time Control (AARTC'95). Ostend, Belgium
Causal separators and topological timestamping: an approach to support causal multicast in large-scale systems
Luís Rodrigues, Paulo Veríssimo
May 1995. Proceedings of the 15th International Conference on Distributed Computing Systems. Vancouver, British Columbia, Canada
Large Scale Distribution Support for Cooperative Applications
François Cosquer, Paulo Veríssimo
April 1995. Proceedings of the European Research Seminar on Advances in Distributed Systems. L'Alpe d'Huez, France
Comunicação e Computação em Sistemas Distribuídos - Lição de Síntese
Paulo Veríssimo
Novembro 1994. IST - INESC, Lisboa, Portugal
How to avoid the cost of causal communication in large-scale systems
Luís Rodrigues, Paulo Veríssimo
September 1994. Proceedings of the 6th SIGOPS European Workshop. Dagstuhl, Germany
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)
Ordering and timeliness requirements of dependable real-time programs
Paulo Veríssimo
Journal of Real-Time Systems, Kluwer Eds., (7): 105--128, 1994
Using atomic broadcast to implement a posteriori agreement for clock synchronization
Luís Rodrigues, Paulo Veríssimo, António Casimiro
October 1993. Proceedings of the 12th Symposium on Reliable Distributed Systems. Princeton, New Jersey, USA
The Changing Face of Technology in Distributed Systems
Paulo Veríssimo, Werner Vogels
September 1993. Proceedings of the 4th Workshop on Future Trends of Distributed Computing Systems. Lisboa, Portugal
Replicated object management using group technology
Luís Rodrigues, Paulo Veríssimo
September 1993. Proceedings of the 4th Workshop on Future Trends of Distributed Computing Systems. Lisboa, Portugal
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
A low-level processor group membership protocol for LANs
Luís Rodrigues, Paulo Veríssimo, José Rufino
Proceedings of the 13th International Conference on Distributed Computing Systems. Pittsburgh, Pennsylvania, USA, May 1993.
Rede de Difusão Abstracta: um modelo para construção de protocolos portáteis sobre rede local
José Rufino
M.Sc Thesis. Technical University of Lisbon, Instituto Superior Técnico, Lisboa, Portugal. April 1993 (in Portuguese).
MESSAGE SLOTTING: Ensuring replica determinism in preemptive real-time systems
Luís Rodrigues, Paulo Veríssimo
1993 INESC, Lisboa, Portugal
DS-BOOK Distributed Systems, 2nd Edition
Sape J. Mullender, Paulo Veríssimo
Addison-Wesley, 1993
Fast Group Communication for Standard Workstations
Werner Vogels, Luís Rodrigues, Paulo Veríssimo
November 1992. Proceedings of the OpenForum'92 Technical Conference, EurOpen, UniForum. Utrecht, Netherlands
xAMp: a Multi-primitive Group Communications Service
Luís Rodrigues, Paulo Veríssimo
October 1992. Proceedings of the 11th Symposium on Reliable Distributed Systems, Houston, Texas, USA
Group orientation: a paradigm for modern distributed systems
Paulo Veríssimo, Luís Rodrigues
September 1992. Proceedings of the 5th ACM SIGOPS European Workshop. Mont Saint-Michel, France
Requirements for High Performance Group Support in Distributed System
Werner Vogels, Paulo Veríssimo, Luís Rodrigues
September 1992. Proceedings of the 5th ACM SIGOPS European Workshop. Saint-Michel, France
A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks
Paulo Veríssimo, Luís Rodrigues
July 1992. Digest of Papers, The 22th International Symposium on Fault-Tolerant Computing. Boston, USA
Minimizing Token-Bus inaccessibility through network planning and parameterizing
José Rufino, Paulo Veríssimo
Proceedings of the EFOC/LAN92 Conference, IGI. Paris, France, June 1992.
A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LAN
José Rufino, Paulo Veríssimo
Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications. Florence, Italy, May 1992.
Group orientation: a paradigm for distributed systems of the nineties
Paulo Veríssimo, Luís Rodrigues
April 1992. Proceedings of the 3rd IEEE Workshop on Future Trends of Distributed Computing Systems. Taipe, Taiwan
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
Delta-4: A Generic Architecture for Dependable Distributed Computing
David Powell, Paulo Veríssimo, Luís Rodrigues, José Rufino
ESPRIT Research Reports, Springer Verlag, November 1991.
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.
Enforcing real-time behaviour of LAN-based protocols
Paulo Veríssimo, José Rufino, Luís Rodrigues
Proceedings of the 10th IFAC Workshop on Distributed Computer Control Systems. Semmering, Austria, September 1991.
A posteriori Agreement for Clock Synchronization on Broadcast Networks
Luís Rodrigues, Paulo Veríssimo
March 1991 (Revised, March 1992). INESC, Lisboa, Portugal
Reliable multicasting in high-speed lans
Paulo Veríssimo, Luís Rodrigues
High-Capacity Local and Metropolitan Area Networks, Springer Verlag, pages 397--412, NATO ASI Series, Volume F72, 1991
Formal specification and verification of a network independent atomic multicast protocol
Mário Baptista, Luís Rodrigues, Paulo Veríssimo, S. Graf, J. L. Richier, C. Rodriguez, J. Voiron
1991. Formal Description Techniques, III, pages 345-352, J. Quemada, J. Mañas, and E. Vazques, editors, North-Holland
Real-time data management with clock-less reliable broadcast protocols
Paulo Veríssimo
November 1990. Proceedings of the IEEE Workshop on the Management of Replicated Data, Houston, Texas, USA
Reliable broadcast for fault-tolerance on local computer networks
Paulo Veríssimo, José A. Marques
October 1990. Proceedings of the 9th Symposium on Reliable Distributed Systems, Huntsville, Alabama, USA
The Delta-4 Extra Performance Architecture (XPA)
P. A. Barrett, P. G. Bond, A. M. Hilborne, Luís Rodrigues, D. Seaton, N. A. Speirs, Paulo Veríssimo
From the Digest of Papers, The 20th International Symposium on Fault-Tolerant Computing (FTCS), pp. 481-488, June 1990.
AMp: A Highly Parallel Atomic Multicast Protocol
Paulo Veríssimo, Luís Rodrigues, Mário Baptista
September 1989. Proceedings of the ACM SIGCOM'89 Symposium, Austin, USA
The Quasi-Synchronous approach to Distributed Real-Time Databases
Carlos Almeida, Nuno Guimarães
September 1989. Proceedings of the ACM SIGCOM'89 Symposium, Austin, USA
AtomicMaze: Implementing a distributed computer game using AMp
Mário Baptista, Luís Rodrigues, Paulo Veríssimo
March 1989. INESC, Lisboa, Portugal
Redundant Media Mechanisms for Dependable Communication in Token-Bus LANs
Paulo Veríssimo
October 1988. Proceedings of the 13th IEEE Local Computer Network Conference, Minneapolis, USA
The Delta-4 Approach to Dependability in Open Distributed Computing Systems
D. Powell, D. Seaton, G. Bonn, Paulo Veríssimo, F. Waeselynck
Proceedings of the 18th IEEE International Symposium on Fault-Tolerant Computing (FTCS), pp. 246-251, June 1988.
|
|