Software

• pic2lnt: translator from the pi-calculus to LOTOS-NT (2010-2011)

• ITACA: Integrated Toolbox for Automatic Composition and Adaptation (2007-2009)

• cd2lotos: realizability of choreographies specified using collaboration diagrams by encoding into LOTOS (2008)

• DCompositor: generation of service wrappers from choreography specifications (2008) - DCompositor is integrated to ITACA

• Compositor: behavioural composition and adaptation using process algebra encodings (2007-2008) - Compositor is integrated to ITACA

• Clint: a composition language interpreter (2007)

• Adaptor (v0.2): tool for model-based software adaptation (2006-2007)

• fsp2lotos: translator from FSP to LOTOS (2005-2006) - fsp2lotos is distributed with CADP since beta version 2007-p (January 2009)

• chp2lotos: translator from CHP to LOTOS (2004-2006)

• xCLAP: edition and animation of extended state diagrams (2003)

• ISA: a tool for Integrated Specifications Animation (2002)

• CLAP: a Class Library for Automata in Python (1999)