Symbolic verification of ECA rules. - Xiaoqing Jin; Yousra Lembachar; Gianfranco Ciardo (PNSE+ModPE, 2013)

CosyVerif: An Open Source Extensible Verification Environment. - Étienne André; Yousra Lembachar; Laure Petrucci; Francis Hulin-Hubard; Alban Linard; Lom Hillah; Fabrice Kordon (ICECCS, 2013)

Symbolic Termination and Confluence Checking for ECA Rules. - Xiaoqing Jin; Yousra Lembachar; Gianfranco Ciardo (Trans. Petri Nets Other Model. Concurr., 2014)

Bddl: A Type System for Binary Decision Diagrams. - Yousra Lembachar; Ryan Rusich; Iulian Neamtiu; Gianfranco Ciardo (TAP@STAF, 2022)