Juliano Manabu Iyoda
Juliano Manabu Iyoda
Verified email at cin.ufpe.br - Homepage
Title
Cited by
Cited by
Year
Parts a partitioning transformation system
J Iyoda, A Sampaio, L Silva
International Symposium on Formal Methods, 1400-1419, 1999
311999
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
222006
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
192007
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
182009
Towards an algebraic synthesis of Verilog
J Iyoda, H Jifeng
162001
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
142017
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
142010
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
112009
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
92019
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
82012
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
72013
Initial report on SoS architectural models
J Holt, CB Nielsen, FO Hansen, A Miyazawa, R Payne, J Iyoda, ...
COMPASS2012, 2012
72012
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
71999
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
62014
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
62013
Correct hardware synthesis
J Perna, J Woodcock, A Sampaio, J Iyoda
Acta informatica 48 (7-8), 363-396, 2011
52011
A permutation technique for test case prioritization in a black-box environment
LA de Lima, J Iyoda, A Sampaio
52008
Translating HOL functions to hardware
J Iyoda
University of Cambridge, Computer Laboratory, 2007
52007
The system can't perform the operation now. Try again later.
Articles 1–20