Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAvelino Francisco Zorzo
Avelino F. Zorzo
Person information
- affiliation: Pontifical Catholic University of Rio Grande do Sul, PUCRS, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j18]Edson OliveiraJr, Avelino F. Zorzo, Charles Varlei Neu:
Towards a conceptual model for promoting digital forensics experiments. Digit. Investig. 35: 301014 (2020)- [j17]Kleber L. Petry, Edson OliveiraJr
, Avelino F. Zorzo:
Model-based testing of software product lines: Mapping study and research roadmap. J. Syst. Softw. 167: 110608 (2020) - [c52]Eduardo H. P. de Arruda, Roben Castagna Lunardi, Henry C. Nunes, Avelino F. Zorzo, Regio A. Michelin:
Appendable-block Blockchain Evaluation over Geographically-Distributed IoT Networks. BlackSeaCom 2020: 1-6 - [c51]Roben Castagna Lunardi, Maher Alharby, Henry C. Nunes, Avelino F. Zorzo, Changyu Dong, Aad van Moorsel:
Context-based consensus for appendable-block blockchains. Blockchain 2020: 401-408 - [c50]Thais S. Nepomuceno, Edson OliveiraJr, Raqueline R. M. Penteado, Marco Aurélio Graciotto Silva, Avelino F. Zorzo:
Empirical Study on Product Configuration and Traceability in UML-based Product-Lines. CIbSE 2020: 166-179 - [c49]Aline Zanin, Avelino Francisco Zorzo, Henry Cabral Nunes:
Model-Based Testing in Agile Projects: An Approach Based on Domain-Specific Languages. CIbSE 2020: 568-581 - [c48]Volkan Dedeoglu, Ali Dorri, Raja Jurdak, Regio A. Michelin, Roben Castagna Lunardi, Salil S. Kanhere, Avelino F. Zorzo:
A Journey in Applying Blockchain for Cyberphysical Systems. COMSNETS 2020: 383-390 - [c47]Henry C. Nunes, Roben Castagna Lunardi, Avelino F. Zorzo, Regio A. Michelin, Salil S. Kanhere:
Context-based Smart Contracts For Appendable-block Blockchains. IEEE ICBC 2020: 1-9 - [c46]Leandro F. Silva, Edson OliveiraJr, Avelino F. Zorzo:
Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines. ICEIS (2) 2020: 442-449 - [i8]Henry C. Nunes, Roben Castagna Lunardi, Avelino Francisco Zorzo, Regio A. Michelin, Salil S. Kanhere:
Context-based smart contracts for appendable-block blockchains. CoRR abs/2005.00895 (2020) - [i7]Guilherme Girotto, Avelino Francisco Zorzo:
Robin: A Web Security Tool. CoRR abs/2007.06629 (2020)
2010 – 2019
- 2019
- [j16]Gianlucca Oliveira Puglia, Avelino Francisco Zorzo, César A. F. De Rose, Taciano Perez, Dejan S. Milojicic:
Non-Volatile Memory File Systems: A Survey. IEEE Access 7: 25836-25871 (2019) - [c45]Charles Varlei Neu, Ina Schiering, Avelino F. Zorzo:
Simulating and Detecting Attacks of Untrusted Clients in OPC UA Networks. CECC 2019: 11:1-11:6 - [c44]Roben Castagna Lunardi, Regio A. Michelin, Charles V. Neu, Henry C. Nunes, Avelino F. Zorzo, Salil S. Kanhere:
Impact of consensus on appendable-block blockchain for IoT. MobiQuitous 2019: 228-237 - [i6]Volkan Dedeoglu, Ali Dorri, Raja Jurdak, Regio A. Michelin, Roben Castagna Lunardi, Salil S. Kanhere, Avelino F. Zorzo:
A journey in applying blockchain for cyberphysical systems. CoRR abs/1912.01606 (2019) - [i5]Roben Castagna Lunardi, Henry Cabral Nunes, Vinicius da Silva Branco, Bruno Hugentobler Lipper, Charles Varlei Neu, Avelino Francisco Zorzo:
Performance and Cost Evaluation of Smart Contracts in Collaborative Health Care Environments. CoRR abs/1912.09773 (2019) - [i4]Daniel Dalalana Bertoglio, Guilherme Girotto, Charles Varlei Neu, Roben Castagna Lunardi, Avelino Francisco Zorzo:
Pentest on an Internet Mobile App: A Case Study using Tramonto. CoRR abs/1912.09779 (2019) - [i3]Roben Castagna Lunardi, Regio A. Michelin, Charles V. Neu, Avelino F. Zorzo, Salil S. Kanhere:
Impact of consensus on appendable-block blockchain for IoT. CoRR abs/1912.11043 (2019) - 2018
- [c43]Avelino F. Zorzo, Henry C. Nunes, Roben Castagna Lunardi, Regio A. Michelin, Salil S. Kanhere:
Dependable IoT Using Blockchain-Based Technology. LADC 2018: 1-9 - [c42]Regio A. Michelin, Ali Dorri, Marco Steger, Roben Castagna Lunardi, Salil S. Kanhere, Raja Jurdak, Avelino F. Zorzo:
SpeedyChain: A framework for decoupling data from blockchain for smart cities. MobiQuitous 2018: 145-154 - [c41]Roben Castagna Lunardi, Regio Antonio Michelin, Charles Varlei Neu, Avelino Francisco Zorzo:
Distributed access control on IoT ledger-based architecture. NOMS 2018: 1-7 - [c40]Charles V. Neu, Cassio G. Tatsch, Roben Castagna Lunardi, Regio A. Michelin, Alex M. S. Orozco, Avelino F. Zorzo:
Lightweight IPS for port scan in OpenFlow SDN networks. NOMS 2018: 1-6 - [c39]Ildevana Poltronieri Rodrigues, Avelino Francisco Zorzo, Maicon Bernardino, Márcia de Borba Campos:
Usa-DSL: usability evaluation framework for domain-specific languages. SAC 2018: 2013-2021 - [i2]Regio A. Michelin, Ali Dorri, Roben Castagna Lunardi, Marco Steger, Salil S. Kanhere, Raja Jurdak, Avelino F. Zorzo:
SpeedyChain: A framework for decoupling data from blockchain for smart cities. CoRR abs/1807.01980 (2018) - 2017
- [j15]Maicon Bernardino, Elder de M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan:
Systematic mapping study on MBT: tools and models. IET Softw. 11(4): 141-155 (2017) - [j14]Daniel Dalalana Bertoglio, Avelino Francisco Zorzo:
Overview and open issues on penetration test. J. Braz. Comput. Soc. 23(1): 2:1-2:16 (2017) - [c38]Túlio L. Baségio, Regio A. Michelin, Avelino F. Zorzo, Rafael H. Bordini:
A Decentralised Approach to Task Allocation Using Blockchain. EMAS@AAMAS 2017: 75-91 - [c37]Ildevana Poltronieri Rodrigues, Márcia de Borba Campos, Avelino F. Zorzo:
Usability Evaluation of Domain-Specific Languages: A Systematic Literature Review. HCI (1) 2017: 522-534 - 2016
- [j13]Feng Hao, Dylan Clarke, Avelino Francisco Zorzo:
Deleting Secret Data with Public Verifiability. IEEE Trans. Dependable Secur. Comput. 13(6): 617-629 (2016) - [c36]Rafael Goncalves Mota, Jarbas Silveira, Jardel Silveira, Lucas Brahm, Avelino F. Zorzo, Filipo Novo Mor, César A. M. Marcon:
Efficient routing table minimization for fault-tolerant irregular Network-on-Chip. ICECS 2016: 632-635 - [c35]Rodrigo Augusto dos Santos, Avelino F. Zorzo, Sabrina Marczak:
Towards an SDLC for Projects Involving Distributed Systems. ICEIS (1) 2016: 158-165 - [c34]Alex M. S. Orozco, Charles V. Neu, Regio A. Michelin, Avelino F. Zorzo:
Security analysis of forwarding strategies in network time measurements using Openflow. ICITST 2016: 148-153 - [c33]Charles V. Neu, Avelino F. Zorzo, Alex M. S. Orozco, Regio A. Michelin:
An approach for detecting encrypted insider attacks on OpenFlow SDN Networks. ICITST 2016: 210-215 - [c32]Regio A. Michelin, Avelino F. Zorzo, Marcia B. Campos, Charles V. Neu, Alex M. S. Orozco:
Smartphone as a biometric service for web authentication. ICITST 2016: 405-408 - [c31]Maicon Bernardino, Avelino F. Zorzo, Elder de M. Rodrigues:
Canopus: A Domain-Specific Language for Modeling Performance Testing. ICST 2016: 157-167 - [c30]Maicon Bernardino, Elder de M. Rodrigues, Avelino F. Zorzo:
Performance testing modeling: an empirical evaluation of DSL and UML-based approaches. SAC 2016: 1660-1665 - 2015
- [j12]Elder Macedo Rodrigues, Flávio Moreira de Oliveira, Leandro T. Costa, Maicon Bernardino, Avelino Francisco Zorzo, Simone do Rocio Senger de Souza, Rodrigo S. Saad:
An empirical comparison of model-based and capture and replay approaches for performance testing. Empir. Softw. Eng. 20(6): 1831-1860 (2015) - [j11]Marcelo Schmitt Laser, Elder Macedo Rodrigues, Anderson R. P. Domingues, Flávio Moreira de Oliveira, Avelino F. Zorzo:
Research Notes on the Architectural Evolution of a Software Product Line. Int. J. Softw. Eng. Knowl. Eng. 25(9-10): 1753-1758 (2015) - [c29]Elder de M. Rodrigues, Maicon Bernardino, Leandro T. Costa, Avelino Francisco Zorzo, Flávio Moreira de Oliveira:
PLeTsPerf - A Model-Based Performance Testing Tool. ICST 2015: 1-8 - [c28]Marcelo Schmitt Laser, Elder Macedo Rodrigues, Anderson R. P. Domingues, Flávio Moreira de Oliveira, Avelino F. Zorzo:
Architectural Evolution of a Software Product Line: an experience report. SEKE 2015: 217-222 - 2014
- [c27]Elder Macedo Rodrigues, Rodrigo S. Saad, Flávio Moreira de Oliveira, Leandro T. Costa, Maicon Bernardino, Avelino F. Zorzo:
Evaluating capture and replay and model-based performance testing tools: an empirical comparison. ESEM 2014: 9:1-9:8 - [c26]Regio A. Michelin, Avelino F. Zorzo, César A. F. De Rose:
Mitigating DoS to authenticated cloud REST APIs. ICITST 2014: 106-111 - [c25]Elder Macedo Rodrigues, Leonardo Teixeira Passos, Leopoldo Teixeira, Avelino F. Zorzo, Flávio Moreira de Oliveira, Rodrigo S. Saad:
On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment. SEKE 2014: 402-407 - [i1]Feng Hao, Dylan Clarke, Avelino Francisco Zorzo:
Deleting Secret Data with Public Verifiability. IACR Cryptol. ePrint Arch. 2014: 364 (2014) - 2013
- [c24]André Takeshi Endo, Maicon Bernardino, Elder Macedo Rodrigues, Adenilso da Silva Simão, Flávio Moreira de Oliveira, Avelino F. Zorzo, Rodrigo S. Saad:
An Industrial Experience on using Models to Test Web Service-Oriented Applications. iiWAS 2013: 240 - 2012
- [c23]Leandro T. Costa, Ricardo M. Czekster, Flávio Moreira de Oliveira, Elder de M. Rodrigues, Maicon Bernardino da Silveira, Avelino F. Zorzo:
Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models. SEKE 2012: 112-117 - [c22]Elder de M. Rodrigues, Avelino F. Zorzo, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado, Anderson R. P. Domingues:
PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines. SEKE 2012: 647-650 - 2011
- [j10]Ricardo M. Czekster, Paulo Fernandes, Afonso Sales, Thais Webber, Avelino F. Zorzo:
Stochastic Model for QoS Assessment in Multi-tier Web Services. Electron. Notes Theor. Comput. Sci. 275: 53-72 (2011) - [c21]Marco Aurélio Stelmar Netto, Suzane Menon, Hugo V. Vieira, Leandro T. Costa, Flávio Moreira de Oliveira, Rodrigo S. Saad, Avelino F. Zorzo:
Evaluating Load Generation in Virtualized Environments for Software Performance Testing. IPDPS Workshops 2011: 993-1000 - [c20]Maicon Bernardino da Silveira, Elder de M. Rodrigues, Avelino F. Zorzo, Leandro T. Costa, Hugo V. Vieira, Flávio Moreira de Oliveira:
Generation of Scripts for Performance Testing Based on UML Models. SEKE 2011: 258-263 - 2010
- [c19]Elder de M. Rodrigues, Leonardo D. Viccari, Avelino F. Zorzo:
PLeTs-Test Automation using Software Product Lines and Model Based Testing. SEKE 2010: 483-488
2000 – 2009
- 2009
- [j9]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino Francisco Zorzo:
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. J. Syst. Softw. 82(2): 207-228 (2009) - 2008
- [c18]Karine Peralta, Alex M. S. Orozco, Avelino F. Zorzo, Flavio Oliveira:
Specifying Security Aspects in UML Models. MODSEC@MoDELS 2008 - 2007
- [j8]Felipe Rech Meneguzzi, Avelino Francisco Zorzo, Michael da Costa Móra, Michael Luck:
Incorporating Planning into BDI Systems. Scalable Comput. Pract. Exp. 8(1) (2007) - 2006
- [j7]Rafael Chanin, Mônica Corrêa, Paulo Fernandes, Afonso Sales, Roque Scheer, Avelino F. Zorzo:
Analytical Modeling for Operating System Schedulers on NUMA Systems. Electron. Notes Theor. Comput. Sci. 151(3): 131-149 (2006) - [c17]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo:
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394 - [c16]Mônica Corrêa, Avelino Francisco Zorzo, Roque Scheer:
Operating system multilevel load balancing. SAC 2006: 1467-1471 - 2005
- [c15]Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve:
Third Workshop on Theses and Dissertations on Dependable Computing. LADC 2005: 261 - [c14]Avelino F. Zorzo, Felipe Rech Meneguzzi:
An agent model for fault-tolerant systems. SAC 2005: 60-65 - 2004
- [c13]Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C. Móra:
Mapping Mental States into Propositional Planning. AAMAS 2004: 1514-1515 - [c12]Anete Persch Espindola, Karin Becker, Avelino F. Zorzo:
An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development. HICSS 2004 - [c11]Daniel O. Bortolas, Avelino F. Zorzo, Eduardo A. Bezerra, Flávio Moreira de Oliveira:
Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study. ISCIS 2004: 917-926 - [c10]Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo:
Structured Stochastic Modeling of Fault-Tolerant Systems. MASCOTS 2004: 139-146 - [c9]Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra:
Propositional planning in BDI agents. SAC 2004: 58-63 - 2003
- [c8]Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo:
Structuring Integrated Web Applications for Fault Tolerance. ISADS 2003: 99-106 - [c7]Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto:
Second Workshop on Theses and Dissertations in Dependable Computing. LADC 2003: 363 - [c6]Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky:
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS 2003: 288-295 - 2002
- [j6]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke:
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51(2): 164-179 (2002) - [c5]Lillian N. Cassel, Gordon Davies, Deepak Kumar, Ralf Denzer, A. E. N. Hacquebard, Richard J. LeBlanc, Luiz Ernesto Merkle, Fred Mulder, Zeljko Panian, Ricardo Augusto da Luz Reis, Eric Roberts, Paolo Rocchi, Maarten van Veen, Avelino F. Zorzo:
Computing: The Shape of an Evolving Discipline. Informatics Curricula and Teaching Methods 2002: 131-138 - 2001
- [j5]Alexander B. Romanovsky, Avelino F. Zorzo:
A distributed coordinated atomic action scheme. Comput. Syst. Sci. Eng. 16(4): 237-247 (2001)
1990 – 1999
- 1999
- [b1]Avelino Francisco Zorzo:
Multiparty interactions in dependable distributed systems. Newcastle University, Newcastle upon Tyne, UK, 1999 - [j4]Alexander B. Romanovsky, Avelino Francisco Zorzo:
Coordinated atomic actions as a technique for implementing distributed gamma computation. J. Syst. Archit. 45(15): 1357-1374 (1999) - [j3]Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch:
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw. Pract. Exp. 29(8): 677-697 (1999) - [c4]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke:
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS 1999: 68-75 - [c3]Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo:
Formal Development and Validation of Java Dependable Distributed Systems. ICECCS 1999: 98-108 - [c2]Avelino F. Zorzo, Robert J. Stroud:
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. OOPSLA 1999: 435-446 - [c1]Avelino Francisco Zorzo:
Dependable Multiparty Interactions: A Case Study. TOOLS (29) 1999: 319-328 - 1997
- [j2]Alexander B. Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo:
Implementation of blocking coordinated atomic actions based on forward error recovery. J. Syst. Archit. 43(10): 687-699 (1997) - [j1]Alexander B. Romanovsky, Avelino F. Zorzo:
On Distribution of Coordinated Atomic Actions. ACM SIGOPS Oper. Syst. Rev. 31(4): 63-71 (1997)
Coauthor Index
Maicon Bernardino
aka: Maicon Bernardino da Silveira
aka: Maicon Bernardino da Silveira
Regio A. Michelin
aka: Regio Antonio Michelin
aka: Regio Antonio Michelin
Charles V. Neu
aka: Charles Varlei Neu
aka: Charles Varlei Neu
Elder de M. Rodrigues
aka: Elder Macedo Rodrigues
aka: Elder Macedo Rodrigues
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-18 23:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
