@inproceedings{andre2024cosyverif,
  author    = {Étienne André and Jaime Arias and Benoît Barbot and Francis Hulin-Hubard and Fabrice Kordon and Van-François Le and Laure Petrucci},
  title     = {{CosyVerif}: The Path to Formalisms Cohabitation},
  booktitle = {45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024)},
  series    = {Lecture Notes in Computer Science},
  volume    = {14628},
  publisher = {Springer},
  year      = {2024}
}

@article{arias2020cosyverif,
  author  = {Jaime Arias and Benoît Barbot and Francis Hulin-Hubard and Fabrice Kordon and Laure Petrucci},
  title   = {{CosyVerif}: an online verification platform},
  journal = {Petri Net Newsletter},
  volume  = {87},
  pages   = {5--7},
  month   = may,
  year    = {2020}
}

@inproceedings{kordon2014benchkit,
  author    = {Fabrice Kordon and Francis Hulin-Hubard},
  title     = {{BenchKit}, a tool for massive concurrent benchmarking},
  booktitle = {14th International Conference on Application of Concurrency to System Design (ACSD 2014)},
  address   = {Tunis La Marsa, Tunisia},
  pages     = {159--165},
  publisher = {IEEE Computer Society},
  year      = {2014},
  doi       = {10.1109/ACSD.2014.12}
}

@inproceedings{andre2014teaching,
  author    = {Étienne André and Laure Petrucci and Fabrice Kordon},
  title     = {Teaching formal methods: Experience at {UPMC} and {UP13} with {CosyVerif}},
  booktitle = {25th EAEEIE Annual Conference (EAEEIE 2014)},
  pages     = {25--28},
  publisher = {IEEE},
  year      = {2014}
}

@inproceedings{andre2013cosyverif,
  author    = {Étienne André and Yousra Lembachar and Laure Petrucci and Francis Hulin-Hubard and Alban Linard and Lom Hillah and Fabrice Kordon},
  title     = {{CosyVerif}: An open source extensible verification environment},
  booktitle = {18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013)},
  address   = {Singapore},
  pages     = {33--36},
  publisher = {IEEE Computer Society},
  year      = {2013},
  doi       = {10.1109/ICECCS.2013.15}
}

@inproceedings{andre2013modular,
  author    = {Étienne André and Benoît Barbot and Clément Demoulins and Lom-Messan Hillah and Francis Hulin-Hubard and Fabrice Kordon and Alban Linard and Laure Petrucci},
  title     = {A modular approach for reusing formalisms in verification tools of concurrent systems},
  booktitle = {15th International Conference on Formal Engineering Methods (ICFEM 2013)},
  address   = {Queenstown, New Zealand},
  series    = {Lecture Notes in Computer Science},
  volume    = {8144},
  pages     = {199--214},
  publisher = {Springer},
  year      = {2013},
  doi       = {10.1007/978-3-642-41202-8_14}
}