Fabrice Bouquet

	2011
34		Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi: Model-Based Security Verification and Testing for Smart-cards. ARES 2011: 272-279
33		Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass S. 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 - (Invited Paper). ServiceWave 2011: 134-143
32		Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, Nicolas Marilleau: Modelling of Complex Systems with AML as Realized in MIRO Project. Web Intelligence/IAT Workshops 2011: 159-162
31		Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux: SysML to UML model transformation for test generation purpose. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
	2010
30		Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson: Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops 2010: 54-61
29		Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet: Assessing the Quality of B Models. SEFM 2010: 83-90
28		Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet: Building a Test-Ready Abstraction of a Behavioral Model Using CLP. TAP 2010: 167-182
	2009
27		Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau: Automated UML models merging for web services testing. IJWGS 5(2): 107-129 (2009)
	2008
26		Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux: A Test Generation Solution to Automate Software Testing. AST 2008: 45-48
25		Vincent Pretre, Fabrice Bouquet, Christophe Lang: Automating UML models merge for web services testing. iiWAS 2008: 55-62
	2007
24		Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting: A subset of precise UML for model-based testing. A-MOST 2007: 95-104
23		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: JML2B: Checking JML Specifications with B Machines. B 2007: 285-288
22		Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti: Instantiation of Parameterized Data Structures for Model-Based Testing. B 2007: 94-108
21		Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes: Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72
	2006
20		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239
19		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443
18		Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre: Model-Based Testing from UML Models. GI Jahrestagung (2) 2006: 223-230
17		Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes: Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006
	2005
16		Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting: Requirements traceability in automated test generation: application to smart card software validation. A-MOST 2005
15		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90
14		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110
13		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS 2005: 551-556
12		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: Checking JML Specifications with B Machines. ZB 2005: 434-453
11		Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting: Requirements traceability in automated test generation: application to smart card software validation. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
	2004
10		Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre: Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85
9		Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet: Faster Analysis of Formal Specifications. ICFEM 2004: 239-258
8		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A constraint solver to animate a B specification. STTT 6(2): 143-157 (2004)
	2003
7		Fabrice Bouquet, Bruno Legeard: Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. FME 2003: 778-795
6		Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet: Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. JFPLC 2003: 203-216
5		Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet: Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. Technique et Science Informatiques 22(1): 203-216 (2003)
	2002
4		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204
	2000
3		Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py: Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. JFPLC 2000: 125-144
	1997
2		Fabrice Bouquet, Philippe Jégou: Using OBDDs to Handle Dynamic Constraints. Inf. Process. Lett. 62(3): 111-120 (1997)
	1995
1		Fabrice Bouquet, Philippe Jégou: Solving Over-Constrained CSPs Using Weighted OBDDs. Over-Constrained Systems 1995: 293-308

Coauthor Index

1	Eddy Bernard	[18]
2	Didier Bert	[17] [21]
3	Julien Botella	[34]
4	Pierre-Christophe Bué	[28] [30]
5	Amandine Charbonnier	[18]
6	Sébastien Chipeaux	[32]
7	Jean-François Couchot	[22]
8	Frédéric Dadeau	[12] [13] [14] [15] [19] [20] [22] [23] [27] [28] [29]
9	Véronique Donzeau-Gouge	[21]
10	Catherine Dubois	[21]
11	Elizabeta Fourneret	[33] [34]
12	Alain Giorgetti	[22]
13	Christophe Grandpierre	[24] [26]
14	Julien Groslambert	[12] [20] [23]
15	Eddie Jaffuel	[11] [16]
16	Philippe Jégou	[1] [2]
17	Jacques Julliand	[20] [30]
18	Jan Jürjens	[33] [34]
19	Adrien De Kermadec	[27] [28] [29]
20	Régine Laleau (Regine Laleau)	[21]
21	Christophe Lang	[25] [27] [32]
22	Jonathan Lasalle	[31]
23	Yves Ledru	[17] [21]
24	Bruno Legeard	[3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [18] [19] [24] [26] [31]
25	Michel Lemoine	[21]
26	Mass S. Lund	[33]
27	Sébastien Madelénat	[33]
28	Nicolas Marilleau	[32]
29	Fabio Massacci	[33]
30	Pierre-Alain Masson	[30]
31	JanTobias Muehlberg	[33]
32	Martín Ochoa	[34]
33	Federica Paci	[33]
34	Stéphane Paul	[33]
35	Fabien Peureux	[3] [4] [8] [10] [11] [16] [18] [24] [26] [31]
36	Frank Piessens	[33]
37	Vincent Pretre	[25] [27]
38	Laurent Py	[3]
39	Bjornar Solhaug	[33]
40	Eric Torreborre	[10] [18]
41	Mark Utting	[9] [11] [13] [15] [16] [18] [24]
42	Nicolas Vacelet	[5] [6] [9] [24]
43	Sylvie Vignes	[17] [21]
44	Sven Wenzel	[33]
45	Parvaneh Yousefi	[34]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page