Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Thu 19 May 2022 13:00 - 13:30 at FormaliSE room - Session 4 Chair(s): Claudio Menghi

Thu 19 May

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

12:00 - 13:30
Session 4FormaliSE at FormaliSE room
Chair(s): Claudio Menghi McMaster University, Canada
12:00
30m
Paper
Towards Automated Input Generation for Sketching Alloy Models
FormaliSE
Ana Jovanovic , Allison Sullivan University of Texas at Arlington
12:30
30m
Paper
Automating Cryptographic Protocol Language Generation from Structured Specifications
FormaliSE
Roberto Metere Newcastle University, Luca Arnaboldi The University of Edinburgh
13:00
30m
Talk
Automatic Loop Invariant Generation for Data Dependence Analysis
FormaliSE
Asmae Heydari Tabar Technical University of Darmstadt, Richard Bubel Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt

Information for Participants
Thu 19 May 2022 12:00 - 13:30 at FormaliSE room - Session 4 Chair(s): Claudio Menghi
Info for room FormaliSE room:

Click here to go to the room on Midspace