default search action

combined dblp search
author search
venue search
publication search

ask others

Paulo Veríssimo

Paulo Jorge Esteves Veríssimo – Paulo Esteves Veríssimo

> Home > Persons

Person information

affiliation: University of Lisbon, Faculty of Sciences

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/SuZLLCV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/SuZLLCV24
Xingyu Su, Xiaojie Zhu, Yang Li, Yong Li, Chi Chen, Paulo Jorge Esteves Veríssimo:
PagPassGPT: Pattern Guided Password Guessing via Generative Pretrained Transformer. DSN 2024: 429-442
[i28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-14580
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-14580
Ali Shoker, Rehana Yasmin, Paulo Esteves Veríssimo:
Savvy: Trustworthy Autonomous Vehicles Architecture. CoRR abs/2402.14580 (2024)
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03180
Houzhe Wang, Xiaojie Zhu, Chi Chen, Paulo Esteves Veríssimo:
Goldfish: An Efficient Federated Unlearning Framework. CoRR abs/2404.03180 (2024)
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-04886
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-04886
Xingyu Su, Xiaojie Zhu, Yang Li, Yong Li, Chi Chen, Paulo Esteves Veríssimo:
PagPassGPT: Pattern Guided Password Guessing via Generative Pretrained Transformer. CoRR abs/2404.04886 (2024)
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-18117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-18117
Inês Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Jorge Esteves Veríssimo:
Resilient and Secure Programmable System-on-Chip Accelerator Offload. CoRR abs/2406.18117 (2024)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-02553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-02553
Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Jorge Esteves Veríssimo:
ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips. CoRR abs/2409.02553 (2024)
2023
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/BenhabbourBDDRV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/BenhabbourBDDRV23
Iliès Benhabbour, Yérom-David Bromberg, Marc Dacier, Sven Dietrich, Rodrigo Seromenho Miragaia Rodrigues, Paulo Esteves Veríssimo:
Attacks on tomorrow's virtual world. DSN-S 2023: 105-110
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ShokerVV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ShokerVV23
Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp:
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. DSN-S 2023: 157-162
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosec/SheikhSE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosec/SheikhSE23
Ahmad Tariq Sheikh, Ali Shoker, Paulo Esteves Veríssimo:
Resilient and Secure System on Chip with Rejuvenation in the Wake of Persistent Attacks. EuroSec@EUROSYS 2023: 37-43
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/ShokerAV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/ShokerAV23
Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo:
ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. SRDS 2023: 151-161
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/ShokerRDV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/ShokerRDV23
Ali Shoker, Vincent Rahli, Jérémie Decouchant, Paulo Esteves Veríssimo:
Intrusion Resilience Systems for Modern Vehicles. VTC2023-Spring 2023: 1-7
[i23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08018
Ahmad T. Sheikh, Ali Shoker, Paulo Esteves Veríssimo:
System on Chip Rejuvenation in the Wake of Persistent Attacks. CoRR abs/2301.08018 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-01783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-01783
Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp:
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. CoRR abs/2307.01783 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-02032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-02032
Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo:
ScalOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. CoRR abs/2307.02032 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04184
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04184
Ali Shoker, Vincent Rahli, Jeremie Decouchant, Paulo Esteves Veríssimo:
Intrusion Resilience Systems for Modern Vehicles. CoRR abs/2307.04184 (2023)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-05714
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-05714
Alysson Bessani, Miguel Correia, Tobias Distler, Rüdiger Kapitza, Paulo Esteves Veríssimo, Jiangshan Yu:
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols. CoRR abs/2312.05714 (2023)
2022
[j42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/compsec/GouveiaVV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/GouveiaVV22
Inês Pinto Gouveia, Marcus Völp, Paulo Esteves Veríssimo:
Behind the last line of defense: Surviving SoC faults and intrusions. Comput. Secur. 123: 102920 (2022)
2021
[j41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/popets/PascoalDBV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/popets/PascoalDBV21
Túlio A. Pascoal, Jérémie Decouchant, Antoine Boutet, Paulo Jorge Esteves Veríssimo:
DyPS: Dynamic, Private and Secure GWAS. Proc. Priv. Enhancing Technol. 2021(2): 214-234 (2021)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/KozhayaDRV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/KozhayaDRV21
David Kozhaya, Jérémie Decouchant, Vincent Rahli, Paulo Esteves Veríssimo:
PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite. IEEE Trans. Parallel Distributed Syst. 32(9): 2277-2290 (2021)
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/SilvaGDVV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/SilvaGDVV21
Douglas Simões Silva, Rafal Graczyk, Jérémie Decouchant, Marcus Völp, Paulo Esteves Veríssimo:
Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. SRDS 2021: 78-87
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/CaoDYV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/CaoDYV21
Tong Cao, Jérémie Decouchant, Jiangshan Yu, Paulo Esteves Veríssimo:
Characterizing the Impact of Network Delay on Bitcoin Mining. SRDS 2021: 109-119
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-12620
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-12620
Rafal Graczyk, Marcus Völp, Paulo Jorge Esteves Veríssimo:
EphemeriShield - defence against cyber-antisatellite weapons. CoRR abs/2101.12620 (2021)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-14962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-14962
Charalambos Konstantinou, George Stergiopoulos, Masood Parvania, Paulo Esteves Veríssimo:
Chaos Engineering for Enhanced Resilience of Cyber-Physical Systems. CoRR abs/2106.14962 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-05878
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-05878
Rafal Graczyk, Paulo Esteves Veríssimo, Marcus Völp:
Sanctuary lost: a cyber-physical warfare in space. CoRR abs/2110.05878 (2021)
[i15]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/HanYLCV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/HanYLCV21
Runchao Han, Jiangshan Yu, Haoyu Lin, Shiping Chen, Paulo Jorge Esteves Veríssimo:
On the Security and Performance of Blockchain Sharding. IACR Cryptol. ePrint Arch. 2021: 1276 (2021)
2020
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/titb/FernandesDVCV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/titb/FernandesDVCV20
Maria Fernandes, Jérémie Decouchant, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo:
DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment. IEEE J. Biomed. Health Informatics 24(3): 907-915 (2020)
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/CaoYDLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/CaoYDLV20
Tong Cao, Jiangshan Yu, Jérémie Decouchant, Xiapu Luo, Paulo Veríssimo:
Exploring the Monero Peer-to-Peer Network. Financial Cryptography 2020: 578-594
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-04096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-04096
Inês Pinto Gouveia, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Behind the Last Line of Defense - Surviving SoC Faults and Intrusions. CoRR abs/2005.04096 (2020)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-04519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-04519
Paulo Jorge Esteves Veríssimo, Jérémie Decouchant, Marcus Völp, Alireza Esfahani, Rafal Graczyk:
PriLok: Citizen-protecting distributed epidemic tracing. CoRR abs/2005.04519 (2020)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-10958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-10958
David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo:
PISTIS: From a Word-of-Mouth to a Gentleman's Agreement. CoRR abs/2007.10958 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/FrohlichSKV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/FrohlichSKV19
Antônio Augusto Fröhlich, Roberto Milton Scheffel, David Kozhaya, Paulo Jorge Esteves Veríssimo:
Byzantine Resilient Protocol for the IoT. IEEE Internet Things J. 6(2): 2506-2517 (2019)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/VukoticRV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/VukoticRV19
Ivana Vukotic, Vincent Rahli, Paulo Jorge Esteves Veríssimo:
Asphalion: trustworthy shielding against Byzantine faults. Proc. ACM Program. Lang. 3(OOPSLA): 138:1-138:32 (2019)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/KozhayaDV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/KozhayaDV19
David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo:
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. IEEE Trans. Computers 68(3): 440-454 (2019)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/YuKDV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/YuKDV19
Jiangshan Yu, David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo:
RepuCoin: Your Reputation Is Your Power. IEEE Trans. Computers 68(8): 1225-1237 (2019)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/KreutzYRV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/KreutzYRV19
Diego Kreutz, Jiangshan Yu, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo:
ANCHOR: Logically Centralized Security for Software-Defined Networks. ACM Trans. Priv. Secur. 22(2): 8:1-8:36 (2019)
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/YuAV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/YuAV19
Jiangshan Yu, Man Ho Allen Au, Paulo Jorge Esteves Veríssimo:
Re-Thinking Untraceability in the CryptoNote-Style Blockchain. CSF 2019: 94-107
[c110]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecrts/PaverdVBSASVSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/PaverdVBSASVSH19
Andrew Paverd, Marcus Völp, Ferdinand Brasser, Matthias Schunter, N. Asokan, Ahmad-Reza Sadeghi, Paulo Jorge Esteves Veríssimo, Andreas Steininger, Thorsten Holz:
Sustainable Security & Safety: Challenges and Opportunities. CERTS 2019: 4:1-4:13
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/DecouchantBYV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/DecouchantBYV19
Jérémie Decouchant, Antoine Boutet, Jiangshan Yu, Paulo Jorge Esteves Veríssimo:
P3LS: Plausible Deniability for Practical Privacy-Preserving Live Streaming. SRDS 2019: 1-10
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-08316
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08316
Christopher Natoli, Jiangshan Yu, Vincent Gramoli, Paulo Jorge Esteves Veríssimo:
Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure. CoRR abs/1908.08316 (2019)
[i10]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/YuAV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/YuAV19
Jiangshan Yu, Man Ho Allen Au, Paulo Jorge Esteves Veríssimo:
Re-thinking untraceability in the CryptoNote-style blockchain. IACR Cryptol. ePrint Arch. 2019: 186 (2019)
[i9]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CaoYDLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CaoYDLV19
Tong Cao, Jiangshan Yu, Jérémie Decouchant, Xiapu Luo, Paulo Veríssimo:
Exploring the Monero Peer-to-Peer Network. IACR Cryptol. ePrint Arch. 2019: 411 (2019)
2018
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/KreutzYVMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/KreutzYVMR18
Diego Kreutz, Jiangshan Yu, Paulo Jorge Esteves Veríssimo, Catia Magalhaes, Fernando M. V. Ramos:
The KISS Principle in Software-Defined Networking: A Framework for Secure Communications. IEEE Secur. Priv. 16(5): 60-70 (2018)
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jbi/DecouchantFVCV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbi/DecouchantFVCV18
Jérémie Decouchant, Maria Fernandes, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo:
Accurate filtering of privacy-sensitive information in raw genomic data. J. Biomed. Informatics 82: 1-12 (2018)
[c108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/RahliVVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/RahliVVV18
Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. ESOP 2018: 619-650
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/VolpV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/VolpV18
Marcus Völp, Paulo Jorge Esteves Veríssimo:
Intrusion-Tolerant Autonomous Driving. ISORC 2018: 130-133
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/KrugerFVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/KrugerFVV18
Kristin Krüger, Gerhard Fohler, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Improving Security for Time-Triggered Real-Time Systems with Task Replication. RTCSA 2018: 232-233
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/LambertFDV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/LambertFDV18
Christoph Lambert, Maria Fernandes, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo:
MaskAl: Privacy Preserving Masked Reads Alignment using Intel SGX. SRDS 2018: 113-122
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/LambertVDV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/LambertVDV18
Christoph Lambert, Marcus Völp, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo:
Towards Real-Time-Aware Intrusion Tolerance. SRDS 2018: 269-270
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-01226
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01226
David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo:
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. CoRR abs/1807.01226 (2018)
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/YuKDV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/YuKDV18
Jiangshan Yu, David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo:
RepuCoin: Your Reputation is Your Power. IACR Cryptol. ePrint Arch. 2018: 239 (2018)
2017
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/CogoBCGFV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/CogoBCGFV17
Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Margarida Gama-Carvalho, Maria Fernandes, Paulo Jorge Esteves Veríssimo:
How Can Photo Sharing Inspire Sharing Genomes? PACBB 2017: 74-82
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/FernandesDCV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/FernandesDCV17
Maria Fernandes, Jérémie Decouchant, Francisco M. Couto, Paulo Jorge Esteves Veríssimo:
Cloud-Assisted Read Alignment and Privacy. PACBB 2017: 220-227
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/VerissimoVDRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/VerissimoVDRR17
Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha:
Meeting the Challenges of Critical and Extreme Dependability and Security. PRDC 2017: 92-97
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/robot/CorneliusCHOVVV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/robot/CorneliusCHOVVV17
Gary Cornelius, Patrice Caire, Nico Hochgeschwender, Miguel A. Olivares-Méndez, Paulo Jorge Esteves Veríssimo, Marcus Völp, Holger Voos:
A Perspective of Security for Mobile Service Robots. ROBOT (1) 2017: 88-100
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/VolpDLFV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/VolpDLFV17
Marcus Völp, Jérémie Decouchant, Christoph Lambert, Maria Fernandes, Paulo Jorge Esteves Veríssimo:
Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures. SysTEX@SOSP 2017: 7:1-7:6
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/VolpRDYV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/VolpRDYV17
Marcus Völp, Francisco Rocha, Jeremie Decouchant, Jiangshan Yu, Paulo Jorge Esteves Veríssimo:
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come. Security Protocols Workshop 2017: 232-237
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KreutzVMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KreutzVMR17
Diego Kreutz, Paulo Jorge Esteves Veríssimo, Catia Magalhaes, Fernando M. V. Ramos:
The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure. CoRR abs/1702.04294 (2017)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-03636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-03636
Diego Kreutz, Jiangshan Yu, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo:
ANCHOR: logically-centralized security for Software-Defined Networks. CoRR abs/1711.03636 (2017)
2016
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/BessaniNVDFSLC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/BessaniNVDFSLC16
Alysson Bessani, Nuno Ferreira Neves, Paulo Veríssimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia:
JITeR: Just-in-time application-layer routing. Comput. Networks 104: 122-136 (2016)
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LimaRVV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LimaRVV16
Antonio Lima, Francisco Rocha, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. CPS-SPC@CCS 2016: 59-70
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/VolpLDRRE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/VolpLDRRE16
Marcus Völp, Adam Lackorzynski, Jérémie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Veríssimo:
Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. SysTEX@Middleware 2016: 6:1-6:6
2015
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/KreutzRVRAU15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/KreutzRVRAU15
Diego Kreutz, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig:
Software-Defined Networking: A Comprehensive Survey. Proc. IEEE 103(1): 14-76 (2015)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/Verissimo15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/Verissimo15
Paulo Jorge Esteves Veríssimo:
MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy Systems. DSN Workshops 2015: 3
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/Verissimo15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/Verissimo15a
Paulo Veríssimo:
SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects. DSN Workshops 2015: 124
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/wpes/CogoBCV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wpes/CogoBCV15
Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Veríssimo:
A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data. WPES@CCS 2015: 101-110
2014
[c92]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/BessaniMONCPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/BessaniMONCPV14
Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Veríssimo:
SCFS: A Shared Cloud-backed File System. USENIX ATC 2014: 169-180
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KreutzRVRAU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KreutzRVRAU14
Diego Kreutz, Fernando M. V. Ramos, Paulo Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig:
Software-Defined Networking: A Comprehensive Survey. CoRR abs/1406.0440 (2014)
2013
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/CorreiaNV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/CorreiaNV13
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
BFT-TO: Intrusion Tolerance with Less Replicas. Comput. J. 56(6): 693-715 (2013)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/VerissimoB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/VerissimoB13
Paulo Jorge Esteves Veríssimo, Alysson Neves Bessani:
E-biobanking: What Have You Done to My Cell Samples? IEEE Secur. Priv. 11(6): 62-65 (2013)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/VeroneseCBLV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/VeroneseCBLV13
Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, Paulo Veríssimo:
Efficient Byzantine Fault-Tolerance. IEEE Trans. Computers 62(1): 16-30 (2013)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MuppalaHCV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MuppalaHCV13
Jogesh K. Muppala, Matti A. Hiltunen, Roy H. Campbell, Paulo Veríssimo:
The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013. DSN 2013: 1-2
[c90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/middleware/MartinsGNPCKV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/MartinsGNPCKV13
Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila M. Pertet, António Casimiro, Diego Kreutz, Paulo Veríssimo:
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. Middleware 2013: 41-61
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/KreutzRV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/KreutzRV13
Diego Kreutz, Fernando M. V. Ramos, Paulo Veríssimo:
Towards secure and dependable software-defined networks. HotSDN 2013: 55-60
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1302-0420
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-0420
Francisco M. Couto, Daniel Faria, Bruno Tavares, Pedro Gonçalves, Paulo Veríssimo:
Benchmarking some Portuguese S&T system research units. CoRR abs/1302.0420 (2013)
2012
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/DixitCLBV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/DixitCLBV12
Monica Dixit, António Casimiro, Paolo Lollini, Andrea Bondavalli, Paulo Veríssimo:
Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Trans. Auton. Adapt. Syst. 7(2): 18:1-18:25 (2012)
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/CasimiroVKABNSCSGN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/CasimiroVKABNSCSGN12
António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan:
TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops 2012: 1-6
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/VerissimoBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/VerissimoBP12
Paulo Veríssimo, Alysson Neves Bessani, Marcelo Pasin:
The TClouds architecture: Open and resilient cloud-of-clouds computing. DSN Workshops 2012: 1-6
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/CorreiaCPBRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/CorreiaCPBRV12
Miguel Correia, Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Veríssimo:
On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. SRDS 2012: 448-453
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1211-5736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-5736
Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo:
Critical Utility Infrastructural Resilience. CoRR abs/1211.5736 (2012)
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/KapitzaSSVW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/KapitzaSSVW12
Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Veríssimo, Michael Waidner:
Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281). Dagstuhl Reports 2(7): 56-72 (2012)
2011
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/MonizNCV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/MonizNCV11
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo:
Randomization can be a healer: consensus with dynamic omission failures. Distributed Comput. 24(3-4): 165-175 (2011)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/CorreiaVNV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/CorreiaVNV11
Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo:
Byzantine consensus in asynchronous message-passing systems: a survey. Int. J. Crit. Comput. Based Syst. 2(2): 141-161 (2011)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/MonizNCV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/MonizNCV11
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo:
RITAS: Services for Randomized Intrusion Tolerance. IEEE Trans. Dependable Secur. Comput. 8(1): 122-136 (2011)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/KauerVB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/KauerVB11
Bernhard Kauer, Paulo Veríssimo, Alysson Neves Bessani:
Recursive virtual machines for advanced security mechanisms. DSN Workshops 2011: 117-122
[c84]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/peccs/RufinoVPAA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/peccs/RufinoVPAA11
José Rufino, Paulo Veríssimo, Ricardo Pinto, Carlos Almeida, Guilherme Arroz:
Enforcing Dependability and Timeliness in CANELy - Application to Spaceborne Data Communication Systems. PECCS 2011: 456-463
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/AntunesNV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/AntunesNV11
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo:
Reverse Engineering of Protocols from Network Traces. WCRE 2011: 169-178
2010
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/SousaBCNV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/SousaBCNV10
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE Trans. Parallel Distributed Syst. 21(4): 452-465 (2010)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AntunesNCVN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AntunesNCVN10
João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves:
Vulnerability Discovery with Attack Injection. IEEE Trans. Software Eng. 36(3): 357-370 (2010)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/SilvaSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/SilvaSV10
Carlos Silva, Paulo Sousa, Paulo Veríssimo:
RAVE: Replicated antivirus engine. DSN Workshops 2010: 170-175
[c81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/seus/RufinoCV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seus/RufinoCV10
José Rufino, João Craveiro, Paulo Veríssimo:
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. SEUS 2010: 179-190
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/Verissimo10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/Verissimo10
Paulo Veríssimo:
Security Made, Not Perfect, But Automatic. Security Protocols Workshop 2010: 217-223
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/Verissimo10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/Verissimo10a
Paulo Veríssimo:
Security Made, Not Perfect, But Automatic (Transcript of Discussion). Security Protocols Workshop 2010: 224-232
[e1]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/hotdep/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotdep/2010
Paulo Veríssimo, Hakim Weatherspoon:
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010. USENIX Association 2010 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/VerissimoBCNS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/VerissimoBCNS09
Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa:
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS 2009: 1-8
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RufinoCV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RufinoCV09
José Rufino, João Craveiro, Paulo Veríssimo:
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. WADS 2009: 146-170
[c76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/seus/CasimiroRMCV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seus/CasimiroRMCV09
António Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo:
Applying Architectural Hybridization in Networked Embedded Systems. SEUS 2009: 264-275
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/MonizNCV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/MonizNCV09
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo:
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC 2009: 63-77
2008
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/BellovinBBDDEV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/BellovinBBDDEV08
Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Veríssimo:
Information Assurance Technology Forecast 2008. IEEE Secur. Priv. 6(1): 16-23 (2008)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/BessaniSCNV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/BessaniSCNV08
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
The Crutial Way of Critical Infrastructure Protection. IEEE Secur. Priv. 6(6): 44-51 (2008)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsose/VerissimoNC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsose/VerissimoNC08
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia:
The CRUTIAL reference critical information infrastructure architecture: a blueprint. Int. J. Syst. Syst. Eng. 1(1/2): 78-95 (2008)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/CorreiaBV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/CorreiaBV08
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo:
On Byzantine generals with alternative plans. J. Parallel Distributed Comput. 68(9): 1291-1296 (2008)
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AntunesNV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AntunesNV08
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo:
Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE 2008: 87-96
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/nca/VeroneseCLV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nca/VeroneseCLV08
Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo:
Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA 2008: 37-44
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CasimiroLDBV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CasimiroLDBV08
António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo:
A framework for dependable QoS adaptation in probabilistic environments. SAC 2008: 2192-2196
2007
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/CorreiaNLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CorreiaNLV07
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo:
Worm-IT - A wormhole-based intrusion-tolerant group communication system. J. Syst. Softw. 80(2): 178-197 (2007)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/KhannaCVBCV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/KhannaCVBCV07
Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia, Paulo Veríssimo:
Automated Rule-Based Diagnosis through a Distributed Monitor System. IEEE Trans. Dependable Secur. Comput. 4(4): 266-279 (2007)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VerissimoNCDKBD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VerissimoNCDKBD07
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone:
The CRUTIAL Architecture for Critical Information Infrastructures. WADS 2007: 1-27
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DaidoneCBV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DaidoneCBV07
Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection. WADS 2007: 78-100
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/MonizNCCV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/MonizNCCV07
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo:
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/SousaBCNV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/SousaBCNV07
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC 2007: 373-380
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/VeroneseCLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/VeroneseCLV07
Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo:
On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC 2007: 401-404
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/OrtizCV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/OrtizCV07
Hugo Ortiz, António Casimiro, Paulo Veríssimo:
Architecture and Implementation of an Embedded Wormhole. SIES 2007: 341-344
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/BessaniCMNV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/BessaniCMNV07
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. DISC 2007: 480-481
2006
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/CorreiaNV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/CorreiaNV06
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49(1): 82-96 (2006)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/VerissimoNCPPDSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/VerissimoNCPPDSW06
Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch:
Intrusion-tolerant middleware: the road to automatic security. IEEE Secur. Priv. 4(4): 54-62 (2006)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/Verissimo06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/Verissimo06
Paulo Veríssimo:
Travelling through wormholes: a new look at distributed systems models. SIGACT News 37(1): 66-81 (2006)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ArlatBHV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ArlatBHV06
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. IEEE Trans. Dependable Secur. Comput. 3(3): 169-171 (2006)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/critis/VerissimoNC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/critis/VerissimoNC06
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia:
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/NevesACVN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/NevesACVN06
Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves:
Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MonizNCV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MonizNCV06
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo:
Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/RufinoVAA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/RufinoVAA06
José Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz:
Integrating Inaccessibility Control and Timer Management in CANELy. ETFA 2006: 348-355
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcsw/Verissimo06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/Verissimo06
Paulo Veríssimo:
Thou Shalt Not Trust non-Trustworthy Systems. ICDCS Workshops 2006
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CasimiroKV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CasimiroKV06
António Casimiro, Jörg Kaiser, Paulo Veríssimo:
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS 2006: 287-315
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SousaNV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SousaNV06
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo:
Proactive resilience through architectural hybridization. SAC 2006: 686-690
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/SousaNVS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/SousaNVS06
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders:
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS 2006: 71-82
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/MonizNCV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/MonizNCV06
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo:
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244
2005
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/CorreiaNLV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/CorreiaNLV05
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo:
Low complexity Byzantine-resilient consensus. Distributed Comput. 17(3): 237-249 (2005)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/dsonline/MartinsSCV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dsonline/MartinsSCV05
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo:
A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE Distributed Syst. Online 6(5) (2005)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05
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. ACM Trans. Embed. Comput. Syst. 4(3): 587-611 (2005)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/NevesCV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/NevesCV05
Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo:
Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distributed Syst. 16(12): 1120-1131 (2005)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/SousaNV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/SousaNV05
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo:
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN 2005: 98-107
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/SousaNV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/SousaNV05
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo:
Resilient State Machine Replication. PRDC 2005: 305-309
2004
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/cf/CasimiroKV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cf/CasimiroKV04
António Casimiro, Jörg Kaiser, Paulo Veríssimo:
An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers 2004: 28-39
[c52]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/csreaSAM/SardinhaNV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csreaSAM/SardinhaNV04
Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo:
Tolerating Intrusions in Grid Systems. Security and Management 2004: 207-220
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MartinsSCV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MartinsSCV04
Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo:
Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN 2004: 567-
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/CorreiaNV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/CorreiaNV04
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS 2004: 174-183
2003
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Verissimo03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Verissimo03
Paulo Veríssimo:
Uncertainty and Predictability: Can They Be Reconciled? Future Directions in Distributed Computing 2003: 108-113
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/RufinoVA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/RufinoVA03
José Rufino, Paulo Veríssimo, Guilherme Arroz:
Node Failure Detection and Membership in CANELy. DSN 2003: 331-340
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/Verissimo03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/Verissimo03
Paulo Veríssimo:
Trustworthiness of Open Information Systems: How Should It Be Achieved? SRDS 2003: 315-
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/words/VerissimoC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/words/VerissimoC03
Paulo Veríssimo, António Casimiro:
Event-Driven Support of Real-Time Sentient Objects. WORDS 2003: 2-9
2002
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/VerissimoC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/VerissimoC02
Paulo Veríssimo, António Casimiro:
The Timely Computing Base Model and Architecture. IEEE Trans. Computers 51(8): 916-930 (2002)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/CasimiroV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/CasimiroV02
António Casimiro, Paulo Veríssimo:
Generic Timing Fault Tolerance using a Timely Computing Base. DSN 2002: 27-38
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/CorreiaVN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/CorreiaVN02
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves:
The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VerissimoNC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VerissimoNC02
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia:
Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/CorreiaLNV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/CorreiaLNV02
Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo:
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS 2002: 2-11
2001
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0015094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0015094
Paulo Veríssimo, Luís E. T. Rodrigues:
Distributed systems for system architects. Advances in distributed computing and middelware 1, Springer 2001, ISBN 978-0-7923-7266-0, pp. I-XIX, 1-623
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/MostefaouiRV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/MostefaouiRV01
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo:
The logically instantaneous communication mode: a communication abstraction. Future Gener. Comput. Syst. 17(6): 669-678 (2001)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcsw/CorreiaVN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/CorreiaVN01
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves:
The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops 2001: 17-24
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/CasimirMRV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/CasimirMRV01
António Casimiro, Pedro Martins, Luís E. T. Rodrigues, Paulo Veríssimo:
Measuring Distributed Durations with Stable Error. RTSS 2001: 310-319
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/CasimiroV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/CasimiroV01
António Casimiro, Paulo Veríssimo:
Using the Timely Computing Base for Dependable QoS Adaptation. SRDS 2001: 208-217
2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/RodriguesGVB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/RodriguesGVB00
Luís E. T. Rodrigues, Katherine Guo, Paulo Veríssimo, Kenneth P. Birman:
A Dynamic Light-Weight Group Service. J. Parallel Distributed Comput. 60(12): 1449-1479 (2000)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/VerissimoCF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/VerissimoCF00
Paulo Veríssimo, António Casimiro, Christof Fetzer:
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN 2000: 533-542

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/VerissimoR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/VerissimoR99
Paulo Veríssimo, Michel Raynal:
Time in Distributed System Models and Algorithms. Advances in Distributed Systems 1999: 1-32
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/RodriguesV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/RodriguesV99
Luís E. T. Rodrigues, Paulo Veríssimo:
Topology-Aware Algorithms for Large-Scale Communication. Advances in Distributed Systems 1999: 127-156
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/CosquerVKD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/CosquerVKD99
François J. N. Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt:
Support for Distributed CSCW Applications. Advances in Distributed Systems 1999: 295-326
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/RufinoVA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/RufinoVA99
José Rufino, Paulo Veríssimo, Guilherme Arroz:
A Columbus' Egg Idea for CAN Media Redundancy. FTCS 1999: 286-293
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/RufinoAV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/RufinoAV99
José Rufino, Guilherme Arroz, Paulo Veríssimo:
Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. ISORC 1999: 147-
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/pact/MostefaouiRV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pact/MostefaouiRV99
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo:
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT 1999: 258-270
1998
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/RufinoVAAR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/RufinoVAAR98
José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís E. T. Rodrigues:
Fault-Tolerant Broadcasts in CAN. FTCS 1998: 150-159
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/RufinoPMVA98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/RufinoPMVA98
José Rufino, Nuno Pedrosa, José Monteiro, Paulo Veríssimo, Guilherme Arroz:
Hardware support for CAN fault-tolerant communication. ICECS 1998: 263-266
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/AlmeidaV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/AlmeidaV98
Carlos Almeida, Paulo Veríssimo:
Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. RTSS 1998: 430-439
1997
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/VerissimoRC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/VerissimoRC97
Paulo Veríssimo, Luís E. T. Rodrigues, António Casimiro:
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real Time Syst. 12(3): 243-294 (1997)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/VerissimoRM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/VerissimoRM97
Paulo Veríssimo, José Rufino, Li Ming:
How Hard is Hard Real-time Communication on Field-Buses?. FTCS 1997: 112-121
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ftdcs/Verissimo97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/Verissimo97
Paulo Veríssimo:
On the Role of Time in Distributed Systems. FTDCS 1997: 316-323
1996
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Verissimo96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Verissimo96
Paulo Veríssimo:
Causal Delivery Protocols in Real-time Systems: A Generic Model. Real Time Syst. 10(1): 45-73 (1996)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/VideiraVS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/VideiraVS96
Idalina Videira, Paulo Veríssimo, Helena Sarmento:
Efficient Communication in a Design Environment. DAC 1996: 169-174
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/AlmeidaV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/AlmeidaV96
Carlos Almeida, Paulo Veríssimo:
Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems. RTS 1996: 230-236
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/CosquerAV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/CosquerAV96
François J. N. Cosquer, Pedro Antunes, Paulo Veríssimo:
Enhancing Dependability of Cooperative Applications in Partitionable Environments. EDCC 1996: 335-352
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/RodriguesFV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/RodriguesFV96
Luís E. T. Rodrigues, Henrique Fonseca, Paulo Veríssimo:
Totally Ordered Multicast in Large-Scale Systems. ICDCS 1996: 503-510
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/RodriguesGSRGVB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/RodriguesGSRGVB96
Luís E. T. Rodrigues, Katherine Guo, Antonio Sargento, Robbert van Renesse, Bradford B. Glade, Paulo Veríssimo, Kenneth P. Birman:
A Transparent Light-Weight Group Service. SRDS 1996: 130-139
1995
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ftdcs/CosquerV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/CosquerV95
François J. N. Cosquer, Paulo Veríssimo:
The impact of group communication paradigms on groupware support. FTDCS 1995: 207-215
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ftdcs/RodriguesFV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/RodriguesFV95
Luís E. T. Rodrigues, Henrique Fonseca, Paulo Veríssimo:
Reliable Computing Over Mobile Networks. FTDCS 1995: 488-494
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/RodriguesV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/RodriguesV95
Luís E. T. Rodrigues, Paulo Veríssimo:
Causal Separators for Large-Scale Multicast Communication. ICDCS 1995: 83-91
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpcs/CosquerRV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpcs/CosquerRV95
François J. N. Cosquer, Luís E. T. Rodrigues, Paulo Veríssimo:
Using Tailored Failure Suspectors to Support Distributed Cooperative Applications. Parallel and Distributed Computing and Systems 1995: 352-358
1994
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Verissimo94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Verissimo94
Paulo Veríssimo:
Ordering and Timeliness Requirements of Dependable Real-Time Programs. Real Time Syst. 7(2): 105-128 (1994)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/RodriguesV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/RodriguesV94
Luís E. T. Rodrigues, Paulo Veríssimo:
How to avoid cost of causal communication in large-scale Systems. ACM SIGOPS European Workshop 1994: 106-111
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/RodriguesSV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/RodriguesSV94
Luís E. T. Rodrigues, Ellen H. Siegel, Paulo Veríssimo:
A Replication-Transparent Remote Invocation Protocol. SRDS 1994: 160-169
1993
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/RodriguesVR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/RodriguesVR93
Luís E. T. Rodrigues, Paulo Veríssimo, José Rufino:
A Low-level Processor Group Membership Protocol for LANS. ICDCS 1993: 541-550
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/VerissimoCR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/VerissimoCR93
Paulo Veríssimo, António Casimiro, Luís E. T. Rodrigues:
Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. SRDS 1993: 115-124
1992
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/VerissimoR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/VerissimoR92
Paulo Veríssimo, Luís E. T. Rodrigues:
A posteriori Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks. FTCS 1992: 527-536
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/RufinoV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/RufinoV92
José Rufino, Paulo Veríssimo:
A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs. INFOCOM 1992: 958-967
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/VerissimoR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/VerissimoR92
Paulo Veríssimo, Luís E. T. Rodrigues:
Group orientation: a paradigm for modern distributed systems. ACM SIGOPS European Workshop 1992
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/VogelsVR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/VogelsVR92
Werner Vogels, Paulo Veríssimo, Luís E. T. Rodrigues:
Requirements for high performance group support in distributed systems. ACM SIGOPS European Workshop 1992
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/RodriguesV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/RodriguesV92
Luís E. T. Rodrigues, Paulo Veríssimo:
xAMp: A Multi-primitive Group Communications Service. SRDS 1992: 112-121
1990
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BaptistaGRRRVV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BaptistaGRRRVV90
Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron:
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE 1990: 345-352
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/BarrettHBSVRS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/BarrettHBSVRS90
Peter A. Barrett, Andrew M. Hilborne, Peter G. Bond, Douglas T. Seaton, Paulo Veríssimo, Luís E. T. Rodrigues, Neil A. Speirs:
The Delta-4 extra performance architecture (XPA). FTCS 1990: 481-488
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/Verissimo90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/Verissimo90
Paulo Veríssimo:
Design of fault tolerant distributed systems: the fail-controlled approach. ACM SIGOPS European Workshop 1990
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/VerissimoM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/VerissimoM90
Paulo Veríssimo, José Alves Marques:
Reliable Broadcast for Fault-Tolerance on Local Computer Networks. SRDS 1990: 54-63
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wmrd/Verissimo90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wmrd/Verissimo90
Paulo Veríssimo:
Real-Time Data Management with Clock-Less Reliable Broadcast Protocols. Workshop on the Management of Replicated Data 1990: 20-24

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/VerissimoRB89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/VerissimoRB89
Paulo Veríssimo, Luís E. T. Rodrigues, Mário Baptista:
AMp: A Highly Parallel Atomic Multicast Protocol. SIGCOMM 1989: 83-93
1988
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/PowellBSVW88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/PowellBSVW88
David Powell, Gottfried Bonn, Douglas T. Seaton, Paulo Veríssimo, F. Waeselynck:
The Delta-4 approach to dependability in open distributed computing systems. FTCS 1988: 246-251
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/Verissimo88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/Verissimo88
Paulo Jorge Esteves Veríssimo:
Redundant media mechanisms for dependable communication in token-bus LANs. LCN 1988: 453-462

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.