Papers
- Yousra Lembachar, Ryan Rusich, Iulian Neamtiu and Gianfranco Ciardo. 2012. Who Watches the Watchers: Toward Provably-correct Decision Diagram Code. Invited paper at the 21st International Workshop on Logic and Synthesis (IWLS'12). [Slides.] [More about this project...]
- Xiaoqing Jin, Yousra Lembachar and Gianfranco Ciardo. 2012. Symbolic verification of ECA rules for cyber-physical systems. Under edition. [More about this project...]