Suivre
Laurent Thiry
Laurent Thiry
maître de conférence, Université de Haute Alsace
Adresse e-mail validée de uha.fr
Titre
Citée par
Citée par
Année
Algebraic graph transformations for formalizing ontology changes and evolving ontologies
M Mahfoudh, G Forestier, L Thiry, M Hassenforder
Knowledge-Based Systems 73, 212-226, 2015
292015
Concurrent programming for the control of hexapod walking
B Thirion, L Thiry
ACM SIGAda Ada Letters 22 (1), 17-28, 2002
242002
Functional metamodels for systems and software
L Thiry, B Thirion
Journal of Systems and Software 82 (7), 1125-1136, 2009
222009
Big Metamodels Are Evil: Package Unmerge–A Technique for Downsizing Metamodels
F Fondement, PA Muller, L Thiry, B Wittmann, G Forestier
Model-Driven Engineering Languages and Systems: 16th International …, 2013
182013
Algebraic graph transformations for merging ontologies
M Mahfoudh, L Thiry, G Forestier, M Hassenforder
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca …, 2014
162014
Architectural concepts and design patterns for behavior modeling and integration
JM Perronne, L Thiry, B Thirion
Mathematics and Computers in Simulation 70 (5-6), 314-329, 2006
142006
Patterns for behavior modeling and integration
L Thiry, JM Perronne, B Thirion
Computers in Industry 55 (3), 225-237, 2004
122004
Consistent ontologies evolution using graph grammars
M Mahfoudh, G Forestier, L Thiry, M Hassenforder
Knowledge Science, Engineering and Management: 6th International Conference …, 2013
112013
Categories for (Big) Data models and optimization
L Thiry, H Zhao, M Hassenforder
Journal of Big Data 5 (1), 1-20, 2018
92018
A functional inference system for the web
L Thiry, M Mahfoudh, M Hassenforder
International Journal of Web Applications 6 (1), 1-13, 2014
72014
Functional (meta) models for the development of control software
L Thiry, B Thirion
IFAC Proceedings Volumes 41 (2), 8449-8454, 2008
72008
Functional programming for business process modeling
A Saini, L Thiry
IFAC-PapersOnLine 50 (1), 10526-10531, 2017
62017
Approche orientée modèles pour une conception UML certifiée des systèmes logiciels critiques
A Rasse, JL Boulanger, G Mariano, L Thiry, JM Perronne
Actes de la Conférence Internationale Francophone d’Automatique (CIFA 08), 2008
52008
A method to model guidelines for developing railway safety‐critical systems with UML
O OKALAS, JM Mota, L Thiry, JM PERRONNE, JL BOULANGER
ICSOFT’07, International Conference on Software and Data Technologies, 2007
52007
Categorical reasoning about meta-models
L Thiry, F Fondement, PA Muller
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
32012
A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml.
DDO Ossami, JM Mota, L Thiry, JM Perronne, JL Boulanger, G Mariano
ICSOFT (SE), 236-243, 2007
32007
Modèle, metamodèles et objets comportementaux pour les systèmes dynamiques complexes
L Thiry
Mulhouse, 2002
32002
Categorical models for BigData
L Thiry, H Zhao, M Hassenforder
2018 IEEE International Congress on Big Data (BigData Congress), 272-275, 2018
22018
Comment fusionner des ontologies avec la réécriture de graphes?
M Mahfoudh, G Forestier, L Thiry, M Hassenforder
Tech. Sci. Informatiques 35 (1), 31-53, 2016
22016
Une nouvelle formalisation des changements ontologiques composés et complexes.
M Mahfoudh, L Thiry, G Forestier, M Hassenforder
EGC, 263-274, 2015
22015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20