| # | Short description | Dev. years | Web | |
|---|---|---|---|---|
| 1 | ROP | tool for automated refactoring of BPMN processes | 2022- | |
| 2 | VTOSCA | tool for verifying TOSCA workflows | 2021- | |
| 3 | R-MOZART | tool for reconfiguring WebThings applications | 2020-2021 | link |
| 4 | DLTS | tool for measuring the similarity of non-bisimilar LTSs | 2017-2021 | link |
| 5 | VBPMN | framework for verifying BPMN processes | 2015-2018 | link |
| 6 | STABC | tool for analyzing asynchronously communicating automata | 2014-2016 | link |
| 7 | VerChor | framework for verifying choreographies | 2011-2014 | link |
| 8 | pic2lnt | translator from the pi-calculus to LNT | 2010-2013 | link |
| 9 | ITACA | Integrated Toolbox for Automatic Composition and Adaptation | 2007-2009 | link |
| 10 | cd2lotos | realizability of collaboration diagrams by encoding into LOTOS | 2008 | |
| 11 | (D)Compositor | centralised and distributed adaptation via process algebra encodings integrated to ITACA |
2007-2008 | |
| 12 | Clint | composition language interpreter | 2007 | link |
| 13 | Adaptor | model-based software adaptation | 2006-2007 | link |
| 14 | fsp2lotos | translator from FSP to LOTOS integrated to CADP |
2005-2006 | link |
| 15 | chp2lotos | translator from CHP to LOTOS | 2004-2006 | |
| 16 | xCLAP | edition and animation of extended state diagrams | 1999-2003 | |
| 17 | ISA | tool for integrated specifications animation | 2002 | |
| 18 | CLAP | class library for automata in Python | 1999 |