Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Mon 27 May 2019 08:40 - 08:50 at Sainte-Catherine - Session 1 Chair(s): Matteo Rossi

Mon 27 May

Formalise-2019-papers
08:40 - 10:30: FormaliSE 2019 - Session 1 at Sainte-Catherine
Chair(s): Matteo RossiPolitecnico di Milano
Formalise-2019-papers08:40 - 08:50
Day opening
Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Formalise-2019-papers08:50 - 09:15
Full-paper
Omar BatainehNTU, Mark ReynoldsThe Univeristy of Western Australia
Formalise-2019-papers09:15 - 09:40
Full-paper
Beyazit YalcinkayaMiddle East Technical University, Ebru Aydin GolMiddle East Technical University
Formalise-2019-papers09:40 - 10:05
Full-paper
Ajay KrishnaInria Grenoble, France, Michel Le PallecNokia Bell Labs, Radu MateescuINRIA, Ludovic NoirieNokia Bell Labs, Gwen SalaünUniversity of Grenoble Alpes
Formalise-2019-papers10:05 - 10:30
Full-paper