Apr 2013 — Sep 2016.
BRiefcaSE is a basic research project that targets methods involved in the specification, validation and verification of safety critical systems.
This project was part of the IFSE working group, an animation and reflexion group, financed by the RTRA STAE, concerned with formal methods for system engineering.
Apr 2009 — Nov 2012.
Quarteft (QUAlifiable Real TimE Fiacre Transformations) is a project funded by FNRAE, the Fondation de la Recherche pour l’Aéronautique et l’Espace. The goal of the project is to study formal specification language and qualifiable model transformations in the context of critical embedded systems.
Nov 2004 — Feb 2008.
TraLaLA, XML Transformation Languages: logic and applications, is a project funded by ACI MASSES DE DONNÉES.
The objectives of the project is to study the processing, querying and manipulation of data-masses (large amounts of data) available in XML format.
Lucia Acciai, Michele Boreale, Silvano Dal Zilio In ESOP 2007 — 16th European Symposium on Programming, mar 2007.
Lucia Acciai, Michele Boreale, Silvano Dal Zilio In TGC 2006 — 2nd symposium on Trustworthy Global Computing, jan 2007.
Silvano Dal Zilio, Denis Lugiez Applicable Algebra in Engineering, Communication and Computing 17(5):337—377, oct 2006.
Lucia Acciai, Michele Boreale, Silvano Dal Zilio In NWPT 2005 — 17th Nordic Workshop on Programming Theory, oct 2005.
Silvano Dal Zilio, Enrico Formenti In WMC 2003 — Workshop on Membrane Computing, jan 2004.
Silvano Dal Zilio, Denis Lugiez In RTA 2003 — 14th International Conference on Rewriting Techniques and Applications, jun 2003.
Silvano Dal Zilio, Denis Lugiez Research Report 08-2002, LIF, jun 2002.
