Marie-Claude Gaudel

Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (Eds.): Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, isbn 978-3-642-35704-6

Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont: Some approximations in Model Checking and Testing. CoRR abs/1304.5199 (2013)

Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel: Isabelle/Circus. Archive of Formal Proofs 2012 (2012)

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)

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260

Ana Cavalcanti, Marie-Claude Gaudel: Testing for refinement in Circus. Acta Inf. 48(2): 97-147 (2011)

Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel: Editorial. Formal Asp. Comput. 23(6): 681 (2011)

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet: Uniform Monte-Carlo Model Checking. FASE 2011: 127-140

Marie-Claude Gaudel: Counting for Random Testing. ICTSS 2011: 1-8

Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons: Conformance Relations for Distributed Testing Based on CSP. ICTSS 2011: 48-63

Marie-Claude Gaudel: Checking Models, Proving Programs, and Testing Systems. TAP 2011: 1-13

Ana Cavalcanti, Marie-Claude Gaudel: Specification Coverage for Testing in Circus. UTP 2010: 1-45

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Unifying Theories in Isabelle/HOL. UTP 2010: 188-206

Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, isbn 978-3-642-14807-1

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)

Marie-Claude Gaudel, Pascale Le Gall: Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239

Ana Cavalcanti, Marie-Claude Gaudel: A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. UTP 2008: 42-61

Marie-Claude Gaudel, Pascale Le Gall: Testing data types implementations from algebraic specifications. CoRR abs/0804.0970 (2008)

Ana Cavalcanti, Marie-Claude Gaudel: Testing for Refinement in CSP. ICFEM 2007: 151-170

Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud: A Machine Learning Approach for Statistical Software Testing. IJCAI 2007: 2274-2279

Marie-Claude Gaudel: Software Testing Based on Formal Specification. PSSE 2007: 215-242

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

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)

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)

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)

Marie-Claude Gaudel: Formal Methods and Testing: Hypotheses, and Correctness Approximations. FM 2005: 2-8

Marie-Claude Gaudel: Problems and Methods for Testing Infinite State Machines: Extended Abstract. Electr. Notes Theor. Comput. Sci. 95: 53-62 (2004)

Marie-Claude Gaudel: Toward Undoing in Composite Web Services. WADS 2004: 59-68

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud: A Generic Method for Statistical Testing. ISSRE 2004: 25-34

Grégory Lestiennes, Marie-Claude Gaudel: Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE 2002: 3-14

Marie-Claude Gaudel: Testing from Formal Specifications, a Generic Approach. Ada-Europe 2001: 35-48

Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr: A New Way of Automating Statistical Testing Methods. ASE 2001: 5-12

Perry R. James, Markus Endler, Marie-Claude Gaudel: Development of an Atomic-Broadcast Protocol Using LOTOS. Softw., Pract. Exper. 29(8): 699-719 (1999)

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

Marie-Claude Gaudel, Perry R. James: Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Asp. Comput. 10(5-6): 436-451 (1998)

A. Galves, Marie-Claude Gaudel: Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. FTCS 1998: 324-333

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, Jim Woodcock (Eds.): 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. Lecture Notes in Computer Science 1051, Springer 1996, isbn 3-540-60973-3

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: Formal Specification Techniques for Interactive Systems. DSV-IS 1995: 21-26

Marie-Claude Gaudel: Testing Can Be Formal, Too. TAPSOFT 1995: 82-96

Marie-Claude Gaudel: Foreword: Selected Papers of TAPSOFT'93. Sci. Comput. Program. 23(2-3): 105 (1994)

Marie-Claude Gaudel: Formal Specification Techniques (Extended Abstract). ICSE 1994: 223-227

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, Jean-Pierre Jouannaud (Eds.): TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings. Lecture Notes in Computer Science 668, Springer 1993, isbn 3-540-56610-4

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

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)

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre: A Formal Approach to Software Testing. AMAST 1991: 243-253

François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel (Eds.): Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990. IEEE Computer Society 1990, isbn 0-8186-2026-9

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)

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

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

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)

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

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)

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. 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