
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 engineering methods providing high dependability and productivity", A. Romanovsky, M. Thomas (Eds), Springer. April 2013. (Industry, Scientific papers, Model Driven Engineering)
Jean Christophe Deprez, Christophe Ponsard, An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, Deploy Federated Event, Fontainebleau (France), 1 March 2012 (Software and System Engineering, Communication scientifique, Model Driven Engineering)
Christophe Ponsard, Jean Christophe Deprez, Jacques Flamand, Assessment of the Evolution of the RODIN Open Source platform, Third RODIN Users and Developer Workshop at Deploy Federeted Event, Fontainebleau (France), 28-29 February 2012 (accepted) (Software and System Engineering, Communication scientifique, Model Driven Engineering)
Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer, Is my Formal Method Tool Ready for the Industry ?, AVOCS 2011 - 11th International Workshop on Automated Verification of Critical Systems, Newcastle (UK), September 12-14, 2011 (Software tools and environments, Software and System Engineering, Communication scientifique)
Ponsard C., Devroey X., Generating High-Level Event-B System Models from KAOS Requirements Models, in INFormatique des ORganisations et Systèmes d’Information et de Décision, INFORSID 2011, Lille (France) 26-26 mai 2011 (Software and System Engineering, Communication scientifique, Model Driven Engineering)
Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, Paris, France, June 15, 2010. (Logiciel Embarqué, Software and System Engineering, Communication scientifique, Model Driven Engineering, SPICES)
Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop (University of Newcastle Technical Report), Decembre 2009. (Software and System Engineering, Communication scientifique, Model Driven Engineering)
![]() | ![]() | |||
![]() | ![]() | ![]() | ![]() | |
![]() | ![]() |