M. Correia
发表
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.
M. Correia,
Ibéria Medeiros,
2009
.
M. Correia,
A. Gouveia,
2020,
Recent Advances in Security, Privacy, and Trust for Internet of Things (IoT) and Cyber-Physical Systems (CPS).
M. Correia,
Cláudio Correia,
2019
.
P. Veríssimo,
A. Bessani,
M. Correia,
2009
.
N. Neves,
M. Correia,
2007
.
P. Veríssimo,
A. Bessani,
N. Neves,
2014
.
Neeraj Suri,
Philippe A. Palanque,
Miguel Correia,
2007
.
M. Correia,
Tiago Fernandes,
Luís Dias,
2020,
2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
A. Bessani,
N. Neves,
M. Correia,
2022
.
M. Correia,
M. Pardal,
Nelson Escravana,
2022
.
Miguel Correia,
Alysson Bessani,
Paulo Veríssimo,
2008
.
David R. Matos,
M. Correia,
M. Pardal,
2020,
MobiQuitous.
M. Correia,
Mihail Brinza,
João Pereira,
2021,
2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
P. Veríssimo,
A. Bessani,
N. Neves,
2016
.
A. Bessani,
M. Correia,
Paulo Sousa,
2011,
EuroSys '11.
David R. Matos,
M. Correia,
M. Pardal,
2022,
IEEE Access.
A. Bessani,
M. Correia,
L. Lung,
2006
.
M. Correia,
Luís Dias,
Pedro Marques,
2021,
2021 IEEE 20th International Symposium on Network Computing and Applications (NCA).
David R. Matos,
M. Correia,
M. Pardal,
2023,
IEEE Transactions on Cloud Computing.
Philippe A. Palanque,
C. Cachin,
R. Bloomfield,
2009
.
M. Correia,
Vasco Guita,
Daniel Andrade,
2022,
SEC.
Miguel Correia,
Salvador Abreu,
Francisco Rocha,
2013
.
João C. Pereira,
M. Correia,
Mihail Brinza,
2021,
2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
M. Correia,
Parrinha Bota,
João Filipe Duarte,
2016
.
Miguel Correia,
Zhengguo Sheng,
Naércio Magaia,
2018,
IEEE Wireless Communications.
Miguel Correia,
Zhengguo Sheng,
Paulo Rogério Pereira,
2017
.
Miguel Correia,
Luís E. T. Rodrigues,
Miguel L. Pardal,
2016,
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
Miguel Correia,
Alysson Neves Bessani,
Paulo Veríssimo,
2016,
Comput. Networks.
Miguel Correia,
André Vasconcelos,
Günther Pernul,
2020,
2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
Miguel Correia,
Nuno Ferreira Neves,
Henrique Moniz,
2013,
IEEE Transactions on Mobile Computing.
Miguel Correia,
Lau Cheuk Lung,
Aldelir Fernando Luiz,
2017,
J. Syst. Archit..
Geert Deconinck,
Andrea Bondavalli,
Alysson Bessani,
2009
.
Miguel Correia,
Joni da Silva Fraga,
Lau Cheuk Lung,
2007,
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).
Miguel Correia,
Fábio Favarim,
L. Cheuk Lung,
2006
.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2016,
IEEE Transactions on Reliability.
Miguel Correia,
Paulo Veríssimo,
Nuno Ferreira Neves,
2011,
Int. J. Crit. Comput. Based Syst..
Miguel Correia,
Alysson Neves Bessani,
Paulo Sousa,
2013,
TOS.
Miguel Correia,
Alysson Neves Bessani,
Paulo Veríssimo,
2010,
IEEE Transactions on Parallel and Distributed Systems.
Miguel Correia,
Alexandre P. Francisco,
Naércio Magaia,
2015,
Ad Hoc Networks.
Miguel Correia,
Arnaldo Gouveia,
M. Correia,
2017,
IWANN.
Miguel Correia,
Rafael Belchior,
Andr'e Vasconcelos,
2020,
ArXiv.
Miguel Correia,
Miguel L. Pardal,
David R. Matos,
2017,
Middleware.
Saurabh Bagchi,
Paulo Veríssimo,
Miguel Correia,
2007,
IEEE Transactions on Dependable and Secure Computing.
Miguel Correia,
Miguel L. Pardal,
André Joaquim,
2017,
OPODIS.
Miguel Correia,
Miguel L. Pardal,
André Joaquim,
2016,
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
Miguel Correia,
Laurie Hendren,
Erick Lavoie,
2018,
Middleware.
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.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2002,
WADS.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2008,
Int. J. Syst. Syst. Eng..
Miguel Correia,
Paulo Veríssimo,
Nuno Ferreira Neves,
2003,
Lecture Notes in Computer Science.
Miguel Correia,
Seif Haridi,
Gerald Q. Maguire,
2017,
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA).
Paulo Rogerio Pereira,
Naercio Magaia,
Miguel Correia,
2015
.
Miguel Correia,
Andrea Bondavalli,
Paulo Veríssimo,
2008,
WADS.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2009
.
Miguel Correia,
Paulo Veríssimo,
Nuno Ferreira Neves,
2013,
Comput. J..
Miguel Correia,
Miguel L. Pardal,
David R. Matos,
2021,
IEEE Transactions on Dependable and Secure Computing.
Miguel Correia,
Luciana Rech,
Aldelir Fernando Luiz,
2018,
2018 IEEE Symposium on Computers and Communications (ISCC).
Miguel Correia,
Daniel Gómez Ferro,
Flavio Paiva Junqueira,
2012,
USENIX Annual Technical Conference.
Miguel Correia,
Alysson Neves Bessani,
Lau Cheuk Lung,
2010,
2010 IEEE 12th International Symposium on High Assurance Systems Engineering.
Miguel Correia,
Alysson Neves Bessani,
Lau Cheuk Lung,
2009,
2009 28th IEEE International Symposium on Reliable Distributed Systems.
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,
Luís E. T. Rodrigues,
Manuel Bravo,
2018,
2018 International Conference on Information Networking (ICOIN).
Miguel Correia,
Paulo Veríssimo,
Nuno Ferreira Neves,
2006,
Comput. J..
Miguel Correia,
Rafael Belchior,
Andr'e Vasconcelos,
2020,
ACM Comput. Surv..
Miguel Correia,
Joni da Silva Fraga,
Lau Cheuk Lung,
2007,
Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).
Miguel Correia,
Alysson Neves Bessani,
Joni da Silva Fraga,
2006,
Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).
Miguel Correia,
Alysson Neves Bessani,
Paulo Veríssimo,
2007,
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Miguel Correia,
Carlos Faria,
M. Correia,
2019,
2019 IEEE International Conference on Blockchain (Blockchain).
Miguel Correia,
Carlos Borrego,
Naercio Magaia,
2018,
IEEE Transactions on Vehicular Technology.
Miguel Correia,
Naércio Magaia,
Carlos Borrego,
2017,
2017 IFIP Networking Conference (IFIP Networking) and Workshops.
Miguel Correia,
Jaber Karimpour,
Ahad Niknia,
2021,
IACR Cryptol. ePrint Arch..
Joao Bota,
Miguel Correia,
Daniel Gonçalves,
2015,
2015 IEEE Trustcom/BigDataSE/ISPA.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2014,
WWW.
Miguel Correia,
Alysson Neves Bessani,
Joni da Silva Fraga,
2008,
Eurosys '08.
Miguel Correia,
Birgit Pfitzmann,
Paulo Veríssimo,
2001
.
Miguel Correia,
Alysson Bessani,
Paulo Veríssimo,
2007
.
T. Hardjono,
M. Correia,
André Vasconcelos,
2022,
Distributed Ledger Technol. Res. Pract..
Miguel Correia,
André Vasconcelos,
Thomas Hardjono,
2021,
Future Gener. Comput. Syst..
Miguel Correia,
André Vasconcelos,
Thomas Hardjono,
2021,
2021 IEEE International Conference on Services Computing (SCC).
Miguel Correia,
M. Correia,
2019
.
André Vasconcelos,
Pedro Sousa,
Sérgio Guerreiro,
2020,
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..
Miguel Correia,
João Leitão,
Luís E. T. Rodrigues,
2011,
OPODIS.
Miguel Correia,
Alysson Neves Bessani,
Nuno Ferreira Neves,
2013,
USENIX Annual Technical Conference.
Miguel Correia,
Ray Neiheiser,
Luciana Rech,
2020,
IEEE Transactions on Parallel and Distributed Systems.
David R. Matos,
M. Correia,
M. Pardal,
2023,
IEEE Access.
Miguel Correia,
Georg Carle,
Miguel L. Pardal,
2018,
Middleware.
Miguel Correia,
David R. Matos,
M. Correia,
2016,
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
Miguel Correia,
Dario Nascimento,
M. Correia,
2015,
2015 IEEE 35th International Conference on Distributed Computing Systems.
Miguel Correia,
Gustavo Nascimento,
M. Correia,
2011,
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).
Miguel Correia,
Nuno Ferreira Neves,
Henrique Moniz,
2010,
2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).
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,
Cláudio Correia,
Luís Rodrigues,
2020,
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Miguel Correia,
Luis Dias,
Simão Valente,
2020,
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA).
Gilberto Gomes,
Luis Dias,
Miguel Correia,
2020,
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA).
M. Correia,
Ibéria Medeiros,
Joao Bota,
2019,
Botnets.
Luis Sacramento,
Joao Bota,
Miguel Correia,
2018,
2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).
Miguel Correia,
Paulo Veríssimo,
Nuno Ferreira Neves,
2002,
EDCC.
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2001
.
Miguel Correia,
Nuno Ferreira Neves,
Iberia Medeiros,
2013,
2013 11th IEEE International Conference on Industrial Informatics (INDIN).
Miguel Correia,
Fábio Gomes,
M. Correia,
2020,
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA).
Miguel Correia,
Nuno Horta,
Naércio Magaia,
2015,
Appl. Soft Comput..
Miguel Correia,
Francisco Liberal Rocha,
M. Correia,
2011,
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).
Miguel L. Pardal,
David R. Matos,
Filipe F. Martins,
2020,
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA).
Miguel Matos,
Miguel Correia,
Marcelo Silva,
2020,
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA).
Miguel Correia,
André Vasconcelos,
Rafael Belchior,
2020,
ECIS.
Miguel Correia,
André Vasconcelos,
Tiago Rosado,
2019
.
Miguel Correia,
Lau Cheuk Lung,
Luciana Rech,
2016,
2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA).
Miguel Correia,
Lau Cheuk Lung,
Aldelir Fernando Luiz,
2015,
PERV.
Miguel Correia,
M. Correia,
2013,
Euro-Par Workshops.
Miguel Correia,
Lau Cheuk Lung,
Fernando Dettoni,
2013,
2013 IEEE Symposium on Computers and Communications (ISCC).
Miguel Correia,
Lau Cheuk Lung,
Aldelir Fernando Luiz,
2011,
2011 IEEE 10th International Symposium on Network Computing and Applications.
Miguel Correia,
Lau Cheuk Lung,
Alysson Bessani,
2009
.
Miguel Correia,
Lau Cheuk Lung,
Alysson Bessani,
2008
.
Jean-Philippe Martin,
Miguel Correia,
Jean-Phillipe Martin,
2008
.
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
.
Miguel Correia,
Lau Cheuk Lung,
Paulo Veríssimo,
2003
.
M. Correia,
M. Pardal,
Nelson Escravana,
2022,
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS.
Luís Rodrigues,
M. Correia,
Cláudio Correia,
2023,
ArXiv.
David R. Matos,
M. Correia,
M. Pardal,
2023,
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S).
Miguel Correia,
Laurie J. Hendren,
Erick Lavoie,
2017,
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
Miguel Correia,
Paulo Veríssimo,
Nuno Neves,
2000
.
Miguel Correia,
António Casimiro,
A. Casimiro,
2001
.
Miguel Correia,
Laurie J. Hendren,
Frédéric Desprez,
2019,
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
M. Correia,
L. Rodrigues,
Manuel Bravo,
2017
.
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.
A. Bessani,
M. Correia,
Paulo Sousa,
2011,
EuroSys '11.
Miguel Correia,
Neeraj Mittal,
M. Correia,
2013,
OPSR.
M. Correia,
M. Pardal,
I. Costa,
2018
.
Miguel Correia,
Saurabh Bagchi,
Paulo Veríssimo,
2005
.
Miguel Correia,
Paulo Pinto,
M. Correia,
1995,
MULTIMEDIA '95.
Miguel Correia,
Rafael Belchior,
Andr'e Vasconcelos,
2020,
ACM Comput. Surv..
P. Veríssimo,
N. Neves,
M. Correia,
2011,
IEEE Transactions on Dependable and Secure Computing.
Miguel Correia,
Miguel L. Pardal,
Karan Balu,
2016,
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
Miguel Correia,
Fernando M. V. Ramos,
Pedro A. R. S. Costa,
2017,
2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID).
Miguel Correia,
Lau Cheuk Lung,
Alysson Bessani,
2006
.
Miguel Correia,
Arnaldo Gouveia,
M. Correia,
2016,
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
F. Junqueira,
M. Serafini,
M. Correia,
2012,
USENIX ATC.