Avelino Francisco Zorzo
Orcid: 0000-0002-0790-6759Affiliations:
- Pontifical Catholic University of Rio Grande do Sul, PUCRS, Brazil
According to our database1,
Avelino Francisco Zorzo
authored at least 101 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on inf.pucrs.br
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
J. Univers. Comput. Sci., 2024
A proposal to increase data utility on Global Differential Privacy data based on data use predictions.
CoRR, 2024
Proceedings of the Good Practices and New Perspectives in Information Systems and Technologies, 2024
2023
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
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023
2022
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
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
Proceedings of the 16th International Joint Conference on Computer Vision, 2021
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
J. Syst. Softw., 2020
Digit. Investig., 2020
Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines.
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020
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
Proceedings of the IEEE International Conference on Blockchain, 2020
Proceedings of the IEEE International Black Sea Conference on Communications and Networking, 2020
2019
Performance and Cost Evaluation of Smart Contracts in Collaborative Health Care Environments.
CoRR, 2019
Proceedings of the MobiQuitous 2019, 2019
Proceedings of the Third Central European Cybersecurity Conference, 2019
2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018
Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018
Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018
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
Proceedings of the 16th Brazilian Symposium on Software Quality, 2017
Proceedings of the Human-Computer Interaction. User Interface Design, Development and Multimodality, 2017
Proceedings of the Engineering Multi-Agent Systems - 5th International Workshop, 2017
2016
IEEE Trans. Dependable Secur. Comput., 2016
Performance testing modeling: an empirical evaluation of DSL and UML-based approaches.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
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
Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, 2016
Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, 2016
Proceedings of the ICEIS 2016, 2016
Proceedings of the 2016 IEEE International Conference on Electronics, Circuits and Systems, 2016
2015
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
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
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
Proceedings of the 13th Brazilian Symposium on Software Quality, 2014
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
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
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
Proceedings of the 5th Brazilian Symposium on Information Systems, 2009
2008
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
2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006
2005
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005
2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
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
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
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003
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
Computing: The Shape of an Evolving Discipline.
Proceedings of the Informatics Curricula and Teaching Methods, 2002
2001
A distributed coordinated atomic action scheme.
Comput. Syst. Sci. Eng., 2001
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
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999
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
Implementation of blocking coordinated atomic actions based on forward error recovery.
J. Syst. Archit., 1997
1990
Proceedings of the 4th Brazilian Symposium on Software Engineering, 1990