Luigi Sassoli

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Enrico Vicario, Luigi Sassoli, Laura Carnevali
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Software Eng. 35 (5) (2009)
Luigi Sassoli, Enrico Vicario
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. QEST (2007)
Laura Carnevali, Luigi Sassoli, Enrico Vicario
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS (2007)
Laura Carnevali, Luigi Sassoli, Enrico Vicario
Sensitization of symbolic runs in real-time testing using the ORIS tool. ETFA (2007)
Luigi Sassoli, Enrico Vicario
Analysis of Real Time Systems through the ORIS Tool. QEST (2006)
Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST (2005)
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) (2005)
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST (2004)
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng. 30 (2) (2004)
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
A discrete time model for performance evaluation and correctness verification of real time systems. PNPM (2003)
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS (2003)