Paulo Veríssimo

João Craveiro

Proceedings of the Architecting Dependable Systems VII, 2009

Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned.

[BibT_eX]

[DOI]

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

On Byzantine generals with alternative plans.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2008

The CRUTIAL reference critical information infrastructure architecture: a blueprint.

[BibT_eX]

[DOI]

Int. J. Syst. Syst. Eng., 2008

The Crutial Way of Critical Infrastructure Protection.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2008

Information Assurance Technology Forecast 2008.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2008

A framework for dependable QoS adaptation in probabilistic environments.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Finite Memory: A Vulnerability of Intrusion-Tolerant Systems.

[BibT_eX]

[DOI]

Giuliana Santos Veronese

Lau Cheuk Lung

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Detection and Prediction of Resource-Exhaustion Vulnerabilities.

[BibT_eX]

[DOI]

João Antunes

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

Automated Rule-Based Diagnosis through a Distributed Monitor System.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2007

Worm-IT - A wormhole-based intrusion-tolerant group communication system.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

When 3<i>f</i>+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Architecture and Implementation of an Embedded Wormhole.

[BibT_eX]

[DOI]

Hugo Ortiz

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

On the Effects of Finite Memory on Intrusion-Tolerant Systems.

[BibT_eX]

[DOI]

Giuliana Santos Veronese

Lau Cheuk Lung

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Resilient Intrusion Tolerance through Proactive and Reactive Recovery.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

The CRUTIAL Architecture for Critical Information Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Analysis of a Redundant Architecture for Critical Infrastructure Protection.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

2006

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.

[BibT_eX]

[DOI]

Jean Arlat

Andrea Bondavalli

Boudewijn R. Haverkort

IEEE Trans. Dependable Secur. Comput., 2006

Travelling through wormholes: a new look at distributed systems models.

[BibT_eX]

[DOI]

SIGACT News, 2006

Intrusion-tolerant middleware: the road to automatic security.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2006

From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures.

[BibT_eX]

[DOI]

Comput. J., 2006

Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Proactive resilience through architectural hybridization.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.

[BibT_eX]

[DOI]

Jörg Kaiser

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Thou Shalt Not Trust non-Trustworthy Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Integrating Inaccessibility Control and Timer Management in CANELy.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Using Attack Injection to Discover New Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

Randomized Intrusion-Tolerant Asynchronous Services.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2006

2005

Solving Vector Consensus with a Wormhole.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2005

Guidelines for a graduate curriculum on embedded software and systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

A New Programming Model for Dependable Adaptive Real-Time Applications.

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2005

Low complexity Byzantine-resilient consensus.

[BibT_eX]

[DOI]

Distributed Comput., 2005

Resilient State Machine Replication.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems.

[BibT_eX]

[DOI]

Paulo Jorge Paiva de Sousa

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Dependable Adaptive Real-Time Applications in Wormhole-based Systems.

[BibT_eX]

[DOI]

Pedro Martins

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Tolerating Intrusions in Grid Systems.

[BibT_eX]

Luis Sardinha

Proceedings of the International Conference on Security and Management, 2004

An architectural framework and a middleware for cooperating smart components.

[BibT_eX]

[DOI]

Jörg Kaiser

Proceedings of the First Conference on Computing Frontiers, 2004

2003

Event-Driven Support of Real-Time Sentient Objects.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Trustworthiness of Open Information Systems: How Should It Be Achieved?

[BibT_eX]

[DOI]

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

Node Failure Detection and Membership in CANELy.

[BibT_eX]

[DOI]

Guilherme Arroz

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Uncertainty and Predictability: Can They Be Reconciled?

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

The Timely Computing Base Model and Architecture.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model.

[BibT_eX]

[DOI]

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Intrusion-Tolerant Architectures: Concepts and Design.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

The Design of a COTSReal-Time Distributed Security Kernel.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2002

Generic Timing Fault Tolerance using a Timely Computing Base.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

The logically instantaneous communication mode: a communication abstraction.

[BibT_eX]

[DOI]

Achour Mostéfaoui

Michel Raynal

Future Gener. Comput. Syst., 2001

Using the Timely Computing Base for Dependable QoS Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Measuring Distributed Durations with Stable Error.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

