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 | 123 | 2013 |
Formal verification of avionics software products J Souyris, V Wiels, D Delmas, H Delseny International symposium on formal methods, 532-546, 2009 | 120 | 2009 |
The landing gear system case study F Boniol, V Wiels International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014 | 115 | 2014 |
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 | 64 | 2009 |
Checking secure interactions of smart card applets: extended version 1 P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon Journal of Computer Security 10 (4), 369-398, 2002 | 57 | 2002 |
Formal verification of critical aerospace software V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu AerospaceLab, p. 1-8, 2012 | 54 | 2012 |
Management of evolving specifications using category theory V Wiels, S Easterbrook Proceedings 13th IEEE International Conference on Automated Software …, 1998 | 41 | 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 European Symposium on Research in Computer Security, 1-16, 2000 | 30 | 2000 |
A framework for modular formal specification and verification P Michel, V Wiels International Symposium of Formal Methods Europe, 533-552, 1997 | 28 | 1997 |
CMSM: an efficient and effective code management for software managed multicores K Bai, J Lu, A Shrivastava, B Holton 2013 International Conference on Hardware/Software Codesign and System …, 2013 | 27 | 2013 |
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 | 23 | 2000 |
Toward a wider use of formal methods for aerospace systems design and verification YA Ameur, F Boniol, V Wiels International Journal on Software Tools for Technology Transfer 12 (1), 1-7, 2010 | 22 | 2010 |
V&V through inconsistency tracking and analysis S Easterbrook, J Callahan, V Wiels Proceedings Ninth International Workshop on Software Specification and …, 1998 | 22 | 1998 |
Modularite pour la conception et la validation formelles de systemes V Wiels Toulouse, ENSAE, 1997 | 22 | 1997 |
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 |
Guidance for using formal methods in a certification context D Brown, H Delseny, K Hayhurst, V Wiels ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 19 | 2010 |
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 |
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 | 17 | 2006 |
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 | 16 | 2003 |