Paulo Veríssimo

发表

Andrea Bondavalli, Antonio Casimiro, Paolo Lollini, 2008, SAC '08.
Paulo Veríssimo, Peter A. Barrett, Andrew M. Hilborne, 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.
Paulo Veríssimo, Hermann Kopetz, H. Kopetz, 1993 .
Paulo Veríssimo, Marcus Völp, Adam Lackorzynski, 2016, SysTEX@Middleware.
Alysson Neves Bessani, Paulo Veríssimo, Marcelo Pasin, 2012, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
Paulo Veríssimo, Steven M. Bellovin, Terry V. Benzel, 2008, IEEE Security & Privacy Magazine.
Antonio Casimiro, Paulo Veríssimo, P. Veríssimo, 2002, Proceedings International Conference on Dependable Systems and Networks.
Paulo Veríssimo, Christoph Lambert, Maria Fernandes, 2018, 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS).
Rüdiger Kapitza, Paulo Veríssimo, Marc Shapiro, 2012, Dagstuhl Reports.
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 1991 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).
Paulo Veríssimo, Luís Rodrigues, 2001 .
Geert Deconinck, Paulo Veríssimo, Susanna Donatelli, 2006 .
Paulo Veríssimo, Marcus Völp, Vincent Rahli, 2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).
Paulo Veríssimo, Luís E. T. Rodrigues, Carlos Rodriguez, 1990, FORTE.
Paulo Veríssimo, 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
Paulo Veríssimo, Luís E. T. Rodrigues, Werner Vogels, 1992, EW 5.
Paulo Veríssimo, José Alves Marques, P. Veríssimo, 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.
Antonio Casimiro, Paulo Veríssimo, Hugo Ortiz, 2007, 2007 International Symposium on Industrial Embedded Systems.
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2009 .
Miguel Correia, Saurabh Bagchi, Paulo Veríssimo, 2005 .
Andreas Steininger, Ahmad-Reza Sadeghi, Paulo Veríssimo, 2019 .
Neeraj Suri, Marco Winckler, Miguel Correia, 2009 .
Eduardo Tovar, Paulo Veríssimo, Luis Miguel Pinho, 2000 .
Paulo Veríssimo, Bruno Vavala, Henrique Moniz, 2010, 2010 Third International Conference on Dependability.
José Rufino, Paulo Veríssimo, Guilherme Arroz, 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).
Matti A. Hiltunen, Roy H. Campbell, Paulo Veríssimo, 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2016, Comput. Networks.
Paulo Veríssimo, Marcus Völp, Vincent Rahli, 2018, ESOP.
Jörg Kaiser, Antonio Casimiro, Paulo Veríssimo, 2004, CF '04.
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2009, 2009 42nd Hawaii International Conference on System Sciences.
Paulo Veríssimo, Ian Welch, Robert J. Stroud, 2006, IEEE Security & Privacy.
Paulo Veríssimo, Luís E. T. Rodrigues, Henrique Fonseca, 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Paulo Veríssimo, Luis Rodrigues, 2001 .
Paulo Veríssimo, Luis Rodrigues, 2001 .
Sadie Creese, Brian Randell, Paulo Veríssimo, 2003 .
Paulo Veríssimo, Luis Rodrigues, 2001 .
Paulo Veríssimo, Douglas T. Seaton, David Powell, 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
Paulo Veríssimo, António Casimiro, Luís Rodrigues, 1995 .
Paulo Veríssimo, Luís E. T. Rodrigues, 1994, EW 6.
Paulo Veríssimo, Carlos Silva, Paulo Sousa, 2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W).
Miguel Correia, Alysson Bessani, Paulo Veríssimo, 2007 .
Pedro Gonçalves, Paulo Veríssimo, Daniel Faria, 2010, ArXiv.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, CRITIS.
Miguel Correia, Alysson Bessani, Paulo Veríssimo, 2009 .
Miguel Correia, José Pascoal, Paulo Veríssimo, 2005 .
Paulo Veríssimo, Nuno Neves, João Antunes, 2007 .
Antonio Casimiro, Paulo Veríssimo, Pedro Martins, 2005, IEEE Distributed Syst. Online.
Paulo Veríssimo, P. Veríssimo, 2003, Future Directions in Distributed Computing.
Paulo Veríssimo, Luís Rodrigues, 2001 .
José Rufino, Paulo Veríssimo, Guilherme Arroz, 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).
Antonio Casimiro, Paulo Veríssimo, Christof Fetzer, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Tong Cao, Xiapu Luo, Paulo Veríssimo, 2020, IACR Cryptol. ePrint Arch..
Paulo Veríssimo, Luís E. T. Rodrigues, Mário Baptista, 1989, SIGCOMM '89.
Miguel Correia, Lau Cheuk Lung, Alysson Bessani, 2009 .
Paulo Veríssimo, Luís Rodrigues, 2001 .
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2010, IEEE Transactions on Parallel and Distributed Systems.
Paulo Veríssimo, Catia Pesquita, Francisco M. Couto, 2009 .
Andrea Bondavalli, Paulo Veríssimo, U. Lisbon, 2009 .
Paulo Veríssimo, Luís Rodrigues, 2001 .
Paulo Veríssimo, Luís E. T. Rodrigues, Henrique Fonseca, 1996, Proceedings of 16th International Conference on Distributed Computing Systems.
Paulo Veríssimo, P. Veríssimo, 2002 .
Katherine Guo, Paulo Veríssimo, Luís E. T. Rodrigues, 2000, J. Parallel Distributed Comput..
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2004 .
Jörg Kaiser, Antonio Casimiro, Paulo Veríssimo, 2006, WADS.
Antonio Casimiro, Paulo Veríssimo, Luís E. T. Rodrigues, 1997, Real-Time Systems.
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 1992 .
Paulo Veríssimo, 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.
Paulo Veríssimo, Jérémie Decouchant, Francisco M. Couto, 2017, PACBB.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2003, Lecture Notes in Computer Science.
Miguel Correia, Andrea Bondavalli, Paulo Veríssimo, 2008, WADS.
Paulo Veríssimo, Susanna Donatelli, Vincent Nicomette, 2008 .
Fernando M. V. Ramos, Steve Uhlig, Paulo Veríssimo, 2014, Proceedings of the IEEE.
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2001 .
Felicita Di Giandomenico, Paulo Veríssimo, Geert Deconinck, 2012, ArXiv.
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2005 .
Antonio Casimiro, Paulo Veríssimo, Luís E. T. Rodrigues, 1993, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Vinny Cahill, Jörg Kaiser, Paulo Veríssimo, 2003 .
Paulo Veríssimo, Nuno Ferreira Neves, Luis Sardinha, 2004, Security and Management.
Paulo Veríssimo, Pedro Martins, António Casimiro, 2004 .
Antonio Casimiro, Paulo Veríssimo, Pedro Martins, 2004, International Conference on Dependable Systems and Networks, 2004.
Paulo Veríssimo, Nuno Ferreira Neves, João Antunes, 2011, 2011 18th Working Conference on Reverse Engineering.
José Rufino, Antonio Casimiro, Paulo Veríssimo, 2009, SEUS.
Paulo Veríssimo, Carlos Almeida, 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
Pedro Antunes, Paulo Veríssimo, François J. N. Cosquer, 1996, EDCC.
Paulo Veríssimo, Paulo Sousa, Hugo Ortiz, 2008 .
Paulo Veríssimo, Luís Rodrigues, 2001 .
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2003 .
Alysson Neves Bessani, Paulo Veríssimo, Francisco M. Couto, 2017, PACBB.
Alysson Neves Bessani, Paulo Veríssimo, 2013, IEEE Security & Privacy.
Paulo Veríssimo, Werner Vogels, Luis Rodrigues, 1993 .
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2005 .
Michel Raynal, Paulo Veríssimo, P. Veríssimo, 1999, Advances in Distributed Systems.
Paulo Veríssimo, Luís E. T. Rodrigues, 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.
Alysson Neves Bessani, Paulo Veríssimo, Francisco M. Couto, 2015, WPES@CCS.
Paulo Veríssimo, Gerhard Fohler, Marcus Völp, 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Paulo Veríssimo, Luís Rodrigues, 2001 .
Vinny Cahill, Jörg Kaiser, Paulo Veríssimo, 2003 .
Paulo Veríssimo, Luís E. T. Rodrigues, 1992, EW 5.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2007, J. Syst. Softw..
Jean Arlat, Andrea Bondavalli, Paulo Veríssimo, 2006 .
Neeraj Suri, Lorenzo Strigini, Guillaume Urvoy-Keller, 2007 .
José Rufino, Paulo Veríssimo, 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.
Paulo Veríssimo, Jorge Ambrósio, 2006 .
Man Ho Au, Paulo Veríssimo, Jiangshan Yu, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Rajeev Gandhi, Priya Narasimhan, Antonio Casimiro, 2013, Middleware.
Antonio Casimiro, Paulo Veríssimo, P. Veríssimo, 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2010, Distributed Computing.
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2007, DISC.
Andrea Bondavalli, Silvano Chiaradonna, Paulo Veríssimo, 2008, WADS.
José Rufino, Paulo Veríssimo, Guilherme Arroz, 1999 .
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2008, J. Parallel Distributed Comput..
Paulo Veríssimo, António Casimiro, Mônica Dixit, 2009 .
Paulo Veríssimo, Luís E. T. Rodrigues, François J. N. Cosquer, 1995, Parallel and Distributed Computing and Systems.
Saurabh Bagchi, Paulo Veríssimo, Miguel Correia, 2007, IEEE Transactions on Dependable and Secure Computing.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Antonio Casimiro, Paulo Veríssimo, Pedro Martins, 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2009, DISC.
Paulo Veríssimo, Nuno Ferreira Neves, João Antunes, 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).
Katherine Guo, Robbert van Renesse, Paulo Veríssimo, 1996, Proceedings 15th Symposium on Reliable Distributed Systems.
Paulo Veríssimo, 2006, S&P 2006.
Miguel A. Olivares-Méndez, Holger Voos, Paulo Veríssimo, 2017, ROBOT.
Paulo Veríssimo, Miguel Areias, Paulo Moniz, 2009 .
Paulo Veríssimo, Marcus Völp, Francisco Liberal Rocha, 2017, Security Protocols Workshop.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2004, Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004..
Fernando M. V. Ramos, Paulo Veríssimo, Diego Kreutz, 2017, ACM Trans. Priv. Secur..
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2010, IEEE Transactions on Software Engineering.
Miguel Correia, Alysson Bessani, Paulo Veríssimo, 2007 .
Paulo Veríssimo, Luís E. T. Rodrigues, 1995, Proceedings of 15th International Conference on Distributed Computing Systems.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2005, Distributed Computing.
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo, 2001, Future Gener. Comput. Syst..
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2011, IEEE Transactions on Dependable and Secure Computing.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2008, 2008 Seventh IEEE International Symposium on Network Computing and Applications.
Geert Deconinck, Paulo Veríssimo, Susanna Donatelli, 2006 .
Marc Dacier, Birgit Pfitzmann, John E. Dobson, 2000 .
José Rufino, Paulo Veríssimo, Carlos Almeida, 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
Paulo Veríssimo, Ian Welch, Robert J. Stroud, 2004 .
José Rufino, Paulo Veríssimo, Luís Rodrigues, 1992 .
Paulo Veríssimo, Nuno Neves, João Antunes, 2011 .
Andy J. Wellings, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2005, TECS.
Paulo Veríssimo, António Casimiro, P. Veríssimo, 1999 .
Miguel Correia, Fernando M. V. Ramos, Alysson Neves Bessani, 2012, 2012 IEEE 31st Symposium on Reliable Distributed Systems.
Keith Cheverst, Vinny Cahill, Jörg Kaiser, 2002 .
Paulo Veríssimo, François J. N. Cosquer, 1994 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2013, Comput. J..
José Rufino, Paulo Veríssimo, Luís E. T. Rodrigues, 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Miguel Correia, Alysson Bessani, Paulo Veríssimo, 2008 .
Paulo Veríssimo, António Casimiro, P. Veríssimo, 2008 .
Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, 2013, IEEE Transactions on Computers.
Paulo Veríssimo, 2006, 26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06).
Miguel Correia, Antonio Casimiro, Paulo Veríssimo, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, International Conference on Dependable Systems and Networks (DSN'06).
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2000 .
José Rufino, Paulo Veríssimo, Luís E. T. Rodrigues, 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
Paulo Veríssimo, H. Sarmento, Idalina Videira, 1995 .
Paulo Veríssimo, Luís Rodrigues, 2001 .
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Paulo Veríssimo, Nuno Neves, Luis Sardinha, 2004 .
Paulo Veríssimo, Marcus Volp, David Kozhaya, 2017 .
Paulo Veríssimo, Pedro Martins, Hector A. Duran-Limon, 2003 .
Paulo Veríssimo, Luís Rodrigues, 2001 .
Paulo Veríssimo, 2010, Security Protocols Workshop.
Paulo Veríssimo, António Casimiro, Sergio Melro, 1996 .
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Paulo Veríssimo, Luís Rodrigues, 2001 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2011, Int. J. Crit. Comput. Based Syst..
Paulo Veríssimo, António Casimiro, Luís Rodrigues, 1991 .
Paulo Veríssimo, Luís Rodrigues, M. Baptista, 1989, SIGCOMM 1989.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Jörg Kaiser, Paulo Veríssimo, António Casimiro, 2003 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2002, EDCC.
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2005 .
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2002, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings..
Paulo Veríssimo, Nuno Ferreira Neves, Paulo Sousa, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).
Paulo Veríssimo, Werner Vogels, Luís Rodrigues, 2000 .
Birgit Pfitzmann, John E. Dobson, Paulo Veríssimo, 2000 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2001, Proceedings 21st International Conference on Distributed Computing Systems Workshops.
Paulo Veríssimo, 1988, Proceedings [1988] 13th Conference on Local Computer Networks.
Miguel Correia, Birgit Pfitzmann, Paulo Veríssimo, 2001 .
Paulo Veríssimo, Carlos Almeida, 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Paulo Veríssimo, Vincent Rahli, Jiangshan Yu, 2018 .
Paulo Veríssimo, Pedro Martins, 2002 .
Paulo Veríssimo, Nuno Neves, P. Veríssimo, 2008 .
Paulo Veríssimo, Marcus Völp, Christoph Lambert, 2018, 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS).
Paulo Veríssimo, 2010, Security Protocols Workshop.
Tong Cao, Paulo Veríssimo, Jeremie Decouchant, 2018 .
Jörg Kaiser, Paulo Veríssimo, António Casimiro, 2003 .
Geert Deconinck, Paulo Veríssimo, Susanna Donatelli, 2006 .
Paulo Veríssimo, Luís E. T. Rodrigues, P. Veríssimo, 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.
Miguel Correia, Alysson Bessani, Paulo Veríssimo, 2007 .
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2005 .
José Rufino, Paulo Veríssimo, Guilherme Arroz, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Paulo Veríssimo, Luís Rodrigues, 2001 .
Gordon S. Blair, Paulo Veríssimo, Adrian Friday, 2003 .
Antonio Lima, Paulo Veríssimo, Marcus Völp, 2016, CPS-SPC '16.
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 1992 .
Andrea Bondavalli, Antonio Casimiro, Paolo Lollini, 2012, TAAS.
William H. Sanders, Paulo Veríssimo, Nuno Ferreira Neves, 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).
Paulo Veríssimo, Jorge Ambrósio, Luís Sousa, 2008 .
Paulo Veríssimo, António Casimiro, Odorico Machado Mendizabal, 2006 .
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 2001, Advances in Distributed Computing and Middleware.
Paulo Veríssimo, Helena Sarmento, Idalina Videira, 1996, DAC '96.
Paulo Veríssimo, Nuno Ferreira Neves, Paulo Sousa, 2006, SAC.
Paulo Veríssimo, Antónia Lopes, Nuno Neves, 2006 .
Paulo Veríssimo, Paulo Sousa, 2002 .
Miguel Correia, Alysson Neves Bessani, Tiago Oliveira, 2014, USENIX Annual Technical Conference.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2001 .
Paulo Veríssimo, Sergio Melro, P. Veríssimo, 1992 .
Paulo Veríssimo, François J. N. Cosquer, 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
Miguel Correia, Paulo Veríssimo, António Casimiro, 2007 .
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2008, Int. J. Syst. Syst. Eng..
Paulo Veríssimo, Luís E. T. Rodrigues, 1999, Advances in Distributed Systems.
Paulo Veríssimo, 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..
Geert Deconinck, Andrea Bondavalli, Alysson Bessani, 2009 .
Antonio Casimiro, Paulo Veríssimo, 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..
Paulo Veríssimo, Luís E. T. Rodrigues, Ellen H. Siegel, 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.
Vinny Cahill, Jörg Kaiser, Paulo Veríssimo, 2003 .
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2007 .
Paulo Veríssimo, António Casimiro, P. Veríssimo, 1999 .
Rajeev Gandhi, Priya Narasimhan, Bruno Sousa, 2012, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
José Rufino, Paulo Veríssimo, João Craveiro, 2009, WADS.
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2002, WADS.
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2007 .
Alysson Neves Bessani, Paulo Veríssimo, Bernhard Kauer, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).
Paulo Veríssimo, P. Veríssimo, 1993 .
Paulo Veríssimo, 2000 .
Paulo Veríssimo, Marcus Völp, Jérémie Decouchant, 2018, Journal of biomedical informatics.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, Comput. J..
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2005, IEEE Transactions on Parallel and Distributed Systems.
Paulo Veríssimo, Vincent Rahli, Ivana Vukotic, 2019, Proc. ACM Program. Lang..
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2008, IEEE Security & Privacy Magazine.
Antonio Casimiro, Paulo Veríssimo, P. Veríssimo, 2002, IEEE Trans. Computers.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Li Ming, José Rufino, Paulo Veríssimo, 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.
Sacha Krakowiak, Paulo Veríssimo, François J. N. Cosquer, 1999, Advances in Distributed Systems.
Miguel Correia, Lau Cheuk Lung, Alysson Bessani, 2005 .
Fernando M. V. Ramos, Paulo Veríssimo, Diego Kreutz, 2015 .
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo, 1999, PaCT.
Fernando M. V. Ramos, Paulo Veríssimo, Diego Kreutz, 2013, HotSDN '13.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, International Conference on Dependable Systems and Networks (DSN'06).
Paulo Veríssimo, Nuno Ferreira Neves, Paulo Sousa, 2005, 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05).
Sadie Creese, Birgit Pfitzmann, Brian Randell, 2001 .
Fernando M. V. Ramos, Paulo Veríssimo, Diego Kreutz, 2018, IEEE Security & Privacy.
Paulo Veríssimo, Luís Rodrigues, 2001 .
Paulo Veríssimo, Luís Rodrigues, 2001 .
Paulo Veríssimo, Marcus Völp, 2018, ISORC.
Gordon S. Blair, Keith Cheverst, Vinny Cahill, 2003 .
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2003 .
Marc Dacier, Sadie Creese, Birgit Pfitzmann, 2001 .