DEPLOY is a research project of the European Commission (FP7) which aims at promoting the use of formal methodology in European industry, and developing industrially scalable formal methods. (...)
CETIC at Internet of Services
Within the framework of DEPLOY, the CETIC will take part in the conference AVOCS which presents the techniques of automated verification of critical systems. This conference will take place in Düsseldorf, Germany on (...)
CETIC will actively participate to the Internet of Services 2009 Collaboration Meetingon on June 10-11, 2009 in Brussels.
C. Ponsard, J.C. Deprez, R. De Landtsheer, Manager Guidelines for the Industrial Deployment of Formal Methods, 18th International Workshop on Formal Methods for Industrial Critical Systems, (...)
Jean-Christophe Deprez, Christophe Ponsard, Renaud De Landtsheer, Evidence-based Assistance for the Adoption of Formal Methods in the Industry, book chapter of "Industrial deployment of system (...)
Sanae Saadaoui, Annick Majchrowski, Christohe Ponsard, "Experiment with COSMIC V3.0 : Case Studies in Business Applications", EuroSPI 2009, 2-4 September 2009, University of Alcada, (...)
Jean Christophe Deprez, Christophe Ponsard, An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, Deploy Federated Event, Fontainebleau (France), 1 March (...)
Headquartered in Walldorf, Germany, and with locations in more than 120 countries, SAP is the world leader in enterprise applications in terms of software and software-related (...)
Swiss Federal Institute of Technology