Thi Thieu Hoa Le

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Real Time Embedded

Multiresolution

Texture Synthesis

Heterogeneous Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
A tag contract framework for modeling heterogeneous systems. Sci. Comput. Program. (2016)
Thi Thieu Hoa Le, Roberto Passerone
Refinement-based synthesis of correct contract model decompositions. MEMOCODE (2014)
Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops (2013)
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
Tag Machines for Modeling Heterogeneous Systems. ACSD (2013)
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. TACAS (2011)
Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti
Parametric analysis of distributed firm real-time systems: A case study. ETFA (2010)
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic Log. Methods Comput. Sci. 8 (3) (2010)