default search action
Avelino Francisco Zorzo
Person information
- affiliation: Pontifical Catholic University of Rio Grande do Sul, PUCRS, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]Avelino F. Zorzo, Claudia L. R. Da Motta, Leila Ribeiro, Lisandro Z. Granville:
Computing Everywhere, for Everyone, at Any Level. Commun. ACM 67(8): 80-82 (2024) - [j18]Ildevana Poltronieri, Avelino Francisco Zorzo, Maicon Bernardino, Edson OliveiraJr:
Usa-DSL: a Process for Usability Evaluation of Domain-Specific Languages. J. Univers. Comput. Sci. 30(8): 1023-1047 (2024) - [c67]Guilherme Dall'Agnol Deconto, Avelino Francisco Zorzo, Daniel Dalalana Bertoglio, Edson Oliveira, Roben Castagna Lunardi:
Machine Learning for Forensic Occupancy Detection in IoT Environments. WorldCIST (1) 2024: 102-114 - [i15]Ariel R. Ril, Daniel Dalalana Bertoglio, Avelino F. Zorzo:
Shadow Blade: A tool to interact with attack vectors. CoRR abs/2401.01960 (2024) - [i14]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 abs/2401.06601 (2024) - 2023
- [c66]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. DBSec 2023: 133-140 - [p3]Kleber Lopes Petry, Edson OliveiraJr, Leandro Teodoro Costa, Aline Zanin, Avelino Francisco Zorzo:
Model-Based Testing of Software Product Lines. UML-Based Software Product Line Engineering with SMarty 2023: 155-189 - [p2]Elder M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan:
PLeTs: A Software Product Line for Testing Tools. UML-Based Software Product Line Engineering with SMarty 2023: 315-334 - [p1]Elder M. Rodrigues, Avelino F. Zorzo:
PlugSPL: An Environment to Support SPL Life Cycle. UML-Based Software Product Line Engineering with SMarty 2023: 335-350 - [i13]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 abs/2306.00766 (2023) - [i12]Daniel Dalalana Bertoglio, Arthur Gil, Juan Acosta, Julia Godoy, Roben Castagna Lunardi, Avelino Francisco Zorzo:
Towards new challenges of modern Pentest. CoRR abs/2311.12952 (2023) - 2022
- [j17]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): 1408-1420 (2022) - [c65]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: 1597-1604 - 2021
- [c64]Plínio Silveira, César Augusto Fonticielha De Rose, Avelino Francisco Zorzo, Miguel Gomes Xavier, Dejan S. Milojicic, Sai Rahul Chalamalasetti, Sergey Serebryakov:
Resource Sharing and Security Implications on Machine Learning Inference Accelerators. COMPSAC 2021: 59-67 - [c63]Ildevana Poltronieri Rodrigues, Allan Christopher Pedroso, Avelino Francisco Zorzo, Maicon Bernardino, Márcia de Borba Campos:
Is Usability Evaluation of DSL Still a Trending Topic? HCI (1) 2021: 299-317 - [c62]Ildevana Poltronieri Rodrigues, Avelino Francisco Zorzo, Maicon Bernardino, Bruno Medeiros, Márcia de Borba Campos:
Heuristic Evaluation Checklist for Domain-specific Languages. VISIGRAPP (2: HUCAPP) 2021: 37-48 - [c61]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: 165-172 - [c60]Edson Oliveira Jr., Viviane R. Furtado, Henrique Vignando, Carlos Danilo Luz, André F. R. Cordeiro, Igor Steinmacher, Avelino F. Zorzo:
Towards Improving Experimentation in Software Engineering. SBES 2021: 335-340 - [i11]Avelino Francisco Zorzo, André Luís Alice Raabe, Christian Brackmann:
Computação: O vetor de transformação da sociedade. CoRR abs/2106.11419 (2021) - [i10]Brian Randell, Avelino Francisco Zorzo:
Exception Handling on Multiparty Interactions. CoRR abs/2111.03720 (2021) - [i9]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo:
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR abs/2111.06339 (2021) - 2020
- [j16]Edson OliveiraJr, Avelino F. Zorzo, Charles Varlei Neu:
Towards a conceptual model for promoting digital forensics experiments. Digit. Investig. 35: 301014 (2020) - [j15]Kleber L. Petry, Edson OliveiraJr, Avelino F. Zorzo:
Model-based testing of software product lines: Mapping study and research roadmap. J. Syst. Softw. 167: 110608 (2020) - [c59]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: 1-6 - [c58]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: 401-408 - [c57]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: 166-179 - [c56]Aline Zanin, Avelino Francisco Zorzo, Henry Cabral Nunes:
Model-Based Testing in Agile Projects: An Approach Based on Domain-Specific Languages. CIbSE 2020: 568-581 - [c55]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: 383-390 - [c54]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: 1-9 - [c53]Leandro Flores da Silva, Edson OliveiraJr, Avelino F. Zorzo:
Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines. ICEIS (2) 2020: 442-449 - [i8]Henry C. Nunes, Roben Castagna Lunardi, Avelino Francisco Zorzo, Regio A. Michelin, Salil S. Kanhere:
Context-based smart contracts for appendable-block blockchains. CoRR abs/2005.00895 (2020) - [i7]Guilherme Girotto, Avelino Francisco Zorzo:
Robin: A Web Security Tool. CoRR abs/2007.06629 (2020)
2010 – 2019
- 2019
- [j14]Gianlucca Oliveira Puglia, Avelino Francisco Zorzo, César A. F. De Rose, Taciano Perez, Dejan S. Milojicic:
Non-Volatile Memory File Systems: A Survey. IEEE Access 7: 25836-25871 (2019) - [c52]Charles Varlei Neu, Ina Schiering, Avelino F. Zorzo:
Simulating and Detecting Attacks of Untrusted Clients in OPC UA Networks. CECC 2019: 11:1-11:6 - [c51]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: 228-237 - [i6]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 abs/1912.01606 (2019) - [i5]Roben Castagna Lunardi, Henry Cabral Nunes, Vinicius da Silva Branco, Bruno Hugentobler Lipper, Charles Varlei Neu, Avelino Francisco Zorzo:
Performance and Cost Evaluation of Smart Contracts in Collaborative Health Care Environments. CoRR abs/1912.09773 (2019) - [i4]Daniel Dalalana Bertoglio, Guilherme Girotto, Charles Varlei Neu, Roben Castagna Lunardi, Avelino Francisco Zorzo:
Pentest on an Internet Mobile App: A Case Study using Tramonto. CoRR abs/1912.09779 (2019) - [i3]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 abs/1912.11043 (2019) - 2018
- [c50]Avelino F. Zorzo, Henry C. Nunes, Roben Castagna Lunardi, Regio A. Michelin, Salil S. Kanhere:
Dependable IoT Using Blockchain-Based Technology. LADC 2018: 1-9 - [c49]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: 145-154 - [c48]Roben Castagna Lunardi, Regio Antonio Michelin, Charles Varlei Neu, Avelino Francisco Zorzo:
Distributed access control on IoT ledger-based architecture. NOMS 2018: 1-7 - [c47]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: 1-6 - [c46]Ildevana Poltronieri Rodrigues, Avelino Francisco Zorzo, Maicon Bernardino, Márcia de Borba Campos:
Usa-DSL: usability evaluation framework for domain-specific languages. SAC 2018: 2013-2021 - [i2]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 abs/1807.01980 (2018) - 2017
- [j13]Maicon Bernardino, Elder M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan:
Systematic mapping study on MBT: tools and models. IET Softw. 11(4): 141-155 (2017) - [j12]Daniel Dalalana Bertoglio, Avelino Francisco Zorzo:
Overview and open issues on penetration test. J. Braz. Comput. Soc. 23(1): 2:1-2:16 (2017) - [c45]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: 75-91 - [c44]Ildevana Poltronieri Rodrigues, Márcia de Borba Campos, Avelino F. Zorzo:
Usability Evaluation of Domain-Specific Languages: A Systematic Literature Review. HCI (1) 2017: 522-534 - [c43]Aline Zanin, Avelino Francisco Zorzo, Elder de Macedo Rodrigues:
Uma Proposta de Boas Práticas para Aplicação de Teste Baseado em Modelos em Métodos Ágeis. SBQS 2017: 281-295 - [c42]Maicon Bernardino, Avelino Francisco Zorzo:
Canopus: A Domain-Specific Modeling Language for Performance Testing. SBQS 2017: 400-414 - 2016
- [j11]Feng Hao, Dylan Clarke, Avelino Francisco Zorzo:
Deleting Secret Data with Public Verifiability. IEEE Trans. Dependable Secur. Comput. 13(6): 617-629 (2016) - [c41]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: 632-635 - [c40]Rodrigo Augusto dos Santos, Avelino F. Zorzo, Sabrina Marczak:
Towards an SDLC for Projects Involving Distributed Systems. ICEIS (1) 2016: 158-165 - [c39]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: 148-153 - [c38]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: 210-215 - [c37]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: 405-408 - [c36]Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues:
Canopus: A Domain-Specific Language for Modeling Performance Testing. ICST 2016: 157-167 - [c35]Maicon Bernardino, Elder M. Rodrigues, Avelino F. Zorzo:
Performance testing modeling: an empirical evaluation of DSL and UML-based approaches. SAC 2016: 1660-1665 - 2015
- [j10]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:
An empirical comparison of model-based and capture and replay approaches for performance testing. Empir. Softw. Eng. 20(6): 1831-1860 (2015) - [j9]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): 1753-1758 (2015) - [c34]Elder Rodrigues, Maicon Bernardino, Leandro T. Costa, Avelino Francisco Zorzo, Flávio Moreira de Oliveira:
PLeTsPerf - A Model-Based Performance Testing Tool. ICST 2015: 1-8 - [c33]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: 217-222 - 2014
- [c32]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: 9:1-9:8 - [c31]Regio A. Michelin, Avelino F. Zorzo, César A. F. De Rose:
Mitigating DoS to authenticated cloud REST APIs. ICITST 2014: 106-111 - [c30]Elder de Macedo Rodrigues, Avelino Francisco Zorzo:
PLeTs - Uma Linha de Produto de Ferramentas de Teste Baseado em Modelos. SBQS 2014: 341-355 - [c29]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: 402-407 - [i1]Feng Hao, Dylan Clarke, Avelino Francisco Zorzo:
Deleting Secret Data with Public Verifiability. IACR Cryptol. ePrint Arch. 2014: 364 (2014) - 2013
- [c28]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: 240 - 2012
- [c27]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: 112-117 - [c26]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: 647-650 - 2011
- [c25]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: 993-1000 - [c24]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: 258-263 - [c23]Ricardo M. Czekster, Paulo Fernandes, Afonso Sales, Thais Webber, Avelino F. Zorzo:
Stochastic Model for QoS Assessment in Multi-tier Web Services. PASM@ICPE 2011: 53-72 - 2010
- [c22]Elder de Macedo Rodrigues, Leonardo D. Viccari, Avelino F. Zorzo:
PLeTs-Test Automation using Software Product Lines and Model Based Testing. SEKE 2010: 483-488
2000 – 2009
- 2009
- [j8]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino Francisco Zorzo:
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. J. Syst. Softw. 82(2): 207-228 (2009) - [c21]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: 61-72 - 2008
- [c20]Karine Peralta, Alex M. S. Orozco, Avelino F. Zorzo, Flávio Moreira de Oliveira:
Specifying Security Aspects in UML Models. MODSEC@MoDELS 2008 - 2007
- [j7]Felipe Rech Meneguzzi, Avelino Francisco Zorzo, Michael da Costa Móra, Michael Luck:
Incorporating Planning into BDI Systems. Scalable Comput. Pract. Exp. 8(1) (2007) - 2006
- [c19]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo:
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394 - [c18]Mônica Corrêa, Avelino Francisco Zorzo, Roque Scheer:
Operating system multilevel load balancing. SAC 2006: 1467-1471 - 2005
- [c17]Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve:
Third Workshop on Theses and Dissertations on Dependable Computing. LADC 2005: 261 - [c16]Avelino F. Zorzo, Felipe Rech Meneguzzi:
An agent model for fault-tolerant systems. SAC 2005: 60-65 - [c15]Rafael Chanin, Mônica Corrêa, Paulo Fernandes, Afonso Sales, Roque Scheer, Avelino F. Zorzo:
Analytical Modeling for Operating System Schedulers on NUMA Systems. PASM@FM 2005: 131-149 - 2004
- [c14]Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C. Móra:
Mapping Mental States into Propositional Planning. AAMAS 2004: 1514-1515 - [c13]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 - [c12]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: 917-926 - [c11]Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo:
Structured Stochastic Modeling of Fault-Tolerant Systems. MASCOTS 2004: 139-146 - [c10]Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra:
Propositional planning in BDI agents. SAC 2004: 58-63 - 2003
- [c9]Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo:
Structuring Integrated Web Applications for Fault Tolerance. ISADS 2003: 99-106 - [c8]Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto:
Second Workshop on Theses and Dissertations in Dependable Computing. LADC 2003: 363 - [c7]Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky:
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS 2003: 288-295 - 2002
- [j6]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): 164-179 (2002) - [c6]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: 131-138 - 2001
- [j5]Alexander B. Romanovsky, Avelino F. Zorzo:
A distributed coordinated atomic action scheme. Comput. Syst. Sci. Eng. 16(4): 237-247 (2001)
1990 – 1999
- 1999
- [b1]Avelino Francisco Zorzo:
Multiparty interactions in dependable distributed systems. Newcastle University, Newcastle upon Tyne, UK, 1999 - [j4]Alexander B. Romanovsky, Avelino Francisco Zorzo:
Coordinated atomic actions as a technique for implementing distributed gamma computation. J. Syst. Archit. 45(15): 1357-1374 (1999) - [j3]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): 677-697 (1999) - [c5]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: 68-75 - [c4]Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo:
Formal Development and Validation of Java Dependable Distributed Systems. ICECCS 1999: 98-108 - [c3]Avelino F. Zorzo, Robert J. Stroud:
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. OOPSLA 1999: 435-446 - [c2]Avelino Francisco Zorzo:
Dependable Multiparty Interactions: A Case Study. TOOLS (29) 1999: 319-328 - 1997
- [j2]Alexander B. Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo:
Implementation of blocking coordinated atomic actions based on forward error recovery. J. Syst. Archit. 43(10): 687-699 (1997) - [j1]Alexander B. Romanovsky, Avelino F. Zorzo:
On Distribution of Coordinated Atomic Actions. ACM SIGOPS Oper. Syst. Rev. 31(4): 63-71 (1997) - 1990
- [c1]Ana Maria de Alencar Price, Avelino Francisco Zorzo:
Ambiente de Apoio ao Teste Estrutural de Programas. SBES 1990: 169-182
Coauthor Index
aka: Maicon Bernardino da Silveira
aka: Regio Antonio Michelin
aka: Charles Varlei Neu
aka: Henry Cabral Nunes
aka: Flávio Moreira de Oliveira
aka: Elder M. Rodrigues
aka: Elder Macedo Rodrigues
aka: Elder de Macedo Rodrigues
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint