Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Virginie
    Last name: Wiels
    DBLP: w/VirginieWiels
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 32  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Virginie Wiels.
    A formal experiment to assess the efficacy of certification standards.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate.
    Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.
    IEEE Software 2013, Volume 30 (0) 2013
    Conference paper
    Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat.
    Behavioural Verification in Embedded Software, from Model to Source Code.
    Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber.
    A Meta-model for Tests of Avionics Embedded Systems.
    MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013 2013 (0) 2013
    Conference paper
    Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer.
    Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types.
    Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume 2012 (0) 2012
    Conference paper
    Antoine Ferlin, Virginie Wiels.
    Combination of Static and Dynamic Analyses for the Certification of Avionics Software.
    23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012 2012 (0) 2012
    Conference paper
    Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer.
    Undesirable Aspect Interactions: A Prevention Policy.
    5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011 2011 (0) 2011
    Conference paper
    Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer.
    A Categorical Modeling Approach of Aspect-Oriented Systems.
    5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011 2011 (0) 2011
    Conference paper
    Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels.
    Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems.
    Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I 2010 (0) 2010
    Journal article
    Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels.
    Toward a wider use of formal methods for aerospace systems design and verification.
    STTT 2010, Volume 12 (0) 2010
    Show item 1 to 10 of 32  

    Your query returned 32 matches in the database.