F. Kordon and F. Hulin-Hubard. BenchKit, a Tool for Massive Concurrent Benchmarking. 14th International Conference on Application of Concurrency to System Design (ACSD), pages 159-165, IEEE Computer Society, June 2014

S. Baarir and F. Kordon and L. Pettruci. From Symmetric Nets to Symmetric Nets with Bags. 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), online, June 2014

S. Baarir and A. Duret-Lutz. Emptiness check of powerset Büchi automata. In Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD’07), pages 41–50. IEEE Computer Society, July 2007.