Juliano Iyoda

According to our database1, Juliano Iyoda
  • authored at least 21 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

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


  Loading...