Marie-Claude Gaudel

	2012
61		Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260
60		Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet: Coverage-biased random exploration of large models and application to testing. STTT 14(1): 73-93 (2012)
	2011
59		Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet: Uniform Monte-Carlo Model Checking. FASE 2011: 127-140
58		Marie-Claude Gaudel: Counting for Random Testing. ICTSS 2011: 1-8
57		Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons: Conformance Relations for Distributed Testing Based on CSP. ICTSS 2011: 48-63
56		Marie-Claude Gaudel: Checking Models, Proving Programs, and Testing Systems. TAP 2011: 1-13
55		Ana Cavalcanti, Marie-Claude Gaudel: Testing for refinement in Circus. Acta Inf. 48(2): 97-147 (2011)
54		Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel: Editorial. Formal Asp. Comput. 23(6): 681 (2011)
	2010
53		Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock: Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings Springer 2010
52		Ana Cavalcanti, Marie-Claude Gaudel: Specification Coverage for Testing in Circus. UTP 2010: 1-45
51		Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Unifying Theories in Isabelle/HOL. UTP 2010: 188-206
	2008
50		Marie-Claude Gaudel, Pascale Le Gall: Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239
49		Ana Cavalcanti, Marie-Claude Gaudel: A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. UTP 2008: 42-61
48		Marie-Claude Gaudel, Pascale Le Gall: Testing data types implementations from algebraic specifications CoRR abs/0804.0970: (2008)
47		Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet: Coverage-biased Random Exploration of Models. Electr. Notes Theor. Comput. Sci. 220(1): 3-14 (2008)
	2007
46		Ana Cavalcanti, Marie-Claude Gaudel: Testing for Refinement in CSP. ICFEM 2007: 151-170
45		Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud: A Machine Learning Approach for Statistical Software Testing. IJCAI 2007: 2274-2279
44		Marie-Claude Gaudel: Software Testing Based on Formal Specification. PSSE 2007: 215-242
	2006
43		Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet: Uniform random sampling of traces in very large models. Random Testing 2006: 10-19
42		Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet: Uniform Random Sampling of Traces in Very Large Models CoRR abs/cs/0606086: (2006)
	2005
41		Marie-Claude Gaudel: Formal Methods and Testing: Hypotheses, and Correctness Approximations. FM 2005: 2-8
40		Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. Operating Systems Review 39(2): 41-46 (2005)
39		Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. SIGMOD Record 34(1): 63-69 (2005)
	2004
38		Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud: A Generic Method for Statistical Testing. ISSRE 2004: 25-34
37		Marie-Claude Gaudel: Toward Undoing in Composite Web Services. WADS 2004: 59-68
36		Marie-Claude Gaudel: Problems and Methods for Testing Infinite State Machines: Extended Abstract. Electr. Notes Theor. Comput. Sci. 95: 53-62 (2004)
	2002
35		Grégory Lestiennes, Marie-Claude Gaudel: Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE 2002: 3-14
	2001
34		Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr: A New Way of Automating Statistical Testing Methods. ASE 2001: 5-12
33		Marie-Claude Gaudel: Testing from Formal Specifications, a Generic Approach. Ada-Europe 2001: 35-48
	1999
32		Marie-Claude Gaudel, Alexandre V. Zamulin: Algebraic Imperative Specifications. Ershov Memorial Conference 1999: 17-39
31		Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin: Dynamic Systems with Implicit State. FASE 1999: 114-128
30		Perry R. James, Markus Endler, Marie-Claude Gaudel: Development of an Atomic-Broadcast Protocol Using LOTOS. Softw., Pract. Exper. 29(8): 699-719 (1999)
	1998
29		A. Galves, Marie-Claude Gaudel: Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. FTCS 1998: 324-333
28		Marie-Claude Gaudel, Perry R. James: Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Asp. Comput. 10(5-6): 436-451 (1998)
	1996
27		Marie-Claude Gaudel, Jim Woodcock: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings Springer 1996
26		Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel: A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics 1996: 111-115
	1995
25		Marie-Claude Gaudel: Formal Specification Techniques for Interactive Systems. DSV-IS 1995: 21-26
24		Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury: A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Formal Methods for Industrial Applications 1995: 233-264
23		Marie-Claude Gaudel: Testing Can Be Formal, Too. TAPSOFT 1995: 82-96
	1994
22		Marie-Claude Gaudel: Formal Specification Techniques (Extended Abstract). ICSE 1994: 223-227
21		Marie-Claude Gaudel: Foreword: Selected Papers of TAPSOFT'93. Sci. Comput. Program. 23(2-3): 105 (1994)
	1993
20		Marie-Claude Gaudel, Jean-Pierre Jouannaud: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings Springer 1993
19		Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre: Using algebraic specifications in software testing: A case study on the software of an automatic subway. Journal of Systems and Software 21(3): 229-244 (1993)
	1992
