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 34  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels.
    Show Me New Counterexamples: A Path-Based Approach.
    8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015 2015 (0) 2015
    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
    Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber.
    STELAE - A model-driven test development environment for avionics systems.
    16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 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
    Show item 1 to 10 of 34  

    Your query returned 34 matches in the database.