# Juliano Iyoda

According to our database

^{1}, Juliano Iyoda## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

An integrated semantics for reasoning about SysML design models using refinement.

Software and System Modeling, 2017

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Program synthesis by model finding.

Inf. Process. Lett., 2016

Refinement Verification of Sequence Diagrams Using CSP.

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Model Checking Requirements.

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013).

Sci. Comput. Program., 2015

Automatic Generation of Test Cases and Test Purposes from Natural Language.

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

2014

Compositionality and correctness of fault tolerant patterns in HOL4.

Sci. Comput. Program., 2014

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2012

Recommender systems for manual testing: deciding how to assign tests in a test team.

Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2012

2011

Correct hardware synthesis - An algebraic approach.

Acta Inf., 2011

Behavioural Preservation in Fault Tolerant Patterns.

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Randomized constraint solvers: a comparative study.

ISSE, 2010

2009

Multiple Synchrony in MSC.

Electr. Notes Theor. Comput. Sci., 2009

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.

Proceedings of the First NASA Formal Methods Symposium, 2009

Test case prioritization based on data reuse an experimental study.

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2007

Translating HOL functions to hardware.

PhD thesis, 2007

Proof producing synthesis of arithmetic and cryptographic hardware.

Formal Asp. Comput., 2007

2006

Automatic Formal Synthesis of Hardware from Higher Order Logic.

Electr. Notes Theor. Comput. Sci., 2006

1999

ParTS: A Partitioning Transformation System.

Proceedings of the FM'99 - Formal Methods, 1999

1998

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.

Proceedings of the Algebraic Methodology and Software Technology, 1998