Produzione Scientifica Thi Thieu Hoa Le
-
A. Griggio, H.T. T. Le, R. Sebastiani, "Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic" in LOGICAL METHODS IN COMPUTER SCIENCE, v. 8, n. 3 (2012), p. 1-31. - DOI: 10.2168/LMCS-8(3:3)2012 - vedi dettaglio
-
A. Griggio, T.T.H. Le, R. Sebastiani, "Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic" in Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference: TACAS 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software: ETAPS 2011: Proceedings, Berlin: Springer, 2011, p. 143-157 -(Lecture Notes in Computer Science; 6605). - ISBN: 9783642198342. Atti di: TACAS 2010, Saarbrücken, 26th March-3rd April 2011. - DOI: 10.1007/978-3-642-19835-9 - vedi dettaglio
-
H. T. Thieu Le, L. Palopoli, R. Passerone, Y. Ramadian, "Modeling a Distributed Heterogeneous Communication System Using Parametric Timed Automata", 2010 - vedi dettaglio
-
H. T. Thieu Le, L. Palopoli, R. Passerone, Y. Ramadian, A. Cimatti, "Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study" in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA10), Bilbao, Spain: IEEE, 2010, p. 1-8. - ISBN: 9781424468485. Atti di: ETFA10, Bilbao, Spain, 2010-September 13-16,. - DOI: 10.1109/ETFA.2010.5641315 - vedi dettaglio
