DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 31

1
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
2
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
3
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
Lubat, Eric. - : HAL CCSD, 2021
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
BASE
Show details
4
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
Lubat, Eric. - : HAL CCSD, 2021
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA, 2021. English (2021)
BASE
Show details
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
The 3D indoor deployment in DL-IoT with experimental validation using a particle swarm algorithm based on the dialects of songs
In: Proceedings of IWCMC 2018 ; 14th International Wireless Communications and Mobile Computing Conference (IWCMC 2018) ; https://hal.archives-ouvertes.fr/hal-02883831 ; 14th International Wireless Communications and Mobile Computing Conference (IWCMC 2018), Jun 2018, Limassol, Cyprus. pp.928-933, ⟨10.1109/IWCMC.2018.8450473⟩ (2018)
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
14
Dependent Event Types
In: Logic, Language, Information, and Computation ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017) ; https://hal.archives-ouvertes.fr/hal-01913662 ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), Jul 2017, London, United Kingdom. pp. 216-228 (2017)
BASE
Show details
15
A Generic Framework for Symbolic Execution: Theory and Applications ; Un cadre générique pour l'exécution symbolique : théorie et applications
In: https://hal.inria.fr/hal-00766220 ; [Research Report] RR-8189, Inria. 2015, pp.41 (2015)
BASE
Show details
16
Defining and Using Collaboration Patterns for Software Process Development
In: MODELSWARD 2015 Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development ; International Workshop on Cooperative Model Driven Development (CMDD 2015) within the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) ; https://hal.archives-ouvertes.fr/hal-01387807 ; International Workshop on Cooperative Model Driven Development (CMDD 2015) within the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Feb 2015, Angers, France. pp.557-564, ⟨10.5220/0005338705570564⟩ (2015)
BASE
Show details
17
Operational Semantics of the Model of Concurrency and Communication Language
In: https://hal.inria.fr/hal-01060601 ; [Research Report] RR-8584, INRIA. 2014, pp.23 (2014)
BASE
Show details
18
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
In: https://hal.inria.fr/hal-00983711 ; [Research Report] RR-8527, INRIA. 2014 (2014)
BASE
Show details
19
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
BASE
Show details
20
Public policies and multilingualism in HCI
In: ISSN: 1072-5520 ; Interactions ; https://hal.archives-ouvertes.fr/hal-01154184 ; Interactions, Association for Computing Machinery, 2014, vol. 21 (n° 3), pp. 70-73. ⟨10.1145/2598608⟩ (2014)
BASE
Show details

Page: 1 2

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
31
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern