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
A distributed object-oriented framework for dependable multiparty interactions
AF Zorzo, RJ Stroud
ACM Sigplan Notices 34 (10), 435-446, 1999
711999
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, 1997
611997
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
581999
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
542018
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
502004
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
491999
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
452002
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
442017
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
372018
Deleting secret data with public verifiability
F Hao, D Clarke, AF Zorzo
IEEE Transactions on Dependable and Secure Computing 13 (6), 617-629, 2016
362016
On Structuring Integrated Web Applications for Fault Tolerance
A Romanovsky, P Periorellis, AF Zorzo
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE - COMPUTING …, 2002
362002
Incorporating planning into BDI systems
FR Meneguzzi, AF Zorzo, M da Costa Móra, M Luck
Scalable Computing: Practice and Experience 8 (1), 2007
352007
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
332016
Overview and open issues on penetration test
DD Bertoglio, AF Zorzo
Journal of the Brazilian Computer Society 23 (1), 2, 2017
302017
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
302006
CAA-DRIP: a framework for implementing Coordinated Atomic Actions
A Capozucca, N Guelfi, P Pelliccione, A Romanovsky, A Zorzo
2006 17th International Symposium on Software Reliability Engineering, 385-394, 2006
262006
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
252012
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
252011
Specifying security aspects in UML models
KP Peralta, AM Orozco, AF Zorzo, FM Oliveira
ACM/IEEE 11th International Conference on Model Driven Engineering Languages …, 2008
232008
Operating system multilevel load balancing
M Corrêa, A Zorzo, R Scheer
Proceedings of the 2006 ACM symposium on Applied computing, 1467-1471, 2006
222006
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20