.:. Browse > List by authors > Bouquet .:.

31 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4

Transformation of SysML structure diagrams to VHDL-AMS Gauthier J.-M., Bouquet F., Hammad A., Peureux F. Dans dMEMS - 2nd Workshop on design, control and software implementation for distributed MEMS - 2012 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS) (2012) 74-81 [hal-00762089 - version 1]

Vérification et Test pour des systèmes évolutifs Fourneret E., Bouquet F., Ochoa M., Jürjens J., Wenzel S. In AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels (2012) 150--164 [hal-00762079 - version 1]

Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports Ambert F., Bouquet F., Lasalle J., Legeard B., Peureux F. Dans VALID'12 - 4th International Conference on Advances in System Testing and Validation Lifecycle - 2012 (2012) 139--144 [hal-00762072 - version 1]

Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems Droz-Bartholet L., Lapayre J.-C., Bouquet F., Garcia E., Heinisch A. Journal of Parallel and Distributed Computing 72, 5 (2012) 637--649 [hal-00762068 - version 1]

Grammar-Based Testing using Realistic Domains in PHP Enderlin I., Dadeau F., Giorgetti A., Bouquet F. Dans IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012 (2012) 509-518 [hal-00751321 - version 1]

Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test Bouquet F., Legeard B., Pickaert N. DUNOD (Ed.) (2011) 304 [hal-00645019 - version 1]

UML/OCL based impact analysis to test evolving critical software Fourneret E., Bouquet F. Dans 10th International Conference Society for Electronics, Telecommunications, Automatics and Informatics - ETAI'11 (2011) [hal-00649252 - version 1]

Test Generation using Symbolic Animation of Models Dadeau F., Peureux F., Legeard B., Tissot R., Julliand J., Masson P.-A., Bouquet F. Dans Model-Based Testing for Embedded Systems, CRC Press (Ed.) (2011) [inria-00532604 - version 1]

Selective Test Generation Method for Evolving Critical Systems Fourneret E., Bouquet F., Dadeau F., Debricon S. Dans 1st International Workshop on Regression Testing (2011) 125 - 134 [hal-00640384 - version 1]

SysML to UML model transformation for test generation purpose Lasalle J., Bouquet F., Legeard B., Peureux F. Software Engineering Notes 36, 1 (2011) 1-8 [hal-00765887 - version 1]