Le, Thi Thieu Hoa

Le, Thi Thieu Hoa  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.016 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic 1-gen-2010 Le, Thi Thieu Hoa
A Tag Contract Framework for Heterogeneous Systems 1-gen-2013 Le, Thi Thieu HoaPasserone, Roberto +
A Tag Contract Framework for Modeling Heterogeneous Systems 1-gen-2014 Le, Thi Thieu Hoa
An Operational Contract Framework for Heterogeneous Systems 1-gen-2012 Passerone, RobertoLe, Thi Thieu Hoa +
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 1-gen-2012 Griggio, AlbertoLe, Thi Thieu HoaSebastiani, Roberto
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 1-gen-2011 Griggio, AlbertoLe, Thi Thieu HoaSebastiani, Roberto
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata 1-gen-2010 Le, Hoa Thi ThieuPalopoli, LuigiPasserone, RobertoRamadian, Yusi
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 1-gen-2010 Le, Thi Thieu HoaPalopoli, LuigiPasserone, RobertoRamadian, YusiCimatti, Alessandro
Refinement-based Synthesis of Correct Contract Model Decompositions 1-gen-2014 Le, Thi Thieu HoaPasserone, Roberto
Tag Machines for Modeling Heterogeneous Systems 1-gen-2013 Le, Thi Thieu HoaPasserone, Roberto +
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study 1-gen-2013 Le, Thi Thieu HoaPalopoli, LuigiPasserone, Roberto +