Finite Automata synthesis from Interactions-Reference-Cited by-同舟云学术

Finite Automata synthesis from Interactions

Published:2024-04-14 Issue: Volume: Page:12-22
ISSN:
Container-title:Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
language:
Short-container-title:

Author:

Mahe Erwan¹^ORCID,Bannour Boutheina¹^ORCID,Gaston Christophe¹^ORCID,Lapitre Arnault¹^ORCID,Le Gall Pascale²^ORCID

Affiliation:

1. Université Paris-Saclay, CEA, List, Palaiseau, France

2. Université Paris-Saclay, CentraleSupélec, Gif-sur-Yvette, France

Funder

HORIZON EUROPE Framework Programme

Agence Nationale de la Recherche

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3644033.3644382

Reference46 articles.

1. Parosh Aziz Abdulla, Yu-Fang Chen, Lukáš Holík, Richard Mayr, and Tomáš Vojnar. 2010. When Simulation Meets Antichains. In Tools and Algorithms for the Construction and Analysis of Systems, Javier Esparza and Rupak Majumdar (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 158--174.

2. Model Checking of Message Sequence Charts

3. Jerome Amilhastre, Philippe Janssen, and Marie-Catherine Vilarem. 2001. FA Minimisation Heuristics for a Class of Finite Languages. In Automata Implementation, Oliver Boldt and Helmut Jurgensen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--12.

4. Maroneze Andre Massonnet Philippe Dupont Sebastien Nigam Vivek Plate Henrik Sykosch Arnold Cakmak Eren Thanasis Sfetsos Jimenez Victor Amparan Estibaliz Martinez Cristina Lopez Angel Garcia-Alfaro Joaquin Segovia Mariana Rubio-Hernan Jose Blanc Gregory Debar Herve Carbone Roberto Ranise Silvio Verderame Luca Spaziani-Brunella Marco Yautsiukhin Artsiom Morgagni Andrea Klein Jacques Bissyande Tegawende and Samhi Jordan. 2020. Assessment specifications and roadmap. In Technical report EC (Ed.). SPARTA project.

5. Valentin Antimirov. 1995. Partial derivatives of regular expressions and finite automata constructions. In STACS 95, Ernst W. Mayr and Claude Puech (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 455--466.