CosyVerif is issued from a series of projects held at LIP6 first (previously MASI), then jointly supported by LIP6 and LIPN, and now jointly conducted by LMF (previously LSV), LIP6, and LIPN (in the context of the MeFoSyLoMa group).
Hence, it is the result of a long experience issued from theoretical results, implementation of tools to illustrate these results (mostly Petri net based tools) and the design of a development environment (libraries, predefined tools…) to federate these tools.
This experience was first acquired all over the CPN-AMI 1 project based on the AMI integration platform (1987–1994). Then, in 1995, a new software integration platform, FrameKit, was elaborated to operate CPN-AMI 2 and 3 (1997–2010). Since 2010, a new generation of integration platform, based on web services, has been elaborated in the context of the Neoppod project. This new platform now forms the basis of CosyVerif that aims at gathering verification tools for Petri Nets (CPN-AMI 4 and later) and Automata.
So, CosyVerif is the result of several collaborations among a large set of people who stayed in the involved laboratories, some for a few weeks or months (student projects), others for years (PhD students, apprentices, researchers…). They are listed below.
Project Heads
- Pascal Estraillier1993–1998
- Claude Girault1987–1993
- Serge Haddad2012 – current
- Fabrice Kordon1998 – current
- Laure Petrucci2012 – current
Platform developers
Those who worked hard on Alligator, AMI, Coloane, CosyDraw, FrameKit and Macao.
- Jaime Arias2018 – current
- Bassem Barbouche2008
- Youcef Belattaf2008
- Jean-Marc Bernard1988–1991
- Maxime Bittan2014
- Xavier Bonnaire1992–1995
- Kahina Bouarab2008
- Monir Chaouki2008
- David Cheng2007
- Clément Démoulins2008–2012
- Karim Foughali1990–1996
- Redha Gouicem2014
- Corentin Guillevic2015
- Sarah Hadbi2015
- Alexandre Hamez2005–2009
- Silien Hong2008–2010
- Francis Hulin-Hubard2011 – current
- Fabrice Kordon1989–2010
- Van-François Le2021–2024
- Alban Linard2012–2016
- Pierre Martini1988–1992
- Eric Masliah2007
- Jean-Luc Mounier1987–2008
- Alexandre Ortiz2006–2007
- Xavier Renault2005–2006
- Jean-Baptiste Voron2006–2010
- Jia Hua Xu2011–2013
- Racim Yasri2008
- the ISR students in 2006 and 2007 😉
Tool developers
Those who worked hard on tools.
- Khalil Ajami1998
- Stéphane Amarger1989–1990
- Étienne André2011 – current
- Soheib Baarir2004
- Paolo Ballarini2010–2011
- Benoît Barbot2011 – current
- Rémy Card1989–1990
- Guillaume Chambraud2000
- Clarence-Dimitri Charles2007
- Maximilien Colange2010
- Michel Coriat1991–1992
- Gilles Corron1992–1995
- Jean-Michel Couvreur1993–1994
- Nicolas Crawley2000
- Jean-Pierre Cruz1999
- Fawzia Derrough1988–1993
- Alioune Diagne1995–1998
- Hilal Djafri2010
- Amal El Fallah1988–1992
- William El Kaïm1991–1997
- Sami Evangelista2008
- Olivier Gachignard1999
- Frédéric Gilliers2001–2002
- Alexandre Hamez2005–2009
- Lom-Messan Hillah2004
- Silien Hong2008–2010
- Jérôme Hugues2004–2005
- Kais Klai2009
- Fabrice Kordon1992 – current
- Sylvain Le Quéré1994
- Philippe Le Roux1994–1995
- Alban Linard2003–2009
- Philippe Marc1994
- Evariste Marion1995
- Zakaria Mekni2000
- Isabelle Mounier1992–2004
- Emmanuel Paviot-Adet1994 – current
- Bruno Pennec1995–1996
- Laure Petrucci2007 – current
- Denis Poitrenaud1992
- Guillaume Pontecaille1994–1995
- Daniel Prun1993–1995
- Pierre-Guillaume Raverdy1991–1992
- Lionel Remaury1994
- Xavier Renault2005–2006
- César Rodriguez2012
- Stéphane Romand1993–1995
- Dan Serfaty1995
- Idrissa Sokona2013
- Yann Thierry-Mieg2001 – current
- Thomas Vergnaud2005–2006
- Samia Zerouni1992–1995