Le, Thi Thieu Hoa
Le, Thi Thieu Hoa
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic
2010-01-01 Le, Thi Thieu Hoa
A Tag Contract Framework for Heterogeneous Systems
2013-01-01 Le, Thi Thieu Hoa; Passerone, Roberto; U., Fahrenberg; A., Legay
A Tag Contract Framework for Modeling Heterogeneous Systems
2014-01-01 Le, Thi Thieu Hoa
An Operational Contract Framework for Heterogeneous Systems
2012-01-01 Fahrenberg, Uli; Legay, Axel; Passerone, Roberto; Le, Thi Thieu Hoa
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
2011-01-01 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
2012-01-01 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata
2010-01-01 Le, Thi Thieu Hoa; Palopoli, Luigi; Passerone, Roberto; Ramadian, Yusi
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study
2010-01-01 Le, Thi Thieu Hoa; Palopoli, Luigi; Passerone, Roberto; Ramadian, Yusi; Cimatti, Alessandro
Refinement-based Synthesis of Correct Contract Model Decompositions
2014-01-01 Le, Thi Thieu Hoa; Passerone, Roberto
Tag Machines for Modeling Heterogeneous Systems
2013-01-01 Le, Thi Thieu Hoa; Passerone, Roberto; U., Fahrenberg; A., Legay
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study
2013-01-01 Le, Thi Thieu Hoa; Palopoli, Luigi; Passerone, Roberto; Y., Ramadian