Ambiente de Apoio ao Teste Estrutural de Programas. - Ana Maria de Alencar Price; Avelino Francisco Zorzo (SBES, 1990)

Implementation of blocking coordinated atomic actions based on forward error recovery. - Alexander B. Romanovsky; Brian Randell; Robert J. Stroud; Jie Xu 007; Avelino Francisco Zorzo (J. Syst. Archit., 1997)

On Distribution of Coordinated Atomic Actions. - Alexander B. Romanovsky; Avelino F. Zorzo (ACM SIGOPS Oper. Syst. Rev., 1997)

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (FTCS, 1999)

Formal Development and Validation of Java Dependable Distributed Systems. - Giovanna Di Marzo Serugendo; Nicolas Guelfi; Alexander B. Romanovsky; Avelino F. Zorzo (ICECCS, 1999)

A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. - Avelino F. Zorzo; Robert J. Stroud (OOPSLA, 1999)

Dependable Multiparty Interactions: A Case Study. - Avelino Francisco Zorzo (TOOLS (29), 1999)

Coordinated atomic actions as a technique for implementing distributed gamma computation. - Alexander B. Romanovsky; Avelino Francisco Zorzo (J. Syst. Archit., 1999)

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. - Avelino F. Zorzo; Alexander B. Romanovsky; Jie Xu 007; Brian Randell; Robert J. Stroud; Ian Welch (Softw. Pract. Exp., 1999)

Multiparty interactions in dependable distributed systems. - Avelino Francisco Zorzo (1999)

A distributed coordinated atomic action scheme. - Alexander B. Romanovsky; Avelino F. Zorzo (Comput. Syst. Sci. Eng., 2001)

Computing: The Shape of an Evolving Discipline. - Lillian N. Cassel; Gordon Davies; Deepak Kumar 002; Ralf Denzer; A. E. N. Hacquebard; Richard J. LeBlanc; Luiz Ernesto Merkle; Fred Mulder; Zeljko Panian; Ricardo Augusto da Luz Reis; Eric Roberts 001; Paolo Rocchi; et al. (Informatics Curricula and Teaching Methods, 2002)

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (IEEE Trans. Computers, 2002)

Structuring Integrated Web Applications for Fault Tolerance. - Alexander B. Romanovsky; Panos Periorellis; Avelino F. Zorzo (ISADS, 2003)

Second Workshop on Theses and Dissertations in Dependable Computing. - Avelino F. Zorzo; Francisco V. Brasileiro; Ingrid Jansch-Pôrto (LADC, 2003)

Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. - Avelino F. Zorzo; Panayiotis Periorellis; Alexander B. Romanovsky (WORDS, 2003)

Mapping Mental States into Propositional Planning. - Felipe Rech Meneguzzi; Avelino F. Zorzo; Michael C. Móra (AAMAS, 2004)

An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development. - Anete Persch Espindola; Karin Becker; Avelino F. Zorzo (HICSS, 2004)

Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study. - Daniel O. Bortolas; Avelino F. Zorzo; Eduardo A. Bezerra; Flávio Moreira de Oliveira (ISCIS, 2004)

Structured Stochastic Modeling of Fault-Tolerant Systems. - Cristiano Bertolini; Leonardo Brenner; Paulo Fernandes 001; Afonso Sales; Avelino F. Zorzo (MASCOTS, 2004)

Propositional planning in BDI agents. - Felipe Rech Meneguzzi; Avelino F. Zorzo; Michael da Costa Móra (SAC, 2004)

Third Workshop on Theses and Dissertations on Dependable Computing. - Avelino F. Zorzo; Ingrid Jansch-Pôrto; Fabíola Gonçalves Pereira Greve (LADC, 2005)

An agent model for fault-tolerant systems. - Avelino F. Zorzo; Felipe Rech Meneguzzi (SAC, 2005)

Analytical Modeling for Operating System Schedulers on NUMA Systems. - Rafael Chanin; Mônica Corrêa; Paulo Fernandes 001; Afonso Sales; Roque Scheer; Avelino F. Zorzo (PASM@FM, 2005)

CAA-DRIP: a framework for implementing Coordinated Atomic Actions. - Alfredo Capozucca; Nicolas Guelfi; Patrizio Pelliccione; Alexander B. Romanovsky; Avelino F. Zorzo (ISSRE, 2006)

Operating system multilevel load balancing. - Mônica Corrêa; Avelino Francisco Zorzo; Roque Scheer (SAC, 2006)

