Avelino F. Zorzo

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 36

Top Topics

Security Analysis

Top Venues

Publications

Ariel R. Ril, Daniel Dalalana Bertoglio, Avelino F. Zorzo
Shadow Blade: A tool to interact with attack vectors. CoRR (2024)
Avelino F. Zorzo, Claudia L. R. Da Motta, Leila Ribeiro, Lisandro Z. Granville
Computing Everywhere, for Everyone, at Any Level. Commun. ACM 67 (8) (2024)
Henry C. Nunes, Marlon P. da Silva, Charles V. Neu, Avelino F. Zorzo
A proposal to increase data utility on Global Differential Privacy data based on data use predictions. CoRR (2024)
Marlon P. da Silva, Henry C. Nunes, Charles V. Neu, Luana T. Thomas, Avelino F. Zorzo, Charles Morisset
Impact of using a privacy model on smart buildings data for CO2 prediction. CoRR (2023)
Marlon P. da Silva, Henry C. Nunes, Charles V. Neu, Luana T. Thomas, Avelino F. Zorzo, Charles Morisset
Prediction. DBSec (2023)
Daniel Dalalana Bertoglio, Luis G. B. Schüler, Avelino F. Zorzo, Roben Castagna Lunardi
Understanding the Penetration Test Workflow: a security test with Tramonto in an e-Government application. TrustCom (2022)
Roben Castagna Lunardi, Regio A. Michelin, Henry C. Nunes, Charles V. Neu, Avelino F. Zorzo, Salil S. Kanhere
Consensus Algorithms on Appendable-Block Blockchains: Impact and Security Analysis. Mob. Networks Appl. 27 (4) (2022)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR (2021)
Kleber L. Petry, Edson OliveiraJr, Leandro T. Costa, Aline Zanin, Avelino F. Zorzo
SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences. ICEIS (2) (2021)
Edson Oliveira Jr., Viviane R. Furtado, Henrique Vignando, Carlos Luz, Andre F. R. Cordeiro, Igor Steinmacher, Avelino F. Zorzo
Towards Improving Experimentation in Software Engineering. SBES (2021)
Edson OliveiraJr, Avelino F. Zorzo, Charles Varlei Neu
Towards a conceptual model for promoting digital forensics experiments. Digit. Investig. 35 (2020)
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)
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)
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)
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)
Kleber L. Petry, Edson OliveiraJr, Avelino F. Zorzo
Model-based testing of software product lines: Mapping study and research roadmap. J. Syst. Softw. 167 (2020)
Leandro F. Silva, Edson OliveiraJr, Avelino F. Zorzo
Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines. ICEIS (2) (2020)
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)
Charles Varlei Neu, Ina Schiering, Avelino F. Zorzo
Simulating and Detecting Attacks of Untrusted Clients in OPC UA Networks. CECC (2019)
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 (2019)
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 (2019)
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)
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 (2018)
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)
Avelino F. Zorzo, Henry C. Nunes, Roben Castagna Lunardi, Regio A. Michelin, Salil S. Kanhere
Dependable IoT Using Blockchain-Based Technology. LADC (2018)
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)
Maicon Bernardino, Elder M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan
Systematic mapping study on MBT: tools and models. IET Softw. 11 (4) (2017)
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)
Ildevana Poltronieri Rodrigues, Márcia de Borba Campos, Avelino F. Zorzo
Usability Evaluation of Domain-Specific Languages: A Systematic Literature Review. HCI (1) (2017)
Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues
Canopus: A Domain-Specific Language for Modeling Performance Testing. ICST (2016)
Rodrigo Augusto dos Santos, Avelino F. Zorzo, Sabrina Marczak
Towards an SDLC for Projects Involving Distributed Systems. ICEIS (1) (2016)
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)
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)
Maicon Bernardino, Elder M. Rodrigues, Avelino F. Zorzo
Performance testing modeling: an empirical evaluation of DSL and UML-based approaches. SAC (2016)
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)
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)
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)
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) (2015)
Regio A. Michelin, Avelino F. Zorzo, César A. F. De Rose
Mitigating DoS to authenticated cloud REST APIs. ICITST (2014)
Elder 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)
Elder M. 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)
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)
Elder 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)
Leandro T. Costa, Ricardo M. Czekster, Flávio Moreira de Oliveira, Elder M. Rodrigues, Maicon Bernardino da Silveira, Avelino F. Zorzo
Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models. SEKE (2012)
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 (2011)
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)
Maicon Bernardino da Silveira, Elder 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)
Elder de Macedo Rodrigues, Leonardo D. Viccari, Avelino F. Zorzo
PLeTs-Test Automation using Software Product Lines and Model Based Testing. SEKE (2010)
Alex M. S. Orozco, Kleinner S. F. Oliveira, Flávio M. de Oliveira, Avelino F. Zorzo
Derivação de Casos de Testes Funcionais: uma Abordagem Baseada em Modelos UML. SBSI (2009)
Karine Peralta, Alex M. S. Orozco, Avelino F. Zorzo, Flávio Moreira de Oliveira
Specifying Security Aspects in UML Models. MODSEC@MoDELS (2008)
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) (2006)
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE (2006)
Avelino F. Zorzo, Felipe Rech Meneguzzi
An agent model for fault-tolerant systems. SAC (2005)
Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve
Third Workshop on Theses and Dissertations on Dependable Computing. LADC (2005)
Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra
Propositional planning in BDI agents. SAC (2004)
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)
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)
Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo
Structured Stochastic Modeling of Fault-Tolerant Systems. MASCOTS (2004)
Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C. Móra
Mapping Mental States into Propositional Planning. AAMAS (2004)
Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto
Second Workshop on Theses and Dissertations in Dependable Computing. LADC (2003)
Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS (2003)
Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo
Structuring Integrated Web Applications for Fault Tolerance. ISADS (2003)
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) (2002)
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)
Alexander B. Romanovsky, Avelino F. Zorzo
A distributed coordinated atomic action scheme. Comput. Syst. Sci. Eng. 16 (4) (2001)
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)
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) (1999)
Avelino F. Zorzo, Robert J. Stroud
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. OOPSLA (1999)
Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo
Formal Development and Validation of Java Dependable Distributed Systems. ICECCS (1999)
Alexander B. Romanovsky, Avelino F. Zorzo
On Distribution of Coordinated Atomic Actions. ACM SIGOPS Oper. Syst. Rev. 31 (4) (1997)