L. Sassoli

Timed state space analysis of real-time preemptive systems

Giacomo Bucci, A. Fedeli, L. Sassoli et al. · IEEE Transactions on Software Engineering · 2004 · 102 citations

Computing, Computer Engineering, Computer Science +17

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

Enrico Vicario, L. Sassoli, Laura Carnevali · IEEE Transactions on Software Engineering · 2009 · 88 citations

Engineering, Computer Engineering, Computer Science +17

Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets

Giacomo Bucci, L. Sassoli, Enrico Vicario · IEEE Transactions on Software Engineering · 2005 · 40 citations · Full text

Computing, Computer Engineering, Computer Science +17

Exposure to a biopesticide interferes with sucrose responsiveness and learning in honey bees

Daniele Carlesso, Stefania Smargiassi, L. Sassoli et al. · Scientific Reports · 2020 · 34 citations · Full text

Life Sciences, Biology, Entomology +11

Modeling flexible real time systems with preemptive time Petri nets

Giacomo Bucci, A. Fedeli, L. Sassoli et al. · 2004 · 33 citations

Computing, Computer Engineering, Computer Systems +17