| FISSC: A fault injection and simulation secure collection L Dureuil, G Petiot, ML Potet, TH Le, A Crohen, P de Choudens Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 64 | 2016 |
| An optimized memory monitoring for runtime assertion checking of C programs N Kosmatov, G Petiot, J Signoles Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 52 | 2013 |
| Your proof fails? testing helps to find the reason G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of …, 2016 | 34 | 2016 |
| Instrumentation of annotated C programs for test generation G Petiot, B Botella, J Julliand, N Kosmatov, J Signoles 2014 IEEE 14th International Working Conference on Source Code Analysis and …, 2014 | 25 | 2014 |
| How test generation helps software specification and deductive verification in Frama-C G Petiot, N Kosmatov, A Giorgetti, J Julliand Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014 | 23 | 2014 |
| Static and dynamic verification of relational properties on self-composed C code L Blatter, N Kosmatov, P Le Gall, V Prevosto, G Petiot International Conference on Tests and Proofs, 44-62, 2018 | 20 | 2018 |
| Functional parallel programming with revised bulk synchronous parallel ML W Bousdira, F Gava, L Gesbert, F Loulergue, G Petiot 2010 First International Conference on Networking and Computing, 191-196, 2010 | 19 | 2010 |
| How testing helps to diagnose proof failures G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand Formal Aspects of Computing 30 (6), 629-657, 2018 | 17 | 2018 |
| Sequential generation of structured arrays and its deductive verification R Genestier, A Giorgetti, G Petiot Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015 | 15 | 2015 |
| FISSC: A Fault Injection and Simulation Secure Collection. 3–11 L Dureuil, G Petiot, ML Potet, TH Le, A Crohen, P de Choudens DOI: https://doi. org/10.1007/978-3-319-45477-1_1, 2016 | 5 | 2016 |
| Contribution à la vérification de programmes C par combinaison de tests et de preuves. G Petiot Université de Franche-Comté, 2015 | 2 | 2015 |
| StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C G Petiot, N Kosmatov, A Giorgetti, J Julliand | 2 | 2014 |
| Comment la génération de tests facilite la spécification et la vérification déductive des programmes dans Frama-C G Petiot, N Kosmatov, A Giorgetti, J Julliand AFADL 14, 133-133, 2014 | 1 | 2014 |
| Bulk Synchronous Parallel ML 0.5 Reference Manual F Loulergue, W Bousdira, F Gava, L Gesbert, G Hains, G Petiot, J Tesson | 1 | 2010 |
| Contribution to software verification combining tests and proofs G Petiot < bound method Organization. get_name_with_acronym of< Organization: TEL …, 2015 | | 2015 |
| Spécifications formelles–Programmation logique et Prolog G Petiot | | |
| UR CÉRES-TR4 «Enseignement, professionnalisation et innovation»(EnPI) B BILLEREY, L D’ABBADIE de NODREST, C DE CONTO CASALTA, ... | | |
| «Enseignement, professionnalisation et innovation»(EnPI) B BILLEREY, L CARRIO, O DAMOURETTE, C DE CONTO CASALTA, ... | | |
| An Optimized Memory Monitoring Library for Runtime Assertion Checking with Frama-C N Kosmatov, G Petiot, J Signoles Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 119, 0 | | |
