default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJuliano Iyoda
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j12]Alexandre R. S. Correia
, Juliano Manabu Iyoda, Alexandre Cabral Mota:
The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces. Softw. Pract. Exp. 54(3): 528-540 (2024)- [c15]Davi Freitas, Breno Miranda, Juliano Iyoda:
Robotic-supported Data Loss Detection in Android Applications. SBES 2024: 1-11 - [c14]Davi Freitas, Breno Miranda, Juliano Iyoda:
RFNIT: Robotic Framework for Non-invasive Testing. SIGSOFT FSE Companion 2024: 667-668 - 2022
- [j11]Alexandre R. S. Correia, Juliano Manabu Iyoda, Alexandre Cabral Mota:
The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs. Softw. Pract. Exp. 52(5): 1294-1304 (2022) - 2021
- [j10]Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota:
A family of multi-concept program synthesisers in Alloy⁎. Sci. Comput. Program. 201: 102536 (2021) - 2020
- [j9]Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota:
Combining model finder and genetic programming into a general purpose automatic program synthesizer. Inf. Process. Lett. 154 (2020)
2010 – 2019
- 2019
- [j8]Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio:
Test case generation, selection and coverage from natural language. Sci. Comput. Program. 181: 84-110 (2019) - 2017
- [j7]Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis:
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16(3): 875-902 (2017) - [c13]Lom-Messan Hillah, Rodrigo Elia Assad, Antonia Bertolino, Márcio Eduardo Delamaro, Fabio De Rosa, Vinicius C. Garcia, Francesca Lonetti, Ariele-Paolo Maesano, Libero Maesano, Eda Marchetti, Breno Miranda, Auri Vincenzi, Juliano Iyoda:
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). SEFM 2017: 388-393 - 2016
- [j6]Alexandre Mota, Juliano Iyoda, Heitor Maranhão:
Program synthesis by model finding. Inf. Process. Lett. 116(11): 701-705 (2016) - [c12]Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros:
Model Checking Requirements. SBMF 2016: 217-234 - [c11]Lucas Lima, Juliano Iyoda, Augusto Sampaio:
Refinement Verification of Sequence Diagrams Using CSP. SBMF 2016: 235-252 - 2015
- [j5]Rohit Gheyi, Juliano Iyoda:
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013). Sci. Comput. Program. 107-108: 1 (2015) - [c10]Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio:
Automatic Generation of Test Cases and Test Purposes from Natural Language. SBMF 2015: 145-161 - 2014
- [j4]Diego Machado Dias, Juliano Iyoda:
Compositionality and correctness of fault tolerant patterns in HOL4. Sci. Comput. Program. 92: 105-128 (2014) - [c9]Lucas Lima, Juliano Iyoda, Augusto Sampaio:
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. MODELSWARD 2014: 317-324 - 2013
- [e1]Juliano Iyoda, Leonardo Mendonça de Moura:
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Lecture Notes in Computer Science 8195, Springer 2013, ISBN 978-3-642-41070-3 [contents] - 2012
- [c8]Breno Alexandro Ferreira de Miranda, Eduardo Henrique da Silva Aranha, Juliano Manabu Iyoda:
Recommender systems for manual testing: deciding how to assign tests in a test team. ESEM 2012: 201-210 - 2011
- [j3]Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda:
Correct hardware synthesis - An algebraic approach. Acta Informatica 48(7-8): 363-396 (2011) - [c7]Diego Machado Dias, Juliano Manabu Iyoda:
Behavioural Preservation in Fault Tolerant Patterns. SBMF 2011: 156-171 - 2010
- [j2]Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio:
Randomized constraint solvers: a comparative study. Innov. Syst. Softw. Eng. 6(3): 243-253 (2010)
2000 – 2009
- 2009
- [c6]Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha:
Test case prioritization based on data reuse an experimental study. ESEM 2009: 279-290 - [c5]Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio:
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods 2009: 56-65 - 2008
- [c4]Flávia Falcão, Juliano Iyoda, Augusto Sampaio:
Multiple Synchrony in MSC. SBMF 2008: 149-166 - 2007
- [b1]Juliano Manabu Iyoda:
Translating HOL functions to hardware. University of Cambridge, UK, 2007 - [j1]Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon:
Proof producing synthesis of arithmetic and cryptographic hardware. Formal Aspects Comput. 19(3): 343-362 (2007) - 2005
- [c3]Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind:
Automatic Formal Synthesis of Hardware from Higher Order Logic. AVoCS 2005: 27-43
1990 – 1999
- 1999
- [c2]Juliano Iyoda, Augusto Sampaio, Leila Silva:
ParTS: A Partitioning Transformation System. World Congress on Formal Methods 1999: 1400-1419 - 1998
- [c1]Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda:
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. AMAST 1998: 308-324
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
