Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. - Giacomo Bucci; Andrea Fedeli; Luigi Sassoli; Enrico Vicario (ECRTS, 2003)

A discrete time model for performance evaluation and correctness verification of real time systems. - Giacomo Bucci; Luigi Sassoli; Enrico Vicario (PNPM, 2003)

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. - Giacomo Bucci; Luigi Sassoli; Enrico Vicario (QEST, 2004)

Timed State Space Analysis of Real-Time Preemptive Systems. - Giacomo Bucci; Andrea Fedeli; Luigi Sassoli; Enrico Vicario (IEEE Trans. Software Eng., 2004)

Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. - Giacomo Bucci; R. Piovosi; Luigi Sassoli; Enrico Vicario (QEST, 2005)

Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. - Giacomo Bucci; Luigi Sassoli; Enrico Vicario (IEEE Trans. Software Eng., 2005)

Analysis of Real Time Systems through the ORIS Tool. - Luigi Sassoli; Enrico Vicario (QEST, 2006)

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. - Laura Carnevali; Luigi Sassoli; Enrico Vicario (ECRTS, 2007)

Sensitization of symbolic runs in real-time testing using the ORIS tool. - Laura Carnevali; Luigi Sassoli; Enrico Vicario (ETFA, 2007)

Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. - Luigi Sassoli; Enrico Vicario (QEST, 2007)

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. - Enrico Vicario; Luigi Sassoli; Laura Carnevali (IEEE Trans. Software Eng., 2009)