Luigi Rucher

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Linear Time Temporal Logic

Formal Specification

Highly Parallel

Top Venues

Formal Aspects Comput.

SAFECOMP Workshops

Publications

Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Formal Aspects Comput. 33 (6) (2021)
Eduardo Quiñones, Sara Royuela, Claudio Scordino, Paolo Gai, Luís Miguel Pinho, Luís Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi, Arne Hamann, Dirk Ziegenbein, Hadi Saoud, Romain Soulat, Björn Forsberg, Luca Benini, Gianluca Mandò, Luigi Rucher
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. ISORC (2020)
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops (2019)
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. RSSRail (2019)