 | 2007 |
|---|
| 8 |       | Laura Carnevali,
Luigi Sassoli,
Enrico Vicario:
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.
ECRTS 2007: 291-300 |
| 7 | | 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 |
|---|
| 6 | | Luigi Sassoli,
Enrico Vicario:
Analysis of Real Time Systems through the ORIS Tool.
QEST 2006: 127-128 |
| 2005 |
|---|
| 5 | | Giacomo Bucci,
R. Piovosi,
Luigi Sassoli,
Enrico Vicario:
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.
QEST 2005: 13-22 |
| 4 | | 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) |
| 2004 |
|---|
| 3 | | Giacomo Bucci,
Luigi Sassoli,
Enrico Vicario:
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.
QEST 2004: 70-79 |
| 2 | | 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) |
| 2003 |
|---|
| 1 | | Giacomo Bucci,
Andrea Fedeli,
Luigi Sassoli,
Enrico Vicario:
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.
ECRTS 2003: 279-286 |
