Mireille DUCASSE professional home page
INSA de Rennes IRISA



Mireille DUCASSÉ

Professeur

INSA IRISA
Département informatique Projet LANDE
20, Av. des buttes de Coësmes Campus de Beaulieu,
F-35043 Rennes Cedex, France F-35042 Rennes Cedex, France
Tél : +33 (0) 2 23 23 82 52 Tél : +33 (0) 2 99 84 74 33
Fax : +33 (0) 2 23 23 84 53 Fax : +33 (0) 2 99 84 71 71
Email : Mireille.Ducasse@irisa.fr

Ma page privée/My private page

Enseignement / Teaching (all courses are described in English here

  • Cours de Compilation Bac+4 ; Cours de Vérification (méthode B) Bac+4 ; Cours de Qualité du logiciel Bac+5 ; Responsable d'un projet Bac+4, 1er semestre et 2e semestre ; initiatrice et responsable d'une étude bibliographique par les étudiants de 5e année, recueil 1999-2000 (*.ps.gz), recueil 2000-2001 (*.ps.gz), recueil 2001-2002 (*.ps.gz).
  • Présidente de la commission de spécialistes 27e section pour l'INSA de Rennes depuis mai 2001
  • Membre du conseil scientifique de l'INSA de Rennes (printemps 1994-printemps 2002).
    • Présentation au séminaire IFSIC du 29 novembre 2002 sur << Les filles dans les formations en informatique >> : les transparents powerpoint , le questionnaire destiné à des élèves de 3ème (fichier postscript compressé).

    Recherche / Research

  • PADL'06, pc member, (Practical Aspects of Declarative Languages).

  • JFPC'05, pc member, (Journées Francophones de Programmation par Contraintes).
  • AADEBUG'05, pc member, (6th International Workshop on Automated Debugging).
  • WLPE'05, pc member, (15th Workshop on Logic-Based Methods in Programming Environments).

  • ICLP'04, General chair, and pc member
    20th International Conference on Logic Programming, September 6-10 2004, Saint Malo, France.
  • TeachLP 2004, co-organizer, (First International Workshop on Teaching Logic Programming), in conjunction with ICLP'04

  • JFPLC'03, Program chair, (Journées Francophones de Programmation en Logique et par Contraintes). Actes publiés chez Hermès/Lavoisier, Revue des Sciences et Technologies de l'Information, Hors série/JFPLC 2003
  • AADEBUG'03, pc member, (5th International Workshop on Automated Debugging). Proceedings published in the Computing Research Repository  CoRR cs.SE/0309027
  • ICLP'03 , pc member, organizer of a panel on LP Teaching, see the report by E. Pontelli.

  • Guest editor of the special issue on automated debugging of the Automated Software Engineering journal, January 2002, Volume 9, Number 1, Kluwer Academic publisher.


  • Past workshops on Logic Programming Environments. Most proceedings available on line.
  • AADEBUG'95 on line proceedings (2nd International Workshop on Automated and Algorithmic Debugging).
  • AADEBUG'97 on line proceedings (3rd International Workshop on Automated and Algorithmic Debugging).
  • AADEBUG 2000 on line proceedings (4th International Workshop on Automated Debugging)
  • See also Mikhail Auguston's page on Automated and Algorithmic Debugging) .


  • Member of the ALP (Association for Logic Programming). de l'AFPC (Association Française pour la Programmation par Contraintes)

    Doctorants/Phd Students

  • Tristan Denmat (Co-encadrement avec Arnaud Gotlieb, IRISA/INRIA)
    Validation of Likely Invariants with Constraint Reasoning

  • Ludovic Langevine (Co-encadrement avec Pierre Deransart, INRIA Rocquencourt)
    Observation of Constraint Logic programs
    Thesis completed in December 2004.
    Ludovic is currently in post-doc at SICS in Sweden.

  • Benjamin Morin (Co-encadrement avec Ludovic Mé , SUPELEC Rennes et Hervé Debar, France Telecom R&D Caen)
    Alert Correlation in Intrusion Detection. Thesis completed in February 2004.

  • Erwan Jahier (Bourse Ministère Education Nationale)
    Trace analysis, debugging and monitoring of Mercury programs. Thesis completed in December 2000: résumé - fichier.ps.gz (512528 octets) fichier.pdf (916453 octets)
    Erwan has developped a trace analyser for Mercury: MORPHINE (used to be called OPIUM-M). The prototype can be downloaded from HERE.
    Erwan is now "ingénieur de recherche" at Verimag.

    The work had been partially sponsored by the ARGo Esprit Project. Partners: Mission Critical (Belgium), Dassault Electronique (France), Katholieke Universiteit Leuven (Belgique), University of Melbourne (Australia), Facultés Universitaires Notre Dame de la Paix à Namur (Belgique).

  • Sarah Mallet (Bourse Ministère Education Nationale)
    Explanations for deductive systems.
    In collaboration with Next Century Media for the Validity database management system.
    PhD defence November 26th 1999
    PhD thesis: Explications dans les bases de données déductives : associer trace et sémantique
    résumé; - fichier.ps.gz (345832 octets)
    Sarah works now at Syndicat InterHospitalier de Bretagne

    Contrats/Contracts

    Projet RNTL OADYMPPAC , Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes (Tools for dynamic analysis of constraint logic programs). Novembre 2000-Octobre 2003.
    Partenaires : INRIA Rocquencourt, EMN (Ecole des Mines de Nantes), LIFO (Orleans), Cosytec (Orsay), Ilog (Gentilly), IRISA/INSA (Rennes).


    Projet RNTL DICO, Détection d'Intrusions COopérative
    Décembre 2001-Novembre 2003.
    Partenaires : France Telecom R&D, NetSecureSoftware, Supélec Rennes, ONERA Toulouse, IRIT, ENS Cachan Laboratoire, IRISA/INRIA

    Selected Publications

  • Surveys on automated debugging and logic programming environments
  • Validation of Likely Invariants
  • Trace analysis
  • Formal specification of trace models
  • Debugging and explanations for deductive databases
  • Other debugging articles
  • Intrusion detection
  • B formal method
  • Miscellaneous

    • Surveys

    Logic programming environments: Dynamic program analysis and debugging (with J. Noyé). The Journal of Logic Programming, special issue on ``Ten years of Logic Programming'', 1994:19,20:351-384.

    A pragmatic survey of automated debugging. P. Fritzson, editor, Proceedings of the first International Workshop on Automated and Algorithmic Debugging. Linkoeping, Sweden, May 1993. Lecture Notes in Computer Science 749, Springer-Verlag.

    A review of automated debugging systems: Knowledge, strategies, and techniques (with A.-M. Emde). Proceedings of the 10th International Conference on Software Engineering, pages 162-171, Singapore, April 1988.

    Validation of Likely Invariants

    "Proving or Disproving Likely Invariants with Constraint Reasoning" (with Tristan Denmat and Arnaud Gotlieb). In A. Serebrenik and S. Munoz-Hernàndez (editors), Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, October 2005, Spain. COmputer Research Repository, cs.SE/0508108; whole proceedings: cs.PL/0508078.

    Trace analysis

    "Data Mining and Cross-checking of Execution Traces: A Re-interpretation of Jones, Harrold and Stasko Test Information Visualization" (with Tristan Denmat and Olivier Ridoux). In proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05), November 2005. A long version is available as INRIA Research Report RR-5661

    "A Tracer Driver for Hybrid Execution Analyses" (with Ludovic Langevine). In proceedings of the 6th Automated Debugging Symposium, September 2005. ACM Press.

    "A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs" (with Ludovic Langevine). In A. Serebrenik and S. Munoz-Hernàndez (editors), Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, October 2005, Spain. COmputer Research Repository, cs.SE/0508105; whole proceedings: cs.PL/0508078 . A long version is available as INRIA Research Report RR-5611

    "Trace Schemata for (Multi-language) Dynamic Analyses" invited presentation at the Dagstuhl seminar 03491, ``Understanding Program dynamics'', J.-D. Choi, B. Ryder and A. Zeller organizers, 30 November- 5 december 2003.

    "Generic Program Monitoring by Trace Analysis" (with E. Jahier). Theory and Practice of Logic Programming Journal. Cambridge University Press, 2(4-5), September, 2002. A premiminary version appears as Rapport de Recherche INRIA RR-4323

    "Automated analysis of CLP(FD) program execution traces" (with L. Langevine). Poster in proceedings of the International Conference on Logic Programming, July 2002, Lecture Notes in Computer Science 2401, Springer-Verlag. Full version (*.ps.gz).
    French version published in the proceedings of the JFPLC'02, Hermes science publications.

    "A generic approach to monitor program executions" (with E. Jahier). In Proceedings of the International Conference on Logic Programming, D. De Schreye editor, MIT Press November 1999.

    Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events. ICSE'99 (International Conference on Software Engineering), Los Angeles May 1999, ACM Press. A preliminary version appears as Rapport de recherche INRIA RR-3489 , septembre 1998.

    Opium: An extendable trace analyser for Prolog. The Journal of Logic Programming, special issue on Synthesis, Transformation and Analysis of Logic Programs, A. Bossi and Y. Deville (eds), 1999.

    Abstract views of Prolog executions in Opium. In P. Brna, B. du Boulay and H. Pain, editors, Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study , Ablex, Cognitive Science and Technology, 1999.

    Analysis of failing Prolog executions. Actes des Journées Francophones sur la programmation Logique, Lille, Mai 1992.

    Opium: a debugging environment for Prolog development and debugging research (with A.-M. Emde). ACM Software Engineering Notes, 16(1):54-59, January 1991.

    Opium user's manual (with A.-M. Emde). Technical Report LP-60, ECRC, May 1991.

    Automated debugging of non-terminating Prolog programs (with A.-M. Emde). S. Bourgault and M. Dincbas, éditeurs, Actes du Séminaire de programmation en Logique, pages 89-103. CNET, Lannion, May 1990.

    Opium+, a meta-debugger for Prolog. Proceedings of the European Conference on Artificial Intelligence, pages 272-277, Munich, August 1988.

    Scénarios : un paradigme permettant la mise en oeuvre de stratégies de localisation d'erreurs de programmation. Actes de la première conférence ERGO-IA, Biarritz, France, Octobre 1988.

    Formal trace models

    A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation (with L. Langevine and P. Deransart). In Proceedings of the 19th Int. Conf. in Logic Programming, Springer-Verlag, Lecture Notes in Computer Science, Mumbay, December 2003.

    Rigorous design of tracers: an experiment for constraint logic programming (with L. Langevine and P. Deransart). In Fifth International Workshop on Automated Debugging, CoRR cs.SE/0309027, September 2003.

    A Generic Trace Model for Finite Domain Solvers (with P. Deransart and L. Langevine). In International Workshop on User-Interaction in Constraint Satisfaction , colocated with CP'02, September 2002.

    Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment (with L. Langevine, P. Deransart and E. Jahier). Rapport de recherche INRIA RR-4342, Décembre 2001.
    Short version presented at the 11th workshop on Logic Programming Environments, Cyprus, 2001.
    French version published in the proceedings of the JFPLC'02, Hermes science publications.

    Specifying Trace Models with a Continuation Semantics (with E. Jahier and O. Ridoux). In K.-K. Lau (ed), Proceedings of the 10th International Workshop on LOgic-based Program Synthesis and TRansformation, 2000, Lecture Notes in Computer Science 2042, Springer-Verlag.

    Specifying Byrd's Box Model with a Continuation Semantics (with E. jahier and O. Ridoux). In Proceedings of the 10th Workshop on Logic Programming Environments, November 1999, Elsevier Electronic Notes in Theoretical Computer Science, Volume 30, Issue 4.

    Debugging and explanations for deductive databases

    Generating deductive database explanations (with S. Mallet) In Proceedings of the International Conference on Logic Programming, D. De Schreye editor, MIT Press November 1999.

    Myrtle: A set-oriented meta-interpreter driven by a ``relational'' trace for deductive database debugging , (with S. Mallet). Presented at LOgic-based Program Synthesis and TRansformation, P. Flener (Eds), Manchester, June, 1998, LOPSTR'98.

    Pilotage d'un méta-interprète ensembliste par une trace relationnelle pour le débogage de bases de données déductives (with S. Mallet). In O. Ridoux (ed) Journées Francophones de Programmation en Logique et par Contraintes Mai 1998. Editions Hermès (ISBN 2-86601-691-2).

    DDB Trees: A basis for deductive database explanations (with S. Mallet). In M. Kamkar (ed), Third International Workshop on Automated and Algorithmic Debugging, AADEBUG'97 .

    Other debugging articles

    Tracing Prolog Programs by Source Instrumentation is Efficient Enough (with J. Noyé). IJCSLP'98 Post-conference workshop on Implementation Technologies for Programming Languages based on Logic. June 1998. Full proceedings of the workshop. A revised version appears as a technical note in the Journal of Logic Programming, 43(2), May 2000.

    A Backward Slicing Algorithm for Prolog (with S. Schoenig). In R. Cousot and D. Schmidt, editors, Third International Static Analysis Symposium (SAS'96) , Aachen, Germany , LNCS 1145. Springer-Verlag, September 1996.

    Intrusion detection

    Corrélation d'alertes en détection d'intrusions (with H. Debar et al.). Technique et Science Informatiques, TSI, Hermès, à paraître 2004.

    M2D2 : A Formal Data Model for IDS Alert Correlation (with B. Morin, L. Mé and H. Debar) RAID 2002 (Recent Advances in Intrusion Detection). Springer-Verlag, Lecture Notes in Computer Science.

    Formal specification of intrusion signatures and detection rules (with J.-P. Pouzol). CSFW'02, 15th IEEE Computer Security Foudations Workshop.

    From declarative signatures to misuse IDS (with J.-P. Pouzol). RAID 2001 (Recent Advances in Intrusion Detection). Springer-Verlag, Lecture Notes in Computer Science 2212, pages 1-21.

    Benchmarking a distributed intrusion detection system based on ASAX: Preliminary results (with V. Abily). Extended abtract, presented at RAID 2000.

    Handling Generic Intrusion Signatures is not Trivial (with J.-P. Pouzol). Extended abtract, presented at RAID 2000.

    B formal method

    Revisiting the ``Traffic lights'' B case study (with L. Rozé). Publication interne IRISA PI-1424, Novembre 2001.

    Proof obligations of the B formal method: local proofs ensure global consistency , In A.-L. Bossi (ed), Proceedings of the 9th International Workshop on LOgic-based Program Synthesis and TRansformation, 1999, Springer-Verlag, Lecture Notes in Computer Science 1817. An introduction to the B formal method (slides) .

    Teaching B at a Technical University is Possible and Rewarding , In  B'98, Proceedings of the Educational Session, H. Habrias, S. E. Dunn (Eds), Association de Pilotage des Conférences B, Nantes, avril 1998, ISBN: 2-9512461-0-2.

    Misc

    An expert system kernel for signal interpretation. The hypotheses management module (with A. Grumbach). Proceedings of the Annual Technical Conference of the Expert Systems Specialist Group. The British Computer Society, December 1983.

    A propos du mariage Lisp-Prolog: Les bases du langage FROG (with J. Faget, and A. Grumbach). M. Dincbas, éditeur, Actes du Séminaire de Programmation en Logique, pages 223-235. CNET Lannion, 1984.

    Mireille.Ducasse@irisa.fr