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 |
A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Morpheme Boundary Detection & Grammatical Feature Prediction for Gujarati : Dataset & Model ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
High Performance Code Generation in MLIR: An Early Case Study with GEMM ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
|
|
|
|
In: Verified Software. Theories, Tools, and Experiments ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.sorbonne-universite.fr/hal-02890500 ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩ ; https://sri-csl.github.io/VSTTE19/ (2019)
|
|
BASE
|
|
Show details
|
|
6 |
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
|
|
7 |
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
|
|
8 |
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
|
|
9 |
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
|
|
10 |
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
|
|
11 |
On the Need for Intellectual Property Protection in Model-Driven Co-Engineering Processes
|
|
|
|
In: International Conference on Evaluation and Modeling Methods for Systems Analysis and Development ; https://hal-cea.archives-ouvertes.fr/cea-02572729 ; International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, Jun 2019, Rome, Italy. pp.169-177, ⟨10.1007/978-3-030-20618-5_12⟩ ; https://www.emmsad.org/2019-program (2019)
|
|
BASE
|
|
Show details
|
|
12 |
Belief Uncertainty in Software Models
|
|
|
|
In: 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) ; https://hal-cea.archives-ouvertes.fr/cea-02572731 ; 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), May 2019, Montreal, Canada. pp.19-26, ⟨10.1109/MiSE.2019.00011⟩ (2019)
|
|
BASE
|
|
Show details
|
|
13 |
Cognifying Model-Driven Software Engineering
|
|
|
|
In: Software Technologies: Applications and Foundations ; https://hal-cea.archives-ouvertes.fr/cea-02572650 ; Software Technologies: Applications and Foundations, pp.154-160, 2018, ⟨10.1007/978-3-319-74730-9_13⟩ (2018)
|
|
BASE
|
|
Show details
|
|
15 |
Une méthode collaborative pour identifier les spams: contribution à la qualité de l'information dans les réseaux sociaux
|
|
|
|
In: COnférence en Recherche d'Informations et Applications - CORIA 2017, 14th French Information Retrieval Conference. Marseille, France, March 29-31, 2017. Proceedings ; COnférence en Recherche d'Informations et Applications - CORIA 2017, 14th French Information Retrieval Conference ; https://hal.archives-ouvertes.fr/hal-02570810 ; COnférence en Recherche d'Informations et Applications - CORIA 2017, 14th French Information Retrieval Conference, Mar 2017, Marseille, France. pp.139-152 (2017)
|
|
BASE
|
|
Show details
|
|
16 |
CARMA: Collective Adaptive Resource-sharing Markovian Agents ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
A fuzzy TOPSIS-based approach for e-sourcing
|
|
|
|
In: ISSN: 0952-1976 ; Engineering Applications of Artificial Intelligence ; https://hal.inria.fr/inria-00601243 ; Engineering Applications of Artificial Intelligence, Elsevier, 2011, 24 (3), pp.437-448. ⟨10.1016/j.engappai.2010.09.006⟩ (2011)
|
|
BASE
|
|
Show details
|
|
18 |
Recherche des évolutions technologiques à partir de bases de données bibliographiques : apport de la classification incrémentale
|
|
|
|
In: Technologies de la Connaissance et Recherche d'Information en Contexte ; https://hal.inria.fr/inria-00535972 ; STI Collection. Technologies de la Connaissance et Recherche d'Information en Contexte, Hermes Science Publishing Ltd, 2011 (2011)
|
|
BASE
|
|
Show details
|
|
19 |
Micro rappel précision non supervisés : vers de nouvelles mesures de qualité de clustering
|
|
|
|
In: XVIIèmes Rencontres de la Société Francophone de Classification- SFC'10 ; https://hal.inria.fr/inria-00535940 ; XVIIèmes Rencontres de la Société Francophone de Classification- SFC'10, Jun 2010, Saint-Denis de La Réunion, France (2010)
|
|
BASE
|
|
Show details
|
|
20 |
A new general paradigm for mining research topics evolving over time
|
|
|
|
In: 3rd International Conference on Information Systems and Economic Intelligence - SIIE'2010 ; https://hal.inria.fr/inria-00535938 ; 3rd International Conference on Information Systems and Economic Intelligence - SIIE'2010, Feb 2010, Sousse, Tunisia (2010)
|
|
BASE
|
|
Show details
|
|
|
|