Paulo Esteves Verissimo

škola: Telecommunications Institute

povolání: výzkumník

ocenění: ACM Fellow

Bibliographic databases:

Série

There is nothing here

Create a new serie

Díla

There is nothing here

Create a new work

Články 37

Date

Titul

Autoři

2013-01

Efficient Byzantine Fault-Tolerance

Miguel Correia, Paulo Esteves Verissimo, Alysson Neves Bessani
2013-06

The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013

Paulo Esteves Verissimo, Jogesh K. Muppala
2013

Towards secure and dependable software-defined networks

Fernando M.V. Ramos, Paulo Esteves Verissimo
2012-06

TRONE: Trustworthy and Resilient Operations in a Network Environment

Samuel Neves, Raul Barbosa, Filipe Araujo, Bruno Sousa, António Casimiro, Paulo Esteves Verissimo, Marília Pascoal Curado, Rajeev Gandhi
2012-07-01

Adaptare

António Casimiro, Paulo Esteves Verissimo, Andrea Bondavalli
2012-10

On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds

Fernando M.V. Ramos, Miguel Correia, Paulo Esteves Verissimo, Alysson Neves Bessani
2012-06

The TClouds architecture: Open and resilient cloud-of-clouds computing

Paulo Esteves Verissimo, Alysson Neves Bessani
2011

Byzantine consensus in asynchronous message-passing systems: a survey

Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2011-01

RITAS: Services for Randomized Intrusion Tolerance

Henrique Moniz, Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2011-06

Recursive virtual machines for advanced security mechanisms

Paulo Esteves Verissimo, Alysson Neves Bessani
2011-10

Reverse Engineering of Protocols from Network Traces

Paulo Esteves Verissimo, Nuno Ferreira Neves
2010-08-10

Randomization can be a healer: consensus with dynamic omission failures

Henrique Moniz, Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2010

Architecting Robustness and Timeliness in a New Generation of Aerospace Systems

José Rufino, Paulo Esteves Verissimo
2010

Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics

José Rufino, Paulo Esteves Verissimo
2010-04

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery

Paulo Sousa, Miguel Correia, Paulo Esteves Verissimo, Alysson Neves Bessani, Nuno Ferreira Neves
2010-06

RAVE: Replicated antivirus engine

Paulo Esteves Verissimo
2010-07

Randomized Consensus in Wireless Environments: A Case Where More is Better

Henrique Moniz, Paulo Esteves Verissimo, Nuno Ferreira Neves
2010-05

Vulnerability Discovery with Attack Injection

Rui Neves, Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2009

Applying Architectural Hybridization in Networked Embedded Systems

António Casimiro, Paulo Esteves Verissimo
2009

Randomization Can Be a Healer: Consensus with Dynamic Omission Failures

Henrique Moniz, Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2008

Analysis of a Redundant Architecture for Critical Infrastructure Protection

Paulo Esteves Verissimo, Andrea Bondavalli, Alessandro Daidone
2008-11

Detection and Prediction of Resource-Exhaustion Vulnerabilities

Paulo Esteves Verissimo, Nuno Ferreira Neves
2008-07

Finite Memory: A Vulnerability of Intrusion-Tolerant Systems

Miguel Correia, Paulo Esteves Verissimo
2008

Information Assurance Technology Forecast 2008

Paulo Esteves Verissimo, Dorothy Elizabeth Robling Denning, Steven M. Bellovin, Whitfield Diffie
2008-09

On Byzantine generals with alternative plans

Miguel Correia, Paulo Esteves Verissimo, Alysson Neves Bessani
2008

The CRUTIAL Architecture for Critical Information Infrastructures

Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves, Andrea Bondavalli, Alessandro Daidone
2008

The CRUTIAL reference critical information infrastructure architecture: a blueprint

Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2007-09-20

Development of generic multibody road vehicle models for crashworthiness

Luís Sousa, Paulo Esteves Verissimo, Jorge Ambrósio
2007-07

Architecture and Implementation of an Embedded Wormhole

António Casimiro, Paulo Esteves Verissimo
2007-02

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

Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2006

CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture

Miguel Correia, Paulo Esteves Verissimo, Nuno Ferreira Neves
2006-11

Enforcing Dependability and Timeliness in Controller Area Networks

Paulo Esteves Verissimo

Human - wd:Q57415084

Welcome to Inventaire

knihovna tvých přátel a komunit

zjistit více