Luigi Sassoli

According to our database, Luigi Sassoli authored at least 11 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.

Enrico Vicario, Luigi Sassoli, Laura Carnevali

IEEE Trans. Software Eng., 2009

2007

Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models.

Luigi Sassoli, Enrico Vicario

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Sensitization of symbolic runs in real-time testing using the ORIS tool.

Laura Carnevali, Luigi Sassoli, Enrico Vicario

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.

Laura Carnevali, Luigi Sassoli, Enrico Vicario

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006

Analysis of Real Time Systems through the ORIS Tool.

Luigi Sassoli, Enrico Vicario

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

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

Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.

Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

Timed State Space Analysis of Real-Time Preemptive Systems.

Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario

IEEE Trans. Software Eng., 2004

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.

Giacomo Bucci, Luigi Sassoli, Enrico Vicario

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003

A discrete time model for performance evaluation and correctness verification of real time systems.

Giacomo Bucci, Luigi Sassoli, Enrico Vicario

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.

Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003