| 1 |
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
|
|
|
|
In: 2021 IEEE Intelligent Vehicles Symposium (IV) ; https://hal.archives-ouvertes.fr/hal-03540190 ; 2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
"By the way, do you like Spider Man?" -Towards A Social Planning Model for Rapport
|
|
|
|
In: SemDial 2021 - 25th Workshop on the Semantics and Pragmatics of Dialogue ; https://hal.inria.fr/hal-03536332 ; SemDial 2021 - 25th Workshop on the Semantics and Pragmatics of Dialogue, Sep 2021, Potsdam / Virtual, Germany (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Identification et gestion des données personnelles dans les textes ; Identification et gestion des données personnelles dans les textes: modèle sémantique et applications
|
|
|
|
In: CiDE.22 : 22éme édition du Colloque International sur le Document Electronique Données Documents Connaissances : Perspectives de recherche et d’enseignement ; https://hal.archives-ouvertes.fr/hal-03506075 ; CiDE.22 : 22éme édition du Colloque International sur le Document Electronique Données Documents Connaissances : Perspectives de recherche et d’enseignement, Dec 2021, Paris, France (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Data Papers et dissémination des données de la recherche : quelles pratiques en SHS ?
|
|
|
|
In: Colloque DHNord2021 : Publier, partager, réutiliser les données de la recherche : les data papers et leurs enjeux ; https://hal.archives-ouvertes.fr/hal-03506077 ; Colloque DHNord2021 : Publier, partager, réutiliser les données de la recherche : les data papers et leurs enjeux, Nov 2021, virtuelle, France (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Terminology and ontology for cultural heritage : application to chinese ceramic vessels ; Terminologie et ontologie pour l'héritage culturel : application aux vases céramiques chinois
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03167916 ; Formal Languages and Automata Theory [cs.FL]. Université Grenoble Alpes [2020-.], 2020. English. ⟨NNT : 2020GRALM061⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
|
|
|
|
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
HOπ in Coq
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-02536463 ; Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Concevoir un dispositif innovant pour professionaliser la formation au référencement web: le projet SEO-ELP
|
|
|
|
In: ACFAS ; https://hal.archives-ouvertes.fr/hal-03506079 ; ACFAS, 2020, Sherbrooke, Canada (2020)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A type theoretic approach to weak w-categories and related higher structures ; Catégories faibles et structures supérieures afférentes en théorie des types
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03106197 ; Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Palindromic Subsequences in Finite Words
|
|
|
|
In: LATA 2019 ; https://hal.archives-ouvertes.fr/hal-02942497 ; LATA 2019, Mar 2019, Saint Petersburg, Russia. pp.460-468, ⟨10.1007/978-3-030-13435-8_34⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
The Conflict Notion and its Static Detection: a Formal Survey
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02169360 ; [Research Report] IMT Atlantique. 2019 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
The relationship between word complexity and computational complexity in subshifts
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02063174 ; 2019 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Languages and formations generated by D4 and Q8
|
|
|
|
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.archives-ouvertes.fr/hal-02422667 ; Theoretical Computer Science, Elsevier, 2019, 800, pp.155-172. ⟨10.1016/j.tcs.2019.10.023⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Boolean Algebras from Trace Automata
|
|
|
|
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) ; https://hal.univ-reunion.fr/hal-03009734 ; 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Dec 2019, Bombay, India. pp.48:1-48:15, ⟨10.4230/LIPIcs.FSTTCS.2019.48⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools
|
|
|
|
In: Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science ; https://hal-cea.archives-ouvertes.fr/cea-02572737 ; Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science, pp.236-258, 2019, ⟨10.1007/978-3-030-11030-7_11⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
An LSTM-Based Neural Network Architecture for Model Transformations
|
|
|
|
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal-cea.archives-ouvertes.fr/cea-02572669 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2019, Munich, Germany. pp.294-299, ⟨10.1109/MODELS.2019.00013⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering
|
|
|
|
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ; https://hal-cea.archives-ouvertes.fr/cea-02572659 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.168-169, ⟨10.1109/MODELS-C.2019.00028⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
The Future of Model Transformation Languages: An Open Community Discussion.
|
|
|
|
In: ISSN: 1660-1769 ; The Journal of Object Technology ; https://hal-cea.archives-ouvertes.fr/cea-02572743 ; The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (3), pp.7:1. ⟨10.5381/jot.2019.18.3.a7⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
A Model Driven Tool for Requirements and Hardware Engineering
|
|
|
|
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ; https://hal-cea.archives-ouvertes.fr/cea-02572673 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.769-773, ⟨10.1109/MODELS-C.2019.00120⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
|
|
