Juliano Iyoda

An integrated semantics for reasoning about SysML design models using refinement

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti et al. · Software & Systems Modeling · 2015 · 22 citations

Sysml Design Models, Engineering, Formal Modeling +12

Automatic Formal Synthesis of Hardware from Higher Order Logic

Mike Gordon, Juliano Iyoda, Scott Owens et al. · Electronic Notes in Theoretical Computer Science · 2006 · 21 citations · Full text

Hol4 System, Logic Synthesis, Hardware Modeling +15

Proof producing synthesis of arithmetic and cryptographic hardware

Konrad Slind, Scott Owens, Juliano Iyoda et al. · Formal Aspects of Computing · 2007 · 19 citations · Full text

Test case generation, selection and coverage from natural language

Sidney Nogueira, Hugo Araujo, Renata Bezerra Araújo et al. · Science of Computer Programming · 2019 · 17 citations

Natural Language Processing, Engineering, Automated Reasoning +9

Test case prioritization based on data reuse an experimental study

Lucas Lima, Juliano Iyoda, Augusto Sampaio et al. · 2009 · 11 citations

Engineering, Test Data Generation, Software Engineering +20