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
Times are displayed in time zone: Eastern Time (US & Canada) change

08:40 - 10:30
Session 1FormaliSE at Sainte-Catherine
Chair(s): Matteo RossiPolitecnico di Milano
08:40
10m
Day opening
Welcome by the Chairs
FormaliSE
C: Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
08:50
25m
Full-paper
Epistemic Model Checking of Distributed Commit Protocols with Byzantine faults
FormaliSE
Omar BatainehNTU, Mark ReynoldsThe Univeristy of Western Australia
09:15
25m
Full-paper
Clock Reduction in Timed Automata while Preserving Design Parameters
FormaliSE
Beyazit YalcinkayaMiddle East Technical University, Ebru Aydin GolMiddle East Technical University
09:40
25m
Full-paper
Rigorous Design and Deployment of IoT Applications
FormaliSE
Ajay KrishnaInria Grenoble, France, Michel Le PallecNokia Bell Labs, Radu MateescuINRIA, Ludovic NoirieNokia Bell Labs, Gwen SalaünUniversity of Grenoble Alpes
10:05
25m
Full-paper
Static Analysis for Worst-Case Battery Utilization
FormaliSE