Marie-Claude Gaudel Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel, Pascale Le Gall: Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel, Pascale Le Gall: Testing data types implementations from algebraic specifications CoRR abs/0804.0970: (2008)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Cavalcanti, Marie-Claude Gaudel: Testing for Refinement in CSP. ICFEM 2007: 151-170
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud: A Machine Learning Approach for Statistical Software Testing. IJCAI 2007: 2274-2279
2006
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Formal Methods and Testing: Hypotheses, and Correctness Approximations. FM 2005: 2-8
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff 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)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud: A Generic Method for Statistical Testing. ISSRE 2004: 25-34
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Toward Undoing in Composite Web Services. WADS 2004: 59-68
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Problems and Methods for Testing Infinite State Machines: Extended Abstract. Electr. Notes Theor. Comput. Sci. 95: 53-62 (2004)
2002
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrégory Lestiennes, Marie-Claude Gaudel: Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE 2002: 3-14
2001
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr: A New Way of Automating Statistical Testing Methods. ASE 2001: 5-12
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Testing from Formal Specifications, a Generic Approach. Ada-Europe 2001: 35-48
1999
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel, Alexandre V. Zamulin: Algebraic Imperative Specifications. Ershov Memorial Conference 1999: 17-39
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin: Dynamic Systems with Implicit State. FASE 1999: 114-128
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerry R. James, Markus Endler, Marie-Claude Gaudel: Development of an Atomic-Broadcast Protocol Using LOTOS. Softw., Pract. Exper. 29(8): 699-719 (1999)
1998
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Galves, Marie-Claude Gaudel: Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. FTCS 1998: 324-333
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel, Perry R. James: Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Asp. Comput. 10(5-6): 436-451 (1998)
1996
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-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
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQuentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel: A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics 1996: 111-115
1995
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Formal Specification Techniques for Interactive Systems. DSV-IS 1995: 21-26
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Testing Can Be Formal, Too. TAPSOFT 1995: 82-96
1994
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Formal Specification Techniques (Extended Abstract). ICSE 1994: 223-227
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Foreword: Selected Papers of TAPSOFT'93. Sci. Comput. Program. 23(2-3): 105 (1994)
1993
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Test Selection Based on ADT Specifications. Protocol Test Systems 1992: 31-40
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. STACS 1992: 3-18
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Bernot, Marie-Claude Gaudel, Bruno Marre: A Formal Approach to Software Testing. AMAST 1991: 243-253
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
1989
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel, Th. Moineau: A Theory of Software Reusability. ESOP 1988: 115-130
1987
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Bidoit, Marie-Claude Gaudel, A. Mauboussin: How to Make Algebraic Specifications More Understandable?. Algebraic Methods 1987: 31-67
1986
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Logic Programming and Automatization of Software Test Strategies. AIMSA 1986: 39-45
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Automation in Software Development (Panel). IFIP Congress 1986: 173-174
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 1985: 261-275
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Compiler Generation from Formal Definition of Programming Languages: A Survey. ICFPC 1981: 96-114
1980
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: Specification of compilers as abstract data type representations. Semantics-Directed Compiler Generation 1980: 140-164
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Claude Gaudel: A Formal Approach to Translator Specification. IFIP Congress 1977: 123-127

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)