ICSE 2024 (series) / FormaliSE 2024 (series) /
FormaliSE 2024 Program
This is the FormaliSE 2024 program - see the full program for ICSE 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 AprDisplayed time zone: Lisbon change
Sun 14 Apr
Displayed time zone: Lisbon change
09:00 - 10:30 | Opening and KeynoteFormaliSE 2024 at Eugénio de Andrade Chair(s): Antónia Lopes University of Lisbon | ||
09:00 10mDay opening | Opening FormaliSE 2024 | ||
09:10 80mKeynote | FormalISE: Reflections on Formal and Informal Methods in Software Engineering FormaliSE 2024 Cristian Cadar Imperial College London | ||
11:00 - 12:30 | Automata and applicationsFormaliSE 2024 at Eugénio de Andrade Chair(s): Domenico Bianculli University of Luxembourg | ||
11:00 30mTalk | Contract Automata: A Specification Language for Mode-Based Systems FormaliSE 2024 Alexander Weigl Karlsruhe Institute for Technology, Joshua Bachmeier FZI Forschungszentrum Informatik, Bernhard Beckert Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology | ||
11:30 30mTalk | Finite Automata synthesis from Interactions FormaliSE 2024 Erwan Mahe Université Paris-Saclay, CEA, List, Boutheina Bannour Université Paris-Saclay, CEA, List, Christophe Gaston Université Paris-Saclay, CEA, List, Arnault Lapitre Université Paris-Saclay, CEA, List, Pascale Le Gall CentraleSupelec | ||
12:00 30mTalk | Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling FormaliSE 2024 Olivier Zeyen University of Luxembourg, SnT, Maxime Cordy University of Luxembourg, Luxembourg, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France | ||
14:00 - 15:30 | Timed behavior specification and verificationFormaliSE 2024 at Eugénio de Andrade Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon | ||
14:00 30mTalk | Diagnosing Violations of Time-based Properties Captured in iCFTL FormaliSE 2024 Cristina Stratan University of Luxembourg, Joshua Heneage Dawes University of Luxembourg, Domenico Bianculli University of Luxembourg | ||
14:30 30mTalk | Time for Networks: Mutation Testing for Timed Automata Networks FormaliSE 2024 David Cortés Universidad del Valle, James Ortiz Université de Namur, Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Jesus Aranda Universidad del Valle, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens Université de Namur | ||
15:00 30mTalk | Verifying Opacity of Discrete-Timed Automata FormaliSE 2024 Julian Klein Technische Universität Berlin, Paul Kogel Technische Universität Berlin, Sabine Glesner Technische Universität Berlin | ||
16:00 - 17:30 | Formal methods for cyber-physical systems and requirements engineeringFormaliSE 2024 at Eugénio de Andrade Chair(s): Cristian Cadar Imperial College London | ||
16:00 30mTalk | Automated Repair of Violated Eventually Properties in Concurrent Programs FormaliSE 2024 Irman Faqrizal Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Quentin Nivon Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Gwen Salaün University of Grenoble Alpes | ||
16:30 30mTalk | Compositional Analysis of Parametric Cooperative Cyber-Physical Systems FormaliSE 2024 Raniah Alghamdi University of Waterloo and King Abdulaziz University, Richard Trefler University of Waterloo | ||
17:00 30mTalk | Formal Methods in Requirements Engineering: Survey and Future Directions FormaliSE 2024 Robert Lorch GE Research, Baoluo Meng GE Research, Kit Siu GE Research, Abha Moitra General Electric Research, Michael Durling GE Research, Saswata Paul GE Research, Sarat Chandra Varanasi GE Research, Craig McMillan GE Aerospace | ||
Mon 15 AprDisplayed time zone: Lisbon change
Mon 15 Apr
Displayed time zone: Lisbon change
09:00 - 10:30 | KeynoteFormaliSE 2024 at Eugénio de Andrade Chair(s): Carlo A. Furia Università della Svizzera italiana (USI) | ||
09:00 90mKeynote | Two-way collaboration between flow and proof in SPARKBA FormaliSE 2024 Claire Dross AdaCore | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification FormaliSE 2024 Louis Gauthier Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List | ||
11:30 30mTalk | Formally Verified Interval Arithmetic and Its Application to Program Verification FormaliSE 2024 Achim D. Brucker University of Exeter, Teddy Cameron-Burke University of Exeter, Amy Stell University of Exeter | ||
12:00 30mTalk | Towards Verifiable Multi-Agent Interaction Pattern Specification FormaliSE 2024 Alberto Tagliaferro Politecnico di Milano, Italy, Livia Lestingi DEIB, Politecnico di Milano, Matteo Rossi Politecnico di Milano | ||
14:00 - 15:30 | Machine learning and formal methodsFormaliSE 2024 at Eugénio de Andrade Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" | ||
14:00 30mTalk | Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets FormaliSE 2024 Preston K. Robinette Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Serena Serbinowska Vanderbilt University, Kevin Leach Vanderbilt University, Taylor T Johnson Vanderbilt University Pre-print | ||
14:30 30mTalk | Leveraging Large Language Models to Boost Dafny’s Developers Productivity FormaliSE 2024 Álvaro F. Silva Independent Researcher, Alexandra Mendes University of Porto and HASLab, INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon | ||
15:00 10mDay closing | Closing FormaliSE 2024 | ||