Yousra Lembachar

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 1

Top Topics

Binary Decision Diagrams

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo
Bddl: A Type System for Binary Decision Diagrams. TAP@STAF (2022)
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
Symbolic Termination and Confluence Checking for ECA Rules. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
CosyVerif: An Open Source Extensible Verification Environment. ICECCS (2013)
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
Symbolic verification of ECA rules. PNSE+ModPE (2013)