Kmelia
- Poster of Kmelia
- SC’06 (sc06.ps.zip) en
- SC’07 (sc07.ps.zip) en
- WCAT’06 (wcat06.ps.zip en) later published on ENTCS 2007
- SC’08 (sc08.pdf en)
- CAL’09 (cal09.pdf fr)
- FACS’09 (facs09.pdf en) appendix FACS’09 (facs09_app.pdf)
- CAL’10 (cal10_MAA.pdf fr) appendix CAL’10 (cal10_app.pdf)
- Fesca’10 (fesca2010_submitted.pdf en) appendix Fesca’10 (fesca10_app.pdf)
- appendix AZB’10 (azb10_app.pdf)
- WCSI’10 (wcsi2010_submission.pdf en)
- FACS’10 (facs10_submitted.pdf en) appendix FACS’10 (facs10_app.pdf)
- TSI 2011 link (fr)
- CIEL 2013 (ciel13_proceedings fr)
Costo
- Poster of Costo
- ISSTA 2016 Demo (submittedPDF (en) + poster
CostoTest
- ModeVVa 2013 (Modevva2013_submitted.pdf) appendix ModeVVa2013 (ModeVVa2013_app.pdf)
- Manuel (pdf)
- Amaretto@MODELSWARD 2017 (submittedPDF)