P. Veríssimo

发表

D. Powell, G. Bonn, Dt Seaton, 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..
Sadie Creese, Brian Randell, Paulo Veríssimo, 2003 .
Antonio Casimiro, Paulo Veríssimo, Luís E. T. Rodrigues, 1997, Real-Time Systems.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2001 .
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2002, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings..
Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, 2013, IEEE Transactions on Computers.
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2008, IEEE Security & Privacy Magazine.
Andy J. Wellings, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2005, TECS.
Neeraj Suri, Philippe A. Palanque, Miguel Correia, 2008 .
Marc Dacier, Sadie Creese, Birgit Pfitzmann, 2001 .
Andrea Bondavalli, Antonio Casimiro, Paolo Lollini, 2012, TAAS.
Paulo Veríssimo, Nuno Ferreira Neves, João Antunes, 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).
P. Veríssimo, J. Rufino, on the, 2018 .
Paulo Veríssimo, P. Veríssimo, 2002 .
Miguel Correia, Alysson Bessani, Paulo Veríssimo, 2008 .
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2005 .
P. Veríssimo, I. Videira, H. Sarmento, 1996, 33rd Design Automation Conference Proceedings, 1996.
P. Veríssimo, A. Bessani, N. Neves, 2016 .
Vinny Cahill, Jörg Kaiser, Paulo Veríssimo, 2003 .
Birgit Pfitzmann, John E. Dobson, Paulo Veríssimo, 2000 .
Philippe A. Palanque, C. Cachin, R. Bloomfield, 2009 .
Sadie Creese, Birgit Pfitzmann, Brian Randell, 2001 .
Geert Deconinck, Paulo Veríssimo, Susanna Donatelli, 2006 .
Geert Deconinck, Paulo Veríssimo, Susanna Donatelli, 2006 .
Paulo Veríssimo, António Casimiro, P. Veríssimo, 2008 .
Paulo Veríssimo, Nuno Neves, João Antunes, 2011 .
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2016, Comput. Networks.
Paulo Veríssimo, Nuno Ferreira Neves, João Antunes, 2011, 2011 18th Working Conference on Reverse Engineering.
Geert Deconinck, Andrea Bondavalli, Alysson Bessani, 2009 .
Paulo Veríssimo, António Casimiro, Sergio Melro, 1996 .
Michel Raynal, Paulo Veríssimo, P. Veríssimo, 1999, Advances in Distributed Systems.
Antonio Casimiro, Paulo Veríssimo, P. Veríssimo, 2002, IEEE Trans. Computers.
Paulo Veríssimo, António Casimiro, P. Veríssimo, 1999 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2011, Int. J. Crit. Comput. Based Syst..
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2010, IEEE Transactions on Parallel and Distributed Systems.
Jorge Ambrósio, Paulo Verissimo, J. Ambrósio, 2009 .
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 2001, Advances in Distributed Computing and Middleware.
Jörg Kaiser, Paulo Veríssimo, António Casimiro, 2003 .
Saurabh Bagchi, Paulo Veríssimo, Miguel Correia, 2007, IEEE Transactions on Dependable and Secure Computing.
Miguel Correia, Alysson Neves Bessani, Tiago Oliveira, 2014, USENIX Annual Technical Conference.
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2002, WADS.
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2008, Int. J. Syst. Syst. Eng..
Paulo Veríssimo, António Casimiro, Luís Rodrigues, 1995 .
Eduardo Tovar, Paulo Veríssimo, Luis Miguel Pinho, 2000 .
Paulo Veríssimo, Douglas T. Seaton, David Powell, 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
Antonio Casimiro, Paulo Veríssimo, Christof Fetzer, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2003, Lecture Notes in Computer Science.
Antonio Casimiro, Paulo Veríssimo, P. Veríssimo, 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.
Miguel Correia, Andrea Bondavalli, Paulo Veríssimo, 2008, WADS.
Paulo Veríssimo, Antónia Lopes, Nuno Neves, 2006 .
Paulo Veríssimo, Nuno Ferreira Neves, Paulo Sousa, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2005 .
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2009 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2013, Comput. J..
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2007, J. Syst. Softw..
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2005, IEEE Transactions on Parallel and Distributed Systems.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2005, Distributed Computing.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2004, Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004..
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, Comput. J..
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
William H. Sanders, Paulo Veríssimo, Nuno Ferreira Neves, 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).
Paulo Veríssimo, Nuno Ferreira Neves, Paulo Sousa, 2006, SAC.
Jean Arlat, Andrea Bondavalli, Paulo Veríssimo, 2006 .
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 E. T. Rodrigues, P. Veríssimo, 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.
Miguel Correia, Birgit Pfitzmann, Paulo Veríssimo, 2001 .
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 1992 .
Miguel Correia, Alysson Bessani, Paulo Veríssimo, 2007 .
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2008, 2008 Seventh IEEE International Symposium on Network Computing and Applications.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
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, 2002, EDCC.
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2001 .
Felicita Di Giandomenico, Paulo Veríssimo, Geert Deconinck, 2012, ArXiv.
Miguel Correia, Lau Cheuk Lung, Alysson Bessani, 2009 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, International Conference on Dependable Systems and Networks (DSN'06).
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2001, Proceedings 21st International Conference on Distributed Computing Systems Workshops.
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2011, IEEE Transactions on Dependable and Secure Computing.
Paulo Veríssimo, Nuno Ferreira Neves, Luis Sardinha, 2004, Security and Management.
Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo, 2003 .
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo, 2001, Future Gener. Comput. Syst..
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo, 1999, PaCT.
Antonio Casimiro, Paulo Veríssimo, P. Veríssimo, 2002, Proceedings International Conference on Dependable Systems and Networks.
Keith Cheverst, Vinny Cahill, Jörg Kaiser, 2002 .
Antonio Casimiro, Paulo Veríssimo, Pedro Martins, 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).
P. Verissimo, A. Casimiro, P. Martins, 2000, 2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531).
Miguel Correia, Paulo Veríssimo, Nuno Neves, 2000 .
Paulo Veríssimo, António Casimiro, P. Veríssimo, 1999 .
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2005 .
Paulo Veríssimo, P. Veríssimo, 2003, Future Directions in Distributed Computing.
Paulo Veríssimo, Luís E. T. Rodrigues, Mário Baptista, 1989, SIGCOMM '89.
Paulo Veríssimo, Miguel Areias, Paulo Moniz, 2009 .
Geert Deconinck, Paulo Veríssimo, Susanna Donatelli, 2006 .
Alysson Neves Bessani, Paulo Veríssimo, Bernhard Kauer, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).
Marc Dacier, Birgit Pfitzmann, John E. Dobson, 2000 .
Pedro Antunes, Paulo Veríssimo, François J. N. Cosquer, 1996, EDCC.
Paulo Veríssimo, Luís E. T. Rodrigues, Ellen H. Siegel, 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.
Paulo Veríssimo, Werner Vogels, Luis Rodrigues, 1993 .
P. Veríssimo, Luís E. T. Rodrigues, 1992, EW 5.
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 1992 .
José Rufino, Paulo Veríssimo, Carlos Almeida, 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
José Rufino, Paulo Veríssimo, Guilherme Arroz, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
J. Rufino, N. Pedrosa, J. Monteiro, 1998, 1998 IEEE International Conference on Electronics, Circuits and Systems. Surfing the Waves of Science and Technology (Cat. No.98EX196).
Paulo Veríssimo, Hermann Kopetz, H. Kopetz, 1993 .
Paulo Veríssimo, P. Veríssimo, 1993 .
Paulo Veríssimo, José Alves Marques, P. Veríssimo, 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.
José Rufino, Paulo Veríssimo, Guilherme Arroz, 1999 .
Paulo Veríssimo, Luís Rodrigues, P. Veríssimo, 1991 .
Paulo Veríssimo, Sergio Melro, P. Veríssimo, 1992 .
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.
Rajeev Gandhi, Priya Narasimhan, Antonio Casimiro, 2013, Middleware.
Paulo Veríssimo, Nuno Neves, P. Veríssimo, 2008 .
P. Veríssimo, N. Neves, M. Correia, 2011, IEEE Transactions on Dependable and Secure Computing.
Andrea Bondavalli, Silvano Chiaradonna, Paulo Veríssimo, 2008, WADS.
Paulo Veríssimo, Nuno Neves, Paulo Sousa, 2007 .
Paulo Veríssimo, Pedro Martins, Hector A. Duran-Limon, 2003 .
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, 2006, CRITIS.