The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marie-Claude Gaudel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marie-Claude Gaudel
    Testing from Formal Specifications, a Generic Approach. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2001, pp:35-48 [Conf]
  2. Marie-Claude Gaudel
    Logic Programming and Automatization of Software Test Strategies. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:39-45 [Conf]
  3. Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
    How to Make Algebraic Specifications More Understandable?. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:31-67 [Conf]
  4. A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
    From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:395-431 [Conf]
  5. Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
    A Formal Approach to Software Testing. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:243-253 [Conf]
  6. Marie-Claude Gaudel
    Specification of compilers as abstract data type representations. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:140-164 [Conf]
  7. Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury
    A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:233-264 [Conf]
  8. Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel
    A Proposal for a Glass-Box Approach for Subsumption Checking. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:111-115 [Conf]
  9. Marie-Claude Gaudel
    Formal Specification Techniques for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:21-26 [Conf]
  10. Marie-Claude Gaudel, Alexandre V. Zamulin
    Algebraic Imperative Specifications. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:17-39 [Conf]
  11. Marie-Claude Gaudel, Th. Moineau
    A Theory of Software Reusability. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:115-130 [Conf]
  12. Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin
    Dynamic Systems with Implicit State. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:114-128 [Conf]
  13. Marie-Claude Gaudel
    Formal Methods and Testing: Hypotheses, and Correctness Approximations. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:2-8 [Conf]
  14. A. Galves, Marie-Claude Gaudel
    Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:324-333 [Conf]
  15. Marie-Claude Gaudel
    Compiler Generation from Formal Definition of Programming Languages: A Survey. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:96-114 [Conf]
  16. Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
    Exception Handling: Formal Specification and Systematic Program Construction. [Citation Graph (0, 0)][DBLP]
    ICSE, 1984, pp:18-29 [Conf]
  17. Marie-Claude Gaudel
    Toward Undoing in Composite Web Services. [Citation Graph (0, 0)][DBLP]
    WADS, 2004, pp:59-68 [Conf]
  18. Marie-Claude Gaudel
    Formal Specification Techniques (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:223-227 [Conf]
  19. Marie-Claude Gaudel
    A Formal Approach to Translator Specification. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:123-127 [Conf]
  20. Marie-Claude Gaudel
    Automation in Software Development (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:173-174 [Conf]
  21. Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud
    A Machine Learning Approach for Statistical Software Testing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2274-2279 [Conf]
  22. Grégory Lestiennes, Marie-Claude Gaudel
    Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:3-14 [Conf]
  23. Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud
    A Generic Method for Statistical Testing. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2004, pp:25-34 [Conf]
  24. Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
    Uniform random sampling of traces in very large models. [Citation Graph (0, 0)][DBLP]
    Random Testing, 2006, pp:10-19 [Conf]
  25. Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr
    A New Way of Automating Statistical Testing Methods. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:5-12 [Conf]
  26. Marie-Claude Gaudel
    Test Selection Based on ADT Specifications. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:31-40 [Conf]
  27. Marie-Claude Gaudel
    Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. [Citation Graph (0, 0)][DBLP]
    STACS, 1992, pp:3-18 [Conf]
  28. Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
    Application of Prolog to Test Sets Generation from Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:261-275 [Conf]
  29. Marie-Claude Gaudel
    Testing Can Be Formal, Too. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:82-96 [Conf]
  30. Peter Freeman, Marie-Claude Gaudel
    Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue). [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1991, v:34, n:5, pp:30-33 [Journal]
  31. Marie-Claude Gaudel
    Problems and Methods for Testing Infinite State Machines: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:53-62 [Journal]
  32. Marie-Claude Gaudel, Perry R. James
    Testing Algebraic Data Types and Processes: A Unifying Theory. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:436-451 [Journal]
  33. Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
    Test sets generation from algebraic specifications using logic programming. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1986, v:6, n:4, pp:343-360 [Journal]
  34. Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre
    Using algebraic specifications in software testing: A case study on the software of an automatic subway. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1993, v:21, n:3, pp:229-244 [Journal]
  35. Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
    How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:12, n:1, pp:1-38 [Journal]
  36. Marie-Claude Gaudel
    Foreword: Selected Papers of TAPSOFT'93. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:2-3, pp:105- [Journal]
  37. 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. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2005, v:34, n:1, pp:63-69 [Journal]
  38. 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. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2005, v:39, n:2, pp:41-46 [Journal]
  39. Perry R. James, Markus Endler, Marie-Claude Gaudel
    Development of an Atomic-Broadcast Protocol Using LOTOS. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:8, pp:699-719 [Journal]
  40. Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
    Exception Handling: Formal Specification and Systematic Program Construction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:3, pp:242-252 [Journal]
  41. Ana Cavalcanti, Marie-Claude Gaudel
    Testing for Refinement in CSP. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:151-170 [Conf]
  42. Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
    Uniform Random Sampling of Traces in Very Large Models [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  43. A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. [Citation Graph (, )][DBLP]


  44. Software Testing Based on Formal Specification. [Citation Graph (, )][DBLP]


  45. Testing Data Types Implementations from Algebraic Specifications. [Citation Graph (, )][DBLP]


  46. Testing data types implementations from algebraic specifications [Citation Graph (, )][DBLP]


  47. Coverage-biased Random Exploration of Models. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002