Avelino Francisco Zorzo
Avelino Francisco Zorzo
Professor of Computer Science, PUCRS - Pontifical Catholic University of RS
Verified email at
Cited by
Cited by
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
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, ... …, 2017
Overview and open issues on penetration test
D Dalalana Bertoglio, AF Zorzo
Journal of the Brazilian Computer Society 23, 1-16, 2017
Blockchain technologies for iot
V Dedeoglu, R Jurdak, A Dorri, RC Lunardi, RA Michelin, AF Zorzo, ...
Advanced applications of blockchain technology, 55-89, 2020
A distributed object-oriented framework for dependable multiparty interactions
AF Zorzo, RJ Stroud
ACM Sigplan Notices 34 (10), 435-446, 1999
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
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
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
Deleting secret data with public verifiability
F Hao, D Clarke, AF Zorzo
IEEE Transactions on Dependable and Secure Computing 13 (6), 617-629, 2016
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, ... …, 2017
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
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
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
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
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
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
Incorporating planning into BDI systems
FR Meneguzzi, AF Zorzo, M da Costa Móra, M Luck
Scalable Computing: Practice and Experience 8 (1), 2007
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
On Structuring Integrated Web Applications for Fault Tolerance
A Romanovsky, P Periorellis, AF Zorzo
IEEE Sixth International Symposium on Autonomous Decentralized Systems (ISADS), 2002
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
The system can't perform the operation now. Try again later.
Articles 1–20