default search action

combined dblp search
author search
venue search
publication search

ask others

12th FormaliSE@ICSE 2024: Lisbon, Portugal

> Home > Conferences and Workshops > FormaliSE
> Home > Conferences and Workshops > ICSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/2024
Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes:
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. ACM 2024
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/WeiglBBU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/WeiglBBU24
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich:
Contract Automata: A Specification Language for Mode-Based Systems. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/MaheBGLG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/MaheBGLG24
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Finite Automata synthesis from Interactions. 12-22
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/ZeyenCPA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/ZeyenCPA24
Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher:
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. 23-32
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/StratanDB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/StratanDB24
Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli:
Diagnosing Violations of Time-based Properties Captured in iCFTL. 33-43
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/CortesO0APS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/CortesO0APS24
David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens:
Time for Networks: Mutation Testing for Timed Automata Networks. 44-54
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/KleinKG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/KleinKG24
Julian Klein, Paul Kogel, Sabine Glesner:
Verifying Opacity of Discrete-Timed Automata. 55-65
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/FaqrizalNS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/FaqrizalNS24
Irman Faqrizal, Quentin Nivon, Gwen Salaün:
Automated Repair of Violated Eventually Properties in Concurrent Programs. 66-76
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/AlghamdiT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/AlghamdiT24
Raniah A Alghamdi, Richard J. Trefler:
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems. 77-87
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/LorchMSMDPVM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/LorchMSMDPVM24
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan:
Formal Methods in Requirements Engineering: Survey and Future Directions. 88-99
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/GauthierPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/GauthierPS24
Louis Gauthier, Virgile Prevosto, Julien Signoles:
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. 100-110
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/BruckerCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/BruckerCS24
Achim D. Brucker, Teddy Cameron-Burke, Amy Stell:
Formally Verified Interval Arithmetic and Its Application to Program Verification. 111-121
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/TagliaferroLR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/TagliaferroLR24
Alberto Tagliaferro, Livia Lestingi, Matteo Rossi:
Towards Verifiable Multi-Agent Interaction Pattern Specification. 122-126
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/RobinetteLSLJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/RobinetteLSLJ24
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson:
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. 127-137
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/SilvaM024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/SilvaM024
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. 138-142

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.