Virginie Wiels

Office National d'Études et de Recherches Aérospatiales — France

Computer Science · Physical Sciences

15h-index794citations67works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(31), Software Testing and Debugging Techniques(15), Embedded Systems Design Techniques(14), Real-time simulation and control systems(14), Real-Time Systems Scheduling(12)

Publications67 total

Automatic Generation of DO-178 Test Procedures
Lecture notes in computer science·2018· 2 cited
Verification Coverage for Combining Test and Proof
Lecture notes in computer science·2018· 5 cited
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces
International Journal of Computers Communications & Control·2016· 1 citedOpen Access
Trace analysis from ERTMS engineering
HAL (Le Centre pour la Communication Scientifique Directe)·2016Open Access
Trace analysis from ERTMS engineering
WIT transactions on the built environment·2016· 1 citedOpen Access
The landing gear case study: challenges and experiments
International Journal on Software Tools for Technology Transfer·2016· 20 citedOpen Access
MIMOSA: Towards a model driven certification process
HAL (Le Centre pour la Communication Scientifique Directe)·2016· 7 citedOpen Access
Parallel verification of temporal properties using dynamic analysis
2015· 1 cited
Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelle
HAL (Le Centre pour la Communication Scientifique Directe)·2015Open Access
Test Languages for In-the-Loop Avionics Tests
Journal of Aerospace Information Systems·2015· 1 cited
Show Me New Counterexamples: A Path-Based Approach
2015· 5 citedOpen Access
Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2015· 3 citedOpen Access
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Toulouse, France, June 2-6, 2014, Proceedings
2014· 4 cited
A formal experiment to assess the efficacy of certification standards
arXiv (Cornell University)·2014Open Access
Use of formal methods in embedded software development: stakes, constraints and proposal
HAL (Le Centre pour la Communication Scientifique Directe)·2014· 2 citedOpen Access
ABZ 2014: The Landing Gear Case Study
Communications in computer and information science·2014· 26 cited
Towards modular and certified avionics for UAV
HAL (Le Centre pour la Communication Scientifique Directe)·2014· 5 citedOpen Access
The Landing Gear System Case Study
Communications in computer and information science·2014· 103 cited
An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems
Advances in systems analysis, software engineering, and high performance computing book series·2014
Towards Modular and Certified
2014
page 1 of 4Next →

Frequent Co-authors

Frédéric Boniol(11), Guy Durrieu(8), Hélène Waeselynck(7), J. Cazin(7), Pierre Bieber(5), Pierre Girard(5), G. Zanon(5), Christel Seguin(5), J.-L. Lanet(4), Yamine Aït‐Ameur(4), Odile Laurent(4), Antoine Ferlin(4), Hervé Delseny(3), Thomas Bochot(3), Steve Easterbrook(3), Yamine Aït Ameur(3), Klaus‐Dieter Schewe(3), Alexandru-Robert Guduvan(3), Yann Fusero(3), Michel Schieber(3)