ICSE 2022 (series) / FormaliSE 2022 (series) /
FormaliSE 2022 Program
This is the FormaliSE 2022 program - see the full program for ICSE 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Wed 18 MayDisplayed time zone: Eastern Time (US & Canada) change
Wed 18 May
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mKeynote | Formal Methods for Dealing with Traffic Rules in Autonomous Driving FormaliSE Jana Tumova KTH Royal Institute of Technology, Sweden |
10:30 - 11:45 | |||
10:30 30mPaper | 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 5mTalk | 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 30mPaper | Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers FormaliSE |
12:00 - 13:30 | |||
12:00 30mPaper | Computing Program Functions FormaliSE | ||
12:30 30mPaper | C for Yourself: Comparison of Front-End Techniques for Formal Verification FormaliSE | ||
13:00 30mPaper | Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning FormaliSE Sylvain Hallé Université du Québec à Chicoutimi |
Thu 19 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 19 May
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | Keynote 2FormaliSE at FormaliSE room Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" | ||
09:00 60mKeynote | Digital Twins: An Emerging Paradigm for Model-Centric Engineering FormaliSE Einar Broch Johnsen University of Oslo |
10:30 - 11:45 | |||
10:30 30mPaper | Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts FormaliSE Amirfarhad Nilizadeh University of Central Florida, Marlon Calvo , Gary T. Leavens University of Central Florida, David Cok Safer Software Consulting, LLC | ||
11:05 5mTalk | Property-Driven Testing of Black-Box Functions FormaliSE Arnab Sharma University of Paderborn, Vitalik Melnikov , Eyke Hüllermeier , Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg | ||
11:15 30mPaper | Counting Bugs in Behavioural Models using Counterexample Analysis FormaliSE |
12:00 - 13:30 | |||
12:00 30mPaper | Towards Automated Input Generation for Sketching Alloy Models FormaliSE | ||
12:30 30mPaper | Automating Cryptographic Protocol Language Generation from Structured Specifications FormaliSE | ||
13:00 30mTalk | 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 |
Sun 22 MayDisplayed time zone: Eastern Time (US & Canada) change
Sun 22 May
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 10:45 | |||
10:45 - 12:00 | |||
10:45 75mKeynote | Integrating Usability into Language and Type System Design FormaliSE Jonathan Aldrich Carnegie Mellon University |
12:00 - 14:00 | |||
14:00 - 16:00 | |||
14:00 30mPaper | Towards Automated Input Generation for Sketching Alloy Models FormaliSE | ||
14:30 30mPaper | Automating Cryptographic Protocol Language Generation from Structured Specifications FormaliSE | ||
15:00 30mTalk | 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 | ||
15:30 30mTalk | Property-Driven Testing of Black-Box Functions FormaliSE Arnab Sharma University of Paderborn, Vitalik Melnikov , Eyke Hüllermeier , Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg |
16:00 - 16:30 | |||
16:30 - 17:30 | |||
16:30 60mTutorial | Formally validating Model-Based Safety Assurance Cases FormaliSE |
Mon 23 MayDisplayed time zone: Eastern Time (US & Canada) change
Mon 23 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
12:30 - 13:30 | |||
15:00 - 15:30 | |||
Tue 24 MayDisplayed time zone: Eastern Time (US & Canada) change
Tue 24 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
12:30 - 13:30 | |||
15:00 - 15:30 | |||