Le, Thi Thieu Hoa
Le, Thi Thieu Hoa
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.01 secondi).
A Tag Contract Framework for Heterogeneous Systems
2013-01-01 Le, Thi Thieu Hoa; Passerone, Roberto; U., Fahrenberg; A., Legay
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
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