| 1 |
Demo Paper: Coqlex, an approach to generate verified lexers
|
|
|
|
In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
Abstract:
International audience ; The GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) is a powerful graphical modeling language for the pecification of controllers in discrete event systems. It uses expressions to express the conditions of transitions and conditional actions as well as the logical andarithmetic expressions assigned to stored actions. However, several research works has focused on the transformation of Grafcet specifications into control code for embedded systems. To make it easier to edit valid Grafcet models and generate code, it is necessary to propose a formalization of the Grafcet expression language permitting to validate its constructs and provide an appropriate semantics. For this, we propose a context-free grammar that generates the whole set of Grafcet expressions. We also propose a metamodel and an associated semantics of Grafcet expressions for the implementation of the Grafcet language. A parser of Grafcet expressions (G7Expr) is then obtained thanks to the ANTLR tool, while the metamodel is implemented in the Eclipse EMF Model Driven Engineering (MDE) environment. The combination of the two tools makes it possible to analyze and automatically build Grafcet expressions when editing and synthesizing Grafcet models. ; Le GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) est un puissant langage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événements discrets. Il fait usage des expressions pour exprimer les conditions de franchissement des transitions et des actions conditionnelles, ainsi que les expressions logiques et arithmétiques assignées aux actions stockées. Cependant, de nombreux travaux se sont penchés sur la transformation de spécifications Grafcet en code de contrôle pour systèmes embarqués. Pour faciliter l’édition de modèles Grafcet valides et la génération du code de contrôle, il est judicieux de proposer une formalisation du langage des expressions Grafcet, permettant de valider ses constructions et d’en pourvoir une sémantique appropriée. Pour cela, nous proposons une grammaire hors-contexte qui génère tout l’ensemble des expressions Grafcet. Nous proposons également un métamodèle et une sémantique associée des expressions Grafcet pour la mise en oeuvre du langage Grafcet. Le parseur des expressions Grafcet (G7Expr) est obtenu grâce à l’outil ANTLR, alors que le métamodèle est mis en oeuvre dans l’environnement d’Ingénierie Dirigée par les Modèles (IDM) Eclipse EMF. L’association des deuxoutils permet d’analyser et de construire automatiquement les expressions Grafcet lors de l’édition et la synthèse des modèles Grafcet.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-ES]Computer Science [cs]/Embedded Systems; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; analyseur syntaxique; expressions Grafcet; grammaire hors-contexte; Ingénierie Dirigée par les Modèles; métamodèle; PACS 85.42; sémantique des expressions; vérification de modèle
|
|
URL: https://doi.org/10.46298/arima.6452
https://hal.archives-ouvertes.fr/hal-02619121
|
|
BASE
|
|
Hide details
|
|
|
| 3 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; https://hal.archives-ouvertes.fr/hal-02558838 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, Volume 33 - 2020 - Special issue CRI 2019 (33), ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Enhancing Speech Privacy with Slicing
|
|
|
|
In: https://hal.inria.fr/hal-03369137 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Synchronous Product of Time Petri Netsand its Applications to Fault-Diagnosis ; Produit synchrone des réseaux de Petri temporelset ses applications au diagnostic de défauts
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
ПРОВОКАЦИЯ ПРЕСТУПЛЕНИЙ В СФЕРЕ НЕЗАКОННОГО ОБОРОТА НАРКОТИЧЕСКИХ СРЕДСТВ ... : PROVOCATION OF CRIMES IN THE SPHERE OF ILLICIT DRUG TRAFFICKING ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 17 |
An investigation into variability conditions in the SRE 2004 and 2008 Corpora ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
The hunt for the Age of Acquisition effect: It’s in the links! ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|
|
