ICSE 2023 (series) / FormaliSE 2023 (series) /
FormaliSE 2023 Program
This is the FormaliSE 2023 program - see the full program for ICSE 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 MayDisplayed time zone: Hobart change
Sun 14 May
Displayed time zone: Hobart change
09:00 - 10:30 | |||
09:00 15mDay opening | Opening FormaliSE 2023 | ||
09:15 75mKeynote | Leakage Logic for programs FormaliSE 2023 Annabelle McIver Macquarie University | ||
11:00 - 12:30 | Synthesis and AIFormaliSE 2023 at Meeting Room 102 Chair(s): Mark Utting The University of Queensland | ||
11:00 30mTalk | Goal Controller Synthesis for Self-Adaptive Systems FormaliSE 2023 | ||
11:30 30mPaper | Verifying Binary Neural Networks on Continuous Input Space using Star Reachability FormaliSE 2023 Mykhailo Ivashchenko University of Nebraska-Lincoln, Sung Woo Choi , Luan Nguyen University of Pennsylvania, Hoang-Dung Tran Vanderbilt University | ||
12:00 30mPaper | Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning FormaliSE 2023 Marcello Bersani Politecnico di Milano, Italy, Matteo Camilli Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Raffaela Mirandola Politecnico di Milano, Matteo Rossi Politecnico di Milano | ||
13:45 - 15:15 | SpecificationFormaliSE 2023 at Meeting Room 102 Chair(s): Larissa A. Meinicke The University of Queensland | ||
13:45 30mPaper | Contract-Based Specification Refinement and Repair for Mission Planning FormaliSE 2023 Piergiuseppe Mallozzi UC Berkeley, Inigo Incer University of California, Berkeley, Pierluigi Nuzzo University of Southern California, Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA | ||
14:15 30mPaper | Patch Specifications via Product Programs FormaliSE 2023 Cristian Cadar Imperial College London, UK, Daniel Schemmel Imperial College London, Arindam Sharma Imperial College London | ||
14:45 30mPaper | An Empirical Study Assessing Software Modeling in Alloy FormaliSE 2023 Niloofar Mansoor University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln, Eunsuk Kang Carnegie Mellon University, Bonita Sharif University of Nebraska-Lincoln, USA | ||
15:45 - 17:15 | |||
15:45 30mPaper | Mutant Equivalence as Monotonicity in Parametric Timed Games FormaliSE 2023 Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Maurice ter Beek ISTI-CNR, Pisa, Italy, Hendrik Göttmann Technical University of Darmstadt, Malte Lochau University of Siegen | ||
16:15 30mPaper | Differential Testing of a Verification Framework for Compiler Optimizations (Case Study) FormaliSE 2023 Mark Utting The University of Queensland, Brae J. Webb The University of Queensland, Ian J. Hayes The University of Queensland | ||
16:45 30mPaper | Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity FormaliSE 2023 Eli Pregerson Harvey Mudd College, Shaheen Cullen-Baratloo Harvey Mudd College, David Chen Harvey Mudd College, Duy Lam Harvey Mudd College, Max Szostak Harvey Mudd College, Lucas Bang Harvey Mudd College | ||
Mon 15 MayDisplayed time zone: Hobart change
Mon 15 May
Displayed time zone: Hobart change
09:00 - 10:30 | KeynoteFormaliSE 2023 at Meeting Room 102 Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" | ||
09:15 75mKeynote | Exploiting incompleteness in software development FormaliSE 2023 Paola Spoletini Kennesaw State University | ||
11:00 - 12:30 | |||
11:00 30mPaper | A Dafny-based approach to thread-local information flow analysis FormaliSE 2023 Graeme Smith The University of Queensland | ||
11:30 30mPaper | Transparent Actor Model FormaliSE 2023 Fatemeh Ghassemi University of Tehran, Marjan Sirjani Malardalen University, Ehsan Khamespanah University of Tehran, Mahrokh Mirani Tehran Institute for Advanced Studies, Hossein Hojjat Tehran Institute for Advanced Studies | ||
12:00 30mPaper | Using cylindric algebra to support local variables in rely/guarantee concurrency FormaliSE 2023 | ||
13:45 - 15:15 | |||
13:45 30mPaper | A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids FormaliSE 2023 Ahmed Nagy Abdelkhalek Mansour Politecnico di Milano, Samuele Grillo Politecnico di Milano, Enrico Ragaini ABB italy, Matteo Rossi Politecnico di Milano | ||
14:15 30mPaper | A Verified UAV Flight Plan Generator FormaliSE 2023 Baptiste Pollien ISAE-SUPAERO, Christophe Garion ISAE-SUPAERO, Gautier Hattenberger ENAC, Pierre Roux ONERA, ISAE, Xavier Thirioux ISAE-SUPAERO | ||
15:45 - 17:15 | |||
14:45 30mDay closing | Closing FormaliSE 2023 | ||