Giuliana Teixeira dos Santos Veronese
AuthID: R-001-JM3
1
TITLE: Efficient Byzantine Fault-Tolerance
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 62, ISSUE: 1
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 62, ISSUE: 1
2
TITLE: Byzantine consensus in asynchronous message-passing systems: A survey
AUTHORS: Correia, M ; Veronese, GS; Neves, NF ; Verissimo, P ;
PUBLISHED: 2011, SOURCE: International Journal of Critical Computer-Based Systems, VOLUME: 2, ISSUE: 2
AUTHORS: Correia, M ; Veronese, GS; Neves, NF ; Verissimo, P ;
PUBLISHED: 2011, SOURCE: International Journal of Critical Computer-Based Systems, VOLUME: 2, ISSUE: 2
3
TITLE: Asynchronous Byzantine consensus with 2f+1 processes
AUTHORS: Miguel Correia ; Giuliana Santos Veronese; Lau Cheuk Lung;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010
AUTHORS: Miguel Correia ; Giuliana Santos Veronese; Lau Cheuk Lung;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010
4
TITLE: EBAWA: Efficient Byzantine Agreement for Wide-Area Networks Full Text
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung;
PUBLISHED: 2010, SOURCE: 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010 in 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung;
PUBLISHED: 2010, SOURCE: 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010 in 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010
5
TITLE: Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary Full Text
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
6
TITLE: Designing fault tolerant web services using BPEL
AUTHORS: Jim Lau; Lau Cheuk Lung; Joni da S. Fraga; Giuliana Santos Veronese;
PUBLISHED: 2008, SOURCE: 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity in 7TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE IN CONJUNCTION WITH 2ND IEEE/ACIS INTERNATIONAL WORKSHOP ON E-ACTIVITY, PROCEEDINGS
AUTHORS: Jim Lau; Lau Cheuk Lung; Joni da S. Fraga; Giuliana Santos Veronese;
PUBLISHED: 2008, SOURCE: 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity in 7TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE IN CONJUNCTION WITH 2ND IEEE/ACIS INTERNATIONAL WORKSHOP ON E-ACTIVITY, PROCEEDINGS
7
TITLE: Finite memory: A vulnerability of intrusion-tolerant systems
AUTHORS: Veronese, GS; Correia, M ; Lau, CL; Verissimo, P ;
PUBLISHED: 2008, SOURCE: 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008 in Proceedings of the 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008
AUTHORS: Veronese, GS; Correia, M ; Lau, CL; Verissimo, P ;
PUBLISHED: 2008, SOURCE: 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008 in Proceedings of the 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008
8
TITLE: On the effects of finite memory on intrusion-tolerant systems
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
9
TITLE: On the effects of finite memory on intrusion-tolerant systems
AUTHORS: Veronese, GS; Correia, M ; Lung, LC; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
AUTHORS: Veronese, GS; Correia, M ; Lung, LC; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXED IN: 
Scopus
Scopus10
TITLE: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA
AUTHORS: Lau Cheuk Lung; Fábio Favarim; Giuliana Teixeira Santos; Miguel Correia ;
PUBLISHED: 2006, SOURCE: 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006 in Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
AUTHORS: Lau Cheuk Lung; Fábio Favarim; Giuliana Teixeira Santos; Miguel Correia ;
PUBLISHED: 2006, SOURCE: 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006 in Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
INDEXED IN: Scopus 
DBLP
Scopus DBLP