Yousra Lembachar

According to our database, Yousra Lembachar authored at least 4 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Bddl: A Type System for Binary Decision Diagrams.

Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo

Proceedings of the Tests and Proofs - 16th International Conference, 2022

2014

Symbolic Termination and Confluence Checking for ECA Rules.

Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo

Trans. Petri Nets Other Model. Concurr., 2014

2013

CosyVerif: An Open Source Extensible Verification Environment.

Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Symbolic verification of ECA rules.

Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013