Search the dblp DataBase

Publications of Author

1. Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
   Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. [Citation Graph (0, 0)][DBLP]
   ECRTS, 2003, pp:279-286 [Conf]
   
2. Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
   Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. [Citation Graph (0, 0)][DBLP]
   QEST, 2005, pp:13-22 [Conf]
   
3. Giacomo Bucci, Luigi Sassoli, Enrico Vicario
   ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:70-79 [Conf]
   
4. Luigi Sassoli, Enrico Vicario
   Analysis of Real Time Systems through the ORIS Tool. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:127-128 [Conf]
   
5. Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
   Timed State Space Analysis of Real-Time Preemptive Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:2, pp:97-111 [Journal]
   
6. Giacomo Bucci, Luigi Sassoli, Enrico Vicario
   Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2005, v:31, n:11, pp:913-927 [Journal]
   
7. 
   Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. [Citation Graph (, )][DBLP]
   
   
8. 
   Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. [Citation Graph (, )][DBLP]