Seuraa
Virginie Wiels
Virginie Wiels
Vahvistettu sähköpostiosoite verkkotunnuksessa onera.fr
Nimike
Viittaukset
Viittaukset
Vuosi
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
1652013
The landing gear system case study
F Boniol, V Wiels
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
1552014
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
1432009
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
802009
Formal verification of critical aerospace software
V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu
Aerospace Lab, p. 1-8, 2012
692012
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
602002
Management of evolving specifications using category theory
V Wiels, S Easterbrook
Proceedings 13th IEEE International Conference on Automated Software …, 1998
431998
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
322000
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
302000
A framework for modular formal specification and verification
P Michel, V Wiels
International Symposium of Formal Methods Europe, 533-552, 1997
291997
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
272010
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
242010
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
242010
V&V through inconsistency tracking and analysis
S Easterbrook, J Callahan, V Wiels
Proceedings Ninth International Workshop on Software Specification and …, 1998
241998
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
222000
Modularite pour la conception et la validation formelles de systemes
V Wiels
École nationale supérieure de l'aéronautique et de l'espace (Toulouse; 1972 …, 1997
221997
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
202006
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
202003
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
202001
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
192017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20