1 |
Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities
|
|
|
|
In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
|
|
|
|
In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Immediate Feedback for Students to Solve Notebook Reproducibility Problems in the Classroom
|
|
|
|
In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://hal.archives-ouvertes.fr/hal-03378094 ; 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Oct 2021, Saint Louis, Missouri, United States. ⟨10.1109/VL/HCC51201.2021.9576363⟩ (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 ; 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)
|
|
BASE
|
|
Show details
|
|
5 |
SEALS: A framework for building Self-Adaptive Virtual Machines
|
|
|
|
In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Automating user-feedback driven requirements prioritization
|
|
|
|
In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Automatic Guide Generation for Stan via NumPyro
|
|
|
|
In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021)
|
|
BASE
|
|
Show details
|
|
8 |
3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021)
|
|
BASE
|
|
Show details
|
|
9 |
Modelling, Reverse Engineering, and Learning Software Variability
|
|
|
|
In: https://hal.inria.fr/tel-03521806 ; Software Engineering [cs.SE]. Université de Rennes 1, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
A principled approach to REPL interpreters
|
|
|
|
In: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://hal.inria.fr/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩ (2020)
|
|
BASE
|
|
Show details
|
|
12 |
Causal reasoning and symbolic relationships in Medieval Illuminations ; Raisonnement causale et relations symboliques dans les Enluminures médiévales
|
|
|
|
In: EISSN: 2416-5999 ; Journal of Data Mining and Digital Humanities ; https://hal.archives-ouvertes.fr/hal-01762730 ; Journal of Data Mining and Digital Humanities, Episciences.org, 2019, Special Issue on Data Science and Digital Humanities @ EGC 2018 (2019)
|
|
BASE
|
|
Show details
|
|
13 |
LMF Reloaded
|
|
|
|
In: AsiaLex 2019: Past, Present and Future ; https://hal.inria.fr/hal-02118319 ; AsiaLex 2019: Past, Present and Future, Jun 2019, Istanbul, Turkey (2019)
|
|
BASE
|
|
Show details
|
|
14 |
Wiki support for automated definition of software test cases
|
|
|
|
In: ISSN: 0368-492X ; Kybernetes ; https://hal.archives-ouvertes.fr/hal-02941373 ; Kybernetes, Emerald, 2019, 49 (4), pp.1305-1324. ⟨10.1108/K-10-2018-0548⟩ (2019)
|
|
BASE
|
|
Show details
|
|
15 |
Generation of Inductive Types from Ecore Metamodels
|
|
|
|
In: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.archives-ouvertes.fr/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 (2019)
|
|
BASE
|
|
Show details
|
|
16 |
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code
|
|
|
|
In: Modelling and Implementation of Complex Systems ; https://hal.archives-ouvertes.fr/hal-01945245 ; Modelling and Implementation of Complex Systems, pp.259-273, 2019 (2019)
|
|
BASE
|
|
Show details
|
|
17 |
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
|
|
18 |
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
|
|
19 |
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
|
|
20 |
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
|
|
|
|