Juliano Manabu Iyoda
Juliano Manabu Iyoda
Verified email at - Homepage
Cited by
Cited by
Parts a partitioning transformation system
J Iyoda, A Sampaio, L Silva
International Symposium on Formal Methods, 1400-1419, 1999
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, 875-902, 2017
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, 343-362, 2007
Towards an algebraic synthesis of Verilog
J Iyoda, H Jifeng
UNU/IIST Research Report 218, 2001
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
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, 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
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
Report on modelling patterns for sos architectures
S Perry, J Holt, R Payne, C Ingram, A Miyazawa, FO Hansen, LD Couto, ...
COMPASS Deliverable D 32, 2013
Program synthesis by model finding
A Mota, JI Iyoda, H Maranhão
Combining model finder and genetic programming into a general purpose automatic program synthesizer
A Correia, J Iyoda, A Mota
Information Processing Letters 154, 105866, 2020
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
Correct hardware synthesis: An algebraic approach
J Perna, J Woodcock, A Sampaio, J Iyoda
Acta informatica 48, 363-396, 2011
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
A permutation technique for test case prioritization in a black-box environment
LA de Lima, J Iyoda, A Sampaio
Proceedings of the 2nd Brazilian Symposium on Systematic and Automated …, 2017
Model checking requirements
S Barza, G Carvalho, J Iyoda, A Sampaio, A Mota, F Barros
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF …, 2016
Initial report on SoS architectural models
J Holt, CB Nielsen, FO Hansen, A Miyazawa, R Payne, J Iyoda, ...
COMPASS2012, 2012
The system can't perform the operation now. Try again later.
Articles 1–20