Rim Saddem-Yagoubi

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Ordered Binary Decision Diagrams

Alternating Time Temporal Logic

Business Process

Top Venues

Discret. Event Dyn. Syst.

Publications

Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. FM (2021)
Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani
Model-checking precision agriculture logistics: the case of the differential harvest. Discret. Event Dyn. Syst. 30 (4) (2020)