# Name 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