Juliano Iyoda

26 papers A 1B 1C 1Journal 12Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Toward a non-invasive robotic-supported approach for data loss detection in android applications.
Inf. Softw. Technol.
Davi Freitas, Breno Miranda, Juliano Iyoda
2025 J jnl
Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts.
J. Softw. Eng. Res. Dev.
Alexandre Mota, Manoel Villarim, Juliano Iyoda, Márcio Cornélio
2024 — conf
RFNIT: Robotic Framework for Non-invasive Testing.
SIGSOFT FSE Companion
Davi Freitas, Breno Miranda, Juliano Iyoda
2024 — conf
Robotic-supported Data Loss Detection in Android Applications.
SBES
Davi Freitas, Breno Miranda, Juliano Iyoda
2021 J jnl
A family of multi-concept program synthesisers in Alloy
Sci. Comput. Program.
Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota
2020 J jnl
Combining model finder and genetic programming into a general purpose automatic program synthesizer.
Inf. Process. Lett.
Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota
2019 J jnl
Test case generation, selection and coverage from natural language.
Sci. Comput. Program.
Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
2017 J jnl
An integrated semantics for reasoning about SysML design models using refinement.
Softw. Syst. Model.
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
2017 B conf
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).
SEFM
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
2016 — conf
Model Checking Requirements.
SBMF
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros
2016 J jnl
Program synthesis by model finding.
Inf. Process. Lett.
Alexandre Mota, Juliano Iyoda, Heitor Maranhão
2016 — conf
Refinement Verification of Sequence Diagrams Using CSP.
SBMF
Lucas Lima, Juliano Iyoda, Augusto Sampaio
2015 — conf
Automatic Generation of Test Cases and Test Purposes from Natural Language.
SBMF
Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
2015 J jnl
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013).
Sci. Comput. Program.
Rohit Gheyi, Juliano Iyoda
2014 C conf
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.
MODELSWARD
Lucas Lima, Juliano Iyoda, Augusto Sampaio
2014 J jnl
Compositionality and correctness of fault tolerant patterns in HOL4.
Sci. Comput. Program.
Diego Machado Dias, Juliano Iyoda
2013 — ed.
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
SBMF
Juliano Iyoda, Leonardo Mendonça de Moura
2011 J jnl
Correct hardware synthesis - An algebraic approach.
Acta Informatica
Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda
2010 J jnl
Randomized constraint solvers: a comparative study.
Innov. Syst. Softw. Eng.
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
2009 — conf
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.
NASA Formal Methods
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
2009 A conf
Test case prioritization based on data reuse an experimental study.
ESEM
Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha
2008 — conf
Multiple Synchrony in MSC.
SBMF
Flávia Falcão, Juliano Iyoda, Augusto Sampaio
2007 J jnl
Proof producing synthesis of arithmetic and cryptographic hardware.
Formal Aspects Comput.
Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon
2005 — conf
Automatic Formal Synthesis of Hardware from Higher Order Logic.
AVoCS
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind
1999 — conf
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods
Juliano Iyoda, Augusto Sampaio, Leila Silva
1998 — conf
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST
Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda