Thi Thieu Hoa Le

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.

Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay

ACM Trans. Embed. Comput. Syst., 2016

A tag contract framework for modeling heterogeneous systems.

Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay

Sci. Comput. Program., 2016

2014

A Tag Contract Framework for Modeling Heterogeneous Systems.

Thi Thieu Hoa Le

PhD thesis, 2014

Refinement-based synthesis of correct contract model decompositions.

Thi Thieu Hoa Le, Roberto Passerone

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.

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian

Int. J. Softw. Tools Technol. Transf., 2013

A Tag Contract Framework for Heterogeneous Systems.

Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Tag Machines for Modeling Heterogeneous Systems.

Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2010

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani

Log. Methods Comput. Sci., 2010

Parametric analysis of distributed firm real-time systems: A case study.

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010