Author of the chapters below :
Curriculum vitae :
Mario Lezoche est maître de conférence HDR à l'Université de Lorraine, plus précisément à l'IUT Hubert Curien d'Epinal (Institut Universitaire Technologique) où il enseigne le génie logiciel orienté objet, les systèmes de connaissances de base et le développement de bases de données. Il enseigne également à l'école d'ingénieurs en informatique TELECOM Nancy la configuration des ERP, l'entreprise 4.0, les blockchains et les langages de programmation sémantiques. Il est chercheur au CRAN (Centre de Recherche en Automatique de Nancy) unité mixte de recherche avec le CNRS. Au sein du laboratoire du CRAN, il est rattaché au département ISET (Département Ingénierie des Systèmes Eco-Techniques) et il co-dirige le projet de recherche Système Intelligent et Objets en Interaction (S&O-2I) sur l'utilisation de la formalisation des connaissances (par exemple ontologie, analyse formelle des concepts, analyse relationnelle des concepts) pour optimiser l'interopérabilité des modèles des systèmes de production. Il est diplômé de l'université Roma TRE (Italie) en ingénierie informatique. Il a obtenu son doctorat en ingénierie informatique en 2009 et son post-doc en 2011 à l'Université de Lorraine. Il a une forte expérience dans la recherche sur le Web sémantique et dans les modèles et la sémantique pour l'interopérabilité des systèmes. Il travaille depuis longtemps dans la modélisation des systèmes d'information, la modélisation et la découverte sémantique, et le développement de bases de données. Son domaine de recherche est basé sur la modélisation des systèmes d'information pour les applications d'entreprise et l'interopérabilité des processus, avec des applications dans la modélisation d'entreprise. Il travaille actuellement sur une approche de conceptualisation et l'utilisation de la théorie du treillis à travers la méthode d'analyse formelle des concepts (FCA) pour l'interopérabilité des systèmes d'information d'entreprise. Les derniers travaux de recherche portent sur une amélioration de la méthode FCA appelée Relational Concept Analysis (RCA) qui se concentre sur l'extraction de la connaissance tacite par une approche de clusterisation sur des structures de données multi-contextes. Il est en outre un réviseur régulier pour des revues internationales (EIS, FGCS, CII, IJPR). Il est éditeur invité de numéros spéciaux de revues internationales. Il est auteur ou co-auteur de plus de 40 articles dans le domaine de l'ingénierie de l'automatisation, de la formalisation des connaissances d'entreprise et de l'interopérabilité des systèmes d'entreprise. Il est membre du comité technique 5.3 de l'IFAC sur "l'intégration et la mise en réseau des entreprises" depuis 2016.
Web Site :
Publications since 2015 :
Publications referenced on ORCID 
(12) ►
- Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency, in Enterprise Information Systems ; 2018.
- Multi-paradigm modelling of Cyber-Physical Systems, in IFAC-PapersOnLine ; 2018.
- Semantic interoperability of large systems through a formal method: Relational Concept Analysis, in IFAC-PapersOnLine ; 2018.
- Semantic annotations for semantic interoperability in a product lifecycle management context, in International Journal of Production Research ; 2016.
- Semantic annotation for knowledge explicitation in a product lifecycle management context: A survey, in Computers in Industry ; 2015.
Journal articles (5)
- Modelling Framework for Sustainable Co-management of Multi-purpose Exhibition Systems: The "fiera del Levante" Case, in Procedia Engineering ; 2017.
- Towards a comparative analysis of interoperability assessment approaches for collaborative enterprise systems, in Advances in Transdisciplinary Engineering ; 2016.
Conference papers (2)
- Sustainability assessment of manufacturing organizations based on indicator sets: A formal concept analysis, in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 2019.
- OTM/IFIP international workshop on enterprise integration, interoperability and networking (EI2N) 2017: EI2N 2017 PC chair’s message, in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 2018.
- Managing business process variability through process mining and semantic reasoning: An application in healthcare, in IFIP Advances in Information and Communication Technology ; 2017.
- Using formal concept analysis for checking the structure of an ontology in LOD: The example of DBpedia, in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 2017.
- Using formal measures to improve maturity model assessment for conceptual interoperability, in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 2017.