Accepted Papers

  • A Dafny-based approach to thread-local information flow analysis
    Graeme Smith
  • A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
    Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi
  • An Empirical Study Assessing Software Modeling in Alloy
    Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif
  • A Verified UAV Flight Plan Generator
    Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
  • Contract-Based Specification Refinement and Repair for Mission Planning
    Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
  • Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
    Mark Utting, Brae J. Webb, Ian J. Hayes
  • Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
    Marcello Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo Rossi
  • Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
    Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang
  • Goal Controller Synthesis for Self-Adaptive Systems
    Radu Calinescu, Genaína Nunes Rodrigues
  • Mutant Equivalence as Monotonicity in Parametric Timed Games
    Davide Basile, Maurice ter Beek, Hendrik Göttmann, Malte Lochau
  • Patch Specifications via Product Programs
    Cristian Cadar, Daniel Schemmel, Arindam Sharma
  • Transparent Actor Model
    Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
  • Using cylindric algebra to support local variables in rely/guarantee concurrency
    Larissa A. Meinicke, Ian J. Hayes
  • Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
    Mykhailo Ivashchenko, Sung Woo Choi, Luan Nguyen, Hoang-Dung Tran


  • Abstracts due: 09 January '23
    16 January '23
  • Submissions due: 16 January '23
    27 January '23
  • Notifications: 21 February '23
  • Camera ready copies: 13 March '23
  • Artifact Registration (optional): 16 January '23
    27 January '23
  • Artifact Submission: 23 January '23
    31 January '23
  • Artifact Notification: 21 February '23
  • FormaliSE: 14 and 15 May '23