Fan-C, a Frama-C plug-in for data flow verification P Cuoq, D Delmas, S Duprat, VM Lamiel Embedded Real Time Software and Systems (ERTS2012), 2012 | 21 | 2012 |
Formal verification workbench for Airbus avionics software S Duprat, D Favre-Félix, J Souyris Conference ERTS'06, 2006 | 16 | 2006 |
Taster, a Frama-C plug-in to enforce Coding Standards D Delmas, S Duprat, V Lamiel, J Signoles ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 14 | 2010 |
Formal verification of SAM state machine implementation S Duprat, P Gaufillet, VM Lamiel, F Passarello ERTS, France, 7C1-1, 2010 | 13 | 2010 |
Use of modelling methods and tools in an industrial embedded system project: works and feedback AF Pires, S Duprat, T Faure, C Besseyre, J Beringuier, JF Rolland Embedded Real Time Software and Systems (ERTS2012), 2012 | 10 | 2012 |
Behavioural verification in embedded software, from model to source code AF Pires, T Polacsek, V Wiels, S Duprat Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 8 | 2013 |
Fan-C, a Frama-C plug-in for data flow verification D Delmas, P Cuoq, V Moya Lamiel, S Duprat Proceedings of the Embedded Real Time Software and Systems Conference, ERTS …, 2012 | 6 | 2012 |
Use of formal methods in embedded software development: stakes, constraints and proposal AF Pires, T Polacsek, V Wiels, S Duprat Proc. of the 7th European Congress Embedded Real Time Software And Systems …, 2014 | 5* | 2014 |
Spreading Static Analysis with Frama-C in Industrial Contexts S Duprat, VM Lamiel, F Kirchner, L Correnson, D Delmas 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 3 | 2016 |
Formal software verification at model and at source code levels A Fernandes Pires, T Polacsek, S Duprat Model and Data Engineering: 2nd International Conference, MEDI 2012 …, 2012 | 3 | 2012 |
Vérifier le comportement du code d˘un système embarqué à partir de son modèle AF Pires, T Polacsek, V Wiels, S Duprat Modélisation des systèmes réactifs-Actes de MSR 2013 47, 61-75, 0 | 3 | |
Preuve formelle de code à partir de diagrammes d˘activités UML MH Essoussi, AF Pires, S Duprat Actes de la 2ème Conférence en IngénieriE du Logiciel (CIEL), 2013 | 2 | 2013 |
Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience. AF Pires, S Duprat, C Besseyre Tech. Sci. Informatiques 31 (7), 897-916, 2012 | 2 | 2012 |
Use of formal methods in embedded software development: stakes, constraints and proposal A Fernandes-Pires, T Polacsek, V Wiels, S Duprat EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2014), 2014 | 1 | 2014 |
An Eclipse plug-in to link modelling and code proof AF Pires, T Polacsek, S Duprat Joint Proceedings of Tools, Demos & Posters, 23, 2013 | 1 | 2013 |
V&V support for DSML in TOPCASED B Berthomieu, B Combemale, X Crégut, S Duprat, R Faudou, M Pantel, ... | 1 | 2010 |
Proving temporal properties at code level for basic operators of control/command programs P Baudin, D Delmas, S Duprat, B Monate 4th International Congress ERTS 2008, 2008 | 1 | 2008 |
Utilisation des transformations de modèles pour implémenter un moteur de simulation d'automates S Duprat, R Faudou, D RIBEIRO CAMPELO, L Akue Génie logiciel (1995), 2009 | | 2009 |