Incorporating Planning into BDI Systems. - Felipe Rech Meneguzzi; Avelino Francisco Zorzo; Michael da Costa Móra; Michael Luck (Scalable Comput. Pract. Exp., 2007)

Specifying Security Aspects in UML Models. - Karine Peralta; Alex M. S. Orozco; Avelino F. Zorzo; Flávio Moreira de Oliveira (MODSEC@MoDELS, 2008)

Derivação de Casos de Testes Funcionais: uma Abordagem Baseada em Modelos UML. - Alex M. S. Orozco; Kleinner S. F. Oliveira; Flávio M. de Oliveira; Avelino F. Zorzo (SBSI, 2009)

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. - Alfredo Capozucca; Nicolas Guelfi; Patrizio Pelliccione; Alexander B. Romanovsky; Avelino Francisco Zorzo (J. Syst. Softw., 2009)

PLeTs-Test Automation using Software Product Lines and Model Based Testing. - Elder de Macedo Rodrigues; Leonardo D. Viccari; Avelino F. Zorzo (SEKE, 2010)

Evaluating Load Generation in Virtualized Environments for Software Performance Testing. - Marco Aurélio Stelmar Netto; Suzane Menon; Hugo V. Vieira; Leandro T. Costa; Flávio Moreira de Oliveira; Rodrigo S. Saad; Avelino F. Zorzo (IPDPS Workshops, 2011)

Generation of Scripts for Performance Testing Based on UML Models. - Maicon Bernardino da Silveira; Elder M. Rodrigues; Avelino F. Zorzo; Leandro T. Costa; Hugo V. Vieira; Flávio Moreira de Oliveira (SEKE, 2011)

Stochastic Model for QoS Assessment in Multi-tier Web Services. - Ricardo M. Czekster; Paulo Fernandes 001; Afonso Sales; Thais Webber; Avelino F. Zorzo (PASM@ICPE, 2011)

Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models. - Leandro T. Costa; Ricardo M. Czekster; Flávio Moreira de Oliveira; Elder M. Rodrigues; Maicon Bernardino da Silveira; Avelino F. Zorzo (SEKE, 2012)

PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines. - Elder M. Rodrigues; Avelino F. Zorzo; Edson A. Oliveira Junior; Itana Maria de Souza Gimenes; José Carlos Maldonado; Anderson R. P. Domingues (SEKE, 2012)

An Industrial Experience on using Models to Test Web Service-Oriented Applications. - André Takeshi Endo; Maicon Bernardino; Elder Macedo Rodrigues; Adenilso da Silva Simão; Flávio Moreira de Oliveira; Avelino F. Zorzo; Rodrigo S. Saad (iiWAS, 2013)

Evaluating capture and replay and model-based performance testing tools: an empirical comparison. - Elder M. Rodrigues; Rodrigo S. Saad; Flávio Moreira de Oliveira; Leandro T. Costa; Maicon Bernardino; Avelino F. Zorzo (ESEM, 2014)

Mitigating DoS to authenticated cloud REST APIs. - Regio A. Michelin; Avelino F. Zorzo; César A. F. De Rose (ICITST, 2014)

PLeTs - Uma Linha de Produto de Ferramentas de Teste Baseado em Modelos. - Elder de Macedo Rodrigues; Avelino Francisco Zorzo (SBQS, 2014)

On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment. - Elder Rodrigues 001; Leonardo Teixeira Passos; Leopoldo Teixeira; Avelino F. Zorzo; Flávio Moreira de Oliveira; Rodrigo S. Saad (SEKE, 2014)

PLeTsPerf - A Model-Based Performance Testing Tool. - Elder Rodrigues 001; Maicon Bernardino; Leandro T. Costa; Avelino Francisco Zorzo; Flávio Moreira de Oliveira (ICST, 2015)

Architectural Evolution of a Software Product Line: an experience report. - Marcelo Schmitt Laser; Elder Macedo Rodrigues; Anderson R. P. Domingues; Flávio Moreira de Oliveira; Avelino F. Zorzo (SEKE, 2015)

An empirical comparison of model-based and capture and replay approaches for performance testing. - Elder Macedo Rodrigues; Flávio Moreira de Oliveira; Leandro T. Costa; Maicon Bernardino; Avelino Francisco Zorzo; Simone do Rócio Senger de Souza; Rodrigo S. Saad (Empir. Softw. Eng., 2015)

