Auteur.e des chapitres :
Curriculum vitae :
Dr. Mario Lezoche is an associate professor at University of Lorraine, more specifically at IUT Hubert Curien of Epinal (Technological University Institut) where he teaches object-oriented software engineering, base knowledge systems and database development. He teaches, also, at the Computer Science Engineering School TELECOM Nancy ERP configuration, Enterprise 4.0, Blockchains and Semantic programming languages. He is researcher at CRAN (Research Centre for Automatic Control of Nancy) joint research unit with CNRS. In the CRAN laboratory he is attached to the ISET department (Department Ingénierie des Systèmes Eco-Techniques - Eco-Techniques Systems Engineering Department) and he is co-managing the research project Intelligent System and Objects in Interaction (S&O-2I) on the use of Knowledge formalisation (for example ontology, formal concept analysis, relational concept analysis) for optimising models interoperability of production systems. He graduated at Roma TRE University (Italy) in Computer Science Engineering. He received his PhD in Computer Science Engineering in 2009 and his Post-Doc in 2011 at the University of Lorraine. He has a strong experience in Semantic Web research and in models and semantics for systems interoperability. He works since long time in information systems modelling, semantics modelling and discovery, and database development. His research field is based on information systems modelling for enterprise applications and processes interoperability, with applications in enterprise modelling. He is presently working on a conceptualisation approach and the use of Lattice theory through the Formal Concept Analysis (FCA) method for Enterprise Information Systems interoperability. The latest research works are on an improvement of the FCA method called Relational Concept Analysis (RCA) that focuses on the tacit knowledge extraction through a clusterization approach on multi contexts data structures. He is moreover a regular reviewer for international journals (EIS, FGCS, CII, IJPR). He is guest editor of special issues of international journals. He is author or co-author of more than 40 papers in the field of Automation Engineering, Enterprise Knowledge formalization and Enterprise systems interoperability. He is member of the IFAC Technical Committee 5.3 on “Enterprise Integration and Networking” since 2016.
Page personnelle :
Liste de publications depuis 2015 :
Publications référencées sur 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.
Articles publiés dans les revues (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.
Communications dans un congrès (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.