Virginie Wiels - Concepedia

Author

Virginie Wiels

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

Also Known As

Delseny, Herve, V. Wiels, Virginie Wiels, WIELS, Virginie, Wiels, V., Wiels, Virginie

Publications

793

Citations

H-Index

Concepts

All Affiliations

Office National d'Études et de Recherches Aérospatiales École Nationale Supérieure de Mécanique et d'Aérotechnique Université Toulouse III - Paul Sabatier Université Fédérale de Toulouse Midi-Pyrénées Airbus (France)

About

Virginie Wiels is an author at Office National d'Études et de Recherches Aérospatiales specializing in formal verification, engineering, and software analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	12	361
2	Computer Engineering	3	3	38
3	Business	1	1	10
4	Law	1	1	16
5	Social Sciences	1	1	20

Virginie Wiels

Publications

391

Citations

H-Index

Page 1

	Year	Citations
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Yannick Moy, Emmanuel Ledinot, Hervé Delseny, IEEE Software EngineeringIndustrial ExperienceVerificationSoftware EngineeringModel Verification	2013	119
Checking secure interactions of smart card applets: extended version1 Pierre Bieber, J. Cazin, Pierre Girard, Journal of Computer Security Mobile SecurityEngineeringInformation SecuritySmart Card AppletsMulti-factor Authentication	2002	43
Model checking flight control systems: The Airbus experience Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, EngineeringSafety Critical SystemVerificationSafety ScienceModel Checking	2009	43
Management of evolving specifications using category theory Virginie Wiels, Steve Easterbrook Software MaintenanceEngineeringSoftware EngineeringObject OrientationSoftware Analysis	2002	36
Formal Verification of Critical Aerospace Software Virginie Wiels, Robert C. delMas, David Doose, HAL (Le Centre pour la Communication Scientifique Directe)	2012	30
Toward a wider use of formal methods for aerospace systems design and verification Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels International Journal on Software Tools for Technology Transfer Wider UseEngineeringAerospace SystemsFormal ModelingAerospace Engineering	2009	20
The landing gear case study: challenges and experiments Frédéric Boniol, Virginie Wiels, Yamine Aït‐Ameur, International Journal on Software Tools for Technology Transfer Industrial DesignAutomotive EngineeringEngineeringAerospace EngineeringDesign	2016	20
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, EngineeringVerificationComputer-aided VerificationLawSoftware Engineering	2010	16
Electronic Purse Applet Certification Pierre Bieber, J. Cazin, Virginie Wiels, Electronic Notes in Theoretical Computer Science Mobile SecurityEngineeringInformation SecurityVerificationSoftware Engineering	2000	16
Robustness analysis of avionics embedded systems Yamine Aït‐Ameur, G. Bel, Frédéric Boniol, ACM SIGPLAN Notices EngineeringLustre ProgramVerificationRobustness TestingRobustness (Computer Science)	2003	15

Page 1