Research Notes on the Architectural Evolution of a Software Product Line. - Marcelo Schmitt Laser; Elder Macedo Rodrigues; Anderson R. P. Domingues; Flávio Moreira de Oliveira; Avelino F. Zorzo (Int. J. Softw. Eng. Knowl. Eng., 2015)

Efficient routing table minimization for fault-tolerant irregular Network-on-Chip. - Rafael Goncalves Mota; Jarbas Silveira; Jardel Silveira; Lucas Brahm; Avelino F. Zorzo; Filipo Novo Mór; César A. M. Marcon (ICECS, 2016)

Towards an SDLC for Projects Involving Distributed Systems. - Rodrigo Augusto dos Santos; Avelino F. Zorzo; Sabrina Marczak (ICEIS (1), 2016)

Smartphone as a biometric service for web authentication. - Regio A. Michelin; Avelino F. Zorzo; Marcia B. Campos; Charles V. Neu; Alex M. S. Orozco (ICITST, 2016)

An approach for detecting encrypted insider attacks on OpenFlow SDN Networks. - Charles V. Neu; Avelino F. Zorzo; Alex M. S. Orozco; Regio A. Michelin (ICITST, 2016)

Security analysis of forwarding strategies in network time measurements using Openflow. - Alex M. S. Orozco; Charles V. Neu; Regio A. Michelin; Avelino F. Zorzo (ICITST, 2016)

Canopus: A Domain-Specific Language for Modeling Performance Testing. - Maicon Bernardino; Avelino F. Zorzo; Elder M. Rodrigues (ICST, 2016)

Performance testing modeling: an empirical evaluation of DSL and UML-based approaches. - Maicon Bernardino; Elder M. Rodrigues; Avelino F. Zorzo (SAC, 2016)

Deleting Secret Data with Public Verifiability. - Feng Hao 001; Dylan Clarke; Avelino Francisco Zorzo (IEEE Trans. Dependable Secur. Comput., 2016)

A Decentralised Approach to Task Allocation Using Blockchain. - Túlio L. Baségio; Regio A. Michelin; Avelino F. Zorzo; Rafael H. Bordini (EMAS@AAMAS, 2017)

Usability Evaluation of Domain-Specific Languages: A Systematic Literature Review. - Ildevana Poltronieri Rodrigues; Márcia de Borba Campos; Avelino F. Zorzo (HCI (1), 2017)

Canopus: A Domain-Specific Modeling Language for Performance Testing. - Maicon Bernardino; Avelino Francisco Zorzo (SBQS, 2017)

Uma Proposta de Boas Práticas para Aplicação de Teste Baseado em Modelos em Métodos Ágeis. - Aline Zanin; Avelino Francisco Zorzo; Elder de Macedo Rodrigues (SBQS, 2017)

Systematic mapping study on MBT: tools and models. - Maicon Bernardino; Elder M. Rodrigues; Avelino F. Zorzo; Luciano Marchezan (IET Softw., 2017)

Overview and open issues on penetration test. - Daniel Dalalana Bertoglio; Avelino Francisco Zorzo (J. Braz. Comput. Soc., 2017)

Dependable IoT Using Blockchain-Based Technology. - Avelino F. Zorzo; Henry C. Nunes; Roben Castagna Lunardi; Regio A. Michelin; Salil S. Kanhere (LADC, 2018)

SpeedyChain: A framework for decoupling data from blockchain for smart cities. - Regio A. Michelin; Ali Dorri; Marco Steger; Roben Castagna Lunardi; Salil S. Kanhere; Raja Jurdak; Avelino F. Zorzo (MobiQuitous, 2018)

Distributed access control on IoT ledger-based architecture. - Roben Castagna Lunardi; Regio Antonio Michelin; Charles Varlei Neu; Avelino Francisco Zorzo (NOMS, 2018)

Lightweight IPS for port scan in OpenFlow SDN networks. - Charles V. Neu; Cassio G. Tatsch; Roben Castagna Lunardi; Regio A. Michelin; Alex M. S. Orozco; Avelino F. Zorzo (NOMS, 2018)

Usa-DSL: usability evaluation framework for domain-specific languages. - Ildevana Poltronieri Rodrigues; Avelino Francisco Zorzo; Maicon Bernardino; Márcia de Borba Campos (SAC, 2018)

Simulating and Detecting Attacks of Untrusted Clients in OPC UA Networks. - Charles Varlei Neu; Ina Schiering; Avelino F. Zorzo (CECC, 2019)

