Juliano Manabu Iyoda
Juliano Manabu Iyoda
Verified email at cin.ufpe.br - Homepage
Cited by
Cited by
Parts a partitioning transformation system
J Iyoda, A Sampaio, L Silva
International Symposium on Formal Methods, 1400-1419, 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
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
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
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
Towards an algebraic synthesis of Verilog
J Iyoda, H Jifeng
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
A comparative study of randomized constraint solvers for random-symbolic testing
M Takaki, D Cavalcanti, R Gheyi, J Iyoda, M dAmorim, R Prudêncio
Proceedings of the First NASA Formal Methods Symposium, 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
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
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
Initial report on SoS architectural models
J Holt, CB Nielsen, FO Hansen, A Miyazawa, R Payne, J Iyoda, ...
COMPASS2012, 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
Program synthesis by model finding
A Mota, JI Iyoda, H Maranhão
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
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
Correct hardware synthesis
J Perna, J Woodcock, A Sampaio, J Iyoda
Acta informatica 48 (7-8), 363-396, 2011
Translating HOL functions to hardware
J Iyoda
University of Cambridge, Computer Laboratory, 2007
A permutation technique for test case prioritization in a black-box environment
LA de Lima, J Iyoda, A Sampaio
A Prolog prototype for the synthesis of Verilog
J Iyoda, H Jifeng
The system can't perform the operation now. Try again later.
Articles 1–20