Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Wed 18 May 2022 10:30 - 11:00 at FormaliSE room - Session 1 Chair(s): Mieke Massink

Wed 18 May

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:45
Session 1FormaliSE at FormaliSE room
Chair(s): Mieke Massink CNR-ISTI Pisa, Italy
10:30
30m
Paper
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
FormaliSE
Livia Lestingi DEIB, Politecnico di Milano, Giorgio Romeo , Cristian Sbrolli Politecnico di Milano, Pasquale Scarmozzino , Marcello M. Bersani Politecnico di Milano, Matteo Rossi Politecnico di Milano
11:05
5m
Talk
Counterexample-Guided Inductive Repair of Reactive Contracts
FormaliSE
Soha Hussein University of Minnesota, USA / Ain Shams University, Egypt, Sanjai Rayadurgam University of Minnesota, Stephen McCamant University of Minnesota, USA, Vaibhav Sharma Amazon, Mats Heimdahl University of Minnesota
11:15
30m
Paper
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
FormaliSE
Sophie Lathouwers , Marieke Huisman University of Twente

Information for Participants
Wed 18 May 2022 10:30 - 11:45 at FormaliSE room - Session 1 Chair(s): Mieke Massink
Info for room FormaliSE room:

Click here to go to the room on Midspace