Home

2006
Sousa, P., N. Ferreira Neves, P. Verissimo, and W. H. Sanders, "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Proactive resilience through architectural hybridization", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomized intrusion-tolerant asynchronous services", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 568–577, 2006.
Neves, N. Ferreira, P. Verissimo, P. Sousa, and A. Lopes, On the Resilience of Intrusion-Tolerant Distributed Systems, : Department of Informatics, University of Lisbon, 2006.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Verissimo, P., "Thou shalt not trust non-trustworthy systems", Distributed Computing Systems Workshops, 2006. ICDCS Workshops 2006. 26th IEEE International Conference on: IEEE, pp. xxxviii–xxxviii, 2006.
Verissimo, P., "Travelling through wormholes: a new look at distributed systems models", ACM SIGACT News, vol. 37, no. 1: ACM, pp. 66–81, 2006.
Neves, N. Ferreira, J. Antunes, M. Correia, P. Verissimo, and R. Neves, "Using attack injection to discover new vulnerabilities", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 457–466, 2006.
2005
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated monitor based diagnosis in distributed systems", ECE Technical Reports, pp. 67, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/intrusion-tolerant systems?, : Department of Informatics, University of Lisbon, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/tolerant systems?, , 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "How resilient are distributed f fault/intrusion-tolerant systems?", Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on: IEEE, pp. 98–107, 2005.
Correia, M., A. Neves Bessani, N. Ferreira Neves, C. L Lung, and P. Verissimo, Improving Byzantine Protocols with Secure Computational Components, : Department of Informatics, University of Lisbon, 2005.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Low complexity Byzantine-resilient consensus", Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "A New Approach to Proactive Recovery", Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pp. 35–40, 2005.
Martins, P., P. Sousa, A. Casimiro, and P. Verissimo, "A new programming model for dependable adaptive real-time applications", Distributed Systems Online, IEEE, vol. 6, no. 5: IEEE, 2005.
Khanna, G., M. Yu Cheng, J. Dyaberi, S. Bagchi, M. Correia, and P. Verissimo, "Probabilistic Diagnosis through Non-Intrusive Monitoring in Distributed Applications", ECE Technical Reports, pp. 72, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
Neves, N. Ferreira, M. Correia, and P. Verissimo, "Solving vector consensus with a wormhole", Parallel and Distributed Systems, IEEE Transactions on, vol. 16, no. 12: IEEE, pp. 1120–1131, 2005.
Jieke, P., M. Correia, N. Ferreira Neves, P. Verissimo, SA. Siemens, and R. Irmãos Siemens, "Um Núcleo de Segurança Distribu{ído para Suporte a Protocolos Tolerantes a Intrusões", 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, 2005.
2004
Casimiro, A., J. Kaiser, and P. Verissimo, "An architectural framework and a middleware for cooperating smart components", Proceedings of the 1st Conference on Computing Frontiers: ACM, pp. 28–39, 2004.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Byzantine-resistant consensus based on a novel approach to intrusion tolerance", Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004.
Jorge, T., J. Pascoal, M. Correia, N. Ferreira Neves, and P. Verissimo, "Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões", Actas da, vol. 27, pp. 111–122, 2004.
Martins, P., A. Casimiro, and P. Verissimo, A Generic Temporal Consistency Model for Distributed Control Systems, : WACERTS'04-Workshop on Architectures for Cooperative Embedded Real-Time Systems, 2004.
Correia, M., N. Ferreira Neves, and P. Verissimo, "How to tolerate half less one Byzantine nodes in practical distributed systems", Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.: IEEE, pp. 174–183, 2004.
Verissimo, P., N. Ferreira Neves, C. Cachin, JA. Poritz, D. Powell, Y. Deswarte, R. J. Stroud, and IS. Welch, Intrusion-Tolerant Middleware: The MAFTIA Approach, : Department of Informatics, University of Lisbon, 2004.
Ferraz, R., B. Gonçalves, J. Sequeira, M. Correia, N. Ferreira Neves, and P. Verissimo, "An intrusiontolerant web server based on the DISTRACT architecture", In Proceedings of the Workshop on Dependable Distributed Data Management: Citeseer, 2004.
Antunes, P., N. Ferreira Neves, L. Carriço, P. Verissimo, R. Rocha, and F. Simões, "Projecto de Avaliação de Sistemas de Votação Electrónica–Resultados da Auditoria", Faculdade de Ciências da Universidade de Lisboa, 2004.
Sardinha, L., N. Ferreira Neves, and P. Verissimo, Tolerância a Intrusões num Sistema em Grid, : 7ª Conferência sobre Redes de Computadores (CRC 2004), 2004.
Sardinha, L., N. Ferreira Neves, and P. Verissimo, "Tolerating Intrusions in Grid Systems.", Security and Management, pp. 207–220, 2004.
Neves, N. Ferreira, M. Correia, and P. Verissimo, Wormhole-aware Byzantine protocols, , 2004.
2003
Verissimo, P., J. Kaiser, and A. Casimiro, "An architecture to support interaction via Generic Events", 24th IEEE Real–time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, 2003.
Verissimo, P., N. Ferreira Neves, M. Correia, and I-T. Architectures, "Concepts and Design''", Architecting Dependable Systems TR-03-5, April, 2003.
Sousa, P., P. Martins, A. Casimiro, and P. Verissimo, Concretização de um cenário de carros cooperantes num ambiente móvel sem fios, : Department of Informatics, University of Lisbon, 2003.
Verissimo, P., and A. Casimiro, "Event-driven support of real-time sentient objects", Object-Oriented Real-Time Dependable Systems, 2003.(WORDS 2003). Proceedings of the Eighth International Workshop on: IEEE, pp. 2–9, 2003.
Verissimo, P., N. Ferreira Neves, and M. Correia, "Intrusion-tolerant architectures: Concepts and design", Architecting Dependable Systems: Springer-Verlag LNCS 2677, pp. 3–36, 2003.
Rufino, J., P. Verissimo, and G. Arroz, "Node failure detection and membership in CANELy", 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE Computer Society, pp. 331–331, 2003.
Biegel, G., C. Brudna, A. Casimiro, J. Kaiser, C. Liu, C. Mitidieri, and P. Verissimo, Preliminary definition of CORTEX interaction model, : Department of Informatics, University of Lisbon, 2003.
Brudna, C., V. Cahill, A. Casimiro, R. Cunningham, J. Kaiser, R. Meier, and P. Verissimo, Preliminary definition of CORTEX system architecture, : Department of Informatics, University of Lisbon, 2003.
Blair, G., C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, P. Martins, and P. Verissimo, Preliminary Specification of Basic Services and Protocols, : Department of Informatics, University of Lisbon, 2003.
Cahill, V., A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Verissimo, and M. Wu, Proof-of-concept prototypes, : Department of Informatics, University of Lisbon, 2003.
L Lung, C., M. Correia, N. Ferreira Neves, and P. Verissimo, "A simple intrusion-tolerant reliable multicast protocol using the TTCB", of: 21o Simpósio Brasileiro de Redes de Computadores, pp. 649–663, 2003.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCBe Model, , 2003.
Verissimo, P., "Trustworthiness of open information systems: how should it be achieved?", Reliable Distributed Systems, 2003. Proceedings. 22nd International Symposium on: IEEE, pp. 315–315, 2003.
Verissimo, P., "Uncertainty and predictability: Can they be reconciled?", Future Directions in Distributed Computing: Springer Berlin Heidelberg, pp. 108–113, 2003.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "WIT-GCS–a wormhole-based intrusion-tolerant group communication system", Submitted for publication, 2003.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "A Wormhole-based Intrusion-Tolerant Group Communication System–WIT-GCS", The 5th Cabernet Plenary Workshop, 2003.
2002
Rufino, J., P. Verissimo, and G. Arroz, CAN Bus Media Redundancy, : European Space Agency (ESA) ESTEC Spacecraft Control and Data Systems Division 1st. CAN in Space Workshop, Noordwijk, The Netherlands, 2002.
Armstrong, J.., C.. Cachin, M. Correia, A.. Costa, H. Miranda, N. Ferreira Neves, N. M. Neves, J.. A. Poritz, B.. Randell, L.. C. Lung, et al., "Complete Specification of APIs and Protocols for the {MAFTIA} Middleware", DI/FCUL TR, no. 02-11, 2002.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, Cortex: Towards supporting autonomous and cooperating sentient entities, , 2002.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects, : Department of Informatics, University of Lisbon, 2002.
Correia, M., P. Verissimo, and N. Ferreira Neves, "The design of a COTS real-time distributed security kernel", Dependable Computing EDCC-4: Springer, pp. 634–638, 2002.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, "Efficient Byzantine-resilient reliable multicast on a hybrid failure model", Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on: IEEE, pp. 2–11, 2002.
Neves, N. Ferreira, and P. Verissimo, First Specification of APIs and Protocols for the MAFTIA Middleware, : University of Newcastle upon Tyne, Computing Science, 2002.
Verissimo, P., "Fundamental questions in the et vs. tt debate? please look elsewhere", Booklet of the NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services, 2002.
Casimiro, A., and P. Verissimo, "Generic timing fault tolerance using a timely computing base", Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on: IEEE, pp. 27–36, 2002.
Verissimo, P., Lessons learned with NavTech: a framework for reliable large-scale applications, : Department of Informatics, University of Lisbon, 2002.
Neves, N. Ferreira, and P. Verissimo, Running Lab Prototype of MAFTIA Middleware, , 2002.
Martins, P., and P. Verissimo, The Timely Computing Base and its Future Trends, , 2002.
Verissimo, P., and A. Casimiro, "The timely computing base model and architecture", Computers, IEEE Transactions on, vol. 51, no. 8: IEEE, pp. 916–930, 2002.
Sousa, P., and P. Verissimo, "Towards a cooperating autonomous car", Proceedings of the 7th CaberNet Radicals Workshop, 2002.
2001
Correia, M., P. Verissimo, and N. Ferreira Neves, "The architecture of a secure group communication system based on intrusion tolerance", Distributed Computing Systems Workshop, 2001 International Conference on: IEEE, pp. 17–22, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Dependable", Distributed Systems for System Architects: Springer US, pp. 271–274, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Secure", Distributed Systems for System Architects: Springer US, pp. 511–516, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Timely", Distributed Systems for System Architects: Springer US, pp. 369–373, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Managing VP'63", Distributed Systems for System Architects: Springer US, pp. 581–584, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: VP'63-The Vintageport'63 Large-Scale Information System", Distributed Systems for System Architects: Springer US, pp. 159–168, 2001.
Rufino, J., G. Arroz, and P. Verissimo, Control of Inaccessibility in CANELy, , 2001.
Verissimo, P., and L. Rodrigues, "Dependable Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 259–270, 2001.
Correia, M., P. Verissimo, and N. Ferreira Neves, The design of a COTS real-time distributed security kernel (extended version), : Department of Informatics, University of Lisbon, 2001.
Verissimo, P., and L. Rodrigues, "Distributed Real-Time Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 355–368, 2001.
Verissimo, P., and L. Rodrigues, "Distributed System Paradigms", Distributed Systems for System Architects: Springer US, pp. 21–88, 2001.
Verissimo, P., and L. Rodrigues, "Distributed Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 133–158, 2001.
Verissimo, P., and L. Rodrigues, Distributed systems for system architects, , vol. 1: Springer Science & Business Media, 2001.
Verissimo, P., and L. Rodrigues, Distributed Systems for System Architects (Advances in Distributed Computing and Middleware, Volume 1)(Advances in Distributed Computing and Middleware), : Springer, 2001.
Verissimo, P., and L. Rodrigues, "Distributed Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 3–20, 2001.
Verissimo, P., and L. Rodrigues, "Fault-Tolerant Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 171–192, 2001.
Verissimo, P., and L. Rodrigues, "Fundamental Concepts of Management", Distributed Systems for System Architects: Springer US, pp. 519–530, 2001.
Verissimo, P., and L. Rodrigues, "Fundamental Security Concepts", Distributed Systems for System Architects: Springer US, pp. 377–393, 2001.
Verissimo, P., and L. Rodrigues, "Management Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 557–579, 2001.
Casimiro, A., P. Martins, P. Verissimo, and L. Rodrigues, "Measuring distributed durations with stable errors", Real-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE: IEEE, pp. 310–319, 2001.
Verissimo, P., and L. Rodrigues, "Models of Distributed Computing", Distributed Systems for System Architects: Springer US, pp. 89–132, 2001.
Verissimo, P., and L. Rodrigues, "Models of Distributed Fault-Tolerant Computing", Distributed Systems for System Architects: Springer US, pp. 235–258, 2001.
Verissimo, P., and L. Rodrigues, "Models of Distributed Real-Time Computing", Distributed Systems for System Architects: Springer US, pp. 321–354, 2001.
Verissimo, P., and L. Rodrigues, "Models of Distributed Secure Computing", Distributed Systems for System Architects: Springer US, pp. 427–486, 2001.
Verissimo, P., and L. Rodrigues, "Models of Network and Distributed Systems Management", Distributed Systems for System Architects: Springer US, pp. 541–556, 2001.
Verissimo, P., and L. Rodrigues, "Paradigms for Distributed Fault Tolerance", Distributed Systems for System Architects: Springer US, pp. 193–234, 2001.
Verissimo, P., and L. Rodrigues, "Paradigms for Distributed Systems Management", Distributed Systems for System Architects: Springer US, pp. 531–540, 2001.
Verissimo, P., and L. Rodrigues, "Paradigms For Real-Time", Distributed Systems for System Architects: Springer US, pp. 289–320, 2001.
Verissimo, P., and L. Rodrigues, "Real-Time Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 277–288, 2001.
Verissimo, P., and L. Rodrigues, "Secure Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 487–510, 2001.
Verissimo, P., and L. Rodrigues, "Security Paradigms", Distributed Systems for System Architects: Springer US, pp. 395–426, 2001.
Cachin, C., M. Correia, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, M. Schunter, R. J. Stroud, P. Verissimo, M. Waidner, et al., Service and Protocol Architecture for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Verissimo, P., and N. Ferreira Neves, "Service and Protocol Architecture for the MAFTIA Middleware", Deliverable D23, Project MAFTIA IST-1999-11583, 2001.
Casimiro, A., and P. Verissimo, "Using the timely computing base for dependable qos adaptation", Reliable Distributed Systems, 2001. Proceedings. 20th IEEE Symposium on: IEEE, pp. 208–217, 2001.
2000
Verissimo, P., A. Casimiro, L. Miguel Pinho, F. Vasques, L. Rodrigues, and E. Tovar, Distributed computer-controlled systems: the DEAR-COTS approach, : IPP-Hurray Group, 2000.
Casimiro, A., P. Martins, and P. Verissimo, "How to build a timely computing base using real-time linux", Factory Communication Systems, 2000. Proceedings. 2000 IEEE International Workshop on: IEEE, pp. 127–134, 2000.
Verissimo, P., N. Ferreira Neves, and M. Correia, The middleware architecture of MAFTIA: A blueprint, : Department of Informatics, University of Lisbon, 2000.
Cosquer, F. J. N., P. Verissimo, S. Krakowiak, and L\"ıc. Decloedt, "Support for distributed CSCW applications", Advances in Distributed Systems: Springer Berlin Heidelberg, pp. 295–326, 2000.

Pages