| Testing or formal verification: Do-178c alternatives and industrial experience Y Moy, E Ledinot, H Delseny, V Wiels, B Monate IEEE software 30 (3), 50-57, 2013 | 163 | 2013 |
| The landing gear system case study F Boniol, V Wiels International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014 | 157 | 2014 |
| Formal verification of avionics software products J Souyris, V Wiels, D Delmas, H Delseny FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 141 | 2009 |
| Model checking flight control systems: The Airbus experience T Bochot, P Virelizier, H Waeselynck, V Wiels 2009 31st International Conference on Software Engineering-Companion Volume …, 2009 | 78 | 2009 |
| Formal verification of critical aerospace software V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu Aerospace Lab, p. 1-8, 2012 | 68 | 2012 |
| Checking secure interactions of smart card applets: Extended version P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon Journal of Computer Security 10 (4), 369-398, 2002 | 58 | 2002 |
| Management of evolving specifications using category theory V Wiels, S Easterbrook Proceedings 13th IEEE International Conference on Automated Software …, 1998 | 45 | 1998 |
| The PACAP prototype: a tool for detecting Java Card illegal flow P Bieber, J Cazin, V Wiels, G Zanon, E Marouan, P Girard, JL Lanet International Java Card Workshop, 25-37, 2000 | 31 | 2000 |
| Checking secure interactions of smart card applets P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon Computer Security-ESORICS 2000: 6th European Symposium on Research in …, 2000 | 31 | 2000 |
| Paths to property violation: A structural approach for analyzing counter-examples T Bochot, P Virelizier, H Waeselynck, V Wiels 2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010 | 29 | 2010 |
| A framework for modular formal specification and verification P Michel, V Wiels International Symposium of Formal Methods Europe, 533-552, 1997 | 29 | 1997 |
| Guidance for using formal methods in a certification context D Brown, H Delseny, K Hayhurst, V Wiels Embedded Real Time Software and Systems Conference, 2010 | 24 | 2010 |
| V&V through inconsistency tracking and analysis S Easterbrook, J Callahan, V Wiels Proceedings Ninth International Workshop on Software Specification and …, 1998 | 24 | 1998 |
| Toward a wider use of formal methods for aerospace systems design and verification Y Ait Ameur, F Boniol, V Wiels International Journal on Software Tools for Technology Transfer 12, 1-7, 2010 | 23 | 2010 |
| Electronic purse applet certification P Bieber, J Cazin, V Wiels, G Zanon, P Girard, JL Lanet Electronic Notes in Theoretical Computer Science 32, 14-25, 2000 | 22 | 2000 |
| Modularit e pour la conception et la validation formelles de syst emes V Wiels PhD thesis, ENSAE-ONERA/CERT, 1997 | 22 | 1997 |
| The landing gear case study: challenges and experiments F Boniol, V Wiels, Y Aït-Ameur, KD Schewe International Journal on Software Tools for Technology Transfer 19, 133-140, 2017 | 21 | 2017 |
| Robustness analysis of avionics embedded systems Y Aït-Ameur, G Bel, F Boniol, S Pairault, V Wiels ACM SIGPLAN Notices 38 (7), 123-132, 2003 | 20 | 2003 |
| Using formal verification techniques to reduce simulation and test effort O Laurent, P Michel, V Wiels International Symposium of Formal Methods Europe, 465-477, 2001 | 20 | 2001 |
| Experiences in using model checking to verify real time properties of a landing gear control system F Boniol, V Wiels, E Ledinot Conference ERTS'06, 2006 | 19 | 2006 |