18		Marie-Claude Gaudel: Test Selection Based on ADT Specifications. Protocol Test Systems 1992: 31-40
17		Marie-Claude Gaudel: Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. STACS 1992: 3-18
	1991
16		Gilles Bernot, Marie-Claude Gaudel, Bruno Marre: A Formal Approach to Software Testing. AMAST 1991: 243-253
15		Peter Freeman, Marie-Claude Gaudel: Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue). Commun. ACM 34(5): 30-33 (1991)
	1990
14		François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel: Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990. IEEE Computer Society 1990
	1989
13		A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein: From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods 1989: 395-431
12		Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin: How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. Sci. Comput. Program. 12(1): 1-38 (1989)
	1988
11		Marie-Claude Gaudel, Th. Moineau: A Theory of Software Reusability. ESOP 1988: 115-130
	1987
10		Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin: How to Make Algebraic Specifications More Understandable?. Algebraic Methods 1987: 31-67
	1986
9		Marie-Claude Gaudel: Logic Programming and Automatization of Software Test Strategies. AIMSA 1986: 39-45
8		Marie-Claude Gaudel: Automation in Software Development (Panel). IFIP Congress 1986: 173-174
7		Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software 6(4): 343-360 (1986)
	1985
6		Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 1985: 261-275
5		Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11(3): 242-252 (1985)
	1984
4		Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. ICSE 1984: 18-29
	1981
3		Marie-Claude Gaudel: Compiler Generation from Formal Definition of Programming Languages: A Survey. ICFPC 1981: 96-114
	1980
2		Marie-Claude Gaudel: Specification of compilers as abstract data type representations. Semantics-Directed Compiler Generation 1980: 140-164
	1977
1		Marie-Claude Gaudel: A Formal Approach to Translator Specification. IFIP Congress 1977: 123-127

Coauthor Index

1	Nicolas Baskiotis	[45]
2	Gilles Bernot	[16]
3	Michel Bidoit	[4] [5] [10] [12] [13]
4	Brigitte Biebow	[4] [5]
5	Luc Bougé	[6] [7]
6	Ana Cavalcanti	[46] [49] [52] [53] [54] [55] [57]
7	N. Choquet	[6] [7]
8	Dennis Dams	[54]
9	Pierre Dauchy	[19] [24]
10	David Déharbe (David Boris Paul Déharbe)	[53]
11	Alain Denise	[34] [38] [42] [43] [47] [59] [60]
12	Quentin Elhaik	[26]
13	Markus Endler	[30]
14	Alan Fekete (Alan David Fekete, A. D. Fekete)	[39] [40]
15	Abderrahmane Feliachi	[51] [61]
16	Peter Freeman (Peter A. Freeman)	[14] [15]
17	Laurent Fribourg	[6] [7]
18	Pascale Le Gall	[48] [50]
19	A. Galves	[29]
20	Sandrine-Dominique Gouraud	[34] [38] [42] [43] [45] [47] [60]
21	Christian Gresse	[4] [5]
22	Gérard D. Guiho	[4] [5]
23	Jacques Hagelstein	[13]
24	Robert M. Hierons	[57]
25	Perry R. James	[28] [30]
26	Cliff B. Jones (Clifford B. Jones)	[39] [40]
27	Jean-Pierre Jouannaud	[20]
28	Carole Khoury	[24] [31]
29	Henry F. Korth (Hank Korth)	[39] [40]
30	Richard Lassaigne	[42] [43] [47] [59] [60]
31	Rogério de Lemos	[39] [40]
32	Grégory Lestiennes	[35]
33	David B. Lomet	[39] [40]
34	B. Marr	[34]
35	Bruno Marre	[16] [19]
36	A. Mauboussin	[10] [12] [13]
37	Th. Moineau	[11]
38	J. Eliot B. Moss	[39] [40]
39	Johan Oudinet	[47] [59] [60]
40	H. Perdrix	[13]
41	Sylvain Peyronnet	[42] [43] [47] [59] [60]
42	Ravi Rajwar	[39] [40]
43	Krithi Ramamritham	[39] [40]
44	Brian Randell	[39] [40]
45	Luís Rodrigues (Luis Eduardo Teixeira Rodrigues)	[39] [40]
46	Alexander Romanovsky (Alexander B. Romanovsky)	[39] [40]
47	Marie-Christine Rousset	[26]
48	Michèle Sebag	[45]
49	François-Régis Valette	[14]
50	Gerhard Weikum	[39] [40]
51	Burkhart Wolff	[51] [61]
52	Jim Woodcock (J. C. P. Woodcock)	[27] [53]
53	Alexandre V. Zamulin	[31] [32]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page