Seguir
Avelino Francisco Zorzo
Avelino Francisco Zorzo
Professor of Computer Science, PUCRS - Pontifical Catholic University of RS
E-mail confirmado em pucrs.br
Título
Citado por
Citado por
Ano
SpeedyChain: A framework for decoupling data from blockchain for smart cities
RA Michelin, A Dorri, M Steger, RC Lunardi, SS Kanhere, R Jurdak, ...
Proceedings of the 15th EAI international conference on mobile and …, 2018
1022018
Referenciais de Formação para os Cursos de Graduação em Computação
AF Zorzo, D Nunes, E Matos, I Steinmacher, J Leite, RM Araujo, R Correia, ...
http://www.sbc.org.br/documentos-da-sbc/send/127-educacao/1155-referenciais …, 2017
842017
Overview and open issues on penetration test
D Dalalana Bertoglio, AF Zorzo
Journal of the Brazilian Computer Society 23 (1), 1-16, 2017
752017
A distributed object-oriented framework for dependable multiparty interactions
AF Zorzo, RJ Stroud
ACM Sigplan Notices 34 (10), 435-446, 1999
741999
Co-ordinated atomic actions: from concept to implementation
B Randell, A Romanovsky, RJ Stroud, J Xu, AF Zorzo
Department of Computing Science Technical Report Series, 1997
681997
Using coordinated atomic actions to design safety‐critical systems: a production cell case study
AF Zorzo, A Romanovsky, J Xu, B Randell, RJ Stroud, IS Welch
Software: Practice and Experience 29 (8), 677-697, 1999
601999
Blockchain technologies for iot
V Dedeoglu, R Jurdak, A Dorri, RC Lunardi, RA Michelin, AF Zorzo, ...
Advanced applications of blockchain technology, 55-89, 2020
522020
Propositional planning in BDI agents
FR Meneguzzi, AF Zorzo, M da Costa Móra
Proceedings of the 2004 ACM symposium on Applied computing, 58-63, 2004
522004
Rigorous development of a safety-critical system based on coordinated atomic actions
J Xu, B Randell, RJ Romanovsky, RJ Stroud, AF Zorzo, E Canver, ...
Digest of Papers. Twenty-Ninth Annual International Symposium on Fault …, 1999
501999
Deleting secret data with public verifiability
F Hao, D Clarke, AF Zorzo
IEEE Transactions on Dependable and Secure Computing 13 (6), 617-629, 2016
462016
Distributed access control on iot ledger-based architecture
RC Lunardi, RA Michelin, CV Neu, AF Zorzo
NOMS 2018-2018 IEEE/IFIP Network Operations and Management Symposium, 1-7, 2018
452018
Canopus: A domain-specific language for modeling performance testing
M Bernardino, AF Zorzo, EM Rodrigues
2016 IEEE International Conference on Software Testing, Verification and …, 2016
452016
Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
J Xu, B Randell, A Romanovsky, RJ Stroud, AF Zorzo, E Canver, ...
IEEE Transactions on Computers 51 (2), 164-179, 2002
442002
Referenciais de Formação em Computação: Educação Básica
A Raabe, AF Zorzo, I Frango, L Ribeiro, L Granville, L Salgado, MJK Cruz, ...
https://www.sbc.org.br/documentos-da-sbc/send/131-curriculos-de-referencia …, 2017
342017
Analytical modeling for operating system schedulers on NUMA systems
R Chanin, M Corrêa, P Fernandes, A Sales, R Scheer, AF Zorzo
Electronic Notes in Theoretical Computer Science 151 (3), 131-149, 2006
342006
Incorporating planning into BDI systems
FR Meneguzzi, AF Zorzo, M da Costa Móra, M Luck
Scalable Computing: Practice and Experience 8 (1), 2007
332007
On Structuring Integrated Web Applications for Fault Tolerance
A Romanovsky, P Periorellis, AF Zorzo
IEEE Sixth International Symposium on Autonomous Decentralized Systems (ISADS), 2002
332002
Dependable IoT using blockchain-based technology
AF Zorzo, HC Nunes, RC Lunardi, RA Michelin, SS Kanhere
2018 Eighth Latin-American Symposium on Dependable Computing (LADC), 1-9, 2018
322018
Generation of Scripts for Performance Testing Based on UML Models.
MB da Silveira, EM Rodrigues, AF Zorzo, LT Costa, HV Vieira, ...
SEKE, 258-263, 2011
302011
Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models.
LT Costa, RM Czekster, FM de Oliveira, EM Rodrigues, MB da Silveira, ...
SEKE, 112-117, 2012
282012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20