Research
Research |
|
I was a local organizer for CONCUR 2005.
I organized INFINITY 2009, a workshop affiliated to CONCUR 2009.
I organized FIT 2010, a workshop affiliated to CONCUR 2010.
I organized RED 2011, a workshop affiliated to EUROSYS 2011.
I organize QMF 2012, a workshop affiliate to FM 2012. Check our web page:
We organize the quantitative model checking school at Copenhagen, see our web page
The Centre Fédéré en Vérification (2003 - 2012).
The ARTIST2 Project (2004 - 2007).
The COMBEST Project (2009 - 2011).
The ARC (TP)I Project (2009 - 2011).
The DALI Project (2011 - 2014).
The ESTASE Project (2011 - 2014).
The DANSE Project (2011 - 2014).
T(O)RMC: this is a tool that implements an extension of the techniques developped in my CAV03 and TACAS04 papers. The tool is also described in my thesis. Here is a web page for T(0)RMC.
TICC: Ticc is a NEW tool for interfaces compatibility checking. This tool is developped in collaboration with the team of Professor Luca de Alfaro. Here is a WIKI for Ticc.
LASH: The Liège Automata-based Symbolic Handler (LASH) is a toolset for representing infinite sets and exploring infinite state spaces. Its beta version can be downloaded from the LASH page. I did not implement LASH, but I can answer many questions about it
The Regular Model Checking Toolset: this is a tool that implements a lot of Regular Model Checking techniques from the team of Parosh Abdulla in Uppsala. It can be downloaded from the Regular Model Checking page. I have participated to the "tree-version" of the tool.
ECDAR is our new toolset for timed interface theories. Check this link.
APAC is our new toolset for stochastic interface theories. Check this link