Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. - Davide Basile 001; Alessandro Fantechi; Luigi Rucher; Gianluca Mandò (RSSRail, 2019)

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. - Andrea Ceccarelli; Davide Basile 001; Andrea Bondavalli; Lorenzo Falai; Alessandro Fantechi; Sandro Ferrari; Gianluca Mandò; Nicola Nostro; Luigi Rucher (SAFECOMP Workshops, 2019)

The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. - Eduardo Quiñones; Sara Royuela; Claudio Scordino; Paolo Gai; Luís Miguel Pinho; Luís Nogueira; Jan Rollo; Tommaso Cucinotta; Alessandro Biondi 001; Arne Hamann 001; Dirk Ziegenbein; Hadi Saoud; et al. (ISORC, 2020)

Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. - Davide Basile 001; Alessandro Fantechi; Luigi Rucher; Gianluca Mandò (Formal Aspects Comput., 2021)