Impact of consensus on appendable-block blockchain for IoT. - Roben Castagna Lunardi; Regio A. Michelin; Charles V. Neu; Henry C. Nunes; Avelino F. Zorzo; Salil S. Kanhere (MobiQuitous, 2019)

Non-Volatile Memory File Systems: A Survey. - Gianlucca Oliveira Puglia; Avelino Francisco Zorzo; César A. F. De Rose; Taciano Perez; Dejan S. Milojicic (IEEE Access, 2019)

Performance and Cost Evaluation of Smart Contracts in Collaborative Health Care Environments. - Roben Castagna Lunardi; Henry Cabral Nunes; Vinicius da Silva Branco; Bruno Hugentobler Lipper; Charles Varlei Neu; Avelino Francisco Zorzo (CoRR, 2019)

Pentest on an Internet Mobile App: A Case Study using Tramonto. - Daniel Dalalana Bertoglio; Guilherme Girotto; Charles Varlei Neu; Roben Castagna Lunardi; Avelino Francisco Zorzo (CoRR, 2019)

Impact of consensus on appendable-block blockchain for IoT. - Roben Castagna Lunardi; Regio A. Michelin; Charles V. Neu; Avelino F. Zorzo; Salil S. Kanhere (CoRR, 2019)

Appendable-block Blockchain Evaluation over Geographically-Distributed IoT Networks. - Eduardo H. P. de Arruda; Roben Castagna Lunardi; Henry C. Nunes; Avelino F. Zorzo; Regio A. Michelin (BlackSeaCom, 2020)

Context-based consensus for appendable-block blockchains. - Roben Castagna Lunardi; Maher Alharby; Henry C. Nunes; Avelino F. Zorzo; Changyu Dong; Aad van Moorsel (Blockchain, 2020)

Empirical Study on Product Configuration and Traceability in UML-based Product-Lines. - Thais S. Nepomuceno; Edson OliveiraJr; Raqueline R. M. Penteado; Marco Aurélio Graciotto Silva; Avelino F. Zorzo (CIbSE, 2020)

Model-Based Testing in Agile Projects: An Approach Based on Domain-Specific Languages. - Aline Zanin; Avelino Francisco Zorzo; Henry Cabral Nunes (CIbSE, 2020)

A Journey in Applying Blockchain for Cyberphysical Systems. - Volkan Dedeoglu; Ali Dorri; Raja Jurdak; Regio A. Michelin; Roben Castagna Lunardi; Salil S. Kanhere; Avelino F. Zorzo (COMSNETS, 2020)

Context-based Smart Contracts For Appendable-block Blockchains. - Henry C. Nunes; Roben Castagna Lunardi; Avelino F. Zorzo; Regio A. Michelin; Salil S. Kanhere (IEEE ICBC, 2020)

Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines. - Leandro Flores da Silva; Edson OliveiraJr; Avelino F. Zorzo (ICEIS (2), 2020)

Robin: A Web Security Tool. - Guilherme Girotto; Avelino Francisco Zorzo (CoRR, 2020)

Towards a conceptual model for promoting digital forensics experiments. - Edson OliveiraJr; Avelino F. Zorzo; Charles Varlei Neu (Digit. Investig., 2020)

Model-based testing of software product lines: Mapping study and research roadmap. - Kleber L. Petry; Edson OliveiraJr; Avelino F. Zorzo (J. Syst. Softw., 2020)

Resource Sharing and Security Implications on Machine Learning Inference Accelerators. - Plínio Silveira; César Augusto Fonticielha De Rose; Avelino Francisco Zorzo; Miguel Gomes Xavier; Dejan S. Milojicic; Sai Rahul Chalamalasetti; Sergey Serebryakov (COMPSAC, 2021)

Is Usability Evaluation of DSL Still a Trending Topic? - Ildevana Poltronieri Rodrigues; Allan Christopher Pedroso; Avelino Francisco Zorzo; Maicon Bernardino; Márcia de Borba Campos (HCI (1), 2021)

Heuristic Evaluation Checklist for Domain-specific Languages. - Ildevana Poltronieri Rodrigues; Avelino Francisco Zorzo; Maicon Bernardino; Bruno Medeiros; Márcia de Borba Campos (VISIGRAPP (2: HUCAPP), 2021)

SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences. - Kleber L. Petry; Edson OliveiraJr; Leandro T. Costa; Aline Zanin; Avelino F. Zorzo (ICEIS (2), 2021)

