L’ingénierie des systèmes actuels et plus encore les systèmes futurs posent des défis majeurs tant leur complexité augmente et le logiciel, souvent enfui, occupe une partie croissante. Ceci signifie (...)
La 18ème édition du workshop international "Formal Methods for Industrial Critical Systems" (FMICS 2013) se déroule les 23 et 24 septembre à Madrid, en Espagne.
Jean-Christophe Deprez, Responsable Scientifique au CETIC et Christophe Ponsard, Responsable du Département SSE au CETIC, participent à la revue finale du projet DEPLOY, les 13 et 14 juin à Bruxelles. Ils y présentent (...)
Le CETIC, en tant que partenaire du projet DEPLOY, présentera les résultats de la recherche menée dans le cadre de celui-ci lors du ’DEPLOY Federated Event’
Les 28 et 29 septembre prochains à Bruxelles, le CETIC prendra part au meeting collaboratif "Internet of Services", organisé par la Commission européenne et dédié aux projets FP6 et (...)
Les méthodes d’ingénierie formelles sont théoriquement capables d’atteindre un niveau de qualité « zéro bug ». Certaines sont utilisées avec succès en industrie, notamment dans le développement de systèmes de métro (...)
Le CETIC est en train de démarrer un ensemble de projets internationaux de recherche. Trois projets sont ainsi dans les « starting blocks ». Le projet EXTRA rentre dans le programme européen de recherche « CORNET » (...)
Le CETIC s’est impliqué dans le second appel du 7ème programme cadre et est partenaire de deux des cinq projets intégrés FP7 du second appel. Il s’agit des projets stratégiques Reservoir (architectures orientées services (...)
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