Edit Profile (opens in new tab) Gaudel, Marie-Claude Compute Distance To: Compute Author ID: gaudel.marie-claude Published as: Gaudel, Marie-Claude; Gaudel, M. C.; Gaudel, M.-C.; Gaudel, Marie Claude more...less External Links: MGP · Wikidata · IdRef · theses.fr Documents Indexed: 23 Publications since 1977, including 2 Books 5 Contributions as Editor · 2 Further Contributions Co-Authors: 21 Co-Authors with 20 Joint Publications 343 Co-Co-Authors all top 5 Co-Authors 8 single-authored 6 Cavalcanti, Ana 3 Bidoit, Michel 2 Biebow, Brigitte 2 Feliachi, Abderrahmane 2 Froidevaux, Christine 2 Gresse, Christian 2 Guiho, Gérard D. 2 Jones, Neil D. 2 Raskovsky, Martin 2 Schmidt, David A. 2 Soria, Michèle 2 Wolff, Burkhart 2 Zamulin, Aleksandr Vasil’evich 1 Bernot, Gilles 1 Boullier, Pierre 1 Broy, Manfred 1 Dams, Dennis René 1 Déharbe, David 1 Denise, Alain 1 Deransart, Pierre 1 DeRemer, Franklin L. 1 Donzeau-Gouge, Veronique 1 Ganzinger, Harald 1 James, Perry R. 1 Jouannaud, Jean-Pierre 1 Jüllig, Richard 1 Kahn, Gilles 1 Kastens, Uwe 1 Khoury, Cap 1 Kotov, Vadim E. 1 Lang, Bernard 1 Madsen, C. M. 1 Madsen, Ole Lehrmann 1 Mauboussin, A. 1 Moineau, Th. 1 Mosses, Peter D. 1 Oudinet, Johan 1 Räihä, Kari-Jouko 1 Ripken, Knut 1 Terrine, Gerard 1 Thatcher, James W. 1 Turchin, Valentin F. 1 Wagner, Eric G. 1 Watt, David Anthony 1 Wirsing, Martin 1 Woodcock, James C. P. 1 Wright, Jesse B. 1 Zimmermann, Erich all top 5 Serials 4 Lecture Notes in Computer Science 2 Theoretical Computer Science 2 Formal Aspects of Computing 2 Collection Didactique 1 Acta Informatica 1 Programming and Computer Software 1 Science of Computer Programming 1 IEEE Transactions on Software Engineering 1 Diagrammes Fields 30 Computer science (68-XX) 7 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 43 times in 34 Documents Cited by ▼ Year ▼ How to make algebraic specifications more understandable: An experiment with the PLUSS specification language. Zbl 0678.68011Bidoit, M.; Gaudel, M.-C.; Mauboussin, A. 7 1989 A theory of software reusability. Zbl 0712.68066Gaudel, M. C.; Moineau, Th. 6 1990 Unifying theories in Isabelle/HOL. Zbl 1309.68045Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart 6 2010 Testing algebraic data types and processes: A unifying theory. Zbl 0951.68534Gaudel, Marie-Claude; James, Perry R. 6 1998 Exception handling: Formal specification and systematic program construction. Zbl 0547.68021Bidoit, M.; Biebow, B.; Gaudel, M. C.; Gresse, C.; Guiho, G. 3 1984 Testing for refinement in Circus. Zbl 1237.68059Cavalcanti, Ana; Gaudel, Marie-Claude 3 2011 A new dichotomic algorithm for the uniform random generation of words in regular languages. Zbl 1296.68095Oudinet, Johan; Denise, Alain; Gaudel, Marie-Claude 3 2013 A formal approach to translator specification. Zbl 0363.68002Gaudel, Marie Claude 2 1977 Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives. Zbl 1493.68229Gaudel, Marie-Claude 1 1992 Correctness proof of programming language translations. Zbl 0512.68015Gaudel, M. C. 1 1983 Exception handling: Formal specification and systematic program construction. Zbl 0559.68025Bidoit, Michel; Biebow, Brigitte; Gaudel, Marie-Claude; Gresse, Christian; Guiho, Gérard D. 1 1985 Testing from formal specifications, a generic approach. Zbl 0980.68847Gaudel, Marie-Claude 1 2001 Types de données et algorithmes. Vol. 1: Analyse d’algorithmes et définition des types de données. (Data types and algorithms. Analysis of algorithms and definition of data types). Zbl 0705.68079Gaudel, Marie-Claude; Soria, Michèle; Froidevaux, Christine 1 1986 Types de données et algorithmes. Vol. 2: Recherche, tri, algorithmes sur les graphes. (Data types and algorithms. Vol. 2: Searching, sorting, algorithms on graphs). Zbl 0705.68081Gaudel, Marie-Claude; Soria, Michèle; Froidevaux, Christine 1 1987 Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002 1 1980 A note on traces refinement and the conf relation in the unifying theories of programming. Zbl 1286.68071Cavalcanti, Ana; Gaudel, Marie-Claude 1 2010 A new dichotomic algorithm for the uniform random generation of words in regular languages. Zbl 1296.68095Oudinet, Johan; Denise, Alain; Gaudel, Marie-Claude 3 2013 Testing for refinement in Circus. Zbl 1237.68059Cavalcanti, Ana; Gaudel, Marie-Claude 3 2011 Unifying theories in Isabelle/HOL. Zbl 1309.68045Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart 6 2010 A note on traces refinement and the conf relation in the unifying theories of programming. Zbl 1286.68071Cavalcanti, Ana; Gaudel, Marie-Claude 1 2010 Testing from formal specifications, a generic approach. Zbl 0980.68847Gaudel, Marie-Claude 1 2001 Testing algebraic data types and processes: A unifying theory. Zbl 0951.68534Gaudel, Marie-Claude; James, Perry R. 6 1998 Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives. Zbl 1493.68229Gaudel, Marie-Claude 1 1992 A theory of software reusability. Zbl 0712.68066Gaudel, M. C.; Moineau, Th. 6 1990 How to make algebraic specifications more understandable: An experiment with the PLUSS specification language. Zbl 0678.68011Bidoit, M.; Gaudel, M.-C.; Mauboussin, A. 7 1989 Types de données et algorithmes. Vol. 2: Recherche, tri, algorithmes sur les graphes. (Data types and algorithms. Vol. 2: Searching, sorting, algorithms on graphs). Zbl 0705.68081Gaudel, Marie-Claude; Soria, Michèle; Froidevaux, Christine 1 1987 Types de données et algorithmes. Vol. 1: Analyse d’algorithmes et définition des types de données. (Data types and algorithms. Analysis of algorithms and definition of data types). Zbl 0705.68079Gaudel, Marie-Claude; Soria, Michèle; Froidevaux, Christine 1 1986 Exception handling: Formal specification and systematic program construction. Zbl 0559.68025Bidoit, Michel; Biebow, Brigitte; Gaudel, Marie-Claude; Gresse, Christian; Guiho, Gérard D. 1 1985 Exception handling: Formal specification and systematic program construction. Zbl 0547.68021Bidoit, M.; Biebow, B.; Gaudel, M. C.; Gresse, C.; Guiho, G. 3 1984 Correctness proof of programming language translations. Zbl 0512.68015Gaudel, M. C. 1 1983 Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002 1 1980 A formal approach to translator specification. Zbl 0363.68002Gaudel, Marie Claude 2 1977 all cited Publications top 5 cited Publications all top 5 Cited by 52 Authors 4 Cavalcanti, Ana 4 Gaudel, Marie-Claude 3 Foster, Simon 2 Basset, Nicolas 2 Bernot, Gilles 2 Bidoit, Michel 2 Kaplan, Stéphane 2 Sannella, Donald T. 2 Tarlecki, Andrzej 2 Wirsing, Martin 2 Woodcock, James C. P. 2 Zeyda, Frank 1 Aichernig, Bernhard K. 1 Baxter, James 1 Bergstra, Jan A. 1 Boudriga, Noureddine A. 1 Butterfield, Andrew 1 Choppy, Christine 1 Dong, JinSong 1 Dumas, Philippe 1 Durieux, Jean-Louis 1 Freitas, Leo 1 Grandjean, Etienne 1 Hennicker, Rolf 1 Hesselink, Wim H. 1 Hierons, Robert Mark 1 Huang, Wenling 1 Ikram Lali, Muhammad 1 Jaoua, Ali Mohamed 1 Jifeng, He 1 King, Steve F. 1 Knapik, Teodor 1 Lehmann, Thomas Martin 1 Liu, Yang 1 Loeckx, Jacques 1 Mairesse, Jean 1 Mili, Ali 1 Moineau, Th. 1 O’Halloran, Colin 1 Pair, Claude 1 Peleska, Jan 1 Ponse, Alban 1 Qin, Shengchao 1 Remy, Jean-Luc 1 Ribeiro, Pedro 1 Shi, Ling 1 Sokołowski, Stefan 1 Soria, Michèle 1 Sun, Jun 1 Van Wyk, Eric 1 Visser, Eelco 1 Zhao, Yongxin all top 5 Cited in 9 Serials 12 Theoretical Computer Science 6 Formal Aspects of Computing 4 Acta Informatica 1 RAIRO, Informatique Théorique 1 Algorithmica 1 Information and Computation 1 Diagrammes 1 Annals of Mathematics and Artificial Intelligence 1 Logical Methods in Computer Science Cited in 5 Fields 34 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.