The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mireille Ducassé: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mireille Ducassé
    A Pragmatic Survey of Automated Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:1-15 [Conf]
  2. Mireille Ducassé
    Automated Debugging Extensions of the Opium Trace Analyser. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:293-308 [Conf]
  3. Ludovic Langevine, Mireille Ducassé
    A tracer driver for hybrid execution analyses. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2005, pp:143-148 [Conf]
  4. Sarah Mallet, Mireille Ducassé
    DDB Trees: A Basis for Deductive Database Explanations. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:87-102 [Conf]
  5. Elvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé
    A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. [Citation Graph (0, 0)][DBLP]
    ACSAC, 2004, pp:428-437 [Conf]
  6. Ludovic Langevine, Pierre Deransart, Mireille Ducassé
    A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2003, pp:171-195 [Conf]
  7. Jean-Philippe Pouzol, Mireille Ducassé
    Formal Specification of Intrusion Signatures and Detection Rules. [Citation Graph (0, 0)][DBLP]
    CSFW, 2002, pp:64-0 [Conf]
  8. Sarah Mallet, Mireille Ducassé
    An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. [Citation Graph (0, 0)][DBLP]
    DDLP, 1997, pp:0-0 [Conf]
  9. Mireille Ducassé
    Opium+, a Meta-Debugger for Prolog. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:272-277 [Conf]
  10. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
    A Parameterized Algorithm for Exploring Concept Lattices. [Citation Graph (0, 0)][DBLP]
    ICFCA, 2007, pp:114-129 [Conf]
  11. Mireille Ducassé, Ludovic Langevine
    Automated Analysis of CLP(FD) Program Execution Traces. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:470-471 [Conf]
  12. Mireille Ducassé, Jacques Noyé
    Tracing Prolog Programs by Source Instrumentation is Efficient Enough. [Citation Graph (0, 0)][DBLP]
    Implementation Technology for Programming Languages based on Logic, 1998, pp:46-58 [Conf]
  13. Mireille Ducassé, Jacques Noyé
    Tracing Prolog without a Tracer (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:534- [Conf]
  14. Erwan Jahier, Mireille Ducassé
    A Generic Approach to Monitor Program Executions. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:139-153 [Conf]
  15. Ludovic Langevine, Mireille Ducassé
    A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:462-463 [Conf]
  16. Ludovic Langevine, Mireille Ducassé, Pierre Deransart
    A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:269-283 [Conf]
  17. Sarah Mallet, Mireille Ducassé
    Generating Deductive Database Explanations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:154-168 [Conf]
  18. Mireille Ducassé
    Coca: An automated Debugger for C. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:504-513 [Conf]
  19. Mireille Ducassé, Anna-Maria Emde
    A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. [Citation Graph (0, 0)][DBLP]
    ICSE, 1988, pp:162-173 [Conf]
  20. Mireille Ducassé
    OPIUM: un outil de trace sophistiqué pour PROLOG. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:281-292 [Conf]
  21. Mireille Ducassé
    Analysis of failing Prolog Executions. [Citation Graph (0, 0)][DBLP]
    JFPL, 1992, pp:341-352 [Conf]
  22. Mireille Ducassé, J. Faget, Alain Grumbach
    A propos du mariage LISP-PROLOG: les bases du langage FROG. [Citation Graph (0, 0)][DBLP]
    SPLT, 1984, pp:- [Conf]
  23. Mireille Ducassé, Ludovic Langevine
    Analyse automatisée de traces d'exécution de programmes CLP(FD). [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:119-0 [Conf]
  24. Anna-Maria Emde, Mireille Ducassé
    Automated debugging of non-terminating Prolog programs. [Citation Graph (0, 0)][DBLP]
    SPLT, 1990, pp:89-0 [Conf]
  25. Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
    Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:135-0 [Conf]
  26. Erwan Jahier, Mireille Ducassé
    Un traceur d'exécution de programme ne sert pas qu'au débogage. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:297-311 [Conf]
  27. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
    Spécification de modèles de traces à l'aide d'une sémantique par continuations. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:67-84 [Conf]
  28. Ludovic Langevine, Mireille Ducassé
    Un pilote de traceur pour la PLC. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2004, pp:- [Conf]
  29. Sarah Mallet, Mireille Ducassé
    Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1998, pp:151-0 [Conf]
  30. Tristan Denmat, Mireille Ducassé, Olivier Ridoux
    Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:396-399 [Conf]
  31. Mireille Ducassé, Laurence Rozé
    Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:10-29 [Conf]
  32. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
    Specifying Prolog trace models with a continuation semantics. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  33. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
    Specifying Prolog Trace Models with a Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:165-182 [Conf]
  34. Sarah Mallet, Mireille Ducassé
    Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:328-330 [Conf]
  35. Mireille Ducassé
    Opium - A High-level Debugging Environment. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:472-474 [Conf]
  36. Stéphane Schoenig, Mireille Ducassé
    Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. [Citation Graph (0, 0)][DBLP]
    LPE, 1995, pp:- [Conf]
  37. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
    Proving or Disproving likely Invariants with Constraint Reasoning. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:1-13 [Conf]
  38. Pierre Deransart, Ludovic Langevine, Mireille Ducassé
    Demonstration: Debugging constraint problems with portable tools. [Citation Graph (0, 0)][DBLP]
    WLPE, 2003, pp:46-47 [Conf]
  39. Mireille Ducassé
    Analysis of Failing Prolog Executions. [Citation Graph (0, 0)][DBLP]
    LPE, 1991, pp:2-9 [Conf]
  40. Mireille Ducassé
    A Trace Analyser to Prototype Explanations. [Citation Graph (0, 0)][DBLP]
    LPE, 1992, pp:22-28 [Conf]
  41. Anna-Maria Emde, Mireille Ducassé
    Automated Debugging of Non-Terminating Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LPE, 1990, pp:35-39 [Conf]
  42. Ludovic Langevine, Mireille Ducassé
    A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:94-110 [Conf]
  43. Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
    Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. [Citation Graph (0, 0)][DBLP]
    WLPE, 2001, pp:- [Conf]
  44. Sarah Mallet, Mireille Ducassé
    Generating DDB Trees (Abstract). [Citation Graph (0, 0)][DBLP]
    LPE, 1997, pp:13- [Conf]
  45. Mireille Ducassé
    Opium - An Advanced Debugging System. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:303-312 [Conf]
  46. Bil Lewis, Mireille Ducassé
    Using events to debug Java programs backwards in time. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2003, pp:96-97 [Conf]
  47. Mireille Ducassé
    A General Trace Query Mechanism Based on Prolog. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:400-414 [Conf]
  48. Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé
    M2D2: A Formal Data Model for IDS Alert Correlation. [Citation Graph (0, 0)][DBLP]
    RAID, 2002, pp:115-127 [Conf]
  49. Jean-Philippe Pouzol, Mireille Ducassé
    From Declarative Signatures to Misuse IDS. [Citation Graph (0, 0)][DBLP]
    Recent Advances in Intrusion Detection, 2001, pp:1-21 [Conf]
  50. Stéphane Schoenig, Mireille Ducassé
    A Backward Slicing Algorithm for Prolog. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:317-331 [Conf]
  51. Mireille Ducassé
    Abstract Views of Prolog Executions in Opium. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:18-32 [Conf]
  52. Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
    Tools and Environments for (Constraint) Logic Programming (Workshop Overview). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:417-418 [Conf]
  53. Mireille Ducassé
    Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:1, pp:5- [Journal]
  54. Mireille Ducassé
    Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1997, v:4, n:2, pp:119-120 [Journal]
  55. Erwan Jahier, Mireille Ducassé
    Generic and Efficient Program Monitoring by trace analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  56. Mireille Ducassé, Ludovic Langevine, Pierre Deransart
    Rigorous design of tracers: an experiment for constraint logic programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  57. Mireille Ducassé, Erwan Jahier
    Efficient Automated Trace Analysis: Examples with Morphine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  58. Mireille Ducassé
    Opium: An Extendable Trace Analyzer for Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:39, n:1-3, pp:177-223 [Journal]
  59. Mireille Ducassé, Jacques Noyé
    Tracing Prolog Programs by Source Instrumentation is Efficient Enough. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:43, n:2, pp:157-172 [Journal]
  60. Mireille Ducassé, Jacques Noyé
    Logic Programming Environments: Dynamic Program Analysis and Debugging. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:351-384 [Journal]
  61. Mireille Ducassé, Anthony J. Kusalik, Germán Puebla
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]
  62. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
    Specifying Byrd's Box Model with a Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]
  63. Erwan Jahier, Mireille Ducassé
    Generic program monitoring by trace analysis. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:4-5, pp:611-643 [Journal]
  64. Hervé Debar, Benjamin Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, Mireille Ducassé, Rodolphe Ortalo
    Détection d'intrusions : corrélation d'alertes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2004, v:23, n:3, pp:359-390 [Journal]
  65. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
    An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:241-255 [Conf]
  66. Pierre Deransart, Mireille Ducassé, Gérard Ferrand
    Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  67. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. [Citation Graph (, )][DBLP]


  68. Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. [Citation Graph (, )][DBLP]


  69. Formal Concept Analysis Enhances Fault Localization in Software. [Citation Graph (, )][DBLP]


  70. (C)LP Tracing and Debugging. [Citation Graph (, )][DBLP]


  71. Improving Constraint-Based Testing with Dynamic Linear Relaxations. [Citation Graph (, )][DBLP]


  72. DeLLIS: A Data Mining Process for Fault Localization. [Citation Graph (, )][DBLP]


  73. A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs [Citation Graph (, )][DBLP]


  74. Proving or Disproving likely Invariants with Constraint Reasoning [Citation Graph (, )][DBLP]


  75. Observational semantics of the Prolog Resolution Box Model [Citation Graph (, )][DBLP]


  76. Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.012secs
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