Parts a partitioning transformation system J Iyoda, A Sampaio, L Silva International Symposium on Formal Methods, 1400-1419, 1999 | 31 | 1999 |

Automatic formal synthesis of hardware from higher order logic M Gordon, J Iyoda, S Owens, K Slind Electronic Notes in Theoretical Computer Science 145, 27-43, 2006 | 22 | 2006 |

Proof producing synthesis of arithmetic and cryptographic hardware K Slind, S Owens, J Iyoda, M Gordon Formal Aspects of Computing 19 (3), 343-362, 2007 | 19 | 2007 |

Test case prioritization based on data reuse an experimental study L Lima, J Iyoda, A Sampaio, E Aranha 2009 3rd International Symposium on Empirical Software Engineering and …, 2009 | 18 | 2009 |

Towards an algebraic synthesis of Verilog J Iyoda, H Jifeng | 16 | 2001 |

An integrated semantics for reasoning about SysML design models using refinement L Lima, A Miyazawa, A Cavalcanti, M Cornélio, J Iyoda, A Sampaio, ... Software & Systems Modeling 16 (3), 875-902, 2017 | 14 | 2017 |

Randomized constraint solvers: a comparative study M Takaki, D Cavalcanti, R Gheyi, J Iyoda, M d’Amorim, RBC Prudêncio Innovations in Systems and Software Engineering 6 (3), 243-253, 2010 | 14 | 2010 |

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. M Takaki, D Cavalcanti, R Gheyi, J Iyoda, M d'Amorim, RBC Prudêncio NASA Formal Methods, 56-65, 2009 | 11 | 2009 |

Test case generation, selection and coverage from natural language S Nogueira, H Araujo, R Araujo, J Iyoda, A Sampaio Science of Computer Programming 181, 84-110, 2019 | 9 | 2019 |

Recommender systems for manual testing: Deciding how to assign tests in a test team B Miranda, EHS Aranha, JM Iyoda Proceedings of the ACM-IEEE international symposium on Empirical software …, 2012 | 8 | 2012 |

Final report on combining SysML and CML A Miyazawa, L Albertins, J Iyoda, M Cornélio, R Payne, A Cavalcanti COMPASS Deliverable D 22, 2013 | 7 | 2013 |

Initial report on SoS architectural models J Holt, CB Nielsen, FO Hansen, A Miyazawa, R Payne, J Iyoda, ... COMPASS2012, 2012 | 7 | 2012 |

An algebraic approach to combining processes in a hardware/software partitioning environment L Silva, A Sampaio, E Barros, J Iyoda International Conference on Algebraic Methodology and Software Technology …, 1999 | 7 | 1999 |

Program synthesis by model finding A Mota, JI Iyoda, H Maranhão | 7* | |

Asymptotic solvers for ordinary differential equations with multiple frequencies M Condon, A Deaño, J Gao, A Iserles Science China Mathematics 58 (11), 2279-2300, 2015 | 6* | 2015 |

Final report on sos architectural models S Perry, J Holt, R Payne, J Bryans, C Ingram, A Miyazawa, S Hallerstede, ... COMPASS Project, Tech. Rep., 2014 | 6 | 2014 |

Report on modelling patterns for sos architectures S Perry, J Holt, R Payne, C Ingram, A Miyazawa, FO Hansen, LD Couto, ... COMPASS Deliverable D 22, 2013 | 6 | 2013 |

Correct hardware synthesis J Perna, J Woodcock, A Sampaio, J Iyoda Acta informatica 48 (7-8), 363-396, 2011 | 5 | 2011 |

A permutation technique for test case prioritization in a black-box environment LA de Lima, J Iyoda, A Sampaio | 5 | 2008 |

Translating HOL functions to hardware J Iyoda University of Cambridge, Computer Laboratory, 2007 | 5 | 2007 |