An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. - Leila Silva; Augusto Sampaio 001; Edna Barros; Juliano Iyoda (AMAST, 1998)

ParTS: A Partitioning Transformation System. - Juliano Iyoda; Augusto Sampaio 001; Leila Silva (World Congress on Formal Methods, 1999)

Automatic Formal Synthesis of Hardware from Higher Order Logic. - Mike Gordon; Juliano Iyoda; Scott Owens; Konrad Slind (AVoCS, 2005)

Proof producing synthesis of arithmetic and cryptographic hardware. - Konrad Slind; Scott Owens; Juliano Iyoda; Mike Gordon (Formal Aspects Comput., 2007)

Translating HOL functions to hardware. - Juliano Manabu Iyoda (2007)

Multiple Synchrony in MSC. - Flávia Falcão; Juliano Iyoda; Augusto Sampaio 001 (SBMF, 2008)

Test case prioritization based on data reuse an experimental study. - Lucas Lima 001; Juliano Iyoda; Augusto Sampaio 001; Eduardo Aranha (ESEM, 2009)

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. - Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Bastos Cavalcante Prudêncio (NASA Formal Methods, 2009)

Randomized constraint solvers: a comparative study. - Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Bastos Cavalcante Prudêncio (Innov. Syst. Softw. Eng., 2010)

Behavioural Preservation in Fault Tolerant Patterns. - Diego Machado Dias; Juliano Manabu Iyoda (SBMF, 2011)

Correct hardware synthesis - An algebraic approach. - Juan Ignacio Perna; Jim Woodcock 001; Augusto Sampaio 001; Juliano Iyoda (Acta Informatica, 2011)

Recommender systems for manual testing: deciding how to assign tests in a test team. - Breno Alexandro Ferreira de Miranda; Eduardo Henrique da Silva Aranha; Juliano Manabu Iyoda (ESEM, 2012)

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. - Lucas Lima 001; Juliano Iyoda; Augusto Sampaio 001 (MODELSWARD, 2014)

Compositionality and correctness of fault tolerant patterns in HOL4. - Diego Machado Dias; Juliano Iyoda (Sci. Comput. Program., 2014)

Automatic Generation of Test Cases and Test Purposes from Natural Language. - Sidney C. Nogueira; Hugo Leonardo da Silva Araujo; Renata B. S. Araujo; Juliano Iyoda; Augusto Sampaio 001 (SBMF, 2015)

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013). - Rohit Gheyi; Juliano Iyoda (Sci. Comput. Program., 2015)

Model Checking Requirements. - Sérgio Barza; Gustavo Carvalho; Juliano Iyoda; Augusto Sampaio 001; Alexandre Mota 001; Flávia de Almeida Barros (SBMF, 2016)

Refinement Verification of Sequence Diagrams Using CSP. - Lucas Lima 001; Juliano Iyoda; Augusto Sampaio 001 (SBMF, 2016)

Program synthesis by model finding. - Alexandre Mota 001; Juliano Iyoda; Heitor Maranhão (Inf. Process. Lett., 2016)

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). - Lom-Messan Hillah; Rodrigo Elia Assad; Antonia Bertolino; Márcio Eduardo Delamaro; Fabio De Rosa; Vinicius C. Garcia; Francesca Lonetti; Ariele-Paolo Maesano; Libero Maesano; Eda Marchetti; Breno Miranda; Auri Vincenzi; et al. (SEFM, 2017)

An integrated semantics for reasoning about SysML design models using refinement. - Lucas Lima 001; Alvaro Miyazawa; Ana Cavalcanti 001; Márcio Cornélio; Juliano Iyoda; Augusto Sampaio 001; Ralph Hains; Adrian Larkham; Vaughan Lewis (Softw. Syst. Model., 2017)

Test case generation, selection and coverage from natural language. - Sidney C. Nogueira; Hugo Leonardo da Silva Araujo; Renata B. S. Araujo; Juliano Iyoda; Augusto Sampaio 001 (Sci. Comput. Program., 2019)

Combining model finder and genetic programming into a general purpose automatic program synthesizer. - Alexandre R. S. Correia; Juliano Iyoda; Alexandre Mota 001 (Inf. Process. Lett., 2020)

A family of multi-concept program synthesisers in Alloy⁎. - Alexandre R. S. Correia; Juliano Iyoda; Alexandre Mota 001 (Sci. Comput. Program., 2021)

The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs. - Alexandre R. S. Correia; Juliano Manabu Iyoda; Alexandre Cabral Mota (Softw. Pract. Exp., 2022)

Robotic-supported Data Loss Detection in Android Applications. - Davi Freitas; Breno Miranda; Juliano Iyoda (SBES, 2024)

RFNIT: Robotic Framework for Non-invasive Testing. - Davi Freitas; Breno Miranda; Juliano Iyoda (SIGSOFT FSE Companion, 2024)

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces. - Alexandre R. S. Correia; Juliano Manabu Iyoda; Alexandre Cabral Mota (Softw. Pract. Exp., 2024)