Login / Signup
Meriem Kherbouche
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Root Cause
Epistemic Logic
Model Checking
Reachability Analysis
Top Venues
M2P
ADBIS (Short Papers)
</>
Publications
</>
Meriem Kherbouche
,
Yossra Zghal
,
Bálint Molnár
,
András Benczúr
The Use of M2P in Business Process Improvement and Optimization.
ADBIS (Short Papers)
(2022)
Galena Pisoni
,
Meriem Kherbouche
,
Bálint Molnár
Blockchain-Based Business Process Management (BPM) for Finance: The Case of Loan-Application.
BLOCKCHAIN
(2022)
Meriem Kherbouche
,
Bálint Molnár
Formal Model Checking and Transformations of Models Represented in UML with Alloy.
M2P
(2020)