The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paulo Veríssimo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. François J. N. Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt
    Support for Distributed CSCW Applications. [Citation Graph (0, 0)][DBLP]
    Advances in Distributed Systems, 1999, pp:295-326 [Conf]
  2. Luís Rodrigues, Paulo Veríssimo
    Topology-Aware Algorithms for Large-Scale Communication. [Citation Graph (0, 0)][DBLP]
    Advances in Distributed Systems, 1999, pp:127-156 [Conf]
  3. Paulo Veríssimo
    Uncertainty and Predictability: Can They Be Reconciled? [Citation Graph (0, 0)][DBLP]
    Future Directions in Distributed Computing, 2003, pp:108-113 [Conf]
  4. Paulo Veríssimo, Michel Raynal
    Time in Distributed System Models and Algorithms. [Citation Graph (0, 0)][DBLP]
    Advances in Distributed Systems, 1999, pp:1-32 [Conf]
  5. Antonio Casimiro, Jörg Kaiser, Paulo Veríssimo
    An architectural framework and a middleware for cooperating smart components. [Citation Graph (0, 0)][DBLP]
    Conf. Computing Frontiers, 2004, pp:28-39 [Conf]
  6. Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo
    Tolerating Intrusions in Grid Systems. [Citation Graph (0, 0)][DBLP]
    Security and Management, 2004, pp:207-220 [Conf]
  7. Idalina Videira, Paulo Veríssimo, Helena Sarmento
    Efficient Communication in a Design Environment. [Citation Graph (0, 0)][DBLP]
    DAC, 1996, pp:169-174 [Conf]
  8. Antonio Casimiro, Paulo Veríssimo
    Generic Timing Fault Tolerance using a Timely Computing Base. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:27-38 [Conf]
  9. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
    Randomized Intrusion-Tolerant Asynchronous Services. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:568-577 [Conf]
  10. Nuno Ferreira Neves, Joao Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves
    Using Attack Injection to Discover New Vulnerabilities. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:457-466 [Conf]
  11. Pedro Martins, Paulo Jorge Paiva de Sousa, Antonio Casimiro, Paulo Veríssimo
    Dependable Adaptive Real-Time Applications in Wormhole-based Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:567-0 [Conf]
  12. José Rufino, Paulo Veríssimo, Guilherme Arroz
    Node Failure Detection and Membership in CANELy. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:331-340 [Conf]
  13. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
    How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:98-107 [Conf]
  14. Paulo Veríssimo, Antonio Casimiro, Christof Fetzer
    he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:533-542 [Conf]
  15. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
    The Design of a COTSReal-Time Distributed Security Kernel. [Citation Graph (0, 0)][DBLP]
    EDCC, 2002, pp:234-252 [Conf]
  16. François J. N. Cosquer, Pedro Antunes, Paulo Veríssimo
    Enhancing Dependability of Cooperative Applications in Partitionable Environments. [Citation Graph (0, 0)][DBLP]
    EDCC, 1996, pp:335-352 [Conf]
  17. M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
    Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:345-352 [Conf]
  18. José Rufino, Paulo Veríssimo, Guilherme Arroz
    A Columbus' Egg Idea for CAN Media Redundancy. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:286-293 [Conf]
  19. José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues
    Fault-Tolerant Broadcasts in CAN. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:150-159 [Conf]
  20. Paulo Veríssimo, Luís Rodrigues
    A posteriori Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks. [Citation Graph (0, 0)][DBLP]
    FTCS, 1992, pp:527-536 [Conf]
  21. Paulo Veríssimo, José Rufino, Li Ming
    How Hard is Hard Real-time Communication on Field-Buses?. [Citation Graph (0, 0)][DBLP]
    FTCS, 1997, pp:112-121 [Conf]
  22. François J. N. Cosquer, Paulo Veríssimo
    The impact of group communication paradigms on groupware support. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1995, pp:207-215 [Conf]
  23. Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo
    Reliable Computing Over Mobile Networks. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1995, pp:488-494 [Conf]
  24. Paulo Veríssimo
    On the Role of Time in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1997, pp:316-323 [Conf]
  25. Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo
    Totally Ordered Multicast in Large-Scale Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1996, pp:503-510 [Conf]
  26. Luís Rodrigues, Paulo Veríssimo
    Causal Separators for Large-Scale Multicast Communication. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:83-91 [Conf]
  27. Luís Rodrigues, Paulo Veríssimo, José Rufino
    A Low-level Processor Group Membership Protocol for LANS. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:541-550 [Conf]
  28. Paulo Veríssimo
    Thou Shalt Not Trust non-Trustworthy Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2006, pp:- [Conf]
  29. José Rufino, Paulo Veríssimo
    A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1992, pp:958-967 [Conf]
  30. José Rufino, Guilherme Arroz, Paulo Veríssimo
    Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. [Citation Graph (0, 0)][DBLP]
    ISORC, 1999, pp:147-0 [Conf]
  31. Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
    Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. [Citation Graph (0, 0)][DBLP]
    PaCT, 1999, pp:258-270 [Conf]
  32. François J. N. Cosquer, Luís Rodrigues, Paulo Veríssimo
    Using Tailored Failure Suspectors to Support Distributed Cooperative Applications. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Systems, 1995, pp:352-358 [Conf]
  33. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
    Resilient State Machine Replication. [Citation Graph (0, 0)][DBLP]
    PRDC, 2005, pp:305-309 [Conf]
  34. Carlos Almeida, Paulo Veríssimo
    Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:430-439 [Conf]
  35. Antonio Casimiro, Pedro Martins, Luís Rodrigues, Paulo Veríssimo
    Measuring Distributed Durations with Stable Error. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 2001, pp:310-0 [Conf]
  36. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
    Proactive resilience through architectural hybridization. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:686-690 [Conf]
  37. Paulo Veríssimo, Luís Rodrigues, M. Baptista
    AMp: A Highly Parallel Atomic Multicast Protocol. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1989, pp:83-93 [Conf]
  38. Luís Rodrigues, Paulo Veríssimo
    How to avoid cost of causal communication in large-scale Systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1994, pp:106-111 [Conf]
  39. Paulo Veríssimo
    Design of fault tolerant distributed systems: the fail-controlled approach. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1990, pp:- [Conf]
  40. Paulo Veríssimo, Luís Rodrigues
    Group orientation: a paradigm for modern distributed systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1992, pp:- [Conf]
  41. Werner Vogels, Paulo Veríssimo, Luís Rodrigues
    Requirements for high performance group support in distributed systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1992, pp:- [Conf]
  42. Antonio Casimiro, Paulo Veríssimo
    Using the Timely Computing Base for Dependable QoS Adaptation. [Citation Graph (0, 0)][DBLP]
    SRDS, 2001, pp:208-217 [Conf]
  43. Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
    Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. [Citation Graph (0, 0)][DBLP]
    SRDS, 2002, pp:2-11 [Conf]
  44. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
    How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:174-183 [Conf]
  45. Luís Rodrigues, Katherine Guo, Antonio Sargento, Robbert van Renesse, Bradford B. Glade, Paulo Veríssimo, Kenneth P. Birman
    A Transparent Light-Weight Group Service. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1996, pp:130-139 [Conf]
  46. Luís Rodrigues, Ellen H. Siegel, Paulo Veríssimo
    A Replication-Transparent Remote Invocation Protocol. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1994, pp:160-169 [Conf]
  47. Luís Rodrigues, Paulo Veríssimo
    xAMp: A Multi-primitive Group Communications Service. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1992, pp:112-121 [Conf]
  48. Paulo Veríssimo
    Trustworthiness of Open Information Systems: How Should It Be Achieved? [Citation Graph (0, 0)][DBLP]
    SRDS, 2003, pp:315-0 [Conf]
  49. Paulo Veríssimo, Antonio Casimiro, Luís Rodrigues
    Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1993, pp:115-124 [Conf]
  50. Paulo Veríssimo, José Alves Marques
    Reliable Broadcast for Fault-Tolerance on Local Computer Networks. [Citation Graph (0, 0)][DBLP]
    SRDS, 1990, pp:54-63 [Conf]
  51. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
    Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. [Citation Graph (0, 0)][DBLP]
    SRDS, 2006, pp:235-244 [Conf]
  52. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
    Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. [Citation Graph (0, 0)][DBLP]
    SRDS, 2006, pp:71-82 [Conf]
  53. Paulo Veríssimo
    Real-Time Data Management with Clock-Less Reliable Broadcast Protocols. [Citation Graph (0, 0)][DBLP]
    Workshop on the Management of Replicated Data, 1990, pp:20-24 [Conf]
  54. Paulo Veríssimo, Antonio Casimiro
    Event-Driven Support of Real-Time Sentient Objects. [Citation Graph (0, 0)][DBLP]
    WORDS, 2003, pp:2-9 [Conf]
  55. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
    CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. [Citation Graph (0, 0)][DBLP]
    CRITIS, 2006, pp:1-14 [Conf]
  56. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
    From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:1, pp:82-96 [Journal]
  57. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
    Low complexity Byzantine-resilient consensus. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2005, v:17, n:3, pp:237-249 [Journal]
  58. Pedro Martins, Paulo Sousa, Antonio Casimiro, Paulo Veríssimo
    A New Programming Model for Dependable Adaptive Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2005, v:6, n:5, pp:- [Journal]
  59. Luís Rodrigues, Katherine Guo, Paulo Veríssimo, Kenneth P. Birman
    A Dynamic Light-Weight Group Service. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2000, v:60, n:12, pp:1449-1479 [Journal]
  60. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
    Worm-IT - A wormhole-based intrusion-tolerant group communication system. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:2, pp:178-197 [Journal]
  61. Paulo Veríssimo
    Ordering and Timeliness Requirements of Dependable Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1994, v:7, n:2, pp:105-128 [Journal]
  62. Paulo Veríssimo
    Causal Delivery Protocols in Real-time Systems: A Generic Model. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1996, v:10, n:1, pp:45-73 [Journal]
  63. Paulo Veríssimo, Luís Rodrigues, Antonio Casimiro
    CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1997, v:12, n:3, pp:243-294 [Journal]
  64. Paulo Veríssimo, Antonio Casimiro
    The Timely Computing Base Model and Architecture. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2002, v:51, n:8, pp:916-930 [Journal]
  65. Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo
    Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2006, v:3, n:3, pp:169-171 [Journal]
  66. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
    Guidelines for a graduate curriculum on embedded software and systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:587-611 [Journal]
  67. Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
    Solving Vector Consensus with a Wormhole. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2005, v:16, n:12, pp:1120-1131 [Journal]
  68. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
    The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2001, pp:17-24 [Conf]
  69. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
    Intrusion-Tolerant Architectures: Concepts and Design. [Citation Graph (0, 0)][DBLP]
    WADS, 2002, pp:3-36 [Conf]
  70. Antonio Casimiro, Jörg Kaiser, Paulo Veríssimo
    Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. [Citation Graph (0, 0)][DBLP]
    WADS, 2006, pp:287-315 [Conf]
  71. Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo
    When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. [Citation Graph (0, 0)][DBLP]
    DISC, 2007, pp:480-481 [Conf]
  72. José Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz
    Integrating Inaccessibility Control and Timer Management in CANELy. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:348-355 [Conf]
  73. Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
    The logically instantaneous communication mode: a communication abstraction. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2001, v:17, n:6, pp:669-678 [Journal]
  74. Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia, Paulo Veríssimo
    Automated Rule-Based Diagnosis through a Distributed Monitor System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2007, v:4, n:4, pp:266-279 [Journal]

  75. Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. [Citation Graph (, )][DBLP]


  76. The CRUTIAL Architecture for Critical Information Infrastructures. [Citation Graph (, )][DBLP]


  77. Analysis of a Redundant Architecture for Critical Infrastructure Protection. [Citation Graph (, )][DBLP]


  78. Detection and Prediction of Resource-Exhaustion Vulnerabilities. [Citation Graph (, )][DBLP]


  79. Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. [Citation Graph (, )][DBLP]


  80. Resilient Intrusion Tolerance through Proactive and Reactive Recovery. [Citation Graph (, )][DBLP]


  81. Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. [Citation Graph (, )][DBLP]


  82. On the Effects of Finite Memory on Intrusion-Tolerant Systems. [Citation Graph (, )][DBLP]


  83. A framework for dependable QoS adaptation in probabilistic environments. [Citation Graph (, )][DBLP]


  84. Applying Architectural Hybridization in Networked Embedded Systems. [Citation Graph (, )][DBLP]


  85. Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. [Citation Graph (, )][DBLP]


  86. Architecture and Implementation of an Embedded Wormhole. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002