Veronique Viguie Donzeau-Gouge

Equipe SYS
Mail : veronique.viguie_donzeau-gouge

cnam.fr
Tel : 01 40 27 2292
Fax : 01 40 27 27 09
~donzeau/

Veronique's Tag-Cloud :

description

Deleguée scientifiue HCERES (20013- )

[Vig16] V. Viguie Donzeau-Gouge. "Appareiller un corps nÃ© avec un membre manquant Enjeux sociologiques et psychologiques de lâ€™appareillage du corps agÃ©nÃ©sique ", XXe CongrÃ¨s National Scientifique ISPO-France â€“ International society for prosthÃ©tics and orthotics, November 2016, pp.**, Lille Grand Palais ; 17-18 novembre 2016, France,

[LLB07] R. Laleau, Y. Ledru, D. Bert, F. Bouquet, M. Lemoine, C. Dubois, V. Viguie Donzeau-Gouge, S. Vignes. "Using Computer Science Modeling Techniques for Airport Security Certification", RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.61-72,

[LVL06] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Adopting a situational requirements engineering approach for the analysis of civil aviation security standards", Software Process: Improvement and Practice, vol. 11(5), pp. 487Â–503, 2006

[NPV06] E. Najm, J. Pradat-Peyre, V. Viguie Donzeau-Gouge. "FORTE'06: Formal Techniques for Networking and Distributed Systems", January 2006, Vol. 4229, Series LNCS,
[LLL06] Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "An attempt to combine UML and formal methods to model airport security", CAISEÃ‚Â’06 Forum, January 2006,
[DEV06b] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Modeling Airport Security Regulations in Focal", REMO2V'06 Regulations Modelling and their Validation & Verification, Luxembourg, January 2006, pp.806-812,
[DEV06] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Certifying Airport Security Regulations using the Focal Environment", FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, January 2006, Vol. 4085, pp.48-63, Series LNCS,
[DEV06a] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Reasoning about Airport Security Regulations using the Focal Environment", ISoLA, Paphos (Cyprus), January 2006, pp.36-44,

[LVL05] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards", SREP'05 International Workshop, In conjunction with 13th IEEE International Requirements Engineering, January 2005,

[DHV04] C. Dubois, T. Hardin, V. Viguie Donzeau-Gouge. "Building certified components within FOCAL", Symposium on Trends in Functional Programming (TFP04), January 2004, Vol. 5, pp.33-48, Series Trends in Functional Programming ,
[BFG04] C. Bigot, A. Faivre, J. Gallois, M. Aponte, V. Viguie Donzeau-Gouge. " Semantics for UML specifications to be validated by Agatha", Second Europeen Congress on Embedded Realtime Software (ERTS 04)., January 2004,

[LSV02] N. Lopez, M. Simonot, V. Viguie Donzeau-Gouge. "A methodological process for the design of a large system: two industrial case-studies.", Formal Methods for Industrial Critical Systems (FMICS'02), January 2002,

[VLS00] V. Viguie Donzeau-Gouge, N. Lopez, M. Simonot. "Deriving Software Specifications from Event Based Models", ZB 2000, Int. Conf.rence of B and Z Users, York, U.K., January 2000,