BibTeX records: Avelino Francisco Zorzo

download as .bib file

@article{DBLP:journals/corr/abs-2401-01960,
  author       = {Ariel R. Ril and
                  Daniel Dalalana Bertoglio and
                  Avelino F. Zorzo},
  title        = {Shadow Blade: {A} tool to interact with attack vectors},
  journal      = {CoRR},
  volume       = {abs/2401.01960},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.01960},
  doi          = {10.48550/ARXIV.2401.01960},
  eprinttype    = {arXiv},
  eprint       = {2401.01960},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-01960.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-06601,
  author       = {Henry C. Nunes and
                  Marlon P. da Silva and
                  Charles V. Neu and
                  Avelino F. Zorzo},
  title        = {A proposal to increase data utility on Global Differential Privacy
                  data based on data use predictions},
  journal      = {CoRR},
  volume       = {abs/2401.06601},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.06601},
  doi          = {10.48550/ARXIV.2401.06601},
  eprinttype    = {arXiv},
  eprint       = {2401.06601},
  timestamp    = {Thu, 25 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-06601.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/SilvaNNTZM23,
  author       = {Marlon P. da Silva and
                  Henry C. Nunes and
                  Charles V. Neu and
                  Luana T. Thomas and
                  Avelino F. Zorzo and
                  Charles Morisset},
  editor       = {Vijayalakshmi Atluri and
                  Anna Lisa Ferrara},
  title        = {Impact of Using a Privacy Model on Smart Buildings Data for CO\({}_{\mbox{2}}\)
                  Prediction},
  booktitle    = {Data and Applications Security and Privacy {XXXVII} - 37th Annual
                  {IFIP} {WG} 11.3 Conference, DBSec 2023, Sophia-Antipolis, France,
                  July 19-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13942},
  pages        = {133--140},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37586-6\_8},
  doi          = {10.1007/978-3-031-37586-6\_8},
  timestamp    = {Fri, 14 Jul 2023 22:01:48 +0200},
  biburl       = {https://dblp.org/rec/conf/dbsec/SilvaNNTZM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/23/PetryOCZZ23,
  author       = {Kleber Lopes Petry and
                  Edson OliveiraJr and
                  Leandro Teodoro Costa and
                  Aline Zanin and
                  Avelino Francisco Zorzo},
  editor       = {Edson OliveiraJr},
  title        = {Model-Based Testing of Software Product Lines},
  booktitle    = {UML-Based Software Product Line Engineering with SMarty},
  pages        = {155--189},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-18556-4\_8},
  doi          = {10.1007/978-3-031-18556-4\_8},
  timestamp    = {Wed, 22 Feb 2023 14:08:46 +0100},
  biburl       = {https://dblp.org/rec/books/sp/23/PetryOCZZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/23/RodriguesZM23,
  author       = {Elder M. Rodrigues and
                  Avelino F. Zorzo and
                  Luciano Marchezan},
  editor       = {Edson OliveiraJr},
  title        = {PLeTs: {A} Software Product Line for Testing Tools},
  booktitle    = {UML-Based Software Product Line Engineering with SMarty},
  pages        = {315--334},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-18556-4\_14},
  doi          = {10.1007/978-3-031-18556-4\_14},
  timestamp    = {Wed, 22 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/23/RodriguesZM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/23/RodriguesZ23,
  author       = {Elder M. Rodrigues and
                  Avelino F. Zorzo},
  editor       = {Edson OliveiraJr},
  title        = {PlugSPL: An Environment to Support {SPL} Life Cycle},
  booktitle    = {UML-Based Software Product Line Engineering with SMarty},
  pages        = {335--350},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-18556-4\_15},
  doi          = {10.1007/978-3-031-18556-4\_15},
  timestamp    = {Wed, 22 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/23/RodriguesZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00766,
  author       = {Marlon P. da Silva and
                  Henry C. Nunes and
                  Charles V. Neu and
                  Luana T. Thomas and
                  Avelino F. Zorzo and
                  Charles Morisset},
  title        = {Impact of using a privacy model on smart buildings data for {CO2}
                  prediction},
  journal      = {CoRR},
  volume       = {abs/2306.00766},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.00766},
  doi          = {10.48550/ARXIV.2306.00766},
  eprinttype    = {arXiv},
  eprint       = {2306.00766},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-00766.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-12952,
  author       = {Daniel Dalalana Bertoglio and
                  Arthur Gil and
                  Juan Acosta and
                  Julia Godoy and
                  Roben Castagna Lunardi and
                  Avelino Francisco Zorzo},
  title        = {Towards new challenges of modern Pentest},
  journal      = {CoRR},
  volume       = {abs/2311.12952},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.12952},
  doi          = {10.48550/ARXIV.2311.12952},
  eprinttype    = {arXiv},
  eprint       = {2311.12952},
  timestamp    = {Thu, 30 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-12952.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/LunardiMNNZK22,
  author       = {Roben Castagna Lunardi and
                  Regio A. Michelin and
                  Henry C. Nunes and
                  Charles V. Neu and
                  Avelino F. Zorzo and
                  Salil S. Kanhere},
  title        = {Consensus Algorithms on Appendable-Block Blockchains: Impact and Security
                  Analysis},
  journal      = {Mob. Networks Appl.},
  volume       = {27},
  number       = {4},
  pages        = {1408--1420},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11036-022-02015-4},
  doi          = {10.1007/S11036-022-02015-4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/monet/LunardiMNNZK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/BertoglioSZL22,
  author       = {Daniel Dalalana Bertoglio and
                  Luis G. B. Sch{\"{u}}ler and
                  Avelino F. Zorzo and
                  Roben Castagna Lunardi},
  title        = {Understanding the Penetration Test Workflow: a security test with
                  Tramonto in an e-Government application},
  booktitle    = {{IEEE} International Conference on Trust, Security and Privacy in
                  Computing and Communications, TrustCom 2022, Wuhan, China, December
                  9-11, 2022},
  pages        = {1597--1604},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/TrustCom56396.2022.00229},
  doi          = {10.1109/TRUSTCOM56396.2022.00229},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/trustcom/BertoglioSZL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SilveiraRZXMCS21,
  author       = {Pl{\'{\i}}nio Silveira and
                  C{\'{e}}sar Augusto Fonticielha De Rose and
                  Avelino Francisco Zorzo and
                  Miguel Gomes Xavier and
                  Dejan S. Milojicic and
                  Sai Rahul Chalamalasetti and
                  Sergey Serebryakov},
  title        = {Resource Sharing and Security Implications on Machine Learning Inference
                  Accelerators},
  booktitle    = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
                  {COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
  pages        = {59--67},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/COMPSAC51774.2021.00020},
  doi          = {10.1109/COMPSAC51774.2021.00020},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/SilveiraRZXMCS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/RodriguesPZBC21,
  author       = {Ildevana Poltronieri Rodrigues and
                  Allan Christopher Pedroso and
                  Avelino Francisco Zorzo and
                  Maicon Bernardino and
                  M{\'{a}}rcia de Borba Campos},
  editor       = {Masaaki Kurosu},
  title        = {Is Usability Evaluation of {DSL} Still a Trending Topic?},
  booktitle    = {Human-Computer Interaction. Theory, Methods and Tools - Thematic Area,
                  {HCI} 2021, Held as Part of the 23rd {HCI} International Conference,
                  {HCII} 2021, Virtual Event, July 24-29, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12762},
  pages        = {299--317},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78462-1\_23},
  doi          = {10.1007/978-3-030-78462-1\_23},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/RodriguesPZBC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hucapp/RodriguesZBMC21,
  author       = {Ildevana Poltronieri Rodrigues and
                  Avelino Francisco Zorzo and
                  Maicon Bernardino and
                  Bruno Medeiros and
                  M{\'{a}}rcia de Borba Campos},
  editor       = {Alexis Paljic and
                  Tabitha C. Peck and
                  Jos{\'{e}} Braz and
                  Kadi Bouatouch},
  title        = {Heuristic Evaluation Checklist for Domain-specific Languages},
  booktitle    = {Proceedings of the 16th International Joint Conference on Computer
                  Vision, Imaging and Computer Graphics Theory and Applications, {VISIGRAPP}
                  2021, Volume 2: HUCAPP, Online Streaming, February 8-10, 2021},
  pages        = {37--48},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010239400370048},
  doi          = {10.5220/0010239400370048},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hucapp/RodriguesZBMC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/PetryOCZZ21,
  author       = {Kleber L. Petry and
                  Edson OliveiraJr and
                  Leandro T. Costa and
                  Aline Zanin and
                  Avelino F. Zorzo},
  editor       = {Joaquim Filipe and
                  Michal Smialek and
                  Alexander Brodsky and
                  Slimane Hammoudi},
  title        = {SMartyTesting: {A} Model-Based Testing Approach for Deriving Software
                  Product Line Test Sequences},
  booktitle    = {Proceedings of the 23rd International Conference on Enterprise Information
                  Systems, {ICEIS} 2021, Online Streaming, April 26-28, 2021, Volume
                  2},
  pages        = {165--172},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010373601650172},
  doi          = {10.5220/0010373601650172},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/PetryOCZZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/OliveiraFVLCSZ21,
  author       = {Edson Oliveira Jr. and
                  Viviane R. Furtado and
                  Henrique Vignando and
                  Carlos Danilo Luz and
                  Andr{\'{e}} F. R. Cordeiro and
                  Igor Steinmacher and
                  Avelino F. Zorzo},
  editor       = {Cristiano D. Vasconcellos and
                  Karina Girardi Roggia and
                  Vanessa Collere and
                  Paulo Bousfield},
  title        = {Towards Improving Experimentation in Software Engineering},
  booktitle    = {35th Brazilian Symposium on Software Engineering, {SBES} 2021, Joinville,
                  Santa Catarina, Brazil, 27 September 2021 - 1 October 2021},
  pages        = {335--340},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3474624.3477073},
  doi          = {10.1145/3474624.3477073},
  timestamp    = {Fri, 30 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbes/OliveiraFVLCSZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-11419,
  author       = {Avelino Francisco Zorzo and
                  Andr{\'{e}} Lu{\'{\i}}s Alice Raabe and
                  Christian Brackmann},
  title        = {Computa{\c{c}}{\~{a}}o: {O} vetor de transforma{\c{c}}{\~{a}}o da
                  sociedade},
  journal      = {CoRR},
  volume       = {abs/2106.11419},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.11419},
  eprinttype    = {arXiv},
  eprint       = {2106.11419},
  timestamp    = {Wed, 07 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-11419.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03720,
  author       = {Brian Randell and
                  Avelino Francisco Zorzo},
  title        = {Exception Handling on Multiparty Interactions},
  journal      = {CoRR},
  volume       = {abs/2111.03720},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.03720},
  eprinttype    = {arXiv},
  eprint       = {2111.03720},
  timestamp    = {Wed, 10 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-03720.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-06339,
  author       = {Jie Xu and
                  Brian Randell and
                  Alexander B. Romanovsky and
                  Robert J. Stroud and
                  Avelino F. Zorzo},
  title        = {Supporting and Controlling Complex Concurrency in Fault- Tolerant
                  Distributed Systems},
  journal      = {CoRR},
  volume       = {abs/2111.06339},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.06339},
  eprinttype    = {arXiv},
  eprint       = {2111.06339},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-06339.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/di/OliveiraJrZN20,
  author       = {Edson OliveiraJr and
                  Avelino F. Zorzo and
                  Charles Varlei Neu},
  title        = {Towards a conceptual model for promoting digital forensics experiments},
  journal      = {Digit. Investig.},
  volume       = {35},
  pages        = {301014},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.fsidi.2020.301014},
  doi          = {10.1016/J.FSIDI.2020.301014},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/di/OliveiraJrZN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PetryOZ20,
  author       = {Kleber L. Petry and
                  Edson OliveiraJr and
                  Avelino F. Zorzo},
  title        = {Model-based testing of software product lines: Mapping study and research
                  roadmap},
  journal      = {J. Syst. Softw.},
  volume       = {167},
  pages        = {110608},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jss.2020.110608},
  doi          = {10.1016/J.JSS.2020.110608},
  timestamp    = {Wed, 15 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/PetryOZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blackseecom/ArrudaLNZM20,
  author       = {Eduardo H. P. de Arruda and
                  Roben Castagna Lunardi and
                  Henry C. Nunes and
                  Avelino F. Zorzo and
                  Regio A. Michelin},
  title        = {Appendable-block Blockchain Evaluation over Geographically-Distributed
                  IoT Networks},
  booktitle    = {{IEEE} International Black Sea Conference on Communications and Networking,
                  BlackSeaCom 2020, Odessa, Ukraine, May 26-29, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/BlackSeaCom48709.2020.9235000},
  doi          = {10.1109/BLACKSEACOM48709.2020.9235000},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/blackseecom/ArrudaLNZM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blockchain2/LunardiANZDM20,
  author       = {Roben Castagna Lunardi and
                  Maher Alharby and
                  Henry C. Nunes and
                  Avelino F. Zorzo and
                  Changyu Dong and
                  Aad van Moorsel},
  title        = {Context-based consensus for appendable-block blockchains},
  booktitle    = {{IEEE} International Conference on Blockchain, Blockchain 2020, Rhodes,
                  Greece, November 2-6, 2020},
  pages        = {401--408},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/Blockchain50366.2020.00058},
  doi          = {10.1109/BLOCKCHAIN50366.2020.00058},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/blockchain2/LunardiANZDM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/NepomucenoOPSZ20,
  author       = {Thais S. Nepomuceno and
                  Edson OliveiraJr and
                  Raqueline R. M. Penteado and
                  Marco Aur{\'{e}}lio Graciotto Silva and
                  Avelino F. Zorzo},
  editor       = {Claudia P. Ayala and
                  Leonardo Murta and
                  Daniela Soares Cruzes and
                  Eduardo Figueiredo and
                  Carla Silva and
                  Jose Luis de la Vara and
                  Breno de Fran{\c{c}}a and
                  Mart{\'{\i}}n Solari and
                  Guilherme Horta Travassos and
                  Ivan Machado},
  title        = {Empirical Study on Product Configuration and Traceability in UML-based
                  Product-Lines},
  booktitle    = {Proceedings of the {XXIII} Iberoamerican Conference on Software Engineering,
                  CIbSE 2020, Curitiba, Paran{\'{a}}, Brazil, November 9-13, 2020},
  pages        = {166--179},
  publisher    = {Curran Associates},
  year         = {2020},
  timestamp    = {Mon, 31 Jan 2022 15:04:09 +0100},
  biburl       = {https://dblp.org/rec/conf/cibse/NepomucenoOPSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/ZaninZN20,
  author       = {Aline Zanin and
                  Avelino Francisco Zorzo and
                  Henry Cabral Nunes},
  editor       = {Claudia P. Ayala and
                  Leonardo Murta and
                  Daniela Soares Cruzes and
                  Eduardo Figueiredo and
                  Carla Silva and
                  Jose Luis de la Vara and
                  Breno de Fran{\c{c}}a and
                  Mart{\'{\i}}n Solari and
                  Guilherme Horta Travassos and
                  Ivan Machado},
  title        = {Model-Based Testing in Agile Projects: An Approach Based on Domain-Specific
                  Languages},
  booktitle    = {Proceedings of the {XXIII} Iberoamerican Conference on Software Engineering,
                  CIbSE 2020, Curitiba, Paran{\'{a}}, Brazil, November 9-13, 2020},
  pages        = {568--581},
  publisher    = {Curran Associates},
  year         = {2020},
  timestamp    = {Mon, 18 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cibse/ZaninZN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/DedeogluDJMLKZ20,
  author       = {Volkan Dedeoglu and
                  Ali Dorri and
                  Raja Jurdak and
                  Regio A. Michelin and
                  Roben Castagna Lunardi and
                  Salil S. Kanhere and
                  Avelino F. Zorzo},
  title        = {A Journey in Applying Blockchain for Cyberphysical Systems},
  booktitle    = {2020 International Conference on COMmunication Systems {\&} NETworkS,
                  {COMSNETS} 2020, Bengaluru, India, January 7-11, 2020},
  pages        = {383--390},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COMSNETS48256.2020.9027487},
  doi          = {10.1109/COMSNETS48256.2020.9027487},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/comsnets/DedeogluDJMLKZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/NunesLZMK20,
  author       = {Henry C. Nunes and
                  Roben Castagna Lunardi and
                  Avelino F. Zorzo and
                  Regio A. Michelin and
                  Salil S. Kanhere},
  title        = {Context-based Smart Contracts For Appendable-block Blockchains},
  booktitle    = {{IEEE} International Conference on Blockchain and Cryptocurrency,
                  {ICBC} 2020, Toronto, ON, Canada, May 2-6, 2020},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICBC48266.2020.9169466},
  doi          = {10.1109/ICBC48266.2020.9169466},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icbc2/NunesLZMK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/SilvaOZ20,
  author       = {Leandro Flores da Silva and
                  Edson OliveiraJr and
                  Avelino F. Zorzo},
  editor       = {Joaquim Filipe and
                  Michal Smialek and
                  Alexander Brodsky and
                  Slimane Hammoudi},
  title        = {Feasibility Analysis of SMartyModeling for Modeling UML-based Software
                  Product Lines},
  booktitle    = {Proceedings of the 22nd International Conference on Enterprise Information
                  Systems, {ICEIS} 2020, Prague, Czech Republic, May 5-7, 2020, Volume
                  2},
  pages        = {442--449},
  publisher    = {{SCITEPRESS}},
  year         = {2020},
  url          = {https://doi.org/10.5220/0009793404420449},
  doi          = {10.5220/0009793404420449},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/SilvaOZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00895,
  author       = {Henry C. Nunes and
                  Roben Castagna Lunardi and
                  Avelino Francisco Zorzo and
                  Regio A. Michelin and
                  Salil S. Kanhere},
  title        = {Context-based smart contracts for appendable-block blockchains},
  journal      = {CoRR},
  volume       = {abs/2005.00895},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.00895},
  eprinttype    = {arXiv},
  eprint       = {2005.00895},
  timestamp    = {Sat, 09 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00895.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06629,
  author       = {Guilherme Girotto and
                  Avelino Francisco Zorzo},
  title        = {Robin: {A} Web Security Tool},
  journal      = {CoRR},
  volume       = {abs/2007.06629},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.06629},
  eprinttype    = {arXiv},
  eprint       = {2007.06629},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-06629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PugliaZRPM19,
  author       = {Gianlucca Oliveira Puglia and
                  Avelino Francisco Zorzo and
                  C{\'{e}}sar A. F. De Rose and
                  Taciano Perez and
                  Dejan S. Milojicic},
  title        = {Non-Volatile Memory File Systems: {A} Survey},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {25836--25871},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2899463},
  doi          = {10.1109/ACCESS.2019.2899463},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/PugliaZRPM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cecc/NeuSZ19,
  author       = {Charles Varlei Neu and
                  Ina Schiering and
                  Avelino F. Zorzo},
  title        = {Simulating and Detecting Attacks of Untrusted Clients in {OPC} {UA}
                  Networks},
  booktitle    = {Proceedings of the Third Central European Cybersecurity Conference,
                  {CECC} 2019, Munich, Germany, November 14-15, 2019},
  pages        = {11:1--11:6},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3360664.3360675},
  doi          = {10.1145/3360664.3360675},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cecc/NeuSZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/LunardiMNNZK19,
  author       = {Roben Castagna Lunardi and
                  Regio A. Michelin and
                  Charles V. Neu and
                  Henry C. Nunes and
                  Avelino F. Zorzo and
                  Salil S. Kanhere},
  editor       = {H. Vincent Poor and
                  Zhu Han and
                  Dario Pompili and
                  Zhi Sun and
                  Miao Pan},
  title        = {Impact of consensus on appendable-block blockchain for IoT},
  booktitle    = {MobiQuitous 2019, Proceedings of the 16th {EAI} International Conference
                  on Mobile and Ubiquitous Systems: Computing, Networking and Services,
                  Houston, Texas, USA, November 12-14, 2019},
  pages        = {228--237},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3360774.3360798},
  doi          = {10.1145/3360774.3360798},
  timestamp    = {Wed, 05 Jan 2022 14:31:20 +0100},
  biburl       = {https://dblp.org/rec/conf/mobiquitous/LunardiMNNZK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01606,
  author       = {Volkan Dedeoglu and
                  Ali Dorri and
                  Raja Jurdak and
                  Regio A. Michelin and
                  Roben Castagna Lunardi and
                  Salil S. Kanhere and
                  Avelino F. Zorzo},
  title        = {A journey in applying blockchain for cyberphysical systems},
  journal      = {CoRR},
  volume       = {abs/1912.01606},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.01606},
  eprinttype    = {arXiv},
  eprint       = {1912.01606},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-01606.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-09773,
  author       = {Roben Castagna Lunardi and
                  Henry Cabral Nunes and
                  Vinicius da Silva Branco and
                  Bruno Hugentobler Lipper and
                  Charles Varlei Neu and
                  Avelino Francisco Zorzo},
  title        = {Performance and Cost Evaluation of Smart Contracts in Collaborative
                  Health Care Environments},
  journal      = {CoRR},
  volume       = {abs/1912.09773},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.09773},
  eprinttype    = {arXiv},
  eprint       = {1912.09773},
  timestamp    = {Fri, 03 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-09773.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-09779,
  author       = {Daniel Dalalana Bertoglio and
                  Guilherme Girotto and
                  Charles Varlei Neu and
                  Roben Castagna Lunardi and
                  Avelino Francisco Zorzo},
  title        = {Pentest on an Internet Mobile App: {A} Case Study using Tramonto},
  journal      = {CoRR},
  volume       = {abs/1912.09779},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.09779},
  eprinttype    = {arXiv},
  eprint       = {1912.09779},
  timestamp    = {Fri, 03 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-09779.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-11043,
  author       = {Roben Castagna Lunardi and
                  Regio A. Michelin and
                  Charles V. Neu and
                  Avelino F. Zorzo and
                  Salil S. Kanhere},
  title        = {Impact of consensus on appendable-block blockchain for IoT},
  journal      = {CoRR},
  volume       = {abs/1912.11043},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.11043},
  eprinttype    = {arXiv},
  eprint       = {1912.11043},
  timestamp    = {Fri, 03 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-11043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZorzoNLMK18,
  author       = {Avelino F. Zorzo and
                  Henry C. Nunes and
                  Roben Castagna Lunardi and
                  Regio A. Michelin and
                  Salil S. Kanhere},
  title        = {Dependable IoT Using Blockchain-Based Technology},
  booktitle    = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
                  Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/LADC.2018.00010},
  doi          = {10.1109/LADC.2018.00010},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ladc/ZorzoNLMK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/MichelinDSLKJZ18,
  author       = {Regio A. Michelin and
                  Ali Dorri and
                  Marco Steger and
                  Roben Castagna Lunardi and
                  Salil S. Kanhere and
                  Raja Jurdak and
                  Avelino F. Zorzo},
  editor       = {Henning Schulzrinne and
                  Pan Li},
  title        = {SpeedyChain: {A} framework for decoupling data from blockchain for
                  smart cities},
  booktitle    = {Proceedings of the 15th {EAI} International Conference on Mobile and
                  Ubiquitous Systems: Computing, Networking and Services, MobiQuitous
                  2018, 5-7 November 2018, New York City, NY, {USA}},
  pages        = {145--154},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3286978.3287019},
  doi          = {10.1145/3286978.3287019},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mobiquitous/MichelinDSLKJZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/LunardiMNZ18,
  author       = {Roben Castagna Lunardi and
                  Regio Antonio Michelin and
                  Charles Varlei Neu and
                  Avelino Francisco Zorzo},
  title        = {Distributed access control on IoT ledger-based architecture},
  booktitle    = {2018 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
                  2018, Taipei, Taiwan, April 23-27, 2018},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/NOMS.2018.8406154},
  doi          = {10.1109/NOMS.2018.8406154},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/LunardiMNZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/NeuTLMOZ18,
  author       = {Charles V. Neu and
                  Cassio G. Tatsch and
                  Roben Castagna Lunardi and
                  Regio A. Michelin and
                  Alex M. S. Orozco and
                  Avelino F. Zorzo},
  title        = {Lightweight {IPS} for port scan in OpenFlow {SDN} networks},
  booktitle    = {2018 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
                  2018, Taipei, Taiwan, April 23-27, 2018},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/NOMS.2018.8406313},
  doi          = {10.1109/NOMS.2018.8406313},
  timestamp    = {Sat, 30 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/noms/NeuTLMOZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RodriguesZBC18,
  author       = {Ildevana Poltronieri Rodrigues and
                  Avelino Francisco Zorzo and
                  Maicon Bernardino and
                  M{\'{a}}rcia de Borba Campos},
  editor       = {Hisham M. Haddad and
                  Roger L. Wainwright and
                  Richard Chbeir},
  title        = {Usa-DSL: usability evaluation framework for domain-specific languages},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
                  {SAC} 2018, Pau, France, April 09-13, 2018},
  pages        = {2013--2021},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167132.3167348},
  doi          = {10.1145/3167132.3167348},
  timestamp    = {Wed, 25 Sep 2019 18:12:13 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/RodriguesZBC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01980,
  author       = {Regio A. Michelin and
                  Ali Dorri and
                  Roben Castagna Lunardi and
                  Marco Steger and
                  Salil S. Kanhere and
                  Raja Jurdak and
                  Avelino F. Zorzo},
  title        = {SpeedyChain: {A} framework for decoupling data from blockchain for
                  smart cities},
  journal      = {CoRR},
  volume       = {abs/1807.01980},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.01980},
  eprinttype    = {arXiv},
  eprint       = {1807.01980},
  timestamp    = {Sat, 30 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-01980.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BernardinoRZM17,
  author       = {Maicon Bernardino and
                  Elder M. Rodrigues and
                  Avelino F. Zorzo and
                  Luciano Marchezan},
  title        = {Systematic mapping study on {MBT:} tools and models},
  journal      = {{IET} Softw.},
  volume       = {11},
  number       = {4},
  pages        = {141--155},
  year         = {2017},
  url          = {https://doi.org/10.1049/iet-sen.2015.0154},
  doi          = {10.1049/IET-SEN.2015.0154},
  timestamp    = {Wed, 09 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/BernardinoRZM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/BertoglioZ17,
  author       = {Daniel Dalalana Bertoglio and
                  Avelino Francisco Zorzo},
  title        = {Overview and open issues on penetration test},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {23},
  number       = {1},
  pages        = {2:1--2:16},
  year         = {2017},
  url          = {https://doi.org/10.1186/s13173-017-0051-1},
  doi          = {10.1186/S13173-017-0051-1},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/BertoglioZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BasegioMZB17,
  author       = {T{\'{u}}lio L. Bas{\'{e}}gio and
                  Regio A. Michelin and
                  Avelino F. Zorzo and
                  Rafael H. Bordini},
  editor       = {Amal El Fallah Seghrouchni and
                  Alessandro Ricci and
                  Tran Cao Son},
  title        = {A Decentralised Approach to Task Allocation Using Blockchain},
  booktitle    = {Engineering Multi-Agent Systems - 5th International Workshop, {EMAS}
                  2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10738},
  pages        = {75--91},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-91899-0\_5},
  doi          = {10.1007/978-3-319-91899-0\_5},
  timestamp    = {Wed, 12 Aug 2020 21:55:17 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/BasegioMZB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/RodriguesCZ17,
  author       = {Ildevana Poltronieri Rodrigues and
                  M{\'{a}}rcia de Borba Campos and
                  Avelino F. Zorzo},
  editor       = {Masaaki Kurosu},
  title        = {Usability Evaluation of Domain-Specific Languages: {A} Systematic
                  Literature Review},
  booktitle    = {Human-Computer Interaction. User Interface Design, Development and
                  Multimodality - 19th International Conference, {HCI} International
                  2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10271},
  pages        = {522--534},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-58071-5\_39},
  doi          = {10.1007/978-3-319-58071-5\_39},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/RodriguesCZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbqs/ZaninZR17,
  author       = {Aline Zanin and
                  Avelino Francisco Zorzo and
                  Elder de Macedo Rodrigues},
  editor       = {Andreia Malucelli and
                  Sheila S. Reinehr},
  title        = {Uma Proposta de Boas Pr{\'{a}}ticas para Aplica{\c{c}}{\~{a}}o
                  de Teste Baseado em Modelos em M{\'{e}}todos {\'{A}}geis},
  booktitle    = {Proceedings of the 16th Brazilian Symposium on Software Quality, {SBQS}
                  2017, Rio de Janeiro, RJ, Brazil, August 28-30, 2017},
  pages        = {281--295},
  publisher    = {{SBC}},
  year         = {2017},
  url          = {https://doi.org/10.5753/sbqs.2017.15107},
  doi          = {10.5753/SBQS.2017.15107},
  timestamp    = {Tue, 29 Mar 2022 16:13:21 +0200},
  biburl       = {https://dblp.org/rec/conf/sbqs/ZaninZR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbqs/BernardinoZ17,
  author       = {Maicon Bernardino and
                  Avelino Francisco Zorzo},
  editor       = {Andreia Malucelli and
                  Sheila S. Reinehr},
  title        = {Canopus: {A} Domain-Specific Modeling Language for Performance Testing},
  booktitle    = {Proceedings of the 16th Brazilian Symposium on Software Quality, {SBQS}
                  2017, Rio de Janeiro, RJ, Brazil, August 28-30, 2017},
  pages        = {400--414},
  publisher    = {{SBC}},
  year         = {2017},
  url          = {https://doi.org/10.5753/sbqs.2017.15120},
  doi          = {10.5753/SBQS.2017.15120},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbqs/BernardinoZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/HaoCZ16,
  author       = {Feng Hao and
                  Dylan Clarke and
                  Avelino Francisco Zorzo},
  title        = {Deleting Secret Data with Public Verifiability},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {13},
  number       = {6},
  pages        = {617--629},
  year         = {2016},
  url          = {https://doi.org/10.1109/TDSC.2015.2423684},
  doi          = {10.1109/TDSC.2015.2423684},
  timestamp    = {Mon, 12 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/HaoCZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/MotaSSBZMM16,
  author       = {Rafael Goncalves Mota and
                  Jarbas Silveira and
                  Jardel Silveira and
                  Lucas Brahm and
                  Avelino F. Zorzo and
                  Filipo Novo Mor and
                  C{\'{e}}sar A. M. Marcon},
  title        = {Efficient routing table minimization for fault-tolerant irregular
                  Network-on-Chip},
  booktitle    = {2016 {IEEE} International Conference on Electronics, Circuits and
                  Systems, {ICECS} 2016, Monte Carlo, Monaco, December 11-14, 2016},
  pages        = {632--635},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICECS.2016.7841281},
  doi          = {10.1109/ICECS.2016.7841281},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icecsys/MotaSSBZMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/SantosZM16,
  author       = {Rodrigo Augusto dos Santos and
                  Avelino F. Zorzo and
                  Sabrina Marczak},
  editor       = {Slimane Hammoudi and
                  Leszek A. Maciaszek and
                  Michele Missikoff and
                  Olivier Camp and
                  Jos{\'{e}} Cordeiro},
  title        = {Towards an {SDLC} for Projects Involving Distributed Systems},
  booktitle    = {{ICEIS} 2016 - Proceedings of the 18th International Conference on
                  Enterprise Information Systems, Volume 1, Rome, Italy, April 25-28,
                  2016},
  pages        = {158--165},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005833601580165},
  doi          = {10.5220/0005833601580165},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/SantosZM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/OrozcoNMZ16,
  author       = {Alex M. S. Orozco and
                  Charles V. Neu and
                  Regio A. Michelin and
                  Avelino F. Zorzo},
  title        = {Security analysis of forwarding strategies in network time measurements
                  using Openflow},
  booktitle    = {11th International Conference for Internet Technology and Secured
                  Transactions, {ICITST} 2016, Barcelona, Spain, December 5-7, 2016},
  pages        = {148--153},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICITST.2016.7856686},
  doi          = {10.1109/ICITST.2016.7856686},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icitst/OrozcoNMZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/NeuZOM16,
  author       = {Charles V. Neu and
                  Avelino F. Zorzo and
                  Alex M. S. Orozco and
                  Regio A. Michelin},
  title        = {An approach for detecting encrypted insider attacks on OpenFlow {SDN}
                  Networks},
  booktitle    = {11th International Conference for Internet Technology and Secured
                  Transactions, {ICITST} 2016, Barcelona, Spain, December 5-7, 2016},
  pages        = {210--215},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICITST.2016.7856698},
  doi          = {10.1109/ICITST.2016.7856698},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icitst/NeuZOM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/MichelinZCNO16,
  author       = {Regio A. Michelin and
                  Avelino F. Zorzo and
                  Marcia B. Campos and
                  Charles V. Neu and
                  Alex M. S. Orozco},
  title        = {Smartphone as a biometric service for web authentication},
  booktitle    = {11th International Conference for Internet Technology and Secured
                  Transactions, {ICITST} 2016, Barcelona, Spain, December 5-7, 2016},
  pages        = {405--408},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICITST.2016.7856740},
  doi          = {10.1109/ICITST.2016.7856740},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icitst/MichelinZCNO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BernardinoZR16,
  author       = {Maicon Bernardino and
                  Avelino F. Zorzo and
                  Elder M. Rodrigues},
  title        = {Canopus: {A} Domain-Specific Language for Modeling Performance Testing},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {157--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.13},
  doi          = {10.1109/ICST.2016.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BernardinoZR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BernardinoRZ16,
  author       = {Maicon Bernardino and
                  Elder M. Rodrigues and
                  Avelino F. Zorzo},
  editor       = {Sascha Ossowski},
  title        = {Performance testing modeling: an empirical evaluation of {DSL} and
                  UML-based approaches},
  booktitle    = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
                  Pisa, Italy, April 4-8, 2016},
  pages        = {1660--1665},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2851613.2851832},
  doi          = {10.1145/2851613.2851832},
  timestamp    = {Fri, 04 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BernardinoRZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/RodriguesOCBZSS15,
  author       = {Elder Macedo Rodrigues and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Leandro T. Costa and
                  Maicon Bernardino and
                  Avelino Francisco Zorzo and
                  Simone do R{\'{o}}cio Senger de Souza and
                  Rodrigo S. Saad},
  title        = {An empirical comparison of model-based and capture and replay approaches
                  for performance testing},
  journal      = {Empir. Softw. Eng.},
  volume       = {20},
  number       = {6},
  pages        = {1831--1860},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10664-014-9337-5},
  doi          = {10.1007/S10664-014-9337-5},
  timestamp    = {Tue, 16 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ese/RodriguesOCBZSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/LaserRDOZ15,
  author       = {Marcelo Schmitt Laser and
                  Elder Macedo Rodrigues and
                  Anderson R. P. Domingues and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Avelino F. Zorzo},
  title        = {Research Notes on the Architectural Evolution of a Software Product
                  Line},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {25},
  number       = {9-10},
  pages        = {1753--1758},
  year         = {2015},
  url          = {https://doi.org/10.1142/S0218194015710126},
  doi          = {10.1142/S0218194015710126},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijseke/LaserRDOZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RodriguesBCZO15,
  author       = {Elder Rodrigues and
                  Maicon Bernardino and
                  Leandro T. Costa and
                  Avelino Francisco Zorzo and
                  Fl{\'{a}}vio Moreira de Oliveira},
  title        = {PLeTsPerf - {A} Model-Based Performance Testing Tool},
  booktitle    = {8th {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICST.2015.7102628},
  doi          = {10.1109/ICST.2015.7102628},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/RodriguesBCZO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LaserRDOZ15,
  author       = {Marcelo Schmitt Laser and
                  Elder Macedo Rodrigues and
                  Anderson R. P. Domingues and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Avelino F. Zorzo},
  editor       = {Haiping Xu},
  title        = {Architectural Evolution of a Software Product Line: an experience
                  report},
  booktitle    = {The 27th International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2015, Wyndham Pittsburgh University Center, Pittsburgh,
                  PA, USA, July 6-8, 2015},
  pages        = {217--222},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2015},
  url          = {https://doi.org/10.18293/SEKE2015-57},
  doi          = {10.18293/SEKE2015-57},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LaserRDOZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/RodriguesSOCBZ14,
  author       = {Elder M. Rodrigues and
                  Rodrigo S. Saad and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Leandro T. Costa and
                  Maicon Bernardino and
                  Avelino F. Zorzo},
  editor       = {Maurizio Morisio and
                  Tore Dyb{\aa} and
                  Marco Torchiano},
  title        = {Evaluating capture and replay and model-based performance testing
                  tools: an empirical comparison},
  booktitle    = {2014 {ACM-IEEE} International Symposium on Empirical Software Engineering
                  and Measurement, {ESEM} '14, Torino, Italy, September 18-19, 2014},
  pages        = {9:1--9:8},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2652524.2652587},
  doi          = {10.1145/2652524.2652587},
  timestamp    = {Fri, 04 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esem/RodriguesSOCBZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/MichelinZR14,
  author       = {Regio A. Michelin and
                  Avelino F. Zorzo and
                  C{\'{e}}sar A. F. De Rose},
  title        = {Mitigating DoS to authenticated cloud {REST} APIs},
  booktitle    = {9th International Conference for Internet Technology and Secured Transactions,
                  {ICITST} 2014, London, United Kingdom, December 8-10, 2014},
  pages        = {106--111},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICITST.2014.7038787},
  doi          = {10.1109/ICITST.2014.7038787},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icitst/MichelinZR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbqs/RodriguesZ14,
  author       = {Elder de Macedo Rodrigues and
                  Avelino Francisco Zorzo},
  editor       = {Eduardo Almeida and
                  Glauco de Figueiredo Carneiro},
  title        = {PLeTs - Uma Linha de Produto de Ferramentas de Teste Baseado em Modelos},
  booktitle    = {Proceedings of the 13th Brazilian Symposium on Software Quality, {SBQS}
                  2014, Blumenau, SC, Brazil, August 4-8, 2014},
  pages        = {341--355},
  publisher    = {{SBC}},
  year         = {2014},
  url          = {https://doi.org/10.5753/sbqs.2014.15266},
  doi          = {10.5753/SBQS.2014.15266},
  timestamp    = {Thu, 31 Mar 2022 17:13:20 +0200},
  biburl       = {https://dblp.org/rec/conf/sbqs/RodriguesZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/RodriguesPTZOS14,
  author       = {Elder Rodrigues and
                  Leonardo Teixeira Passos and
                  Leopoldo Teixeira and
                  Avelino F. Zorzo and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Rodrigo S. Saad},
  editor       = {Marek Z. Reformat},
  title        = {On the Requirements and Design Decisions of an In-House Component-Based
                  {SPL} Automated Environment},
  booktitle    = {The 26th International Conference on Software Engineering and Knowledge
                  Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
  pages        = {402--407},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2014},
  timestamp    = {Thu, 06 Oct 2022 12:30:17 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/RodriguesPTZOS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HaoCZ14,
  author       = {Feng Hao and
                  Dylan Clarke and
                  Avelino Francisco Zorzo},
  title        = {Deleting Secret Data with Public Verifiability},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {364},
  year         = {2014},
  url          = {http://eprint.iacr.org/2014/364},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/HaoCZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/EndoBRSOZS13,
  author       = {Andr{\'{e}} Takeshi Endo and
                  Maicon Bernardino and
                  Elder Macedo Rodrigues and
                  Adenilso da Silva Sim{\~{a}}o and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Avelino F. Zorzo and
                  Rodrigo S. Saad},
  editor       = {Edgar R. Weippl and
                  Maria Indrawan{-}Santiago and
                  Matthias Steinbauer and
                  Gabriele Kotsis and
                  Ismail Khalil},
  title        = {An Industrial Experience on using Models to Test Web Service-Oriented
                  Applications},
  booktitle    = {The 15th International Conference on Information Integration and Web-based
                  Applications {\&} Services, {IIWAS} '13, Vienna, Austria, December
                  2-4, 2013},
  pages        = {240},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2539150.2539188},
  doi          = {10.1145/2539150.2539188},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiwas/EndoBRSOZS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CostaCORSZ12,
  author       = {Leandro T. Costa and
                  Ricardo M. Czekster and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Elder M. Rodrigues and
                  Maicon Bernardino da Silveira and
                  Avelino F. Zorzo},
  title        = {Generating Performance Test Scripts and Scenarios Based on Abstract
                  Intermediate Models},
  booktitle    = {Proceedings of the 24th International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
                  City, San Francisco Bay, {USA} July 1-3, 2012},
  pages        = {112--117},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2012},
  timestamp    = {Fri, 04 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/CostaCORSZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/RodriguesZJGMD12,
  author       = {Elder M. Rodrigues and
                  Avelino F. Zorzo and
                  Edson A. Oliveira Junior and
                  Itana Maria de Souza Gimenes and
                  Jos{\'{e}} Carlos Maldonado and
                  Anderson R. P. Domingues},
  title        = {PlugSPL: An Automated Environment for Supporting Plugin-based Software
                  Product Lines},
  booktitle    = {Proceedings of the 24th International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
                  City, San Francisco Bay, {USA} July 1-3, 2012},
  pages        = {647--650},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2012},
  timestamp    = {Fri, 04 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/RodriguesZJGMD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/NettoMVCOSZ11,
  author       = {Marco Aur{\'{e}}lio Stelmar Netto and
                  Suzane Menon and
                  Hugo V. Vieira and
                  Leandro T. Costa and
                  Fl{\'{a}}vio Moreira de Oliveira and
                  Rodrigo S. Saad and
                  Avelino F. Zorzo},
  title        = {Evaluating Load Generation in Virtualized Environments for Software
                  Performance Testing},
  booktitle    = {25th {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings},
  pages        = {993--1000},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/IPDPS.2011.244},
  doi          = {10.1109/IPDPS.2011.244},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/NettoMVCOSZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SilveiraRZCVO11,
  author       = {Maicon Bernardino da Silveira and
                  Elder M. Rodrigues and
                  Avelino F. Zorzo and
                  Leandro T. Costa and
                  Hugo V. Vieira and
                  Fl{\'{a}}vio Moreira de Oliveira},
  title        = {Generation of Scripts for Performance Testing Based on {UML} Models},
  booktitle    = {Proceedings of the 23rd International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
                  Miami Beach, USA, July 7-9, 2011},
  pages        = {258--263},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2011},
  timestamp    = {Fri, 04 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SilveiraRZCVO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CzeksterFSWZ11,
  author       = {Ricardo M. Czekster and
                  Paulo Fernandes and
                  Afonso Sales and
                  Thais Webber and
                  Avelino F. Zorzo},
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Samuel Kounev and
                  Nikolaus Huber and
                  Fabian Brosig},
  title        = {Stochastic Model for QoS Assessment in Multi-tier Web Services},
  booktitle    = {Fifth International Workshop on the Practical Application of Stochastic
                  Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {275},
  pages        = {53--72},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.005},
  doi          = {10.1016/J.ENTCS.2011.09.005},
  timestamp    = {Fri, 10 Mar 2023 15:05:32 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CzeksterFSWZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/RodriguesVZ10,
  author       = {Elder de Macedo Rodrigues and
                  Leonardo D. Viccari and
                  Avelino F. Zorzo},
  title        = {PLeTs-Test Automation using Software Product Lines and Model Based
                  Testing},
  booktitle    = {Proceedings of the 22nd International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco
                  Bay, CA, USA, July 1 - July 3, 2010},
  pages        = {483--488},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2010},
  timestamp    = {Fri, 04 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/RodriguesVZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CapozuccaGPRZ09,
  author       = {Alfredo Capozucca and
                  Nicolas Guelfi and
                  Patrizio Pelliccione and
                  Alexander B. Romanovsky and
                  Avelino Francisco Zorzo},
  title        = {Frameworks for designing and implementing dependable systems using
                  Coordinated Atomic Actions: {A} comparative study},
  journal      = {J. Syst. Softw.},
  volume       = {82},
  number       = {2},
  pages        = {207--228},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jss.2008.05.038},
  doi          = {10.1016/J.JSS.2008.05.038},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/CapozuccaGPRZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbsi/OrozcoOOZ09,
  author       = {Alex M. S. Orozco and
                  Kleinner S. F. Oliveira and
                  Fl{\'{a}}vio M. de Oliveira and
                  Avelino F. Zorzo},
  editor       = {Jorge Henrique Cabral Fernandes and
                  Renata Mendes de Araujo and
                  Silvana Aparecida Borsetti Greg{\'{o}}rio Vidotti},
  title        = {Deriva{\c{c}}{\~{a}}o de Casos de Testes Funcionais: uma Abordagem
                  Baseada em Modelos {UML}},
  booktitle    = {Proceedings of the 5th Brazilian Symposium on Information Systems,
                  {SBSI} 2009, Bras{\'{\i}}lia;, Brazil, May 20-22, 2009},
  pages        = {61--72},
  year         = {2009},
  url          = {https://doi.org/10.5753/sbsi.2009.6166},
  doi          = {10.5753/SBSI.2009.6166},
  timestamp    = {Mon, 14 Feb 2022 17:12:40 +0100},
  biburl       = {https://dblp.org/rec/conf/sbsi/OrozcoOOZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PeraltaOZO08,
  author       = {Karine Peralta and
                  Alex M. S. Orozco and
                  Avelino F. Zorzo and
                  Fl{\'{a}}vio Moreira de Oliveira},
  editor       = {Jon Whittle and
                  Jan J{\"{u}}rjens and
                  Bashar Nuseibeh and
                  Glen Dobson},
  title        = {Specifying Security Aspects in {UML} Models},
  booktitle    = {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, France,
                  September 28, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {413},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-413/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/models/PeraltaOZO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/MeneguzziZML07,
  author       = {Felipe Rech Meneguzzi and
                  Avelino Francisco Zorzo and
                  Michael da Costa M{\'{o}}ra and
                  Michael Luck},
  title        = {Incorporating Planning into {BDI} Systems},
  journal      = {Scalable Comput. Pract. Exp.},
  volume       = {8},
  number       = {1},
  year         = {2007},
  url          = {http://www.scpe.org/index.php/scpe/article/view/394},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scpe/MeneguzziZML07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CapozuccaGPRZ06,
  author       = {Alfredo Capozucca and
                  Nicolas Guelfi and
                  Patrizio Pelliccione and
                  Alexander B. Romanovsky and
                  Avelino F. Zorzo},
  title        = {{CAA-DRIP:} a framework for implementing Coordinated Atomic Actions},
  booktitle    = {17th International Symposium on Software Reliability Engineering {(ISSRE}
                  2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
  pages        = {385--394},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISSRE.2006.18},
  doi          = {10.1109/ISSRE.2006.18},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CapozuccaGPRZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CorreaZS06,
  author       = {M{\^{o}}nica Corr{\^{e}}a and
                  Avelino Francisco Zorzo and
                  Roque Scheer},
  editor       = {Hisham Haddad},
  title        = {Operating system multilevel load balancing},
  booktitle    = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
                  Dijon, France, April 23-27, 2006},
  pages        = {1467--1471},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1141277.1141619},
  doi          = {10.1145/1141277.1141619},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/CorreaZS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZorzoJG05,
  author       = {Avelino F. Zorzo and
                  Ingrid Jansch{-}P{\^{o}}rto and
                  Fab{\'{\i}}ola Gon{\c{c}}alves Pereira Greve},
  editor       = {Carlos Alberto Maziero and
                  Jo{\~{a}}o Gabriel Silva and
                  Aline Maria Santos Andrade and
                  Fl{\'{a}}vio Morais de Assis Silva},
  title        = {Third Workshop on Theses and Dissertations on Dependable Computing},
  booktitle    = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
                  Salvador, Brazil, October 25-28, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3747},
  pages        = {261},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11572329\_20},
  doi          = {10.1007/11572329\_20},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ladc/ZorzoJG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ZorzoM05,
  author       = {Avelino F. Zorzo and
                  Felipe Rech Meneguzzi},
  editor       = {Hisham Haddad and
                  Lorie M. Liebrock and
                  Andrea Omicini and
                  Roger L. Wainwright},
  title        = {An agent model for fault-tolerant systems},
  booktitle    = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
                  Santa Fe, New Mexico, USA, March 13-17, 2005},
  pages        = {60--65},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1066677.1066696},
  doi          = {10.1145/1066677.1066696},
  timestamp    = {Tue, 06 Nov 2018 11:06:45 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/ZorzoM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChaninCFSSZ06,
  author       = {Rafael Chanin and
                  M{\^{o}}nica Corr{\^{e}}a and
                  Paulo Fernandes and
                  Afonso Sales and
                  Roque Scheer and
                  Avelino F. Zorzo},
  editor       = {Nigel Thomas},
  title        = {Analytical Modeling for Operating System Schedulers on {NUMA} Systems},
  booktitle    = {Proceedings of the Second International Workshop on the Practical
                  Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne,
                  UK, July 18, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {151},
  number       = {3},
  pages        = {131--149},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.03.016},
  doi          = {10.1016/J.ENTCS.2006.03.016},
  timestamp    = {Fri, 20 Jan 2023 10:20:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChaninCFSSZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MeneguzziZM04,
  author       = {Felipe Rech Meneguzzi and
                  Avelino F. Zorzo and
                  Michael C. M{\'{o}}ra},
  title        = {Mapping Mental States into Propositional Planning},
  booktitle    = {3rd International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
  pages        = {1514--1515},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10257},
  doi          = {10.1109/AAMAS.2004.10257},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/MeneguzziZM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/EspindolaBZ04,
  author       = {Anete Persch Espindola and
                  Karin Becker and
                  Avelino F. Zorzo},
  title        = {An Extension to {UML} Components to Consider Distribution Issues in
                  Early Phases of Application Development},
  booktitle    = {37th Hawaii International Conference on System Sciences {(HICSS-37}
                  2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island,
                  HI, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/HICSS.2004.1265649},
  doi          = {10.1109/HICSS.2004.1265649},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/EspindolaBZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/BortolasZBO04,
  author       = {Daniel O. Bortolas and
                  Avelino F. Zorzo and
                  Eduardo A. Bezerra and
                  Fl{\'{a}}vio Moreira de Oliveira},
  editor       = {Cevdet Aykanat and
                  Tugrul Dayar and
                  Ibrahim Korpeoglu},
  title        = {Mutation-Like Oriented Diversity for Dependability Improvement: {A}
                  Distributed System Case Study},
  booktitle    = {Computer and Information Sciences - {ISCIS} 2004, 19th International
                  Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3280},
  pages        = {917--926},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30182-0\_92},
  doi          = {10.1007/978-3-540-30182-0\_92},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iscis/BortolasZBO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/BertoliniBFSZ04,
  author       = {Cristiano Bertolini and
                  Leonardo Brenner and
                  Paulo Fernandes and
                  Afonso Sales and
                  Avelino F. Zorzo},
  editor       = {Doug DeGroot and
                  Peter G. Harrison and
                  Harry A. G. Wijshoff and
                  Zary Segall},
  title        = {Structured Stochastic Modeling of Fault-Tolerant Systems},
  booktitle    = {12th International Workshop on Modeling, Analysis, and Simulation
                  of Computer and Telecommunication Systems {(MASCOTS} 2004), 4-8 October
                  2004, Vollendam, The Netherlands},
  pages        = {139--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MASCOT.2004.1348191},
  doi          = {10.1109/MASCOT.2004.1348191},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/BertoliniBFSZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MeneguzziZM04,
  author       = {Felipe Rech Meneguzzi and
                  Avelino F. Zorzo and
                  Michael da Costa M{\'{o}}ra},
  editor       = {Hisham Haddad and
                  Andrea Omicini and
                  Roger L. Wainwright and
                  Lorie M. Liebrock},
  title        = {Propositional planning in {BDI} agents},
  booktitle    = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
                  Nicosia, Cyprus, March 14-17, 2004},
  pages        = {58--63},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/967900.967916},
  doi          = {10.1145/967900.967916},
  timestamp    = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/MeneguzziZM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/RomanovskyPZ03,
  author       = {Alexander B. Romanovsky and
                  Panos Periorellis and
                  Avelino F. Zorzo},
  title        = {Structuring Integrated Web Applications for Fault Tolerance},
  booktitle    = {6th International Symposium on Autonomous Decentralized Systems {(ISADS}
                  2003), 9-11 April 2003, Pisa, Italy},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ISADS.2003.1193937},
  doi          = {10.1109/ISADS.2003.1193937},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/RomanovskyPZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZorzoBJ03,
  author       = {Avelino F. Zorzo and
                  Francisco V. Brasileiro and
                  Ingrid Jansch{-}P{\^{o}}rto},
  editor       = {Rog{\'{e}}rio de Lemos and
                  Taisy Silva Weber and
                  Jo{\~{a}}o Batista Camargo Jr.},
  title        = {Second Workshop on Theses and Dissertations in Dependable Computing},
  booktitle    = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
                  Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2847},
  pages        = {363},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45214-0\_27},
  doi          = {10.1007/978-3-540-45214-0\_27},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ladc/ZorzoBJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/ZorzoPR03,
  author       = {Avelino F. Zorzo and
                  Panayiotis Periorellis and
                  Alexander B. Romanovsky},
  title        = {Using Co-ordinated Atomic Actions for Building Complex Web Applications:
                  {A} Learning Experience},
  booktitle    = {8th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2003), 15-17 January 2003, Guadalajara, Mexico},
  pages        = {288--295},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/WORDS.2003.1218095},
  doi          = {10.1109/WORDS.2003.1218095},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/words/ZorzoPR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/XuRRSZCH02,
  author       = {Jie Xu and
                  Brian Randell and
                  Alexander B. Romanovsky and
                  Robert J. Stroud and
                  Avelino F. Zorzo and
                  Ercument Canver and
                  Friedrich W. von Henke},
  title        = {Rigorous Development of an Embedded Fault-Tolerant System Based on
                  Coordinated Atomic Actions},
  journal      = {{IEEE} Trans. Computers},
  volume       = {51},
  number       = {2},
  pages        = {164--179},
  year         = {2002},
  url          = {https://doi.org/10.1109/12.980006},
  doi          = {10.1109/12.980006},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/XuRRSZCH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip3-2/CasselDKDHLMMPRRRVZ02,
  author       = {Lillian N. Cassel and
                  Gordon Davies and
                  Deepak Kumar and
                  Ralf Denzer and
                  A. E. N. Hacquebard and
                  Richard J. LeBlanc and
                  Luiz Ernesto Merkle and
                  Fred Mulder and
                  Zeljko Panian and
                  Ricardo Augusto da Luz Reis and
                  Eric Roberts and
                  Paolo Rocchi and
                  Maarten van Veen and
                  Avelino F. Zorzo},
  editor       = {Lillian N. Cassel and
                  Ricardo Augusto da Luz Reis},
  title        = {Computing: The Shape of an Evolving Discipline},
  booktitle    = {Informatics Curricula and Teaching Methods, {IFIP} {TC3} / {WG3.2}
                  Conference on Informatics Curricula, Teaching Methods and Best Practics
                  {(ICTEM} 2002), July 10-12, 2002, Florian{\'{o}}polis, SC, Brazil},
  series       = {{IFIP} Conference Proceedings},
  volume       = {245},
  pages        = {131--138},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Sun, 19 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip3-2/CasselDKDHLMMPRRRVZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/RomanovskyZ01,
  author       = {Alexander B. Romanovsky and
                  Avelino F. Zorzo},
  title        = {A distributed coordinated atomic action scheme},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {16},
  number       = {4},
  pages        = {237--247},
  year         = {2001},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/RomanovskyZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Zorzo99,
  author       = {Avelino Francisco Zorzo},
  title        = {Multiparty interactions in dependable distributed systems},
  school       = {Newcastle University, Newcastle upon Tyne, {UK}},
  year         = {1999},
  url          = {https://hdl.handle.net/10443/1979},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Zorzo99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/RomanovskyZ99,
  author       = {Alexander B. Romanovsky and
                  Avelino Francisco Zorzo},
  title        = {Coordinated atomic actions as a technique for implementing distributed
                  gamma computation},
  journal      = {J. Syst. Archit.},
  volume       = {45},
  number       = {15},
  pages        = {1357--1374},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1383-7621(98)00073-3},
  doi          = {10.1016/S1383-7621(98)00073-3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/RomanovskyZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ZorzoRXRSW99,
  author       = {Avelino F. Zorzo and
                  Alexander B. Romanovsky and
                  Jie Xu and
                  Brian Randell and
                  Robert J. Stroud and
                  Ian Welch},
  title        = {Using Coordinated Atomic Actions to Design Safety-Critical Systems:
                  a Production Cell Case Study},
  journal      = {Softw. Pract. Exp.},
  volume       = {29},
  number       = {8},
  pages        = {677--697},
  year         = {1999},
  url          = {https://doi.org/10.1002/(SICI)1097-024X(19990710)29:8\&\#60;677::AID-SPE251\&\#62;3.0.CO;2-Z},
  doi          = {10.1002/(SICI)1097-024X(19990710)29:8\&\#60;677::AID-SPE251\&\#62;3.0.CO;2-Z},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/ZorzoRXRSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/XuRRSZCH99,
  author       = {Jie Xu and
                  Brian Randell and
                  Alexander B. Romanovsky and
                  Robert J. Stroud and
                  Avelino F. Zorzo and
                  Ercument Canver and
                  Friedrich W. von Henke},
  title        = {Rigorous Development of a Safety-Critical System Based on Coordinated
                  Atomic Actions},
  booktitle    = {Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium
                  on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18,
                  1999},
  pages        = {68--75},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/FTCS.1999.781035},
  doi          = {10.1109/FTCS.1999.781035},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/XuRRSZCH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SerugendoGRZ99,
  author       = {Giovanna Di Marzo Serugendo and
                  Nicolas Guelfi and
                  Alexander B. Romanovsky and
                  Avelino F. Zorzo},
  title        = {Formal Development and Validation of Java Dependable Distributed Systems},
  booktitle    = {5th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} '99), October 18-22, 1999, Las Vegas, NV, {USA}},
  pages        = {98--108},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICECCS.1999.802854},
  doi          = {10.1109/ICECCS.1999.802854},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/SerugendoGRZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZorzoS99,
  author       = {Avelino F. Zorzo and
                  Robert J. Stroud},
  editor       = {Brent Hailpern and
                  Linda M. Northrop and
                  A. Michael Berman},
  title        = {A Distributed Object-Oriented Framework for Dependable Multiparty
                  Interactions},
  booktitle    = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
                  Denver, Colorado, USA, November 1-5, 1999},
  pages        = {435--446},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/320384.320431},
  doi          = {10.1145/320384.320431},
  timestamp    = {Wed, 30 Mar 2022 13:58:42 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/ZorzoS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Zorzo99,
  author       = {Avelino Francisco Zorzo},
  title        = {Dependable Multiparty Interactions: {A} Case Study},
  booktitle    = {{TOOLS} Europe 1999: 29th International Conference on Technology of
                  Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France},
  pages        = {319--328},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/TOOLS.1999.779062},
  doi          = {10.1109/TOOLS.1999.779062},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/Zorzo99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/RomanovskyRSXZ97,
  author       = {Alexander B. Romanovsky and
                  Brian Randell and
                  Robert J. Stroud and
                  Jie Xu and
                  Avelino Francisco Zorzo},
  title        = {Implementation of blocking coordinated atomic actions based on forward
                  error recovery},
  journal      = {J. Syst. Archit.},
  volume       = {43},
  number       = {10},
  pages        = {687--699},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1383-7621(97)00029-5},
  doi          = {10.1016/S1383-7621(97)00029-5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/RomanovskyRSXZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/RomanovskyZ97,
  author       = {Alexander B. Romanovsky and
                  Avelino F. Zorzo},
  title        = {On Distribution of Coordinated Atomic Actions},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {31},
  number       = {4},
  pages        = {63--71},
  year         = {1997},
  url          = {https://doi.org/10.1145/271019.271031},
  doi          = {10.1145/271019.271031},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigops/RomanovskyZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/PriceZ90,
  author       = {Ana Maria de Alencar Price and
                  Avelino Francisco Zorzo},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Ambiente de Apoio ao Teste Estrutural de Programas},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {169--182},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24174},
  doi          = {10.5753/SBES.1990.24174},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/PriceZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics