Publications

• Alexandre R. S. Correia, Juliano M. Iyoda and Alexandre C. Mota. The effect of distance metrics in a general purpose synthesizer of imperative programs: a second empirical study using enlarged search spaces. In the Journal of Software: Practice and Experience, Short Communication, 2023. https://doi.org/10.1002/spe.3286.



• Alexandre R. S. Correia, Juliano M. Iyoda and Alexandre C. Mota. The effect of distance metrics in a general purpose synthesizer: an empirical study on integer domain imperative programs. In the Journal of Software: Practice and Experience, Short Communication, 2021, https://doi.org/10.1002/spe.3054.



• Luiz Sérgio P. da Silva, Juliano Iyoda, Alexandre M. L. de Vasconcelos, Suzana C. B. Sampaio, and Renata T. Moreira. Análise Qualitativa da Aderência entre o Processo de Contratação de Soluções de TIC da IN/SGD/ME 01/2019 e o Modelo CMMI Supplier Management (SPM) Nível 2. In the Proceedings of the 18th International Conference on Information Systems and Technology Management (CONTECSI), 2021, São Paulo - SP.



• Alexandre Correia, Juliano Iyoda, and Alexandre Mota. A Family of Multi-Concept Program Synthesisers in Alloy*. In: Science of Computer Programming. 2021. D.O.I: https://doi.org/10.1016/j.scico.2020.102536.



• Luiz Sérgio P. Silva, Juliano Iyoda, Alexandre M. L. Vasconcelos, Renata Teles Moreira, e Suzana C. B. Sampaio. Análise das Mudanças do Novo Processo de Contratação de Soluções de TICs da Instrução Normativa IN SGD/ME 01/2019. In: 17th Proceedings of the International Conference on Information Systems and Technology Management, 2020.



• Alexandre Correia, Juliano Iyoda, and Alexandre Mota. Combining Model Finder and Genetic Programming into a General Purpose Automatic Program Synthesizer. In: Information Processing Letters. 2020. D.O.I: https://doi.org/10.1016/j.ipl.2019.105866.



• Sidney Nogueira, Hugo Araujo, Renata Araujo, Juliano Iyoda, and Augusto Sampaio. Test Case Generation, Selection and Coverage from Natural Language. In: Science of Computer Programming. 2019. D.O.I: 10.1016/j.scico.2019.01.003.



• Lom Messan Hillah, Rodrigo Assad, Antonia Bertolino, Marcio Delamaro, Fabio De Rosa, Vinicius Garcia, Francesca Lonetti, Ariele-Paolo Maesano, Libero Maesano, Eda Marchetti, Breno Miranda, Auri Vincenzi and Juliano Iyoda. Towards Automated Deployment of Self-Adaptive Applications on Hybrid Clouds (Short Paper). 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Trento, Italy, september 2017, pages 388-393.



• Lucas Lima, Juliano Iyoda and Augusto Sampaio. Refinement Verification of Sequence Diagrams using CSP. Simpósio Brasileiro de Métodos Formais (Brazilian Symposium on Formal Methods), Natal - RN, 2016. DOI: 10.1007/978-3-319-49815-7_14



• Ségio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota and Flávia Barros. Model Checking Requirements. Simpóio Brasileiro de Méodos Formais (Brazilian Symposium on Formal Methods), Natal - RN, 2016. DOI: 10.1007/978-3-319-49815-7_13



• Alexandre Mota, Juliano Iyoda, and Heitor Maranhão. Program synthesis by model finding. Information Processing Letters, doi:10.1016/j.ipl.2016.06.003, 2016.



• Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda and Augusto Sampaio. Automatic generation of test cases and test purposes from natural language. Simpóio Brasileiro de Métodos Formais (Brazilian Symposium on Formal Methods), Belo Horizonte - MG, 2015.



• Lucas Lima, Álvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham and Vaughan Lewis. An integrated semantics for reasoning about SysML design models using refinement. In: Software & Systems Modeling, doi:10.1007/s10270-015-0492-y, 2015.



• Alexandre Correia, Juliano Iyoda, Carla Silva. From Requirements to Ready to Run Software: A Brief Thought on How to Mechanize The Software Development Process. International Journal in Foundations of Computer Science & Technology, v. 4, p. 17-26, doi:10.5121/ijfcst.2014.4302, 2014.



• Lucas Lima, Juliano Iyoda, and Augusto Sampaio. A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. In the Proceedings of the International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Lisbon, Portugal, doi:10.5220/0004711603170324, 2014.



• Diego Dias and Juliano Iyoda. Compositionality and Correctness of Fault Tolerant Patterns in HOL4. In: Science of Computer Programming. D.O.I: 10.1016/j.scico.2013.07.009, 2014.



• Breno Miranda, Eduardo Aranha, and Juliano Iyoda. Recommender Systems for Manual Testing: Deciding how to assign tests in a test team. In the Proceedings of the 6th International Symposium on Empirical Software Engineering and Measurement (ESEM'12), Lund, Sweden, doi:10.1145/2372251.2372289



• Juan Perna, Jim Woodcock, Augusto Sampaio and Juliano Iyoda. Correct hardware synthesis: An algebraic approach. In: Acta Informatica, 2011, doi:10.1007/s00236-011-0142-y.



• Diego Dias and Juliano Iyoda. Behavioural Preservation of Fault-Tolerant Patterns. In: Proceedings of the Brazilian Symposium on Formal Methods, 2011, São Paulo - SP, Brazil. doi:10.1007/978-3-642-25032-3_11



• Breno Miranda, Juliano Iyoda, Silvio Meira. Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador. In: Brazilian Workshop on Systematic and Automated Software Testing, 2010, Natal-RN, Brazil.



• Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim and Ricardo Prudêncio. Randomized Constraint Solvers: A Comparative Study. In: Innovations in Systems and Software Engineering: A NASA Journal, 2010. Volume 6, Issue 3 (2010), Page 243--253. doi:10.1007/s11334-010-0124-1



• Lucas Lima, Eduardo Aranha, Juliano Iyoda and Augusto Sampaio. Test Case Prioritization Based on Data Reuse: An Experimental Study. Empirical Software Engineering and Measurement (ESEM), 2009, Lake Buena Vista, FL, USA. doi:10.1109/ESEM.2009.5315980



• Juliana Mafra, Breno Miranda, Juliano Iyoda and Augusto Sampaio. Test Case Selector: Uma Ferramenta para Seleção de Testes. In: Brazilian Workshop on Systematic and Automated Software Testing, 2009, Gramado-RS, Brazil.



• Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim and Ricardo Prudêncio. Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. In: First NASA Formal Methods Symposium (NFM), April 6-8, 2009. Moffett Field, California, USA.



• Flávia Falcão, Juliano Iyoda and Augusto Sampaio. Multiple Synchrony in MSC. In: Brazilian Symposium on Formal Methods (SBMF), 2008, Salvador - BA. Brazilian Symposium on Formal Methods, 2008. In Electronic Notes in Theoretical Computer Science, Volume 240, 2 July 2009, Pages 149-166
  doi:10.1016/j.entcs.2009.05.050



• Lucas Lima, Juliano Iyoda and Augusto Sampaio. A Permutation Technique for Test Case Prioritization in a Black-box Environment. In: Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas - SP.



• Konrad Slind, Scott Owens, Juliano Iyoda and Mike Gordon. Proof producing synthesis of arithmetic and cryptographic hardware. Formal Aspects of Computing, v. 19, p. 343-362, 2007.
  doi:10.1007/s00165-007-0028-5



• Juliano Iyoda. Translating HOL Functions to Hardware. PhD Thesis, University of Cambridge, UK, 2006.



• Konrad Slind, Scott Owens, Mike Gordon and Juliano Iyoda. Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. In: Designing Correct Circuits 2006, 2006, Vienna. Design Correct Circuits 2006, 2006.



• Mike Gordon, Juliano Iyoda, Scott Owens and Konrad Slind. Automatic Formal Synthesis of Hardware from Higher Order Logic. 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005). Electronic Notes in Theoretical Computer Science, Volume 145, 14 January 2006, pages 27-43.



• Mike Gordon, Juliano Iyoda, Scott Owens and Konrad Slind. A Proof-Producing Hardware Compiler for a Subset of Higher Order Logic. In: 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs2005, 2005, Oxford. Emerging Trends - Proceedings of th 18th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2005, 2005. p. 59-75.



• Juliano Iyoda and He Jifeng. Towards an Algebraic Synthesis of Verilog. In: First International Conference on Engineering of Reconfigurable Systems and Algorithms, 2001, Las Vegas. Engineering of Reconfigurable Systems and Algorithms (ERSA'01), 2001.



• Juliano Iyoda, Augusto Sampaio and Leila Silva. ParTS: A Partitioning Transformation System. In: World Congress on Formal Methods (FM'99), 1999, Toulouse. FM'99 Formal Methods, 1999. v. 1709. p. 1400-1419.



• Juliano Iyoda, Augusto Sampaio and Leila Silva. ParTS: Partitioning Transformation System. In: Simpósio Brasileiro de Engenharia de Software (SBES), 1998, Maringá - PR, Brazil. 12o Simpósio Brasileiro de Engenharia de Software - Caderno de Ferramentas, 1998. p. 67-73.



• Juliano Iyoda and He Jifeng A Prolog Prototype for the Synthesis of Verilog. Technical Report, Macao-SAR, China, 2001.



• Juliano Iyoda and He Jifeng Towards an Algebraic Synthesis of Verilog. Technical Report, Macao-SAR, China, 2001.



• Juliano Iyoda. ParTS: Uma Ferramenta de Suporte ao Particionamento Hardware/Software. MSc Dissertation, Recife-PE, Brazil, 2000.