Juliano Iyoda

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 11

Top Topics

Sequence Diagrams

Formal Semantics

Top Venues

Sci. Comput. Program.

Inf. Process. Lett.

Publications

Davi Freitas, Breno Miranda, Juliano Iyoda
RFNIT: Robotic Framework for Non-invasive Testing. SIGSOFT FSE Companion (2024)
Alexandre Correia, Juliano Iyoda, Alexandre Mota
. Sci. Comput. Program. 201 (2021)
Alexandre Correia, Juliano Iyoda, Alexandre Mota
Combining model finder and genetic programming into a general purpose automatic program synthesizer. Inf. Process. Lett. 154 (2020)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Test case generation, selection and coverage from natural language. Sci. Comput. Program. 181 (2019)
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
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). SEFM (2017)
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 (3) (2017)
Alexandre Mota, Juliano Iyoda, Heitor Maranhão
Program synthesis by model finding. Inf. Process. Lett. 116 (11) (2016)
Lucas Lima, Juliano Iyoda, Augusto Sampaio
Refinement Verification of Sequence Diagrams Using CSP. SBMF (2016)
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros
Model Checking Requirements. SBMF (2016)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Automatic Generation of Test Cases and Test Purposes from Natural Language. SBMF (2015)
Rohit Gheyi, Juliano Iyoda
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013). Sci. Comput. Program. (2015)
Lucas Lima, Juliano Iyoda, Augusto Sampaio
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. MODELSWARD (2014)
Diego Machado Dias, Juliano Iyoda
Compositionality and correctness of fault tolerant patterns in HOL4. Sci. Comput. Program. 92 (2014)
Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda
Correct hardware synthesis - An algebraic approach. Acta Informatica 48 (7-8) (2011)
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
Randomized constraint solvers: a comparative study. Innov. Syst. Softw. Eng. 6 (3) (2010)
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods (2009)
Flávia Falcão, Juliano Iyoda, Augusto Sampaio
Multiple Synchrony in MSC. Electron. Notes Theor. Comput. Sci. 240 (2009)
Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha
Test case prioritization based on data reuse an experimental study. ESEM (2009)
Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon
Proof producing synthesis of arithmetic and cryptographic hardware. Formal Aspects Comput. 19 (3) (2007)
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind
Automatic Formal Synthesis of Hardware from Higher Order Logic. Electron. Notes Theor. Comput. Sci. 145 (2006)
Juliano Iyoda, Augusto Sampaio, Leila Silva
ParTS: A Partitioning Transformation System. World Congress on Formal Methods (1999)
Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. AMAST (1998)