Laurent Thiry
Laurent Thiry
maître de conférence, Université de Haute Alsace
Adresse e-mail validée de uha.fr
TitreCitée parAnnée
Concurrent programming for the control of hexapod walking
B Thirion, L Thiry
ACM SIGAda Ada Letters 22 (1), 17-28, 2002
232002
Functional metamodels for systems and software
L Thiry, B Thirion
Journal of Systems and Software 82 (7), 1125-1136, 2009
202009
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
182015
Big metamodels are evil
F Fondement, PA Muller, L Thiry, B Wittmann, G Forestier
International Conference on Model Driven Engineering Languages and Systems …, 2013
122013
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
122006
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
International Conference on Knowledge Science, Engineering and Management, 64-75, 2013
112013
Algebraic graph transformations for merging ontologies
M Mahfoudh, L Thiry, G Forestier, M Hassenforder
International Conference on Model and Data Engineering, 154-168, 2014
82014
Functional (meta) models for the development of control software
L Thiry, B Thirion
IFAC Proceedings Volumes 41 (2), 8449-8454, 2008
72008
A Functional Inference System for the Web.
L Thiry, M Mahfoudh, M Hassenforder
IJWA 6 (1), 1-13, 2014
62014
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
CIFA, Conférence Internationale Francophone d’Automatique, 2008
62008
A method to model guidelines for developing railway safety-critical systems with UML
JM MOTA, L THIRY
ICSOFT’07–International Conference on Software and Data Technologies, 2007
52007
Functional Programming for Business Process Modeling
A Saini, L Thiry
IFAC-PapersOnLine 50 (1), 10526-10531, 2017
32017
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
Comment fusionner des ontologies avec la réécriture de graphes?
M Mahfoudh, G Forestier, L Thiry, M Hassenforder
Technique et Science 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
Approche formelle de fusion d'ontologies à l'aide des grammaires de graphes typés.
M Mahfoudh, G Forestier, L Thiry, M Hassenforder
EGC, 565-568, 2014
22014
Adaptation consistante d'ontologie à l'aide des grammaires de graphes
M Mahfoudh, L Thiry, G Forestier, M Hassenforder
22013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20