8 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.LO2018★ 4 cited
Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency
Mario Lezoche, Hervé Panetto
Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technolo…
cs.IR2018
Knowledge extraction, modeling and formalization: EEG case study
Dmitry Morozov, Mario Lezoche, Hervé Panetto
Formal Concept Analysis (FCA) is a well-established method for data analysis which finds many applications in data mining. Its extension on complex data representation formats brou…
cs.SE2014★ 8 cited
Formal Semantic Annotations for Models Interoperability in a PLM environment
Y. Liao, M. Lezoche, H. Panetto +2
Nowadays, the need for system interoperability in or across enterprises has become more and more ubiquitous. Lots of research works have been carried out in the information exchang…