E-LIB Suche - Ergebnisse für: Iyoda, Juliano

1

RFNIT: Robotic Framework for Non-invasive Testing:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,

Freitas, Davi ; Miranda, Breno ; Iyoda, Juliano - p. 667-668 , 2024

Link: https://dl.acm.org/doi/1..

2

A family of multi-concept program synthesisers in Alloy⁎:

Correia, Alexandre ; Iyoda, Juliano ; Mota, Alexandre
Science of Computer Programming. 201 (2021) - p. 102536 , 2021

Link: https://doi.org/10.1016/..

3

Combining model finder and genetic programming into a gener..:

Correia, Alexandre ; Iyoda, Juliano ; Mota, Alexandre
Information Processing Letters. 154 (2020) - p. 105866 , 2020

Link: https://doi.org/10.1016/..

4

Test case generation, selection and coverage from natural l..:

Nogueira, Sidney ; Araujo, Hugo ; Araujo, Renata..
Science of Computer Programming. 181 (2019) - p. 84-110 , 2019

Link: https://doi.org/10.1016/..

5

Program synthesis by model finding:

Mota, Alexandre ; Iyoda, Juliano ; Maranhão, Heitor
Information Processing Letters. 116 (2016) 11 - p. 701-705 , 2016

Link: https://doi.org/10.1016/..

6

Selected papers from the Brazilian Symposiums on Formal Met..:

Gheyi, Rohit ; Iyoda, Juliano
Science of Computer Programming. 107-108 (2015) - p. 1 , 2015

Link: https://doi.org/10.1016/..

7

An integrated semantics for reasoning about SysML design mo..:

Lima, Lucas ; Miyazawa, Alvaro ; Cavalcanti, Ana...
Software & Systems Modeling. 16 (2015) 3 - p. 875-902 , 2015

Link: https://doi.org/10.1007/..

8

Compositionality and correctness of fault tolerant patterns..:

Dias, Diego ; Iyoda, Juliano
Science of Computer Programming. 92 (2014) - p. 105-128 , 2014

Link: https://doi.org/10.1016/..

9

Formal Methods: Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, Sept... Lecture Notes in Computer Science ; 8195;SpringerLink, Bücher

Iyoda, Juliano ; Moura, Leonardo , 2013

Link: https://doi.org/10.1007/..

10

Correct hardware synthesis: An algebraic approach:

Perna, Juan ; Woodcock, Jim ; Sampaio, Augusto.
Acta Informatica. 48 (2011) 7-8 - p. 363-396 , 2011

Link: https://doi.org/10.1007/..

11

Randomized constraint solvers: a comparative study:

Takaki, Mitsuo ; Cavalcanti, Diego ; Gheyi, Rohit...
Innovations in Systems and Software Engineering. 6 (2010) 3 - p. 243-253 , 2010

Link: https://doi.org/10.1007/..

12

Multiple Synchrony in MSC:

Falcão, Flávia ; Iyoda, Juliano ; Sampaio, Augusto
Electronic Notes in Theoretical Computer Science. 240 (2009) - p. 149-166 , 2009

Link: https://doi.org/10.1016/..

13

Proof producing synthesis of arithmetic and cryptographic h..:

Slind, Konrad ; Owens, Scott ; Iyoda, Juliano.
Formal Aspects of Computing. 19 (2007) 3 - p. 343-362 , 2007

Link: https://doi.org/10.1007/..

14

Automatic Formal Synthesis of Hardware from Higher Order Lo..:

Gordon, Mike ; Iyoda, Juliano ; Owens, Scott.
Electronic Notes in Theoretical Computer Science. 145 (2006) - p. 27-43 , 2006

Link: https://doi.org/10.1016/..

15

The effect of distance metrics in a general purpose synthes..:

Correia, Alexandre R. S. ; Iyoda, Juliano M. ; Mota, Alexandre C.
Software: Practice and Experience. 54 (2023) 3 - p. 528-540 , 2023

Link: https://doi.org/10.1002/..