Juliano Iyoda

According to our database, Juliano Iyoda authored at least 26 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., March, 2024

2022

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

2021

A family of multi-concept program synthesisers in Alloy^⁎.

Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota

Sci. Comput. Program., 2021

2020

Combining model finder and genetic programming into a general purpose automatic program synthesizer.

Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota

Inf. Process. Lett., 2020

2019

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

Sci. Comput. Program., 2019

2017

An integrated semantics for reasoning about SysML design models using refinement.

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis

Softw. Syst. Model., 2017

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, Juliano Iyoda

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Program synthesis by model finding.

Alexandre Mota, Juliano Iyoda, Heitor Maranhão

Inf. Process. Lett., 2016

Refinement Verification of Sequence Diagrams Using CSP.

Lucas Lima, Juliano Iyoda, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Model Checking Requirements.

Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013).

Rohit Gheyi, Juliano Iyoda

Sci. Comput. Program., 2015

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

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

2014

Compositionality and correctness of fault tolerant patterns in HOL4.

Diego Machado Dias, Juliano Iyoda

Sci. Comput. Program., 2014

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

Lucas Lima, Juliano Iyoda, Augusto Sampaio

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2012

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

Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2012

2011

Correct hardware synthesis - An algebraic approach.

Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda

Acta Informatica, 2011

Behavioural Preservation in Fault Tolerant Patterns.

Diego Machado Dias, Juliano Manabu Iyoda

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

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

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

Proceedings of the First NASA Formal Methods Symposium, 2009

Test case prioritization based on data reuse an experimental study.

Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2008

Multiple Synchrony in MSC.

Flávia Falcão, Juliano Iyoda, Augusto Sampaio

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

2007

Translating HOL functions to hardware.

Juliano Manabu Iyoda

PhD thesis, 2007

Proof producing synthesis of arithmetic and cryptographic hardware.

Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon

Formal Aspects Comput., 2007

2005

Automatic Formal Synthesis of Hardware from Higher Order Logic.

Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

1999

ParTS: A Partitioning Transformation System.

Juliano Iyoda, Augusto Sampaio, Leila Silva

Proceedings of the FM'99 - Formal Methods, 1999

1998

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.

Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda

Proceedings of the Algebraic Methodology and Software Technology, 1998