Avelino Francisco Zorzo

Orcid: 0000-0002-0790-6759

Affiliations:
  • Pontifical Catholic University of Rio Grande do Sul, PUCRS, Brazil


According to our database1, Avelino Francisco Zorzo authored at least 98 papers between 1990 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A proposal to increase data utility on Global Differential Privacy data based on data use predictions.
CoRR, 2024

Shadow Blade: A tool to interact with attack vectors.
CoRR, 2024

2023
Towards new challenges of modern Pentest.
CoRR, 2023

Impact of using a privacy model on smart buildings data for CO2 prediction.
CoRR, 2023

Impact of Using a Privacy Model on Smart Buildings Data for CO<sub>2</sub> Prediction.
Proceedings of the Data and Applications Security and Privacy XXXVII, 2023

PLeTs: A Software Product Line for Testing Tools.
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023

PlugSPL: An Environment to Support SPL Life Cycle.
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023

Model-Based Testing of Software Product Lines.
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023

2022
Consensus Algorithms on Appendable-Block Blockchains: Impact and Security Analysis.
Mob. Networks Appl., 2022

Understanding the Penetration Test Workflow: a security test with Tramonto in an e-Government application.
Proceedings of the IEEE International Conference on Trust, 2022

2021
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems.
CoRR, 2021

Exception Handling on Multiparty Interactions.
CoRR, 2021

Computação: O vetor de transformação da sociedade.
CoRR, 2021

Towards Improving Experimentation in Software Engineering.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences.
Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

Heuristic Evaluation Checklist for Domain-specific Languages.
Proceedings of the 16th International Joint Conference on Computer Vision, 2021

Is Usability Evaluation of DSL Still a Trending Topic?
Proceedings of the Human-Computer Interaction. Theory, Methods and Tools, 2021

Resource Sharing and Security Implications on Machine Learning Inference Accelerators.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Model-based testing of software product lines: Mapping study and research roadmap.
J. Syst. Softw., 2020

Towards a conceptual model for promoting digital forensics experiments.
Digit. Investig., 2020

Robin: A Web Security Tool.
CoRR, 2020

Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines.
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

Context-based Smart Contracts For Appendable-block Blockchains.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

A Journey in Applying Blockchain for Cyberphysical Systems.
Proceedings of the 2020 International Conference on COMmunication Systems & NETworkS, 2020

Model-Based Testing in Agile Projects: An Approach Based on Domain-Specific Languages.
Proceedings of the XXIII Iberoamerican Conference on Software Engineering, 2020

Empirical Study on Product Configuration and Traceability in UML-based Product-Lines.
Proceedings of the XXIII Iberoamerican Conference on Software Engineering, 2020

Context-based consensus for appendable-block blockchains.
Proceedings of the IEEE International Conference on Blockchain, 2020

Appendable-block Blockchain Evaluation over Geographically-Distributed IoT Networks.
Proceedings of the IEEE International Black Sea Conference on Communications and Networking, 2020

2019
Impact of consensus on appendable-block blockchain for IoT.
CoRR, 2019

Pentest on an Internet Mobile App: A Case Study using Tramonto.
CoRR, 2019

Performance and Cost Evaluation of Smart Contracts in Collaborative Health Care Environments.
CoRR, 2019

Non-Volatile Memory File Systems: A Survey.
IEEE Access, 2019

Impact of consensus on appendable-block blockchain for IoT.
Proceedings of the MobiQuitous 2019, 2019

Simulating and Detecting Attacks of Untrusted Clients in OPC UA Networks.
Proceedings of the Third Central European Cybersecurity Conference, 2019

2018
Usa-DSL: usability evaluation framework for domain-specific languages.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Lightweight IPS for port scan in OpenFlow SDN networks.
Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Distributed access control on IoT ledger-based architecture.
Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

SpeedyChain: A framework for decoupling data from blockchain for smart cities.
Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018

Dependable IoT Using Blockchain-Based Technology.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

2017
Overview and open issues on penetration test.
J. Braz. Comput. Soc., 2017

Systematic mapping study on MBT: tools and models.
IET Softw., 2017

Uma Proposta de Boas Práticas para Aplicação de Teste Baseado em Modelos em Métodos Ágeis.
Proceedings of the 16th Brazilian Symposium on Software Quality, 2017

Canopus: A Domain-Specific Modeling Language for Performance Testing.
Proceedings of the 16th Brazilian Symposium on Software Quality, 2017

