Avelino F. Zorzo

75 papers A 5B 5C 10Misc 4Journal 19Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A review study of digital forensics in IoT: Process models, phases, architectures, and ontologies. Forensic Sci. Int. Digit. Investig. Thiago José da Silva, Edson OliveiraJr, Maximiano Eduardo Pereira, Avelino F. Zorzo
2025	J	`jnl`	An ontology for promoting controlled experimentation in digital forensics. Forensic Sci. Int. Digit. Investig. Thiago José da Silva, Ana H. B. Mazur, Edson OliveiraJr, Avelino F. Zorzo, Monalessa P. Barcellos
2024	J	`jnl`	A proposal to increase data utility on Global Differential Privacy data based on data use predictions. CoRR Henry C. Nunes, Marlon P. da Silva, Charles V. Neu, Avelino F. Zorzo
2024	J	`jnl`	Computing Everywhere, for Everyone, at Any Level. Commun. ACM Avelino F. Zorzo, Cláudia L. R. Motta, Leila Ribeiro, Lisandro Z. Granville
2024	J	`jnl`	Shadow Blade: A tool to interact with attack vectors. CoRR Ariel R. Ril, Daniel Dalalana Bertoglio, Avelino F. Zorzo
2023	—	`conf`	Data Management in Appendable-Block Blockchains: A Case Study for IT Life-Cycle Management. MobiQuitous (1) Rodrigo W. Silveira, Roben Castagna Lunardi, Avelino F. Zorzo
2023	B	`conf`	Impact of Using a Privacy Model on Smart Buildings Data for CO DBSec Marlon P. da Silva, Henry C. Nunes, Charles V. Neu, Luana T. Thomas, Avelino F. Zorzo, Charles Morisset
2023	J	`jnl`	Impact of using a privacy model on smart buildings data for CO2 prediction. CoRR Marlon P. da Silva, Henry C. Nunes, Charles V. Neu, Luana T. Thomas, Avelino F. Zorzo, Charles Morisset
2023	—	`ch.`	PLeTs: A Software Product Line for Testing Tools. UML-Based Software Product Line Engineering with SMarty Elder M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan
2023	—	`ch.`	PlugSPL: An Environment to Support SPL Life Cycle. UML-Based Software Product Line Engineering with SMarty Elder M. Rodrigues, Avelino F. Zorzo
2022	J	`jnl`	Consensus Algorithms on Appendable-Block Blockchains: Impact and Security Analysis. Mob. Networks Appl. Roben Castagna Lunardi, Regio A. Michelin, Henry C. Nunes, Charles V. Neu, Avelino F. Zorzo, Salil S. Kanhere
2022	B	`conf`	Understanding the Penetration Test Workflow: a security test with Tramonto in an e-Government application. TrustCom Daniel Dalalana Bertoglio, Luis G. B. Schüler, Avelino F. Zorzo, Roben Castagna Lunardi
2021	—	`conf`	SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences. ICEIS (2) Kleber L. Petry, Edson OliveiraJr, Leandro T. Costa, Aline Zanin, Avelino F. Zorzo
2021	J	`jnl`	Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
2021	—	`conf`	Towards Improving Experimentation in Software Engineering. SBES Edson Oliveira Jr., Viviane R. Furtado, Henrique Vignando, Carlos Danilo Luz, André F. R. Cordeiro, Igor Steinmacher, Avelino F. Zorzo
2020	Misc	`conf`	A Journey in Applying Blockchain for Cyberphysical Systems. COMSNETS Volkan Dedeoglu, Ali Dorri, Raja Jurdak, Regio A. Michelin, Roben Castagna Lunardi, Salil S. Kanhere, Avelino F. Zorzo
2020	—	`conf`	Appendable-block Blockchain Evaluation over Geographically-Distributed IoT Networks. BlackSeaCom Eduardo H. P. de Arruda, Roben Castagna Lunardi, Henry C. Nunes, Avelino F. Zorzo, Regio A. Michelin
2020	—	`conf`	Context-based Smart Contracts For Appendable-block Blockchains. IEEE ICBC Henry C. Nunes, Roben Castagna Lunardi, Avelino F. Zorzo, Regio A. Michelin, Salil S. Kanhere
2020	—	`conf`	Context-based consensus for appendable-block blockchains. Blockchain Roben Castagna Lunardi, Maher Alharby, Henry C. Nunes, Avelino F. Zorzo, Changyu Dong, Aad van Moorsel
2020	—	`conf`	Empirical Study on Product Configuration and Traceability in UML-based Product-Lines. CIbSE Thais S. Nepomuceno, Edson OliveiraJr, Raqueline R. M. Penteado, Marco Aurélio Graciotto Silva, Avelino F. Zorzo
2020	—	`conf`	Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines. ICEIS (2) Leandro Flores da Silva, Edson OliveiraJr, Avelino F. Zorzo
2020	J	`jnl`	Model-based testing of software product lines: Mapping study and research roadmap. J. Syst. Softw. Kleber L. Petry, Edson OliveiraJr, Avelino F. Zorzo
2020	J	`jnl`	Towards a conceptual model for promoting digital forensics experiments. Digit. Investig. Edson OliveiraJr, Avelino F. Zorzo, Charles Varlei Neu
2019	J	`jnl`	A journey in applying blockchain for cyberphysical systems. CoRR Volkan Dedeoglu, Ali Dorri, Raja Jurdak, Regio A. Michelin, Roben Castagna Lunardi, Salil S. Kanhere, Avelino F. Zorzo
2019	C	`conf`	Impact of consensus on appendable-block blockchain for IoT. MobiQuitous Roben Castagna Lunardi, Regio A. Michelin, Charles V. Neu, Henry C. Nunes, Avelino F. Zorzo, Salil S. Kanhere
2019	J	`jnl`	Impact of consensus on appendable-block blockchain for IoT. CoRR Roben Castagna Lunardi, Regio A. Michelin, Charles V. Neu, Avelino F. Zorzo, Salil S. Kanhere
2019	—	`conf`	Simulating and Detecting Attacks of Untrusted Clients in OPC UA Networks. CECC Charles Varlei Neu, Ina Schiering, Avelino F. Zorzo
2018	—	`conf`	Dependable IoT Using Blockchain-Based Technology. LADC Avelino F. Zorzo, Henry C. Nunes, Roben Castagna Lunardi, Regio A. Michelin, Salil S. Kanhere
2018	B	`conf`	Lightweight IPS for port scan in OpenFlow SDN networks. NOMS Charles V. Neu, Cassio G. Tatsch, Roben Castagna Lunardi, Regio A. Michelin, Alex M. S. Orozco, Avelino F. Zorzo
2018	C	`conf`	SpeedyChain: A framework for decoupling data from blockchain for smart cities. MobiQuitous Regio A. Michelin, Ali Dorri, Marco Steger, Roben Castagna Lunardi, Salil S. Kanhere, Raja Jurdak, Avelino F. Zorzo
2018	J	`jnl`	SpeedyChain: A framework for decoupling data from blockchain for smart cities. CoRR Regio A. Michelin, Ali Dorri, Roben Castagna Lunardi, Marco Steger, Salil S. Kanhere, Raja Jurdak, Avelino F. Zorzo
2017	—	`conf`	A Decentralised Approach to Task Allocation Using Blockchain. EMAS@AAMAS Túlio L. Baségio, Regio A. Michelin, Avelino F. Zorzo, Rafael H. Bordini
2017	J	`jnl`	Systematic mapping study on MBT: tools and models. IET Softw. Maicon Bernardino, Elder M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan
2017	—	`conf`	Usability Evaluation of Domain-Specific Languages: A Systematic Literature Review. HCI (1) Ildevana Poltronieri Rodrigues, Márcia de Borba Campos, Avelino F. Zorzo
2016	—	`conf`	An approach for detecting encrypted insider attacks on OpenFlow SDN Networks. ICITST Charles V. Neu, Avelino F. Zorzo, Alex M. S. Orozco, Regio A. Michelin
2016	A	`conf`	Canopus: A Domain-Specific Language for Modeling Performance Testing. ICST Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues
2016	—	`conf`	Efficient routing table minimization for fault-tolerant irregular Network-on-Chip. ICECS Rafael Goncalves Mota, Jarbas Silveira, Jardel Silveira, Lucas Brahm, Avelino F. Zorzo, Filipo Novo Mór, César A. M. Marcon
2016	Misc	`conf`	Performance testing modeling: an empirical evaluation of DSL and UML-based approaches. SAC Maicon Bernardino, Elder M. Rodrigues, Avelino F. Zorzo
2016	—	`conf`	Security analysis of forwarding strategies in network time measurements using Openflow. ICITST Alex M. S. Orozco, Charles V. Neu, Regio A. Michelin, Avelino F. Zorzo
2016	—	`conf`	Smartphone as a biometric service for web authentication. ICITST Regio A. Michelin, Avelino F. Zorzo, Marcia B. Campos, Charles V. Neu, Alex M. S. Orozco
2016	—	`conf`	Towards an SDLC for Projects Involving Distributed Systems. ICEIS (1) Rodrigo Augusto dos Santos, Avelino F. Zorzo, Sabrina Marczak
2015	C	`conf`	Architectural Evolution of a Software Product Line: an experience report. SEKE Marcelo Schmitt Laser, Elder Macedo Rodrigues, Anderson R. P. Domingues, Flávio Moreira de Oliveira, Avelino F. Zorzo
2015	J	`jnl`	Research Notes on the Architectural Evolution of a Software Product Line. Int. J. Softw. Eng. Knowl. Eng. Marcelo Schmitt Laser, Elder Macedo Rodrigues, Anderson R. P. Domingues, Flávio Moreira de Oliveira, Avelino F. Zorzo
2014	A	`conf`	Evaluating capture and replay and model-based performance testing tools: an empirical comparison. ESEM Elder M. Rodrigues, Rodrigo S. Saad, Flávio Moreira de Oliveira, Leandro T. Costa, Maicon Bernardino, Avelino F. Zorzo
2014	—	`conf`	Mitigating DoS to authenticated cloud REST APIs. ICITST Regio A. Michelin, Avelino F. Zorzo, César A. F. De Rose
2014	C	`conf`	On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment. SEKE Elder Rodrigues, Leonardo Teixeira Passos, Leopoldo Teixeira, Avelino F. Zorzo, Flávio Moreira de Oliveira, Rodrigo S. Saad
2013	C	`conf`	An Industrial Experience on using Models to Test Web Service-Oriented Applications. iiWAS André Takeshi Endo, Maicon Bernardino, Elder Macedo Rodrigues, Adenilso da Silva Simão, Flávio Moreira de Oliveira, Avelino F. Zorzo, Rodrigo S. Saad
2012	C	`conf`	Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models. SEKE Leandro T. Costa, Ricardo M. Czekster, Flávio Moreira de Oliveira, Elder M. Rodrigues, Maicon Bernardino da Silveira, Avelino F. Zorzo
2012	C	`conf`	PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines. SEKE Elder M. Rodrigues, Avelino F. Zorzo, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado, Anderson R. P. Domingues
2011	—	`conf`	Evaluating Load Generation in Virtualized Environments for Software Performance Testing. IPDPS Workshops Marco Aurélio Stelmar Netto, Suzane Menon, Hugo V. Vieira, Leandro T. Costa, Flávio Moreira de Oliveira, Rodrigo S. Saad, Avelino F. Zorzo
2011	C	`conf`	Generation of Scripts for Performance Testing Based on UML Models. SEKE Maicon Bernardino da Silveira, Elder M. Rodrigues, Avelino F. Zorzo, Leandro T. Costa, Hugo V. Vieira, Flávio Moreira de Oliveira
2011	—	`conf`	Stochastic Model for QoS Assessment in Multi-tier Web Services. PASM@ICPE Ricardo M. Czekster, Paulo Fernandes, Afonso Sales, Thais Webber, Avelino F. Zorzo
2010	C	`conf`	PLeTs-Test Automation using Software Product Lines and Model Based Testing. SEKE Elder de Macedo Rodrigues, Leonardo D. Viccari, Avelino F. Zorzo
2009	—	`conf`	Derivação de Casos de Testes Funcionais: uma Abordagem Baseada em Modelos UML. SBSI Alex M. S. Orozco, Kleinner S. F. Oliveira, Flávio M. de Oliveira, Avelino F. Zorzo
2008	—	`conf`	Specifying Security Aspects in UML Models. MODSEC@MoDELS Karine Peralta, Alex M. S. Orozco, Avelino F. Zorzo, Flávio Moreira de Oliveira
2006	A	`conf`	CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo
2005	Misc	`conf`	An agent model for fault-tolerant systems. SAC Avelino F. Zorzo, Felipe Rech Meneguzzi
2005	—	`conf`	Analytical Modeling for Operating System Schedulers on NUMA Systems. PASM@FM Rafael Chanin, Mônica Corrêa, Paulo Fernandes, Afonso Sales, Roque Scheer, Avelino F. Zorzo
2005	—	`conf`	Third Workshop on Theses and Dissertations on Dependable Computing. LADC Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve
2004	—	`conf`	An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development. HICSS Anete Persch Espindola, Karin Becker, Avelino F. Zorzo
2004	A	`conf`	Mapping Mental States into Propositional Planning. AAMAS Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C. Móra
2004	—	`conf`	Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study. ISCIS Daniel O. Bortolas, Avelino F. Zorzo, Eduardo A. Bezerra, Flávio Moreira de Oliveira
2004	Misc	`conf`	Propositional planning in BDI agents. SAC Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra
2004	B	`conf`	Structured Stochastic Modeling of Fault-Tolerant Systems. MASCOTS Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo
2003	—	`conf`	Second Workshop on Theses and Dissertations in Dependable Computing. LADC Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto
2003	C	`conf`	Structuring Integrated Web Applications for Fault Tolerance. ISADS Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo
2003	—	`conf`	Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky
2002	—	`conf`	Computing: The Shape of an Evolving Discipline. Informatics Curricula and Teaching Methods 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
2002	J	`jnl`	Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
2001	J	`jnl`	A distributed coordinated atomic action scheme. Comput. Syst. Sci. Eng. Alexander B. Romanovsky, Avelino F. Zorzo
1999	A	`conf`	A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. OOPSLA Avelino F. Zorzo, Robert J. Stroud
1999	B	`conf`	Formal Development and Validation of Java Dependable Distributed Systems. ICECCS Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo
1999	—	`conf`	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
1999	J	`jnl`	Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw. Pract. Exp. Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch
1997	J	`jnl`	On Distribution of Coordinated Atomic Actions. ACM SIGOPS Oper. Syst. Rev. Alexander B. Romanovsky, Avelino F. Zorzo