PRESENTATION OF THE OVERLAY RESEARCH GROUP Amedeo Cesta, Alessandro Cimatti, Luca Geretti, Alfonso Gerevini, Angelo Montanari, Adriano Peron and Tiziano Villa IWES 2019, Naples, Sep 30 – Oct 1, 2019 fOrmal VERification, Logic, Automata and sY nthesis
14
Embed
PRESENTATION OF THE OVERLAY · APPLICATIONS DISCRETE AND CONTINUOUS HYBRID SYSTEMS ... Mathematical techniques for the specification, validation, verification, and synthesisof systems
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
PRESENTATION OF THEOVERLAY
RESEARCH GROUP
Amedeo Cesta, Alessandro Cimatti, Luca Geretti, Alfonso Gerevini, Angelo Montanari, Adriano Peron and Tiziano Villa
IWES 2019, Naples, Sep 30 – Oct 1, 2019
fOrmalVERification,Logic,Automata andsYnthesis
THE NETWORK
35 MEMBERS FROM 13 INSTITUTIONS
• Amedeo Cesta, Riccardo de Benedictis, Andrea Orlandini, Alessandro Umbrico
ISTC-CNR, Rome
• Luca Benvenuti, Enrico Tronci
University of Rome La Sapienza
• Federico Mari
University of Rome Foro Italico
• Marco Bozzano, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Stefano Tonetta, Paolo Traverso
Fondazione Bruno Kessler, Trento
• Guido Sciavicco
University of Ferrara
• Davide Bresolin
University of Padova
• Luca Geretti, Pietro Sala, Tiziano Villa, Matteo Zavatteri
University of Verona
• Alfonso Gerevini, Enrico Scala
University of Brescia
• Massimo Benerecetti, Marco Faella, Fabio Mogavero, Adriano Peron