Luigi Sassoli

11 papers B 2C 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2009 J jnl
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.
IEEE Trans. Software Eng.
Enrico Vicario, Luigi Sassoli, Laura Carnevali
2007 B conf
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.
ECRTS
Laura Carnevali, Luigi Sassoli, Enrico Vicario
2007 — conf
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models.
QEST
Luigi Sassoli, Enrico Vicario
2007 C conf
Sensitization of symbolic runs in real-time testing using the ORIS tool.
ETFA
Laura Carnevali, Luigi Sassoli, Enrico Vicario
2006 — conf
Analysis of Real Time Systems through the ORIS Tool.
QEST
Luigi Sassoli, Enrico Vicario
2005 J jnl
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.
IEEE Trans. Software Eng.
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
2005 — conf
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.
QEST
Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
2004 — conf
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.
QEST
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
2004 J jnl
Timed State Space Analysis of Real-Time Preemptive Systems.
IEEE Trans. Software Eng.
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
2003 — conf
A discrete time model for performance evaluation and correctness verification of real time systems.
PNPM
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
2003 B conf
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.
ECRTS
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario