Fabrice Ambert < Fabrice Bouquet < Fabrice Carrat

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 42.
[0-20] [0 - 20][0 - 42][20-40]

Ident.	Authors (with country if any)	Title
000134 (2013-03-22)	Ivan Enderlin ; Alain Giorgetti ; Fabrice Bouquet	A Constraint Solver for PHP Arrays
000519 (2015)	Jean-Marie Gauthier ; Fabrice Bouquet ; Fabien Peureux ; Hammed Ahmad	A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
000C38 (2010)	Pierre-Alain Masson ; Marie-Laure Potet ; Jacques Julliand ; Régis Tissot ; Fabrice Bouquet ; Bruno Legeard ; Eddie Jaffuel ; Boutheina Chetali ; June Andronick ; Amal Haddad	An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
000F40 (2013-07-01)	Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Bruno Legeard ; Fabien Peureux	Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
000F41 (2012-11-18)	Fabrice Ambert ; Fabrice Bouquet ; Jonathan Lasalle ; Bruno Legeard ; Fabien Peureux	Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
001005 (2010-09)	Adrien De Kermadec ; Frédéric Dadeau ; Fabrice Bouquet	Assessing the Quality of B Models
001054 (2006-08)	Fabrice Bouquet ; Frédéric Dadeau ; Bruno Legeard	Automated Boundary Test Generation from JML Specifications
001073 (2009)	Vincent Pretre ; Adrien De Kermadec ; Fabrice Bouquet ; Christophe Lang ; Frédéric Dadeau	Automated UML models merging for web services testing
001328 (2010-07)	Pierre-Christophe Bué ; Frédéric Dadeau ; Adrien De Kermadec ; Fabrice Bouquet	Building a Test-ready Abstraction of a Behavioral Model using CLP
001462 (2005-04)	Fabrice Bouquet ; Frédéric Dadeau ; Julien Groslambert	Checking JML Specifications with B Machines
002411 (2015)	Fabrice Bouquet ; David Sheeren ; Nicolas Becu ; Benoit Gaudou ; Christophe Lang ; Nicolas Marilleau ; Claude Monteil	Formalismes de description des modèles agent
002450 (2009-03-23)	Stéphane Debricon ; Fabrice Bouquet ; Bruno Legeard	From Business Processes to Integration Testing
002646 (2012-04-17)	Ivan Enderlin ; Frédéric Dadeau ; Alain Giorgetti ; Fabrice Bouquet	Grammar-Based Testing using Realistic Domains in PHP
002827 (2005-11)	Fabrice Bouquet ; Frédéric Dadeau ; Bruno Legeard	How Symbolic Animation can help designing an Efficient Formal Model
002B37 (2007-01-17)	Fabrice Bouquet ; Jean-François Couchot ; Frédéric Dadeau ; Alain Giorgetti	Instantiation of Parameterized Data Structures for Model-Based Testing
002C70 (2015)	Fabrice Bouquet ; Sébastien Chipeaux ; Christophe Lang ; Nicolas Marilleau ; Jean-Marc Nicod ; Patrick Taillandier	Introduction à l'approche agent
002D17 (2005-04)	Fabrice Bouquet ; Frédéric Dadeau ; Bruno Legeard ; Marc Utting	JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP
003259 (2011-08-22)	Elizabeta Fourneret ; Martin Ochoa ; Fabrice Bouquet ; Julien Botella ; Jan Jürjens ; Parvaneh Yousefi	Model-Based Security Verification and Testing for Smart-cards
003260 (2014)	Fabrice Bouquet ; Fabien Peureux ; Fabrice Ambert	Model-Based Testing for Functional and Security Test Generation
003295 (2014-07-08)	Ahmed Hammad ; Fabrice Bouquet ; Jean-Marie Gauthier ; Dominique Gendreau	Modeling and simulation of modular complex system: Application to air-jet conveyor
003A09 (2011-10-26)	Fabio Massacci ; Fabrice Bouquet ; Elizabeta Fourneret ; Jan Jurjens ; Mass Lund ; Sébastien Madelénat ; Jantobias Muehlberg ; Federica Paci ; Stéphane Paul ; Frank Piessens ; Bjornar Solhaug ; Sven Wenzel	Orchestrating Security and System Engineering for Evolving Systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Fabrice Bouquet" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Fabrice Bouquet" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Fabrice Bouquet
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022