People

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 LIP6, LIPN and LSV (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, researchers…). They are listed below.

Project Heads

Tool developers

Those who worked hard on tools.

  • Khalil Ajami (1998)
  • Stéphane Amarger (1989-1990)
  • Etienne André (2011-)
  • Soheib Baarir (2004-)
  • Paolo Ballarini (2010-2011)
  • Benoît Barbot (2011-)
  • Rémy Card (1989-1990)
  • Guillaume Chambraud (2000)
  • Maximilien Colange (2010-)
  • Michel Coriat (1991-1992)
  • Gilles Corron (1992-1995)
  • Jean-Michel Couvreur (1993-1994)
  • Nicolas Crawley (2000)
  • Jean-Pierre Cruz (1999)
  • Fawzia Derrough (1988-1993)
  • Alioune Diagne (1995-1998)
  • Clarence-Dimitri Charles (2007)
  • Hilal Djafri (2010-)
  • Amal El Fallah (1988-1992)
  • William El Kaïm (1991-1997)
  • Sami Evangelista (2008-)
  • Olivier Gachignard (1999)
  • Frédéric Gilliers (2001-2002)
  • Alexandre Hamez (2005-2009)
  • Silien Hong (2008-2010)
  • Lom-Messan Hillah (2004-)
  • Jérôme Hugues (2004-2005)
  • Kais Klai (2009-)
  • Fabrice Kordon (1992-)
  • Alban Linard (2003-2009)
  • Sylvain Le Quéré (1994)
  • Philippe Le Roux (1994-1995)
  • Philippe Marc (1994)
  • Evariste Marion (1995)
  • Zakaria Mekni (2000)
  • Isabelle Mounier (1992-2004)
  • Emmanuel Paviot-Adet (1994-)
  • Bruno Pennec (1995-1996)
  • Laure Petrucci (2007-)
  • Denis Poitrenaud (1992-)
  • Daniel Prun (1993-1995)
  • Guillaume Pontecaille (1994-1995)
  • Pierre-Guillaume Raverdy (1991-1992)
  • Lionel Remaury (1994)
  • Xavier Renault (2005-2006)
  • César Rodriguez (2012-)
  • Stéphane Romand (1993-1995)
  • Dan Serfaty (1995)
  • Idrissa Sokona (2013)
  • Yann Thierry-Mieg (2001-)
  • Thomas Vergnaud (2005-2006)
  • Samia Zerouni (1992-1995)

Platform developers

Those who worked hard on Macao, AMI, FrameKit, Coloane and Alligator.

  • Jaime Arias (2018-)
  • Bassem Barbouche (2008)
  • Youcef Belattaf (2008)
  • Jean-Marc Bernard (1988-1991)
  • Maxime Bittan (2014)
  • Xavier Bonnaire (1992-1995)
  • Kahina Bouarab (2008)
  • Monir Chaouki (2008)
  • David Cheng (2007)
  • Clément Démoulins (2008-2012)
  • Karim Foughali (1990-96)
  • Redha Gouicem (2014)
  • Corentin Guillevic (2015)
  • Sarah Hadbi (2015)
  • Alexandre Hamez (2005-2009)
  • Silien Hong (2008-2010)
  • Francis Hulin-Hubard (2011-)
  • Fabrice Kordon (1989-2010)
  • Alban Linard (2012-2016)
  • Eric Masliah (2007)
  • Pierre Martini (1988-1992)
  • Jean-Luc Mounier (1987-2008)
  • Alexandre Ortiz (2006-2007)
  • Xavier Renault (2005-2006)
  • Jean-Baptiste Voron (2006-2010)
  • Racim Yasri (2008)
  • Jia Hua Xu (2011-2013)
  • the ISR students in 2006 and 2007 😉