Henrique Madeira

发表

Domenico Cotroneo, Roberto Natella, Henrique Madeira, 2016, ACM Comput. Surv..
Marco Vieira, Henrique Madeira, José Fonseca, 2014, IEEE Transactions on Dependable and Secure Computing.
Jorge Bernardino, Henrique Madeira, Jorge Bernardino, 2000, ADBIS-DASFAA Symposium.
Henrique Madeira, Ricardo Maia, Luis Henriques, 2002, Proceedings International Conference on Dependable Systems and Networks.
Marco Vieira, Henrique Madeira, António Casimiro, 2004 .
Jorge Bernardino, Marco Vieira, Henrique Madeira, 2008, DaWaK.
Marco Vieira, Henrique Madeira, José Fonseca, 2006, 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06).
Marco Vieira, Henrique Madeira, Ana Maria Ambrosio, 2015, J. Syst. Softw..
Henrique Madeira, João Gabriel Silva, Joao Carreira, 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2009, DASFAA Workshops.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2007 .
Henrique Madeira, João Durães, 2002, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings..
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2010 .
Pedro Costa, Henrique Madeira, João Gabriel Silva, 2009, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing.
Henrique Madeira, Mário Zenha Rela, Diamantino Costa, 1995, Proceedings. 14th Symposium on Reliable Distributed Systems.
Henrique Madeira, João Gabriel Silva, 1992 .
András Pataricza, Henrique Madeira, Imre Kocsis, 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Johan Vounckx, Jörn Altmann, Rudi Cuyvers, 1994 .
Jorge Bernardino, Pedro Furtado, Henrique Madeira, 2003, JISBD.
Marco Vieira, Henrique Madeira, 2009, TPCTC.
Marco Vieira, Henrique Madeira, António Casimiro, 2007 .
Henrique Madeira, Joao Carreira, João Gabriel Silva, 1995 .
Henrique Madeira, Mário Zenha Rela, João Gabriel Silva, 2010, Journal of the Brazilian Computer Society.
Jorge Bernardino, Pedro Furtado, Henrique Madeira, 2002, Proceedings International Database Engineering and Applications Symposium.
Jorge Bernardino, Pedro Furtado, Henrique Madeira, 2004, Journal of Intelligent Information Systems.
Marco Vieira, Henrique Madeira, Diamantino Costa, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Nuno Silva, Henrique Madeira, Ricardo Barbosa, 2007, 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'07).
Marco Vieira, Henrique Madeira, Jorge Vieira, 2008, DASFAA.
Jorge Bernardino, Henrique Madeira, 2000 .
Henrique Madeira, João Gabriel Silva, José Camões, 1991, Microprocess. Microsystems.
Henrique Madeira, Salvador Abreu, Jacques Robin, 2019, SAFECOMP Workshops.
Henrique Madeira, João Durães, H. Madeira, 2006, IEEE Transactions on Software Engineering.
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2014, PROPOR.
Henrique Madeira, István Majzik, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2010, 2010 10th International Conference on Intelligent Systems Design and Applications.
Johan Karlsson, Marco Vieira, Henrique Madeira, 2012, Resilience Assessment and Evaluation of Computing Systems.
Henrique Madeira, João Durães, H. Madeira, 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Henrique Madeira, Nuno Lourenço, Raul Barbosa, 2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Pedro Furtado, Henrique Madeira, P. Furtado, 2000, DaWaK.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2010, 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing.
Marco Vieira, Henrique Madeira, M. Vieira, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).
Marco Vieira, Henrique Madeira, Raquel Almeida, 2010, 2010 29th IEEE Symposium on Reliable Distributed Systems.
Henrique Madeira, Raul Barbosa, Frederico Cerveira, 2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).
Marco Vieira, Henrique Madeira, Afonso Araújo Neto, 2009, 2009 Second International Conference on Dependability.
Henrique Madeira, Raul Barbosa, Frederico Cerveira, 2018, Computing.
Marco Vieira, Nuno Antunes, Henrique Madeira, 2012, Resilience Assessment and Evaluation of Computing Systems.
Pedro Furtado, Henrique Madeira, 1999, Proceedings. 6th International Conference on Advanced Systems for Advanced Applications.
Marco Vieira, Henrique Madeira, José Fonseca, 2012, Resilience Assessment and Evaluation of Computing Systems.
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2014, PROPOR.
Marco Vieira, Henrique Madeira, 2002, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings..
Marco Vieira, Henrique Madeira, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Johan Vounckx, Jörn Altmann, Geert Deconinck, 1996 .
Henrique Madeira, Alcides Fonseca, Raul Barbosa, 2019, Int. J. Crit. Comput. Based Syst..
Jorge Bernardino, Luís Moura Silva, Henrique Madeira, 1994, EDCC.
Marco Vieira, Henrique Madeira, José Fonseca, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Henrique Madeira, Pedro Bizarro, 2002, DaWaK.
Marco Vieira, Henrique Madeira, Antonio Costa, 2005 .
Nuno Silva, Marco Vieira, Henrique Madeira, 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.
Henrique Madeira, Raul Barbosa, Goncalo Pereira, 2016, 2016 12th European Dependable Computing Conference (EDCC).
Henrique Madeira, João Durães, Naaliel Mendes, 2011, 2011 5th Latin-American Symposium on Dependable Computing.
Marco Vieira, Henrique Madeira, João Durães, 2003, LADC.
Henrique Madeira, Marta Mercier, Raul Barbosa, 2017, 2017 13th European Dependable Computing Conference (EDCC).
Henrique Madeira, João Durães, H. Madeira, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Henrique Madeira, Alcides Fonseca, Raul Barbosa, 2019 .
Joaquim Macedo, Henrique Madeira, Pedro Pereira, 2014, ECIR.
Jean Arlat, Henrique Madeira, Karama Kanoun, 2002 .
Henrique Madeira, Alcides Fonseca, Raul Barbosa, 2018, 2018 14th European Dependable Computing Conference (EDCC).
Domenico Cotroneo, Roberto Natella, Henrique Madeira, 2013, IEEE Transactions on Software Engineering.
Henrique Madeira, Diamantino Costa, Tiago Rilho, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Henrique Madeira, João Durães, Naaliel Mendes, 2010, 2010 European Dependable Computing Conference.
Henrique Madeira, João Durães, João Castelhano, 2016, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).
Henrique Madeira, Diamantino Costa, 1999, Proceedings 1999 Pacific Rim International Symposium on Dependable Computing.
Marco Vieira, Henrique Madeira, M. Vieira, 2003, VLDB.
Henrique Madeira, Mário Zenha Rela, João Gabriel Silva, 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.
Pedro Furtado, Henrique Madeira, P. Furtado, 1997, Database and Expert Systems Applications. 8th International Conference, DEXA '97. Proceedings.
Jorge Bernardino, Pedro Furtado, Henrique Madeira, 2002, Journal of Intelligent Information Systems.
Jorge Bernardino, Henrique Madeira, 2001, Proceedings 2001 International Database Engineering and Applications Symposium.
Marco Vieira, Henrique Madeira, João Durães, 2008, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing.
Johan Vounckx, Mario Dal Cin, Henrique Madeira, 1996 .
Henrique Madeira, Mário Zenha Rela, João Gabriel Silva, 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
Henrique Madeira, Diamantino Costa, João Gabriel Silva, 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2009, DEXA.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2008, WADS.
Henrique Madeira, Raul Barbosa, Rui André Oliveira, 2020, 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Henrique Madeira, Raul Barbosa, Frederico Cerveira, 2017, 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2012, Journal of Internet Services and Applications.
Henrique Madeira, João Gabriel Silva, Goncalo Quadros, 1990 .
Marco Vieira, Henrique Madeira, José Fonseca, 2009, 2009 20th International Symposium on Software Reliability Engineering.
Jorge Bernardino, Henrique Madeira, 2001, ICEIS.
Samuel Kounev, Marco Vieira, Henrique Madeira, 2012, Resilience Assessment and Evaluation of Computing Systems.
Henrique Madeira, João Gabriel Silva, Joao Carreira, 1998, IEEE Trans. Software Eng..
Pedro Furtado, Henrique Madeira, P. Furtado, 1999, DaWaK.
Marco Vieira, Henrique Madeira, António Casimiro Costa, 2006, PRDC.
Henrique Madeira, Raquel Almeida, Afonso Araújo Neto, 2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).
Henrique Madeira, J.-P. Gabriel, Joao Carreira, 1995 .
Pedro Furtado, Henrique Madeira, 1998, HYPERTEXT '98.
Eliane Martins, Henrique Madeira, Ricardo Barbosa, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
Henrique Madeira, João Gabriel Silva, H. Madeira, 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.
Henrique Madeira, Mário Zenha Rela, João Gabriel Silva, 1994, EDCC.
Eliane Martins, Henrique Madeira, Ricardo Barbosa, 2006, 2006 Sixth European Dependable Computing Conference.
Pedro Furtado, Henrique Madeira, P. Furtado, 1996, EDCC.
Henrique Madeira, Paulo de Carvalho, César Alexandre Teixeira, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).
Marco Vieira, Henrique Madeira, João Carlos Cunha, 2011, 2011 IEEE 34th Software Engineering Workshop.
Henrique Madeira, Raul Barbosa, Frederico Cerveira, 2019, 2019 15th European Dependable Computing Conference (EDCC).
Henrique Madeira, Raquel Almeida, 2016, 2016 Seventh Latin-American Symposium on Dependable Computing (LADC).
Henrique Madeira, Bruno Rino, Alcides Marques, 2003, JISBD.
Nuno Laranjeiro, Marco Vieira, Nuno Antunes, 2009, 2009 IEEE International Conference on Services Computing.
Marco Vieira, Pedro Costa, Henrique Madeira, 2003, LADC.
Marco Vieira, Henrique Madeira, João Durães, 2008 .
Emilia Villani, Henrique Madeira, Ana Maria Ambrosio, 2010 .
Saurabh Bagchi, Henrique Madeira, 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..
Marco Vieira, Henrique Madeira, João Durães, 2013, 2013 Sixth Latin-American Symposium on Dependable Computing.
Henrique Madeira, João Gabriel Silva, Joao Carreira, 2001 .
Marco Vieira, Henrique Madeira, 2002, Proceedings International Conference on Dependable Systems and Networks.
Domenico Cotroneo, Roberto Natella, Henrique Madeira, 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).
Marco Vieira, Henrique Madeira, José Fonseca, 2007, TrustBus.
Marco Vieira, Henrique Madeira, João Durães, 2004, SAFECOMP.
Henrique Madeira, Pedro Bizarro, 2001, SBBD.
Henrique Madeira, Raquel Almeida, Naaliel Mendes, 2010, 2010 IEEE 30th International Conference on Distributed Computing Systems Workshops.
Marco Vieira, Henrique Madeira, José Fonseca, 2008, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing.
Henrique Madeira, João Durães, Naaliel Mendes, 2014, 2014 IEEE 25th International Symposium on Software Reliability Engineering.
Domenico Cotroneo, Henrique Madeira, 2013 .
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2015, SPIRE.
Henrique Madeira, Filipe Araújo, Raul Barbosa, 2015, 2015 11th European Dependable Computing Conference (EDCC).
Andrea Bondavalli, Paolo Lollini, Henrique Madeira, 2012, Resilience Assessment and Evaluation of Computing Systems.
Pedro Costa, Henrique Madeira, João Gabriel Silva, 2015, J. Syst. Softw..
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2014, ECIR.
Marco Vieira, Henrique Madeira, José Fonseca, 2007, LADC.
Marco Vieira, András Pataricza, Henrique Madeira, 2005, EDCC.
Luís Moura Silva, Henrique Madeira, João Gabriel Silva, 2006, Fifth IEEE International Symposium on Network Computing and Applications (NCA'06).
Marco Vieira, Henrique Madeira, João Pedro Costa, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Pedro Furtado, Henrique Madeira, P. Furtado, 1997 .
Henrique Madeira, Diamantino Costa, João Gabriel Silva, 2003 .
Marco Vieira, Henrique Madeira, José Fonseca, 2008, SAC '08.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2008, 2008 IEEE Asia-Pacific Services Computing Conference.
Eliane Martins, Henrique Madeira, João Durães, 2007, LADC.
Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Philip Koopman, 2002, Dependable Systems and Networks.
Nuno Laranjeiro, András Pataricza, Henrique Madeira, 2020, IEEE Access.
Philip Koopman, Henrique Madeira, 2008, DSN.
Aaron B. Brown, Brendan Murphy, Henrique Madeira, 2005, DSN.
Henrique Madeira, Raul Barbosa, Filipe Araujo, 2022, IEEE Transactions on Cloud Computing.
Raphael R. Some, Henrique Madeira, Diamantino Costa, 2002, Proceedings International Conference on Dependable Systems and Networks.
Marco Vieira, Henrique Madeira, José Fonseca, 2009 .
Marco Vieira, Henrique Madeira, Ana Maria Ambrosio, 2010, SAFECOMP.
Henrique Madeira, Mário Zenha Rela, João Gabriel Silva, 1989, Microprocessing and Microprogramming.
Marco Vieira, Henrique Madeira, 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..
Marco Vieira, Henrique Madeira, João Durães, 2010, 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing.
Henrique Madeira, Raul Barbosa, Frederico Cerveira, 2019, ArXiv.
Henrique Madeira, João Gabriel Silva, H. Madeira, 1991, [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications.
Marco Vieira, Henrique Madeira, António Casimiro Costa, 2006, 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06).
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2009, 2009 IEEE International Conference on Web Services.
Marco Vieira, Henrique Madeira, Raquel Almeida, 2010, 2010 IEEE 30th International Conference on Distributed Computing Systems Workshops.
Marco Vieira, Nuno Antunes, Henrique Madeira, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Marco Vieira, Henrique Madeira, Diamantino Costa, 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.
Marco Vieira, Henrique Madeira, M. Vieira, 2005, 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05).
Marco Vieira, Henrique Madeira, José Fonseca, 2014, IEEE Transactions on Dependable and Secure Computing.
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2009, SPIRE.
Marco Vieira, Henrique Madeira, Jorge Vieira, 2008, DASFAA.
Jorge Bernardino, Henrique Madeira, Jorge Vieira, 2005, DaWaK.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2014, IEEE Transactions on Services Computing.
Henrique Madeira, João Durães, H. Madeira, 2004, International Conference on Dependable Systems and Networks, 2004.
Marco Vieira, Henrique Madeira, José Fonseca, 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.
Philip Koopman, Henrique Madeira, 2002, DSN.
Joaquim Macedo, Henrique Madeira, Olga Craveiro, 2012, PROPOR.
Yves Crouzet, Henrique Madeira, Karama Kanoun, 2002 .
Pedro Furtado, Henrique Madeira, 2000, Proceedings 2000 International Database Engineering and Applications Symposium (Cat. No.PR00789).
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2012 .
Henrique Madeira, 2005 .
Daniel Mendes, Henrique Madeira, Naghmeh Ivaki, 2018, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC).
Henrique Madeira, Miguel Castelo-Branco, João Durães, 2019, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Nuno Laranjeiro, Marco Vieira, Henrique Madeira, 2008, 2008 IEEE International Conference on Services Computing.
Henrique Madeira, Raul Barbosa, Frederico Cerveira, 2021, 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC).
Henrique Madeira, Miguel Castelo-Branco, Ricardo Couceiro, 2021, IEEE Access.
Ileana Pirovano, Davide Contini, Alessandro Torricelli, 2021, European Conference on Biomedical Optics.
Henrique Madeira, Fátima Mattiello-Francisco, David Paiva, 2021, 2021 10th Latin-American Symposium on Dependable Computing (LADC).
Henrique Madeira, Raul Barbosa, Frederico Cerveira, 2021, IEEE Access.
Henrique Madeira, Joao Duraes, Carlos Ferreira, 2018, Brain Imaging and Behavior.
Marco Vieira, Henrique Madeira, José Fonseca, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Marco Vieira, Henrique Madeira, Ivano Irrera, 2009 .