Towards Improving Experimentation in Software Engineering. - Edson Oliveira Jr.; Viviane R. Furtado; Henrique Vignando; Carlos Danilo Luz; André F. R. Cordeiro; Igor Steinmacher; Avelino F. Zorzo (SBES, 2021)

Computação: O vetor de transformação da sociedade. - Avelino Francisco Zorzo; André Luís Alice Raabe; Christian Brackmann (CoRR, 2021)

Exception Handling on Multiparty Interactions. - Brian Randell; Avelino Francisco Zorzo (CoRR, 2021)

Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo (CoRR, 2021)

Understanding the Penetration Test Workflow: a security test with Tramonto in an e-Government application. - Daniel Dalalana Bertoglio; Luis G. B. Schüler; Avelino F. Zorzo; Roben Castagna Lunardi (TrustCom, 2022)

Consensus Algorithms on Appendable-Block Blockchains: Impact and Security Analysis. - Roben Castagna Lunardi; Regio A. Michelin; Henry C. Nunes; Charles V. Neu; Avelino F. Zorzo; Salil S. Kanhere (Mob. Networks Appl., 2022)

Model-Based Testing of Software Product Lines. - Kleber Lopes Petry; Edson OliveiraJr; Leandro Teodoro Costa; Aline Zanin; Avelino Francisco Zorzo (UML-Based Software Product Line Engineering with SMarty, 2023)

PlugSPL: An Environment to Support SPL Life Cycle. - Elder M. Rodrigues; Avelino F. Zorzo (UML-Based Software Product Line Engineering with SMarty, 2023)

PLeTs: A Software Product Line for Testing Tools. - Elder M. Rodrigues; Avelino F. Zorzo; Luciano Marchezan (UML-Based Software Product Line Engineering with SMarty, 2023)

Impact of Using a Privacy Model on Smart Buildings Data for CO2 Prediction. - Marlon P. da Silva; Henry C. Nunes; Charles V. Neu; Luana T. Thomas; Avelino F. Zorzo; Charles Morisset (DBSec, 2023)

Data Management in Appendable-Block Blockchains: A Case Study for IT Life-Cycle Management. - Rodrigo W. Silveira; Roben Castagna Lunardi; Avelino F. Zorzo (MobiQuitous (1), 2023)

Impact of using a privacy model on smart buildings data for CO2 prediction. - Marlon P. da Silva; Henry C. Nunes; Charles V. Neu; Luana T. Thomas; Avelino F. Zorzo; Charles Morisset (CoRR, 2023)

Towards new challenges of modern Pentest. - Daniel Dalalana Bertoglio; Arthur Gil; Juan Acosta; Julia Godoy; Roben Castagna Lunardi; Avelino Francisco Zorzo (CoRR, 2023)

Machine Learning for Forensic Occupancy Detection in IoT Environments. - Guilherme Dall'Agnol Deconto; Avelino Francisco Zorzo; Daniel Dalalana Bertoglio; Edson Oliveira 002; Roben Castagna Lunardi (WorldCIST (1), 2024)

Shadow Blade: A tool to interact with attack vectors. - Ariel R. Ril; Daniel Dalalana Bertoglio; Avelino F. Zorzo (CoRR, 2024)

A proposal to increase data utility on Global Differential Privacy data based on data use predictions. - Henry C. Nunes; Marlon P. da Silva; Charles V. Neu; Avelino F. Zorzo (CoRR, 2024)

Usa-DSL: a Process for Usability Evaluation of Domain-Specific Languages. - Ildevana Poltronieri; Avelino Francisco Zorzo; Maicon Bernardino; Edson OliveiraJr (J. Univers. Comput. Sci., 2024)

Computing Everywhere, for Everyone, at Any Level. - Avelino F. Zorzo; Cláudia L. R. Motta; Leila Ribeiro 001; Lisandro Z. Granville (Commun. ACM, 2024)

An ontology for promoting controlled experimentation in digital forensics. - Thiago José da Silva; Ana H. B. Mazur; Edson OliveiraJr; Avelino F. Zorzo; Monalessa P. Barcellos (Forensic Sci. Int. Digit. Investig., 2025)

A review study of digital forensics in IoT: Process models, phases, architectures, and ontologies. - Thiago José da Silva; Edson OliveiraJr; Maximiano Eduardo Pereira; Avelino F. Zorzo (Forensic Sci. Int. Digit. Investig., 2025)