Sfoglia per Autore
Mostrati risultati da 1 a 11 di 11
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata
2010-01-01 Le, Thi Thieu Hoa; Palopoli, Luigi; Passerone, Roberto; Ramadian, Yusi
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic
2010-01-01 Le, Thi Thieu Hoa
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
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
2011-01-01 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
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
2012-01-01 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
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
A Tag Contract Framework for Heterogeneous Systems
2013-01-01 Le, Thi Thieu Hoa; Passerone, Roberto; U., Fahrenberg; A., Legay
Tag Machines for Modeling 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
Refinement-based Synthesis of Correct Contract Model Decompositions
2014-01-01 Le, Thi Thieu Hoa; Passerone, Roberto
Mostrati risultati da 1 a 11 di 11
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile