Thi Thieu Hoa Le

According to our database1, Thi Thieu Hoa Le authored at least 9 papers between 2010 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.
ACM Trans. Embed. Comput. Syst., 2016

A tag contract framework for modeling heterogeneous systems.
Sci. Comput. Program., 2016

2014
A Tag Contract Framework for Modeling Heterogeneous Systems.
PhD thesis, 2014

Refinement-based synthesis of correct contract model decompositions.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.
Int. J. Softw. Tools Technol. Transf., 2013

A Tag Contract Framework for Heterogeneous Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Tag Machines for Modeling Heterogeneous Systems.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2010
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Log. Methods Comput. Sci., 2010

Parametric analysis of distributed firm real-time systems: A case study.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010


  Loading...