- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| j3 |      | Enrico Vicario, Luigi Sassoli, Laura Carnevali: Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Software Eng. 35(5): 703-719 (2009) |
| 2007 | ||
| c7 | | Laura Carnevali, Luigi Sassoli, Enrico Vicario: Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS 2007: 291-300 |
| c6 | | Laura Carnevali, Luigi Sassoli, Enrico Vicario: Sensitization of symbolic runs in real-time testing using the ORIS tool. ETFA 2007: 85-92 |
| c5 | | Luigi Sassoli, Enrico Vicario: Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. QEST 2007: 59-68 |
| 2006 | ||
| c4 | | Luigi Sassoli, Enrico Vicario: Analysis of Real Time Systems through the ORIS Tool. QEST 2006: 127-128 |
| 2005 | ||
| j2 | | Giacomo Bucci, Luigi Sassoli, Enrico Vicario: Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. IEEE Trans. Software Eng. 31(11): 913-927 (2005) |
| c3 | | Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario: Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST 2005: 13-22 |
| 2004 | ||
| j1 | | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng. 30(2): 97-111 (2004) |
| c2 | | Giacomo Bucci, Luigi Sassoli, Enrico Vicario: ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST 2004: 70-79 |
| 2003 | ||
| c1 | | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286 |
| 1 | Giacomo Bucci | |
| 2 | Laura Carnevali | |
| 3 | Andrea Fedeli | |
| 4 | R. Piovosi | |
| 5 | Enrico Vicario |
Data released under the ODC-BY 1.0 license — See also our legal information page