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 29  

Select a publication
Show	Title	Venue	Rating	Date
	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 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

Show item 1 to 10 of 29  

Your query returned 29 matches in the database.