| 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 | 153 | 2013 |
| The landing gear system case study F Boniol, V Wiels ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 2014 | 147 | 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 | 140 | 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 | 74 | 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 | 64 | 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 | 60 | 2002 |
| Management of evolving specifications using category theory V Wiels, S Easterbrook Proceedings 13th IEEE International Conference on Automated Software …, 1998 | 44 | 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 Java on Smart Cards: Programming and Security, 25-37, 2001 | 32 | 2001 |
| 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 | 30 | 2000 |
| A framework for modular formal specification and verification P Michel, V Wiels FME'97: Industrial Applications and Strengthened Foundations of Formal …, 2005 | 28 | 2005 |
| V&V through inconsistency tracking and analysis S Easterbrook, J Callahan, V Wiels Proceedings Ninth International Workshop on Software Specification and …, 1998 | 26 | 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 | 25 | 2010 |
| 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 | 24 | 2010 |
| 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 | 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 |
| Modularite pour la conception et la validation formelles de systemes V Wiels Toulouse, ENSAE, 1997 | 22 | 1997 |
| 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 | 21 | 2003 |
| 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 | 20 | 2006 |
| Using formal verification techniques to reduce simulation and test effort O Laurent, P Michel, V Wiels FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001 | 20 | 2001 |
| A Meta-model for Tests of Avionics Embedded Systems. AR Guduvan, H Waeselynck, V Wiels, G Durrieu, Y Fusero, M Schieber MODELSWARD, 5-13, 2013 | 17 | 2013 |
