Contributors

Enrico Vicario

Enrico Vicario

Scientific supervisor

Giacomo Bucci

Giacomo Bucci

Scientific supervisor

Marco Paolieri

Marco Paolieri

Nondeterministic analysis, transient and regenerative stochastic analysis

Jacopo Torrini

Jacopo Torrini

Graphical Petri net editor and application framework

Laura Carnevali

Laura Carnevali

Preemptive and stochastic analysis

Johnny Giuntini

Johnny Giuntini

Symbolic integration of expolynomial functions over DBM zones

Other contributors: Marco Biagi, Dario D'Amico, Samuele Foni, Tommaso Papini, Lorenzo Pardini, Lorenzo Ridi, Stefano Martina, Alessandro Santoni, Francesco Santoni.