Author Info
Name
Affiliation
Papers
JULIANO IYODA
Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
20
Collaborators
Citations 
PageRank 
48
61
9.21
Referers 
Referees 
References 
128
356
170
Search Limit
100356
Title
Citations
PageRank
Year
A family of multi-concept program synthesisers in Alloy.00.342021
Combining model finder and genetic programming into a general purpose automatic program synthesizer.00.342020
Test case generation, selection and coverage from natural language00.342019
An integrated semantics for reasoning about SysML design models using refinement40.422017
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).00.342017
Program synthesis by model finding.10.352016
Refinement Verification of Sequence Diagrams Using CSP.00.342016
Automatic Generation of Test Cases and Test Purposes from Natural Language.10.432015
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)00.342015
Compositionality and correctness of fault tolerant patterns in HOL4.00.342014
A formal semantics for Sequence Diagrams and a strategy for system analysis20.392014
Correct hardware synthesis: An algebraic approach10.352011
Randomized constraint solvers: a comparative study60.592010
Test case prioritization based on data reuse an experimental study70.462009
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.40.512009
Multiple Synchrony in MSC00.342009
Proof producing synthesis of arithmetic and cryptographic hardware100.992007
Automatic Formal Synthesis of Hardware from Higher Order Logic80.552006
ParTS: A Partitioning Transformation System140.981999
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment30.481998