Usability Evaluation of Domain-Specific Languages: A Systematic Literature Review.
Proceedings of the Human-Computer Interaction. User Interface Design, Development and Multimodality, 2017

A Decentralised Approach to Task Allocation Using Blockchain.
Proceedings of the Engineering Multi-Agent Systems - 5th International Workshop, 2017

2016
Performance testing modeling: an empirical evaluation of DSL and UML-based approaches.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Canopus: A Domain-Specific Language for Modeling Performance Testing.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Security analysis of forwarding strategies in network time measurements using Openflow.
Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, 2016

An approach for detecting encrypted insider attacks on OpenFlow SDN Networks.
Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, 2016

Smartphone as a biometric service for web authentication.
Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, 2016

Towards an SDLC for Projects Involving Distributed Systems.
Proceedings of the ICEIS 2016, 2016

Efficient routing table minimization for fault-tolerant irregular Network-on-Chip.
Proceedings of the 2016 IEEE International Conference on Electronics, Circuits and Systems, 2016

2015
Research Notes on the Architectural Evolution of a Software Product Line.
Int. J. Softw. Eng. Knowl. Eng., 2015

An empirical comparison of model-based and capture and replay approaches for performance testing.
Empir. Softw. Eng., 2015

Architectural Evolution of a Software Product Line: an experience report.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

PLeTsPerf - A Model-Based Performance Testing Tool.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014
Deleting Secret Data with Public Verifiability.
IACR Cryptol. ePrint Arch., 2014

On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

PLeTs - Uma Linha de Produto de Ferramentas de Teste Baseado em Modelos.
Proceedings of the 13th Brazilian Symposium on Software Quality, 2014

Mitigating DoS to authenticated cloud REST APIs.
Proceedings of the 9th International Conference for Internet Technology and Secured Transactions, 2014

Evaluating capture and replay and model-based performance testing tools: an empirical comparison.
Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

2013
An Industrial Experience on using Models to Test Web Service-Oriented Applications.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

2012
PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2011
Stochastic Model for QoS Assessment in Multi-tier Web Services.
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

Generation of Scripts for Performance Testing Based on UML Models.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Evaluating Load Generation in Virtualized Environments for Software Performance Testing.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010
PLeTs-Test Automation using Software Product Lines and Model Based Testing.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2009
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.
J. Syst. Softw., 2009

Derivação de Casos de Testes Funcionais: uma Abordagem Baseada em Modelos UML.
Proceedings of the 5th Brazilian Symposium on Information Systems, 2009

2008
Specifying Security Aspects in UML Models.
Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

2007
Incorporating Planning into BDI Systems.
Scalable Comput. Pract. Exp., 2007

2006
Operating system multilevel load balancing.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

CAA-DRIP: a framework for implementing Coordinated Atomic Actions.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005
Analytical Modeling for Operating System Schedulers on NUMA Systems.
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

An agent model for fault-tolerant systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Third Workshop on Theses and Dissertations on Dependable Computing.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

2004
Propositional planning in BDI agents.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Structured Stochastic Modeling of Fault-Tolerant Systems.
Proceedings of the 12th International Workshop on Modeling, 2004

Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study.
Proceedings of the Computer and Information Sciences, 2004

An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Mapping Mental States into Propositional Planning.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Second Workshop on Theses and Dissertations in Dependable Computing.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Structuring Integrated Web Applications for Fault Tolerance.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

2002
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.
IEEE Trans. Computers, 2002


2001
A distributed coordinated atomic action scheme.
Comput. Syst. Sci. Eng., 2001

1999
Multiparty interactions in dependable distributed systems.
PhD thesis, 1999

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.
Softw. Pract. Exp., 1999

Coordinated atomic actions as a technique for implementing distributed gamma computation.
J. Syst. Archit., 1999

Dependable Multiparty Interactions: A Case Study.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

A Distributed Object-Oriented Framework for Dependable Multiparty Interactions.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Formal Development and Validation of Java Dependable Distributed Systems.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.
Proceedings of the Digest of Papers: FTCS-29, 1999

1997
On Distribution of Coordinated Atomic Actions.
ACM SIGOPS Oper. Syst. Rev., 1997

Implementation of blocking coordinated atomic actions based on forward error recovery.
J. Syst. Archit., 1997

1990
Ambiente de Apoio ao Teste Estrutural de Programas.
Proceedings of the 4th Brazilian Symposium on Software Engineering, 1990


  Loading...