Publications

Please find below some publications about CosyVerif

  1. É. André et al., “CosyVerif: The Path to Formalisms Cohabitation,” in 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024), in Lecture Notes in Computer Science, vol. 14628. Springer, 2024.
  2. J. Arias, B. Barbot, F. Hulin-Hubard, F. Kordon, and L. Petrucci, “CosyVerif: an online verification platform,” Petri Net Newsletter, vol. 87, pp. 5–7, May 2020.
  3. F. Kordon and F. Hulin-Hubard, “BenchKit, a tool for massive concurrent benchmarking,” in 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis La Marsa, Tunisia: IEEE Computer Society, 2014, pp. 159–165. doi: 10.1109/ACSD.2014.12.
  4. É. André, L. Petrucci, and F. Kordon, “Teaching formal methods: Experience at UPMC and UP13 with CosyVerif,” in 25th EAEEIE Annual Conference (EAEEIE 2014), IEEE, 2014, pp. 25–28.
  5. É. André et al., “CosyVerif: An open source extensible verification environment,” in 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), Singapore: IEEE Computer Society, 2013, pp. 33–36. doi: 10.1109/ICECCS.2013.15.
  6. É. André et al., “A modular approach for reusing formalisms in verification tools of concurrent systems,” in 15th International Conference on Formal Engineering Methods (ICFEM 2013), in Lecture Notes in Computer Science, vol. 8144. Queenstown, New Zealand: Springer, 2013, pp. 199–214. doi: 10.1007/978-3-642-41202-8_14.

Please find below some publications related to the use of CosyVerif

  1. K. Klai, M. T. Bennani, J. Arias, J. Desel, and H. Ochi, “Symbolic Observation Graph-Based Generation of Test Paths,” in 17th International Conference on Tests and Proofs, TAP 2023, Leicester, UK, July 18-19, 2023, V. Prevosto and C. Seceleanu, Eds., in Lecture Notes in Computer Science, vol. 14066. Springer, 2023, pp. 127–146. doi: 10.1007/978-3-031-38828-6_8.
  2. J. Arias, W. Penczek, L. Petrucci, and T. Sidoruk, “ADT2AMAS: Managing Agents in Attack-Defence Scenarios,” in 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Virtual Event, United Kingdom, May 3-7, 2021, F. Dignum, A. Lomuscio, U. Endriss, and A. Nowé, Eds., ACM, 2021, pp. 1749–1751. doi: 10.5555/3463952.3464225.
  3. S. Baarir and F. Kordon, “Modeling and Verifying Distributed Systems with Petri Nets,” in 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE 2012), Constantine, Algeria: IEEE Press, Nov. 2012, pp. 92–92. doi: 10.1109/IWAISE.2012.24.