N. Neves
发表
R. Onica,
N. Neves,
A. Casimiro,
2015
.
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,
Paulo Veríssimo,
2008,
IEEE Security & Privacy Magazine.
A. Bessani,
N. Neves,
Miguel García,
2012
.
N. Neves,
M. Correia,
2007
.
A. Bessani,
N. Neves,
Miguel García,
2012
.
A. Bessani,
N. Neves,
Ricardo Mendes,
2019
.
P. Veríssimo,
A. Bessani,
N. Neves,
2014
.
A. Bessani,
N. Neves,
M. Correia,
2022
.
Paulo Veríssimo,
Nuno Ferreira Neves,
João Antunes,
2008,
2008 19th International Symposium on Software Reliability Engineering (ISSRE).
Miguel Correia,
Alysson Bessani,
Paulo Veríssimo,
2008
.
Paulo Veríssimo,
Nuno Neves,
Paulo Sousa,
2005
.
P. Veríssimo,
A. Bessani,
N. Neves,
2016
.
David R. Matos,
A. Bessani,
N. Neves,
2014
.
Marko Vukolic,
Fernando M. V. Ramos,
Ahmad-Reza Sadeghi,
2015
.
Marc Dacier,
Sadie Creese,
Birgit Pfitzmann,
2001
.
Michel Raynal,
Lorenzo Strigini,
Michael D. Harrison,
2007
.
Fabio Pereira,
Nuno Neves,
Fernando M. V. Ramos,
2017,
2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN).
Paulo Veríssimo,
Nuno Neves,
João Antunes,
2011
.
Miguel Correia,
Alysson Neves Bessani,
Paulo Veríssimo,
2016,
Comput. Networks.
Miguel Castro,
Nuno Neves,
Pedro Manuel Antunes Sousa,
1993,
USENIX MACH Symposium.
Leyla Bilge,
Elisa Bertino,
Gianluca Stringhini,
2020,
DIMVA.
Paulo Veríssimo,
Nuno Ferreira Neves,
João Antunes,
2011,
2011 18th Working Conference on Reverse Engineering.
Miguel Correia,
Nuno Ferreira Neves,
Henrique Moniz,
2013,
IEEE Transactions on Mobile Computing.
Geert Deconinck,
Andrea Bondavalli,
Alysson Bessani,
2009
.
Nuno Neves,
Iberia Medeiros,
Henrique Mendes,
2018,
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Nuno Neves,
Anthony-Trung Nguyen,
Edgar L. Torres,
1996,
Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2016,
IEEE Transactions on Reliability.
Alysson Bessani,
Altair Olivo Santin,
Nuno Neves,
2019,
IEEE Transactions on Instrumentation and Measurement.
Alysson Bessani,
Nuno Neves,
Altair Santin,
2018,
2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC).
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.
Miguel Correia,
Nuno Neves,
Ibéria Medeiros,
2019,
IEEE Transactions on Reliability.
Miguel Correia,
Nuno Ferreira Neves,
Ibéria Medeiros,
2016,
ISSTA.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Miguel Correia,
Alysson Neves Bessani,
Tiago Oliveira,
2014,
USENIX Annual Technical Conference.
Alysson Bessani,
Tiago Oliveira,
Nuno Neves,
2019,
IEEE Transactions on Cloud Computing.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2002,
WADS.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2008,
Int. J. Syst. Syst. Eng..
Nuno Neves,
André Zúquete,
José Alves Marques,
1994,
Comput. J..
W. Kent Fuchs,
Nuno Neves,
Kuo-Feng Ssu,
2000
.
Nuno Neves,
N. Neves,
1998
.
W. Kent Fuchs,
Nuno Neves,
N. Neves,
1997
.
Nuno Neves,
W. Kent Fuchs,
N. Neves,
1996,
Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076).
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,
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..
Nuno Neves,
Alysson Neves Bessani,
Miguel Garcia,
2018,
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Alysson Bessani,
Nuno Neves,
Miguel Garcia,
2016,
IEEE Transactions on Dependable and Secure Computing.
Alysson Neves Bessani,
Miguel Garcia,
Nuno Ferreira Neves,
2013,
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W).
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..
Nuno Neves,
Paulo Antunes,
Ibéria Medeiros,
2020,
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Fernando M. V. Ramos,
Max Alaluna,
Nuno Neves,
2019,
Comput. Networks.
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.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2014,
WWW.
Miguel Correia,
Birgit Pfitzmann,
Paulo Veríssimo,
2001
.
Nuno Neves,
Jose Lopes,
N. Neves,
2014,
2014 IEEE Symposium on Security and Privacy.
Miguel Correia,
Alysson Bessani,
Paulo Veríssimo,
2007
.
Nuno Ferreira Neves,
N. Neves,
José Lopes,
2013
.
A. Bessani,
N. Neves,
Miguel García,
2019,
Middleware.
Miguel Correia,
Alysson Neves Bessani,
Nuno Ferreira Neves,
2013,
USENIX Annual Technical Conference.
Nuno Ferreira Neves,
Peter Steenkiste,
Bruno Vavala,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Nuno Neves,
Alysson Neves Bessani,
Altair Olivo Santin,
2019,
Future Gener. Comput. Syst..
Alysson Neves Bessani,
Miguel Garcia,
Nuno Ferreira Neves,
2014,
Softw. Pract. Exp..
Alysson Bessani,
Nuno Neves,
Miguel Garcia,
2011
.
Nuno Neves,
Fernando M. V. Ramos,
José Rui Figueira,
2017,
ArXiv.
Miguel Correia,
Nuno Ferreira Neves,
Henrique Moniz,
2010,
2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).
Miguel Correia,
Antonio Casimiro,
Paulo Veríssimo,
2007,
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Alysson Neves Bessani,
Miguel Garcia,
Nuno Ferreira Neves,
2011,
2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).
Nuno Ferreira Neves,
Peter Steenkiste,
Bruno Vavala,
2015,
2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS).
Miguel Correia,
Paulo Veríssimo,
Nuno Ferreira Neves,
2002,
EDCC.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2001
.
Nuno Ferreira Neves,
Manuel Mendonça,
N. Neves,
2007,
2008 Seventh European Dependable Computing Conference.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2013,
2013 11th IEEE International Conference on Industrial Informatics (INDIN).
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.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2004
.
Paulo Veríssimo,
Nuno Ferreira Neves,
Luis Sardinha,
2004,
Security and Management.
Miguel Correia,
Lau Cheuk Lung,
Paulo Veríssimo,
2003
.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2000
.
Paulo Veríssimo,
Nuno Neves,
Paulo Sousa,
2005
.
Miguel Correia,
Marco Vieira,
Nuno Neves,
2018,
IEEE Transactions on Reliability.
Miguel Correia,
Nuno Neves,
Iberia Medeiros,
2019,
IEEE Transactions on Reliability.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2016,
CODASPY.
Miguel Castro,
Nuno Neves,
Paulo Guedes,
1996,
OSDI '96.
Paulo Veríssimo,
Nuno Neves,
P. Veríssimo,
2008
.
Nuno Neves,
João Antunes,
N. Neves,
2009
.
P. Veríssimo,
N. Neves,
M. Correia,
2011,
IEEE Transactions on Dependable and Secure Computing.
Nuno Ferreira Neves,
João Antunes,
N. Neves,
2012,
2012 IEEE 23rd International Symposium on Software Reliability Engineering.
Nuno Ferreira Neves,
João Antunes,
N. Neves,
2011,
2011 IEEE 30th International Symposium on Reliable Distributed Systems.
Fernando M. V. Ramos,
Marc Lacoste,
Nizar Kheir,
2015
.
Fernando M. V. Ramos,
Max Alaluna,
Nuno Neves,
2017,
XDOMO@EuroSys.
Fernando M. V. Ramos,
José Rui Figueira,
Max Alaluna,
2017,
Comput. Commun..
Marko Vukolic,
Nuno Neves,
Fernando M. V. Ramos,
2016,
IEEE Cloud Computing.
Nuno Neves,
Fernando M. V. Ramos,
Max Alaluna,
2015,
2016 IEEE NetSoft Conference and Workshops (NetSoft).
Paulo Veríssimo,
Nuno Neves,
Paulo Sousa,
2007
.