Laurent Thiry
Laurent Thiry
maître de conférence, Université de Haute Alsace
Verified email at uha.fr
Title
Cited by
Cited by
Year
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
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
192015
Big metamodels are evil
F Fondement, PA Muller, L Thiry, B Wittmann, G Forestier
International Conference on Model Driven Engineering Languages and Systems …, 2013
142013
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
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
Patterns for behavior modeling and integration
L Thiry, JM Perronne, B Thirion
Computers in Industry 55 (3), 225-237, 2004
112004
Algebraic graph transformations for merging ontologies
M Mahfoudh, L Thiry, G Forestier, M Hassenforder
International Conference on Model and Data Engineering, 154-168, 2014
92014
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
Int. J. Web Appl. 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
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
D Okalas Ossami, JM Mota, L Thiry, JM Perronne, JL Boulanger, ...
the 7th International SPICE Conference (Software Process Improvement and …, 2007
52007
Functional programming for business process modeling
A Saini, L Thiry
IFAC-PapersOnLine 50 (1), 10526-10531, 2017
42017
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
Categories for (Big) Data models and optimization
L Thiry, H Zhao, M Hassenforder
Journal of Big Data 5 (1), 21, 2018
22018
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
The system can't perform the operation now. Try again later.
Articles 1–20