Teacher of the course "Fondamenti di Informatica", Bachelor Degree in Mechanical Engineering, 54 hours, 6 CFU (2011/2012): link to the course page (in Italian).
Teaching assistant for the course "Fondamenti di Informatica" (Prof. Enrico Vicario), Master Degree in Informatics Engineering, 15 hours (2010/2011).
Teaching assistant for the course "Fondamenti di Informatica" (Prof. Enrico Vicario), Master Degree in Informatics Engineering (2006/2007, 2007/2008, 2008/2009, 2009/2010).
Teaching assistant for the course "Architettura e Organizzazione dei Calcolatori" (Prof. Giacomo Bucci), Master Degree in Informatics Engineering (2009/2010, 2010/2011).
Teaching assistant for the course "Calcolatori Elettronici II" (Prof. Giacomo Bucci), Master Degree in Informatics Engineering (2008/2009).
Teacher of the training course "Introduzione a Java" at C.S.I.A.F. (Centro Servizi Informatici dell'Ateneo Fiorentino), 32 hours, April-May 2009.
Teacher of the training course "MySQL" at C.S.I.A.F. (Centro Servizi Informatici dell'Ateneo Fiorentino), 24 hours, February-March 2009.
Teacher of the training course "MySQL" at C.S.I.A.F. (Centro Servizi Informatici dell'Ateneo Fiorentino), 24 hours, March 2008.
Teacher of the training course "Laboratorio di programmazione Java" of the I.F.T.S. (Istruzione e Formazione Tecnica Superiore) course "Tecnico superiore per lo sviluppo del software", Istituto Statale di Istruzione Superiore "Niccolò Machiavelli", Firenze, 85 hours, November 2006 - February 2007.
Quantitative evaluation of concurrent systems with non-Markovian temporal parameters
Integration of formal methods along the development life cycle of real-time software
Publications
Journals
L. Carnevali, L. Ridi, and E. Vicario, "Putting preemptive Time Petri Nets to work in a V-Model SW life cycle",
IEEE Transactions on Software Engineering, November/December 2011.
G. Bucci, L. Carnevali, L. Ridi, E. Vicario, "Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems", International Journal of Software Tools for Technology Transfer, Volume 12, Number 5, pages 391--403, 2010.
E. Vicario, L. Sassoli, and L. Carnevali, "Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems",
IEEE Transactions on Software Engineering, Vol. 35, No. 5, September/October 2009.
L. Carnevali, L. Grassi, and E. Vicario, "State-density functions over DBM domains in the analysis of non-Markovian models",
IEEE Transactions on Software Engineering, Vol. 35, No. 2, March/April 2009.
Conferences and workshops
L. Carnevali, L. Ridi, and E. Vicario,
"A framework for simulation and symbolic state space analysis of non-Markovian models",
Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP),
Napoli, Italy, September 2011.
L. Carnevali, L. Ridi, and E. Vicario,
"Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models",
Proceedings of the 8th International Conference on the Quantitative Evaluation of SysTems (QEST),
Aachen, Germany, September 2011.
L. Carnevali, F. Patara, A. Pinzuti, and E. Vicario,
"A quantitative approach to run-time monitoring of Markovian concurrent systems",
Proceedings of the 2th Workshop on Informatica Quantitativa (InfQ),
Lipari, Italy, June 2011.
L. Carnevali, G. Lipari, A. Pinzuti, and E. Vicario,
"A formal approach to design and verification of two-level Hierarchical Scheduling systems",
Proceedings of the 16th International Conference on Reliable Software Technologies - Ada-Europe,
Edinburgh, United Kingdom, June 2011.
L. Carnevali, J. Giuntini, and E. Vicario,
"A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters",
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS),
Cachan (Paris), France, May 2011.
L. Carnevali, L. Ridi, and E. Vicario,
"Partial stochastic characterization of timed runs over DBM domains",
Proceedings of the 9th
International Workshop on Performability Modeling of Computer
and Communication Systems (PMCCS 2009),
Eger, Hungary, September 2009.
L. Carnevali, L. Ridi, and E. Vicario,
"Stochastic Fault Trees for cross-layer power management of WSN monitoring systems",
Proceedings of the 14th IEEE International Conference on
Emerging Technologies and Factory Automation (ETFA 2009),
Mallorca, Spain, September 2009.
L. Carnevali, D. D'Amico, L. Ridi, and E. Vicario,
"Automatic Code Generation from Real-Time Systems Specifications",
Proceedings of the 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP 2009),
Paris, France, June 2009.
G. Bucci, L. Carnevali and E. Vicario,
"A tool supporting evaluation of non-Markovian Fault Trees",
Proceedings of the 5th International Conference
on the Quantitative Evaluation of SysTems (QEST 2008),
St. Malo, France, September 2008.
L. Carnevali, L. Grassi, and E. Vicario,
"A tailored V-Model exploiting the theory of preemptive Time Petri Nets",
Proceedings of the 13th International Conference
on Relieable Software Technologies - Ada-Europe 2008
(volume 5026 of Lecture Notes in Computer Science,
pages 87-100, Springer, 2008),
Venice, Italy, June 2008.
L. Carnevali, L. Sassoli, and E. Vicario,
"Sensitization of symbolic runs in Real-Time Testing using the ORIS tool",
Proceedings of the 12th IEEE International Conference on
Emerging Technologies and Factory Automation (ETFA 2007),
Patras, Greece, September 2007.
L. Carnevali, L. Sassoli, and E. Vicario,
"Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software",
Proceedings of the 19th Euromicro Conference
on Real Time Systems (ECRTS 2007),
Pisa, Italy, July 2007.