STAF 2023 (series) / TAP 2023 (series) /
TAP 2023 Program
This is the TAP 2023 program - see the full program for STAF 2023 and all affiliated events.
Filter Program
Dates
Tue 18 Jul 2023
Wed 19 Jul 2023
Rooms
-location not assigned yet-
Oak
The Bar
The Restaurant
Willow
Tracks
ECMFA Technical Track
ICGT Research Papers
STAF Keynotes
STAF Social
TAP Research Papers
Badges
TAP Best Paper
Your Program
Nothing to filter
Tue 18 JulDisplayed time zone: London change
Tue 18 Jul
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social | ||
11:00 - 12:30 | STAF Keynote / TAP Session 1STAF Keynotes / Research Papers / ECMFA Technical Track / ICGT Research Papers at Oak Chair(s): Cristina Seceleanu Mälardalen University Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 15mDay opening | TAP Conference Opening Research Papers | ||
11:15 75mKeynote | Symbolic, Statistical and Randomized Engines in UPPAAL STAF Keynotes Kim Larsen Aalborg University | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social | ||
13:30 - 15:00 | TAP Session 2: Low-level code verificationResearch Papers at Oak Chair(s): Julien Signoles Université Paris-Saclay, CEA, List Remote Participants: Zoom Link | ||
13:30 30mTalk | BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries Research Papers P: Daniel Engel Open University Of The Netherlands, Freek Verbeek Open University of the Netherlands, The Netherlands, Binoy Ravindran Virginia Tech DOI Pre-print File Attached | ||
14:00 30mTalk | Low-level Reachability Analysis based on Formal Logic Research Papers P: Nico Naus Virginia Tech, Freek Verbeek Open University of the Netherlands, The Netherlands, Marc Schoolderman Radboud University Nijmegen, Binoy Ravindran Virginia Tech DOI Pre-print | ||
14:30 30mTalk | Testing a Formally Verified Compiler Research Papers P: David Monniaux CNRS/VERIMAG, Léo Gourdin Université Grenoble Alpes, Verimag, Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Olivier Lebeltel Université Grenoble Alpes, CNRS, Verimag DOI Pre-print | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social | ||
15:30 - 16:30 | TAP Session 3: Formal ModelsResearch Papers at Oak Chair(s): Catherine Dubois ENSIIE Paris-Evry Remote Participants: Zoom Link | ||
15:30 30mTalk | Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers Research Papers DOI File Attached | ||
16:00 30mTalk | Context Specification Language for Formal Verification of Consent Properties on Models and Code Research Papers P: Myriam Clouet Université Paris-Saclay, CEA, List, Thibaud Antignac CNIL (Commission nationale de l’informatique et des libertés), Mathilde Arnaud Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List DOI File Attached | ||
18:00 - 19:00 | |||
18:00 60mSocial Event | Welcome Reception STAF Social | ||
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
09:00 - 10:15 | STAF Keynote / ICGT Session 1STAF Keynotes / Research Papers / ECMFA Technical Track / ICGT Research Papers at Oak Chair(s): Maribel Fernandez King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 15mDay opening | ICGT Conference Opening ICGT Research Papers File Attached | ||
09:15 60mKeynote | Syntactic trinitarianism: terms, graphs, diagrams STAF Keynotes Dan Ghica Huawei Research and University of Birmingham Pre-print | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social | ||
11:15 - 12:45 | TAP Session 4: Model-based test generationResearch Papers at Willow Chair(s): Nico Naus Virginia Tech Remote Participants: Zoom Link | ||
11:15 30mTalk | Symbolic Observation Graph-Based Generation of Test Paths Research Papers P: Kais Klai Universit Paris 13, Mohamed Taha Bennani Universty of Tunis El Manar, Jaime Arias CNRS; LIPN; Université Sorbonne Paris Nord, Jörg Desel Fernuniversität in Hagen, Hanen Ochi EFREI DOI File Attached | ||
11:45 30mTalk | Testing Languages with a Languages-as-databases ApproachTAP Best Paper Research Papers DOI | ||
12:15 30mTalk | Proving Properties of Operation Contracts with Test Scenarios Research Papers DOI | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social | ||
13:45 - 15:15 | TAP Session 5: KeynoteSTAF Keynotes at Willow Chair(s): Virgile Prevosto CEA Tech List Remote Participants: Zoom Link | ||
13:45 90mKeynote | KeY: A Verification Platform For Java STAF Keynotes Mattias Ulbrich KIT | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social | ||
15:45 - 16:45 | TAP Session 6: Abstraction and RefinementResearch Papers at Willow Chair(s): Matteo Cimini University of Massachusetts Lowell Remote Participants: Zoom Link | ||
15:45 30mTalk | Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion CheckingTAP Best Paper Research Papers P: Thibaut Benjamin Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List DOI | ||
16:15 30mTalk | Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars Research Papers DOI | ||
17:15 - 22:30 | STAF Excursion & BanquetSTAF Social | ||
17:15 1h45mSocial Event | Excursion to St Mary de Castro STAF Social | ||
19:00 3h30mDinner | Banquet at Bistrot Pierre STAF Social | ||