BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Ireland
1 × Japan
1 × The Netherlands
1 × United Kingdom
2 × Austria
2 × USA
Collaborated with:
S.M.Easterbrook C.Seguin P.Michel O.Laurent K.C.Castillos H.Waeselynck A.F.Pires T.Polacsek S.Duprat J.Souyris D.Delmas H.Delseny Y.A.Ameur G.Bel F.Boniol S.Pairault
Talks about:
formal (4) verif (4) use (4) softwar (3) specif (3) approach (2) system (2) model (2) embed (2) avion (2)

♀ Person: Virginie Wiels

DBLP DBLP: Wiels:Virginie

Facilitated 5 volumes:

ASE 2012ExpertReviewPa
ASE 2012PrBoard
ASE 2011ExpertReviewPa
ASE 2011PrBoard
ASE 2004PrCh

Contributed to:

ICST 20152015
MoDELS 20132013
FM 20092009
ASE 20062006
LCTES 20032003
FME 20012001
RE 19991999
ASE 19981998
FME 19971997
FME 19961996

Wrote 10 papers:

ICST-2015-CastillosWW #approach
Show Me New Counterexamples: A Path-Based Approach (KCC, HW, VW), pp. 1–10.
MoDELS-2013-PiresPWD #behaviour #embedded #source code #verification
Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
FM-2009-SouyrisWDD #verification
Formal Verification of Avionics Software Products (JS, VW, DD, HD), pp. 532–546.
ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing
A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.
LCTES-2003-AmeurBBPW #analysis #embedded #robust
Robustness analysis of avionics embedded systems (YAA, GB, FB, SP, VW), pp. 123–132.
FME-2001-LaurentMW #simulation #using #verification
Using Formal Verification Techniques to Reduce Simulation and Test Effort (OL, PM, VW), pp. 465–477.
RE-1999-WielsE #formal method #modelling #using
Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
ASE-1998-WielsE #category theory #evolution #specification #using
Management of Evolving Specifications using Category Theory (VW, SME), pp. 12–21.
FME-1997-MichelW #composition #framework #specification #verification
A Framework for Modular Formal Specification and Verification (PM, VW), pp. 533–552.
FME-1996-SeguinW #approach #category theory #fault tolerance #logic #using #validation
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems (CS, VW), pp. 347–366.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.