| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Marie-Claude Gaudel Marie-Claude Gaudel: Formal Methods and Testing: Hypotheses, and Correctness Approximations. FM 2005 : 2-8 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) 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) Alain Denise , Marie-Claude Gaudel, Sandrine-Dominique Gouraud : A Generic Method for Statistical Testing. ISSRE 2004 : 25-34 Marie-Claude Gaudel: Toward Undoing in Composite Web Services. WADS 2004 : 59-68 Marie-Claude Gaudel: Problems and Methods for Testing Infinite State Machines: Extended Abstract. Electr. Notes Theor. Comput. Sci. 95 : 53-62 (2004) Grégory Lestiennes , Marie-Claude Gaudel: Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE 2002 : 3-14 Sandrine-Dominique Gouraud , Alain Denise , Marie-Claude Gaudel, B. Marr : A New Way of Automating Statistical Testing Methods. ASE 2001 : 5-12 Marie-Claude Gaudel: Testing from Formal Specifications, a Generic Approach. Ada-Europe 2001 : 35-48 Marie-Claude Gaudel, Alexandre V. Zamulin : Algebraic Imperative Specifications. Ershov Memorial Conference 1999 : 17-39 Marie-Claude Gaudel, Carole Khoury , Alexandre V. Zamulin : Dynamic Systems with Implicit State. FASE 1999 : 114-128 Perry R. James , Markus Endler , Marie-Claude Gaudel: Development of an Atomic-Broadcast Protocol Using LOTOS. Softw., Pract. Exper. 29 (8): 699-719 (1999) A. Galves , Marie-Claude Gaudel: Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. FTCS 1998 : 324-333 Marie-Claude Gaudel, Perry R. James : Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Asp. Comput. 10 (5-6): 436-451 (1998) 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 Quentin Elhaik , Marie-Christine Rousset , Marie-Claude Gaudel: A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics 1996 : 111-115 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 Marie-Claude Gaudel: Testing Can Be Formal, Too. TAPSOFT 1995 : 82-96 Marie-Claude Gaudel: Formal Specification Techniques (Extended Abstract). ICSE 1994 : 223-227 Marie-Claude Gaudel: Foreword: Selected Papers of TAPSOFT'93. Sci. Comput. Program. 23 (2-3): 105 (1994) 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 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) Marie-Claude Gaudel: Test Selection Based on ADT Specifications. Protocol Test Systems 1992 : 31-40 Marie-Claude Gaudel: Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. STACS 1992 : 3-18 Gilles Bernot , Marie-Claude Gaudel, Bruno Marre : A Formal Approach to Software Testing. AMAST 1991 : 243-253 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) 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 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) Marie-Claude Gaudel, Th. Moineau : A Theory of Software Reusability. ESOP 1988 : 115-130 Michel Bidoit , Marie-Claude Gaudel, A. Mauboussin : How to Make Algebraic Specifications More Understandable?. Algebraic Methods 1987 : 31-67 Marie-Claude Gaudel: Logic Programming and Automatization of Software Test Strategies. AIMSA 1986 : 39-45 Marie-Claude Gaudel: Automation in Software Development (Panel). IFIP Congress 1986 : 173-174 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) 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 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) 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 Marie-Claude Gaudel: Compiler Generation from Formal Definition of Programming Languages: A Survey. ICFPC 1981 : 96-114 Marie-Claude Gaudel: Specification of compilers as abstract data type representations. Semantics-Directed Compiler Generation 1980 : 140-164 Marie-Claude Gaudel: A Formal Approach to Translator Specification. IFIP Congress 1977 : 123-127 1 [ 15 ] 2 [ 4 ] [ 5 ] [ 10 ] [ 12 ] [ 13 ] 3 [ 4 ] [ 5 ] 4 [ 6 ] [ 7 ] 5 [ 6 ] [ 7 ] 6 [ 18 ] [ 23 ] 7 [ 32 ] [ 36 ] 8 [ 24 ] 9 [ 28 ] 10 [ 37 ] [ 38 ] 11 [ 14 ] 12 [ 6 ] [ 7 ] 13 [ 27 ] 14 [ 32 ] [ 36 ] 15 [ 4 ] [ 5 ] 16 [ 4 ] [ 5 ] 17 [ 13 ] 18 [ 26 ] [ 28 ] 19 [ 37 ] [ 38 ] 20 [ 19 ] 21 [ 23 ] [ 29 ] 22 [ 37 ] [ 38 ] 23 [ 37 ] [ 38 ] 24 [ 33 ] 25 [ 37 ] [ 38 ] 26 [ 32 ] 27 [ 15 ] [ 18 ] 28 [ 10 ] [ 12 ] [ 13 ] 29 [ 11 ] 30 [ 37 ] [ 38 ] 31 [ 13 ] 32 [ 37 ] [ 38 ] 33 [ 37 ] [ 38 ] 34 [ 37 ] [ 38 ] 35 [ 37 ] [ 38 ] 36 [ 37 ] [ 38 ] 37 [ 24 ] 38 [ 37 ] [ 38 ] 39 [ 25 ] 40 [ 29 ] [ 30 ]  ©2006 Association for Computing Machinery |
