Seguir
Avelino Francisco Zorzo
Avelino Francisco Zorzo
Professor of Computer Science, PUCRS - Pontifical Catholic University of RS
Dirección de correo verificada de pucrs.br
Título
Citado por
Citado por
Año
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
1642018
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
146*2017
Overview and open issues on penetration test
D Dalalana Bertoglio, AF Zorzo
Journal of the Brazilian Computer Society 23, 1-16, 2017
1262017
Blockchain technologies for iot
V Dedeoglu, R Jurdak, A Dorri, RC Lunardi, RA Michelin, AF Zorzo, ...
Advanced applications of blockchain technology, 55-89, 2020
1012020
A distributed object-oriented framework for dependable multiparty interactions
AF Zorzo, RJ Stroud
ACM Sigplan Notices 34 (10), 435-446, 1999
751999
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
742018
Coordinated atomic actions: from concept to implementation
B Randell, A Romanovsky, RJ Stroud, J Xu, AF Zorzo
Submitted to Special Issue of IEEE Transactions on Computers, 26, 1997
691997
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
661999
Deleting secret data with public verifiability
F Hao, D Clarke, AF Zorzo
IEEE Transactions on Dependable and Secure Computing 13 (6), 617-629, 2016
652016
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
542017
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
532004
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
512016
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
492018
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
481999
A journey in applying blockchain for cyberphysical systems
V Dedeoglu, A Dorri, R Jurdak, RA Michelin, RC Lunardi, SS Kanhere, ...
2020 International Conference on COMmunication Systems & NETworkS (COMSNETS …, 2020
452020
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
Incorporating planning into BDI systems
FR Meneguzzi, AF Zorzo, M da Costa Móra, M Luck
Scalable Computing: Practice and Experience 8 (1), 2007
362007
Generation of scripts for perfomance testing based on UML models
M da Silveira, EM Rodrigues, AF Zorzo, LT Costa, HV Vieira, ...
SEKE 2011, 2011, Estados Unidos., 2011
352011
Usability evaluation of domain-specific languages: a systematic literature review
I Poltronieri Rodrigues, M de Borba Campos, AF Zorzo
Human-Computer Interaction. User Interface Design, Development and …, 2017
342017
Impact of consensus on appendable-block blockchain for IoT
RC Lunardi, RA Michelin, CV Neu, HC Nunes, AF Zorzo, SS Kanhere
Proceedings of the 16th EAI International Conference on Mobile and …, 2019
332019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20