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 33 of 33  
    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
    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
    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
    Conference paper
    Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels.
    Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.
    12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010 2010 (0) 2010
    Conference paper
    Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny.
    Formal Verification of Avionics Software Products.
    FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels.
    Model checking flight control systems: The Airbus experience.
    31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume 2009 (0) 2009
    Conference paper
    Guy Durrieu, Hélène Waeselynck, Virginie Wiels.
    LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.
    Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    R. E. Kurt Stirewalt, Virginie Wiels.
    Introduction.
    Autom. Softw. Eng. 2007, Volume 14 (0) 2007
    Conference paper
    Yamine Aït Ameur, Rémi Delmas, Alexandre Cortier, Virginie Wiels.
    Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.
    Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 2006 (0) 2006
    Conference paper
    Odile Laurent, Christel Seguin, Virginie Wiels.
    A methodology for automated test generation guided by functional coverage constraints at specification level.
    21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan 2006 (0) 2006
    Conference paper
    Yamine Aït Ameur, Rémi Delmas, Virginie Wiels.
    Un cadre formel pour la spécification multivue de systèmes avioniques.
    Technique et Science Informatiques 2006, Volume 25 (0) 2006
    Conference paper
    Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels.
    Formal proof and test case generation for critical embedded systems using SCADE.
    Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France 2004 (0) 2004
    Conference paper
    Yamine Aït Ameur, Rémi Delmas, Virginie Wiels.
    A framework for heterogeneous formal modeling and compositional verification of avionics systems.
    2nd ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings 2004 (0) 2004
    Conference paper
    Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels.
    Analyse de robustesse de systèmes avioniques.
    Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003 2003 (0) 2003
    Conference paper
    Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels.
    Robustness analysis of avionics embedded systems.
    Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003 2003 (0) 2003
    Conference paper
    Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon.
    Checking Secure Interactions of Smart Card Applets: Extended Version.
    Journal of Computer Security 2002, Volume 10 (0) 2002
    Conference paper
    Odile Laurent, Pierre Michel, Virginie Wiels.
    Using Formal Verification Techniques to Reduce Simulation and Test Effort.
    FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Marielle Doche, Virginie Wiels.
    Extended Institutions for Testing.
    Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon.
    Checking Secure Interactions of Smart Card Applets.
    Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon.
    The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow.
    Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers 2001 (0) 2000
    Conference paper
    Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet.
    Electronic Purse Applet Certification: extended abstract.
    Electr. Notes Theor. Comput. Sci. 2000, Volume 32 (0) 2000
    Conference paper
    Virginie Wiels, Steve M. Easterbrook.
    Formal Modeling of Space Shuttle Software Change Requests using SCR.
    4th IEEE International Symposium on Requirements Engineering (RE '99), 7-11 June 1999, Limerick, Ireland 1999 (0) 1999
    Conference paper
    Virginie Wiels, Steve M. Easterbrook.
    Management of Evolving Specifications using Category Theory.
    ASE 1998 (0) 1998
    Conference paper
    Pierre Michel, Virginie Wiels.
    A Framework for Modular Formal Specification and Verification.
    FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings 1997 (0) 1997
    Conference paper
    Christel Seguin, Virginie Wiels.
    Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems.
    FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings 1996 (0) 1996
    Show item 1 to 33 of 33  

    Your query returned 33 matches in the database.