The Architecture of a Secure Group Communication System Based on Intrusion Tolerance.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Distributed systems for system architects.

[BibT_eX]

Advances in distributed computing and middelware 1, Springer, ISBN: 978-0-7923-7266-0, 2001

2000

A Dynamic Light-Weight Group Service.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2000

he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness.

[BibT_eX]

[DOI]

Christof Fetzer

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines.

[BibT_eX]

[DOI]

Achour Mostéfaoui

Michel Raynal

Proceedings of the Parallel Computing Technologies, 1999

Embedded Platforms for Distributed Real-Time Computing: Challenges and Results.

[BibT_eX]

[DOI]

Guilherme Arroz

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

A Columbus' Egg Idea for CAN Media Redundancy.

[BibT_eX]

[DOI]

Guilherme Arroz

Proceedings of the Digest of Papers: FTCS-29, 1999

Time in Distributed System Models and Algorithms.

[BibT_eX]

[DOI]

Michel Raynal

Proceedings of the Advances in Distributed Systems, 1999

Topology-Aware Algorithms for Large-Scale Communication.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

Support for Distributed CSCW Applications.

[BibT_eX]

[DOI]

Sacha Krakowiak

Loïc Decloedt

Proceedings of the Advances in Distributed Systems, 1999

1998

Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems.

[BibT_eX]

[DOI]

Carlos Almeida

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Hardware support for CAN fault-tolerant communication.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, 1998

Fault-Tolerant Broadcasts in CAN.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems.

[BibT_eX]

[DOI]

Real Time Syst., 1997

On the Role of Time in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

How Hard is Hard Real-time Communication on Field-Buses?.

[BibT_eX]

[DOI]

Li Ming

Proceedings of the Digest of Papers: FTCS-27, 1997

1996

Causal Delivery Protocols in Real-time Systems: A Generic Model.

[BibT_eX]

[DOI]

Real Time Syst., 1996

A Transparent Light-Weight Group Service.

[BibT_eX]

[DOI]

Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Totally Ordered Multicast in Large-Scale Systems.

[BibT_eX]

[DOI]

Henrique Fonseca

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Enhancing Dependability of Cooperative Applications in Partitionable Environments.

[BibT_eX]

[DOI]

Pedro Antunes

Proceedings of the Dependable Computing, 1996

Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems.

[BibT_eX]

[DOI]

Carlos Almeida

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Efficient Communication in a Design Environment.

[BibT_eX]

[DOI]

Idalina Videira

Helena Sarmento

Proceedings of the 33st Conference on Design Automation, 1996

1995

Using Tailored Failure Suspectors to Support Distributed Cooperative Applications.

[BibT_eX]

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

Causal Separators for Large-Scale Multicast Communication.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

Reliable Computing Over Mobile Networks.

[BibT_eX]

[DOI]

Henrique Fonseca

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

The impact of group communication paradigms on groupware support.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

Ordering and Timeliness Requirements of Dependable Real-Time Programs.

[BibT_eX]

[DOI]

Real Time Syst., 1994

A Replication-Transparent Remote Invocation Protocol.

[BibT_eX]

[DOI]

Ellen H. Siegel

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

How to avoid cost of causal communication in large-scale Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

1993

Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization.

[BibT_eX]

[DOI]

Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

A Low-level Processor Group Membership Protocol for LANS.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992

xAMp: A Multi-primitive Group Communications Service.

[BibT_eX]

[DOI]

Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

Requirements for high performance group support in distributed systems.

[BibT_eX]

[DOI]

Werner Vogels

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Group orientation: a paradigm for modern distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '92, 1992

A <i>posteriori</i> Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-22, 1992

1990

Real-Time Data Management with Clock-Less Reliable Broadcast Protocols.

[BibT_eX]

Proceedings of the First Workshop on the Management of Replicated Data, 1990

Reliable Broadcast for Fault-Tolerance on Local Computer Networks.

[BibT_eX]

[DOI]

José Alves Marques

Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

Design of fault tolerant distributed systems: the fail-controlled approach.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

The Delta-4 extra performance architecture (XPA).

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1990

1989

AMp: A Highly Parallel Atomic Multicast Protocol.

[BibT_eX]

[DOI]