Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mireille Ducassé
@inproceedings{DBLP:conf/f-egc/Ducasse22,
author = {Mireille Ducass{\'{e}}},
editor = {Sihem Amer{-}Yahia and
Arnaud Soulet},
title = {Kartu-Verbs : un syst{\`{e}}me d'informations logiques de formes verbales
fl{\'{e}}chies pour contourner les probl{\`{e}}mes de lemmatisation
des verbes g{\'{e}}orgiens},
booktitle = {Extraction et Gestion des Connaissances, {EGC} 2022, Blois, France,
24 au 28 janvier 2022},
series = {{RNTI}},
volume = {{E-38}},
pages = {421--428},
publisher = {Editions {RNTI}},
year = {2022},
url = {http://editions-rnti.fr/?inprocid=1002755},
timestamp = {Wed, 09 Mar 2022 16:39:53 +0100},
biburl = {https://dblp.org/rec/conf/f-egc/Ducasse22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/MaillotFCDP17,
author = {Pierre Maillot and
S{\'{e}}bastien Ferr{\'{e}} and
Peggy Cellier and
Mireille Ducass{\'{e}} and
Franck Partouche},
editor = {Djamal Benslimane and
Ernesto Damiani and
William I. Grosky and
Abdelkader Hameurlain and
Amit P. Sheth and
Roland R. Wagner},
title = {Nested Forms with Dynamic Suggestions for Quality {RDF} Authoring},
booktitle = {Database and Expert Systems Applications - 28th International Conference,
{DEXA} 2017, Lyon, France, August 28-31, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10438},
pages = {35--45},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64468-4\_3},
doi = {10.1007/978-3-319-64468-4\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/MaillotFCDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/BaFD16,
author = {Mouhamadou Ba and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}}},
title = {Solving Data Mismatches in Bioinformatics Workflows by Generating
Data Converters},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {24},
pages = {88--115},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49214-7\_3},
doi = {10.1007/978-3-662-49214-7\_3},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlsdkcs/BaFD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/MaillotFCDP16,
author = {Pierre Maillot and
S{\'{e}}bastien Ferr{\'{e}} and
Peggy Cellier and
Mireille Ducass{\'{e}} and
Franck Partouche},
editor = {Paolo Ciancarini and
Francesco Poggi and
Matthew Horridge and
Jun Zhao and
Tudor Groza and
Mari Carmen Su{\'{a}}rez{-}Figueroa and
Mathieu d'Aquin and
Valentina Presutti},
title = {{FORMULIS:} Dynamic Form-Based Interface for Guided Knowledge Graph
Authoring},
booktitle = {Knowledge Engineering and Knowledge Management - {EKAW} 2016 Satellite
Events, {EKM} and Drift-an-LOD, Bologna, Italy, November 19-23, 2016,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10180},
pages = {140--144},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-58694-6\_18},
doi = {10.1007/978-3-319-58694-6\_18},
timestamp = {Sat, 19 Oct 2019 20:33:11 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/MaillotFCDP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/BaFD15,
author = {Mouhamadou Ba and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}}},
editor = {Floriana Esposito and
Olivier Pivert and
Mohand{-}Sa{\"{\i}}d Hacid and
Zbigniew W. Ras and
Stefano Ferilli},
title = {Safe Suggestions Based on Type Convertibility to Guide Workflow Composition},
booktitle = {Foundations of Intelligent Systems - 22nd International Symposium,
{ISMIS} 2015, Lyon, France, October 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9384},
pages = {230--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25252-0\_25},
doi = {10.1007/978-3-319-25252-0\_25},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/BaFD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/BaFD14,
author = {Mouhamadou Ba and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}}},
editor = {Hendrik Decker and
Lenka Lhotsk{\'{a}} and
Sebastian Link and
Marcus Spies and
Roland R. Wagner},
title = {Generating Data Converters to Help Compose Services in Bioinformatics
Workflows},
booktitle = {Database and Expert Systems Applications - 25th International Conference,
{DEXA} 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8644},
pages = {284--298},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10073-9\_23},
doi = {10.1007/978-3-319-10073-9\_23},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/BaFD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gdn/DucasseC14,
author = {Mireille Ducass{\'{e}} and
Peggy Cellier},
editor = {Pascale Zarat{\'{e}} and
Gregory E. Kersten and
Jorge E. Hern{\'{a}}ndez},
title = {Using Biddings and Motivations in Multi-unit Assignments},
booktitle = {Group Decision and Negotiation. {A} Process-Oriented View - Joint
{INFORMS-GDN} and {EWG-DSS} International Conference, {GDN} 2014,
Toulouse, France, June 10-13, 2014. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {180},
pages = {53--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07179-4\_6},
doi = {10.1007/978-3-319-07179-4\_6},
timestamp = {Wed, 14 Nov 2018 10:56:20 +0100},
biburl = {https://dblp.org/rec/conf/gdn/DucasseC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/HermannFD12,
author = {Alice Hermann and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}}},
editor = {Annette ten Teije and
Johanna V{\"{o}}lker and
Siegfried Handschuh and
Heiner Stuckenschmidt and
Mathieu d'Aquin and
Andriy Nikolov and
Nathalie Aussenac{-}Gilles and
Nathalie Hernandez},
title = {An Interactive Guidance Process Supporting Consistent Updates of {RDFS}
Graphs},
booktitle = {Knowledge Engineering and Knowledge Management - 18th International
Conference, {EKAW} 2012, Galway City, Ireland, October 8-12, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7603},
pages = {185--199},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33876-2\_18},
doi = {10.1007/978-3-642-33876-2\_18},
timestamp = {Wed, 25 Sep 2019 18:22:28 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/HermannFD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/HermannFD12a,
author = {Alice Hermann and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}}},
editor = {Annette ten Teije and
Johanna V{\"{o}}lker and
Siegfried Handschuh and
Heiner Stuckenschmidt and
Mathieu d'Aquin and
Andriy Nikolov and
Nathalie Aussenac{-}Gilles and
Nathalie Hernandez},
title = {Guided Semantic Annotation of Comic Panels with Sewelis},
booktitle = {Knowledge Engineering and Knowledge Management - 18th International
Conference, {EKAW} 2012, Galway City, Ireland, October 8-12, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7603},
pages = {430--433},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33876-2\_40},
doi = {10.1007/978-3-642-33876-2\_40},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/HermannFD12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-ic/HermannFD12,
author = {Alice Hermann and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}}},
editor = {Sylvie Szulman},
title = {Aide {\`{a}} la cr{\'{e}}ation d'objets dans une base {RDF(S)}
avec des r{\`{e}}gles de relaxation},
booktitle = {{IC} 2012 : 23es journ{\'{e}}es Ing{\'{e}}nierie des Connaissances
(Proceedings of the 23rd French Knowledge Engineering Conference),
Paris, France, June 25-29, 2012},
pages = {301--316},
year = {2012},
timestamp = {Tue, 07 Feb 2017 08:37:52 +0100},
biburl = {https://dblp.org/rec/conf/f-ic/HermannFD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FerreHD11,
author = {S{\'{e}}bastien Ferr{\'{e}} and
Alice Hermann and
Mireille Ducass{\'{e}}},
editor = {Camille Salinesi and
Oscar Pastor},
title = {Combining Faceted Search and Query Languages for the Semantic Web},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2011 International
Workshops, London, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {83},
pages = {554--563},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22056-2\_57},
doi = {10.1007/978-3-642-22056-2\_57},
timestamp = {Mon, 18 Jan 2021 08:56:37 +0100},
biburl = {https://dblp.org/rec/conf/caise/FerreHD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/DucasseFC11,
author = {Mireille Ducass{\'{e}} and
S{\'{e}}bastien Ferr{\'{e}} and
Peggy Cellier},
editor = {Amedeo Napoli and
Vil{\'{e}}m Vychodil},
title = {Building up Shared Knowledge with Logical Information Systems},
booktitle = {Proceedings of The Eighth International Conference on Concept Lattices
and Their Applications, Nancy, France, October 17-20, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {959},
pages = {31--42},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-959/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:10 +0100},
biburl = {https://dblp.org/rec/conf/cla/DucasseFC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CellierFDC11,
author = {Peggy Cellier and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}} and
Thierry Charnois},
editor = {Simon Andrews and
Simon Polovina and
Richard Hill and
Babak Akhgar},
title = {Partial Orders and Logical Concept Analysis to Explore Patterns Extracted
by Data Mining},
booktitle = {Conceptual Structures for Discovering Knowledge - 19th International
Conference on Conceptual Structures, {ICCS} 2011, Derby, UK, July
25-29, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6828},
pages = {77--90},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22688-5\_6},
doi = {10.1007/978-3-642-22688-5\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/CellierFDC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/HermannFD11,
author = {Alice Hermann and
S{\'{e}}bastien Ferr{\'{e}} and
Mireille Ducass{\'{e}}},
editor = {Mark A. Musen and
{\'{O}}scar Corcho},
title = {Guided creation and update of objects in {RDF(S)} bases},
booktitle = {Proceedings of the 6th International Conference on Knowledge Capture
{(K-CAP} 2011), June 26-29, 2011, Banff, Alberta, Canada},
pages = {189--190},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1999676.1999719},
doi = {10.1145/1999676.1999719},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kcap/HermannFD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CellierDFR11,
author = {Peggy Cellier and
Mireille Ducass{\'{e}} and
S{\'{e}}bastien Ferr{\'{e}} and
Olivier Ridoux},
title = {Multiple Fault Localization with Data Mining},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
Miami Beach, USA, July 7-9, 2011},
pages = {238--243},
publisher = {Knowledge Systems Institute Graduate School},
year = {2011},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/CellierDFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inffus/MorinMDD09,
author = {Benjamin Morin and
Ludovic M{\'{e}} and
Herv{\'{e}} Debar and
Mireille Ducass{\'{e}}},
title = {A logic-based model to support alert correlation in intrusion detection},
journal = {Inf. Fusion},
volume = {10},
number = {4},
pages = {285--299},
year = {2009},
url = {https://doi.org/10.1016/j.inffus.2009.01.005},
doi = {10.1016/J.INFFUS.2009.01.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inffus/MorinMDD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ducasse09,
author = {Mireille Ducass{\'{e}}},
editor = {Patricia M. Hill and
David Scott Warren},
title = {{(C)LP} Tracing and Debugging},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {38},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_7},
doi = {10.1007/978-3-642-02846-5\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ducasse09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CellierDFR09,
author = {Peggy Cellier and
Mireille Ducass{\'{e}} and
S{\'{e}}bastien Ferr{\'{e}} and
Olivier Ridoux},
title = {DeLLIS: {A} Data Mining Process for Fault Localization},
booktitle = {Proceedings of the 21st International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2009), Boston, Massachusetts,
USA, July 1-3, 2009},
pages = {432--437},
publisher = {Knowledge Systems Institute Graduate School},
year = {2009},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/CellierDFR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CellierFRD08,
author = {Peggy Cellier and
S{\'{e}}bastien Ferr{\'{e}} and
Olivier Ridoux and
Mireille Ducass{\'{e}}},
title = {A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {2},
pages = {319--343},
year = {2008},
url = {https://doi.org/10.1142/S012905410800570X},
doi = {10.1142/S012905410800570X},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/CellierFRD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LangevineD08,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
title = {Design and implementation of a tracer driver: Easy and efficient dynamic
analyses of constraint logic programs},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {5-6},
pages = {581--609},
year = {2008},
url = {https://doi.org/10.1017/S147106840800344X},
doi = {10.1017/S147106840800344X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LangevineD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/DucasseF08,
author = {Mireille Ducass{\'{e}} and
S{\'{e}}bastien Ferr{\'{e}}},
editor = {Peter W. Eklund and
Ollivier Haemmerl{\'{e}}},
title = {Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal
Concept Analysis},
booktitle = {Conceptual Structures: Knowledge Visualization and Reasoning, 16th
International Conference on Conceptual Structures, {ICCS} 2008, Toulouse,
France, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5113},
pages = {217--230},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70596-3\_15},
doi = {10.1007/978-3-540-70596-3\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/DucasseF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/CellierDFR08,
author = {Peggy Cellier and
Mireille Ducass{\'{e}} and
S{\'{e}}bastien Ferr{\'{e}} and
Olivier Ridoux},
editor = {Raoul Medina and
Sergei A. Obiedkov},
title = {Formal Concept Analysis Enhances Fault Localization in Software},
booktitle = {Formal Concept Analysis, 6th International Conference, {ICFCA} 2008,
Montreal, Canada, February 25-28, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4933},
pages = {273--288},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78137-0\_20},
doi = {10.1007/978-3-540-78137-0\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfca/CellierDFR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4116,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
title = {Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic
Analyses of Constraint Logic Programs},
journal = {CoRR},
volume = {abs/0804.4116},
year = {2008},
url = {http://arxiv.org/abs/0804.4116},
eprinttype = {arXiv},
eprint = {0804.4116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-4116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DenmatGD07,
author = {Tristan Denmat and
Arnaud Gotlieb and
Mireille Ducass{\'{e}}},
editor = {Christian Bessiere},
title = {An Abstract Interpretation Based Combinator for Modelling While Loops
in Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {241--255},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_19},
doi = {10.1007/978-3-540-74970-7\_19},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/DenmatGD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/CellierFRD07,
author = {Peggy Cellier and
S{\'{e}}bastien Ferr{\'{e}} and
Olivier Ridoux and
Mireille Ducass{\'{e}}},
editor = {Sergei O. Kuznetsov and
Stefan Schmidt},
title = {A Parameterized Algorithm for Exploring Concept Lattices},
booktitle = {Formal Concept Analysis, 5th International Conference, {ICFCA} 2007,
Clermont-Ferrand, France, February 12-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4390},
pages = {114--129},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70901-5\_8},
doi = {10.1007/978-3-540-70901-5\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/icfca/CellierFRD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DenmatGD07,
author = {Tristan Denmat and
Arnaud Gotlieb and
Mireille Ducass{\'{e}}},
title = {Improving Constraint-Based Testing with Dynamic Linear Relaxations},
booktitle = {{ISSRE} 2007, The 18th {IEEE} International Symposium on Software
Reliability, Trollh{\"{a}}ttan, Sweden, 5-9 November 2007},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISSRE.2007.34},
doi = {10.1109/ISSRE.2007.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/DenmatGD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0706-3159,
author = {Pierre Deransart and
Mireille Ducass{\'{e}} and
G{\'{e}}rard Ferrand},
title = {Une s{\'{e}}mantique observationnelle du mod{\`{e}}le des bo{\^{\i}}tes
pour la r{\'{e}}solution de programmes logiques (version {\'{e}}tendue)},
journal = {CoRR},
volume = {abs/0706.3159},
year = {2007},
url = {http://arxiv.org/abs/0706.3159},
eprinttype = {arXiv},
eprint = {0706.3159},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0706-3159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-4071,
author = {Pierre Deransart and
Mireille Ducass{\'{e}} and
G{\'{e}}rard Ferrand},
title = {Observational semantics of the Prolog Resolution Box Model},
journal = {CoRR},
volume = {abs/0711.4071},
year = {2007},
url = {http://arxiv.org/abs/0711.4071},
eprinttype = {arXiv},
eprint = {0711.4071},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-4071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/CellierFRD06,
author = {Peggy Cellier and
S{\'{e}}bastien Ferr{\'{e}} and
Olivier Ridoux and
Mireille Ducass{\'{e}}},
editor = {Sadok Ben Yahia and
Engelbert Mephu Nguifo and
Radim Belohl{\'{a}}vek},
title = {An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy},
booktitle = {Concept Lattices and Their Applications, Fourth International Conference,
{CLA} 2006, Tunis, Tunisia, October 30 - November 1, 2006, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4923},
pages = {226--231},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-78921-5\_15},
doi = {10.1007/978-3-540-78921-5\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cla/CellierFRD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/LangevineD05,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {A tracer driver for hybrid execution analyses},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {143--148},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085149},
doi = {10.1145/1085130.1085149},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/LangevineD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DenmatDR05,
author = {Tristan Denmat and
Mireille Ducass{\'{e}} and
Olivier Ridoux},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Data mining and cross-checking of execution traces: a re-interpretation
of Jones, Harrold and Stasko test information},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {396--399},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101979},
doi = {10.1145/1101908.1101979},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DenmatDR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/DenmatGD05,
author = {Tristan Denmat and
Arnaud Gotlieb and
Mireille Ducass{\'{e}}},
editor = {Alexander Serebrenik and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
title = {Proving or Disproving likely Invariants with Constraint Reasoning},
booktitle = {Proceedings of the 15th International Workshop on Logic Programming
Environments, Sitges (Barcelona), Spain, October 5, 2005},
pages = {1--13},
year = {2005},
url = {http://arxiv.org/abs/cs.pl/0508108},
timestamp = {Fri, 05 Feb 2021 11:07:04 +0100},
biburl = {https://dblp.org/rec/conf/lpe/DenmatGD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/LangevineD05,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
editor = {Alexander Serebrenik and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
title = {A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic
Programs},
booktitle = {Proceedings of the 15th International Workshop on Logic Programming
Environments, Sitges (Barcelona), Spain, October 5, 2005},
pages = {94--110},
year = {2005},
url = {http://arxiv.org/abs/cs.pl/0508105},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/LangevineD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508105,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
title = {A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic
Programs},
journal = {CoRR},
volume = {abs/cs/0508105},
year = {2005},
url = {http://arxiv.org/abs/cs/0508105},
eprinttype = {arXiv},
eprint = {cs/0508105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508108,
author = {Tristan Denmat and
Arnaud Gotlieb and
Mireille Ducass{\'{e}}},
title = {Proving or Disproving likely Invariants with Constraint Reasoning},
journal = {CoRR},
volume = {abs/cs/0508108},
year = {2005},
url = {http://arxiv.org/abs/cs/0508108},
eprinttype = {arXiv},
eprint = {cs/0508108},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/DebarMCAMVBDO04,
author = {Herv{\'{e}} Debar and
Benjamin Morin and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Fabien Autrel and
Ludovic M{\'{e}} and
Bernard Vivinis and
Salem Benferhat and
Mireille Ducass{\'{e}} and
Rodolphe Ortalo},
title = {D{\'{e}}tection d'intrusions : corr{\'{e}}lation d'alertes},
journal = {Tech. Sci. Informatiques},
volume = {23},
number = {3},
pages = {359--390},
year = {2004},
url = {https://doi.org/10.3166/tsi.23.359-390},
doi = {10.3166/TSI.23.359-390},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/DebarMCAMVBDO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/TombiniDMD04,
author = {Elvis Tombini and
Herv{\'{e}} Debar and
Ludovic M{\'{e}} and
Mireille Ducass{\'{e}}},
title = {A Serial Combination of Anomaly and Misuse IDSes Applied to {HTTP}
Traffic},
booktitle = {20th Annual Computer Security Applications Conference {(ACSAC} 2004),
6-10 December 2004, Tucson, AZ, {USA}},
pages = {428--437},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSAC.2004.4},
doi = {10.1109/CSAC.2004.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/TombiniDMD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LangevineD04,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {A Tracer Driver to Enable Debugging, Monitoring and Visualization
of {CLP} Executions from a Single Tracer},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {462--463},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_39},
doi = {10.1007/978-3-540-27775-0\_39},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LangevineD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/LangevineD04,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard},
title = {Un pilote de traceur pour la {PLC}},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
23 Juin 2004, Angers, France},
publisher = {Hermes},
year = {2004},
timestamp = {Mon, 24 May 2004 15:54:02 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/LangevineD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/LangevineDD03,
author = {Ludovic Langevine and
Pierre Deransart and
Mireille Ducass{\'{e}}},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {A Generic Trace Schema for the Portability of {CP(FD)} Debugging Tools},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {171--195},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_10},
doi = {10.1007/978-3-540-24662-6\_10},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/LangevineDD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LangevineDD03,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}} and
Pierre Deransart},
editor = {Catuscia Palamidessi},
title = {A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient
Implementation},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {269--283},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_19},
doi = {10.1007/978-3-540-24599-5\_19},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LangevineDD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/DeransartLD03,
author = {Pierre Deransart and
Ludovic Langevine and
Mireille Ducass{\'{e}}},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard and
Alexander Serebrenik},
title = {Demonstration: Debugging constraint problems with portable tools},
booktitle = {Proceedings of the 13th International Workshop on Logic Programming
Environments, Tata Institute of Fundamental Research, Mumbai, India,
December 8, 2003},
series = {Report},
volume = {{CW371}},
pages = {46--47},
publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
200A, {B-3001} Heverlee (Belgium)},
year = {2003},
timestamp = {Thu, 11 Mar 2004 09:52:24 +0100},
biburl = {https://dblp.org/rec/conf/lpe/DeransartLD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LewisD03,
author = {Bil Lewis and
Mireille Ducass{\'{e}}},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Using events to debug Java programs backwards in time},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {96--97},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949367},
doi = {10.1145/949344.949367},
timestamp = {Fri, 25 Jun 2021 17:20:20 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LewisD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/2003,
editor = {Mireille Ducass{\'{e}}},
title = {Journ{\'{e}}es Francophones de Programmation en Logique avec
Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
publisher = {Hermes/Lavoisier},
year = {2003},
isbn = {2-7462-0739-7},
timestamp = {Mon, 24 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0311016,
author = {Erwan Jahier and
Mireille Ducass{\'{e}}},
title = {Generic and Efficient Program Monitoring by trace analysis},
journal = {CoRR},
volume = {cs.PL/0311016},
year = {2003},
url = {http://arxiv.org/abs/cs/0311016},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0311016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310042,
author = {Mireille Ducass{\'{e}} and
Ludovic Langevine and
Pierre Deransart},
title = {Rigorous design of tracers: an experiment for constraint logic programming},
journal = {CoRR},
volume = {cs.SE/0310042},
year = {2003},
url = {http://arxiv.org/abs/cs/0310042},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0310042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Ducasse02,
author = {Mireille Ducass{\'{e}}},
title = {Introduction},
journal = {Autom. Softw. Eng.},
volume = {9},
number = {1},
pages = {5},
year = {2002},
url = {https://doi.org/10.1023/A:1013229301256},
doi = {10.1023/A:1013229301256},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Ducasse02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JahierD02,
author = {Erwan Jahier and
Mireille Ducass{\'{e}}},
title = {Generic program monitoring by trace analysis},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {4-5},
pages = {611--643},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001461},
doi = {10.1017/S1471068402001461},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JahierD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PouzolD02,
author = {Jean{-}Philippe Pouzol and
Mireille Ducass{\'{e}}},
title = {Formal Specification of Intrusion Signatures and Detection Rules},
booktitle = {15th {IEEE} Computer Security Foundations Workshop {(CSFW-15} 2002),
24-26 June 2002, Cape Breton, Nova Scotia, Canada},
pages = {64},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CSFW.2002.1021807},
doi = {10.1109/CSFW.2002.1021807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/PouzolD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DucasseL02,
author = {Mireille Ducass{\'{e}} and
Ludovic Langevine},
editor = {Peter J. Stuckey},
title = {Automated Analysis of {CLP(FD)} Program Execution Traces},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {470--471},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_35},
doi = {10.1007/3-540-45619-8\_35},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DucasseL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DucasseL02,
author = {Mireille Ducass{\'{e}} and
Ludovic Langevine},
editor = {Michel Rueher},
title = {Analyse automatis{\'{e}}e de traces d'ex{\'{e}}cution de
programmes {CLP(FD)}},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
pages = {119},
year = {2002},
timestamp = {Mon, 24 May 2004 15:53:56 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/DucasseL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/LangevineDDJ02,
author = {Ludovic Langevine and
Pierre Deransart and
Mireille Ducass{\'{e}} and
Erwan Jahier},
editor = {Michel Rueher},
title = {Prototypage de traceurs {CLP(FD):} un mod{\`{e}}le de trace et son
exp{\'{e}}rimentation},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
pages = {135},
year = {2002},
timestamp = {Wed, 19 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/LangevineDDJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/MorinMDD02,
author = {Benjamin Morin and
Ludovic M{\'{e}} and
Herv{\'{e}} Debar and
Mireille Ducass{\'{e}}},
editor = {Andreas Wespi and
Giovanni Vigna and
Luca Deri},
title = {{M2D2:} {A} Formal Data Model for {IDS} Alert Correlation},
booktitle = {Recent Advances in Intrusion Detection, 5th International Symposium,
{RAID} 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2516},
pages = {115--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36084-0\_7},
doi = {10.1007/3-540-36084-0\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/raid/MorinMDD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/LangevineDDJ01,
author = {Ludovic Langevine and
Pierre Deransart and
Mireille Ducass{\'{e}} and
Erwan Jahier},
editor = {Anthony J. Kusalik},
title = {Prototyping {CLP(FD)} tracers: a trace model and an experimental validation
environment},
booktitle = {Proceedings of the Eleventh Workshop on Logic Programming Environments
(WLPE'01), Paphos, Cyprus, December 1, 2001},
year = {2001},
url = {https://arxiv.org/abs/cs/0111043},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/LangevineDDJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/PouzolD01,
author = {Jean{-}Philippe Pouzol and
Mireille Ducass{\'{e}}},
editor = {Wenke Lee and
Ludovic M{\'{e}} and
Andreas Wespi},
title = {From Declarative Signatures to Misuse {IDS}},
booktitle = {Recent Advances in Intrusion Detection, 4th International Symposium,
{RAID} 2001 Davis, CA, USA, October 10-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2212},
pages = {1--21},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45474-8\_1},
doi = {10.1007/3-540-45474-8\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/raid/PouzolD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DucasseJ01,
author = {Mireille Ducass{\'{e}} and
Erwan Jahier},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Efficient Automated Trace Analysis: Examples with Morphine},
booktitle = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {2},
pages = {118--133},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00248-8},
doi = {10.1016/S1571-0661(04)00248-8},
timestamp = {Mon, 05 Dec 2022 12:32:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DucasseJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DucasseN00,
author = {Mireille Ducass{\'{e}} and
Jacques Noy{\'{e}}},
title = {Tracing Prolog Programs by Source Instrumentation is Efficient Enough},
journal = {J. Log. Program.},
volume = {43},
number = {2},
pages = {157--172},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00061-8},
doi = {10.1016/S0743-1066(99)00061-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DucasseN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/JahierDR00,
author = {Erwan Jahier and
Mireille Ducass{\'{e}} and
Olivier Ridoux},
editor = {Toura{\"{\i}}vane},
title = {Sp{\'{e}}cification de mod{\`{e}}les de traces {\`{a}} l'aide
d'une s{\'{e}}mantique par continuations},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
2000, Marseille, France},
pages = {67--84},
publisher = {Hermes},
year = {2000},
timestamp = {Mon, 24 May 2004 15:53:50 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/JahierDR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/JahierDR00,
author = {Erwan Jahier and
Mireille Ducass{\'{e}} and
Olivier Ridoux},
editor = {Kung{-}Kiu Lau},
title = {Specifying Prolog trace models with a continuation semantics},
booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
24-28, 2000},
series = {Technical Report},
volume = {{UMCS-00-6-1}},
publisher = {Department of Computer Science, University of Manchester},
year = {2000},
url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-jahier.ps.Z},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/JahierDR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/JahierDR00a,
author = {Erwan Jahier and
Mireille Ducass{\'{e}} and
Olivier Ridoux},
editor = {Kung{-}Kiu Lau},
title = {Specifying Prolog Trace Models with a Continuation Semantics},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International
Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2042},
pages = {165--182},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45142-0\_10},
doi = {10.1007/3-540-45142-0\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/JahierDR00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aadebug/2000,
editor = {Mireille Ducass{\'{e}}},
title = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {http://xxx.lanl.gov/abs/cs.SE/0010035},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Ducasse99,
author = {Mireille Ducass{\'{e}}},
title = {Opium: An Extendable Trace Analyzer for Prolog},
journal = {J. Log. Program.},
volume = {39},
number = {1-3},
pages = {177--223},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10036-5},
doi = {10.1016/S0743-1066(98)10036-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Ducasse99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JahierD99,
author = {Erwan Jahier and
Mireille Ducass{\'{e}}},
editor = {Danny De Schreye},
title = {A Generic Approach to Monitor Program Executions},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {139--153},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/JahierD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MalletD99,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Danny De Schreye},
title = {Generating Deductive Database Explanations},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {154--168},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MalletD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Ducasse99,
author = {Mireille Ducass{\'{e}}},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Coca: An automated Debugger for {C}},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {504--513},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302682},
doi = {10.1145/302405.302682},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Ducasse99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/JahierD99,
author = {Erwan Jahier and
Mireille Ducass{\'{e}}},
editor = {Fran{\c{c}}ois Fages},
title = {Un traceur d'ex{\'{e}}cution de programme ne sert pas qu'au d{\'{e}}bogage},
booktitle = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
pages = {297--311},
publisher = {Hermes},
year = {1999},
timestamp = {Tue, 30 Mar 2004 12:53:17 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/JahierD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DucasseR99,
author = {Mireille Ducass{\'{e}} and
Laurence Roz{\'{e}}},
editor = {Annalisa Bossi},
title = {Proof Obligations of the {B} Formal Method: Local Proofs Ensure Global
Consistency},
booktitle = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
pages = {10--29},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720327\_2},
doi = {10.1007/10720327\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DucasseR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/DucasseKP99,
author = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
editor = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
title = {Preface},
booktitle = {Tenth Workshop on Logic Programming Environments, {WLPE} 1999, in
connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {4},
pages = {197},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80657-7},
doi = {10.1016/S1571-0661(05)80657-7},
timestamp = {Wed, 23 Nov 2022 16:44:13 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DucasseKP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/JahierDR99,
author = {Erwan Jahier and
Mireille Ducass{\'{e}} and
Olivier Ridoux},
editor = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
title = {Specifying Byrd's Box Model with a Continuation Semantics},
booktitle = {Tenth Workshop on Logic Programming Environments, {WLPE} 1999, in
connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {4},
pages = {308--315},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)82516-2},
doi = {10.1016/S1571-0661(05)82516-2},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JahierDR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1999,
editor = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
title = {Tenth Workshop on Logic Programming Environments, {WLPE} 1999, in
connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {4},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/30/issue/4},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DucasseN98,
author = {Mireille Ducass{\'{e}} and
Jacques Noy{\'{e}}},
editor = {Konstantinos Sagonas},
title = {Tracing Prolog Programs by Source Instrumentation is Efficient Enough},
booktitle = {Proceedings of the International Workshop on Implementation Technology
for Programming Languages based on Logic, held in conjunction with
the Joint International Conference and Symposium on Logic Programming,
Manchester, UK, Saturday 20th June, 1998},
pages = {46--58},
year = {1998},
timestamp = {Wed, 20 Jun 2018 17:50:49 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DucasseN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/MalletD98,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Olivier Ridoux},
title = {Pilotage d'un m{\'{e}}ta-interpr{\`{e}}te ensembliste par une
trace "relationelle" pour le d{\'{e}}bogage de bases
de donn{\'{e}}es d{\'{e}}ductives},
booktitle = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
France},
pages = {151},
publisher = {Hermes},
year = {1998},
timestamp = {Thu, 27 May 2004 08:16:09 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/MalletD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MalletD98,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Pierre Flener},
title = {Myrtle: {A} Set-Oriented Meta-Interpreter Driven by a "Relational"
Trace for Deductive Databases Debugging},
booktitle = {Logic Programming Synthesis and Transformation, 8th International
Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1559},
pages = {328--330},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_24},
doi = {10.1007/3-540-48958-4\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MalletD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Ducasse97,
author = {Mireille Ducass{\'{e}}},
title = {Introduction},
journal = {Autom. Softw. Eng.},
volume = {4},
number = {2},
pages = {119--120},
year = {1997},
url = {https://doi.org/10.1023/A:1008600232608},
doi = {10.1023/A:1008600232608},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Ducasse97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/MalletD97,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Mariam Kamkar},
title = {{DDB} Trees: {A} Basis for Deductive Database Explanations},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {87--102},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=009},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/MalletD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/MalletD97,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {An Informal Presentation of {DDB} Trees: {A} Basis for Deductive Database
Explanations},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 12:05:32 +0200},
biburl = {https://dblp.org/rec/conf/deductive/MalletD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/MalletD97,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Anthony J. Kusalik and
Mireille Ducass{\'{e}} and
Ulrich Neumerkel},
title = {Generating {DDB} Trees (Abstract)},
booktitle = {Proceedings of the 8th Workshop on Logic Programming Environments,
{LPE} '97, post-conference workshop at {ICLP} 1997, Leuven, Belgium,
July 11, 1997},
pages = {13},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/MalletD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PueblaCDDFS97,
author = {Germ{\'{a}}n Puebla and
Marco Comini and
Wlodzimierz Drabent and
Mireille Ducass{\'{e}} and
Massimo Fabris and
Christian Schulte},
editor = {Jan Maluszynski},
title = {Tools and Environments for (Constraint) Logic Programming (Workshop
Overview)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {417--418},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PueblaCDDFS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1997,
editor = {Anthony J. Kusalik and
Mireille Ducass{\'{e}} and
Ulrich Neumerkel},
title = {Proceedings of the 8th Workshop on Logic Programming Environments,
{LPE} '97, post-conference workshop at {ICLP} 1997, Leuven, Belgium,
July 11, 1997},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ducassen96,
author = {Mireille Ducass{\'{e}} and
Jacques Noy{\'{e}}},
editor = {Michael J. Maher},
title = {Tracing Prolog without a Tracer (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {534},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278898},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ducassen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchoenigD96,
author = {St{\'{e}}phane Schoenig and
Mireille Ducass{\'{e}}},
editor = {Radhia Cousot and
David A. Schmidt},
title = {A Backward Slicing Algorithm for Prolog},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {317--331},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_50},
doi = {10.1007/3-540-61739-6\_50},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SchoenigD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Ducasse95,
author = {Mireille Ducass{\'{e}}},
editor = {Mireille Ducass{\'{e}}},
title = {Automated Debugging Extensions of the Opium Trace Analyser},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {293--308},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Ducasse95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/SchoenigD95,
author = {St{\'{e}}phane Schoenig and
Mireille Ducass{\'{e}}},
editor = {Markus P. J. Fromherz and
Marc Kirschenbaum and
Anthony J. Kusalik},
title = {Hybrid Backward Slicing Algorithm Producing Executable Slices for
Prolog},
booktitle = {Proceedings of the 7th Workshop on Logic Programming Environments,
{LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
December 8, 1995},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/SchoenigD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aadebug/1995,
editor = {Mireille Ducass{\'{e}}},
title = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DucasseN94,
author = {Mireille Ducass{\'{e}} and
Jacques Noy{\'{e}}},
title = {Logic Programming Environments: Dynamic Program Analysis and Debugging},
journal = {J. Log. Program.},
volume = {19/20},
pages = {351--384},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90030-2},
doi = {10.1016/0743-1066(94)90030-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DucasseN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Ducasse93,
author = {Mireille Ducass{\'{e}}},
editor = {Peter Fritszon},
title = {A Pragmatic Survey of Automated Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {1--15},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019397},
doi = {10.1007/BFB0019397},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Ducasse93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1993,
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Ducasse92,
author = {Mireille Ducass{\'{e}}},
editor = {Jean{-}Paul Delahaye and
Philippe Devienne and
Philippe Mathieu and
Pascal Yim},
title = {Analysis of failing Prolog Executions},
booktitle = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
de Programmation Logique, 25-27 Mai 1992, Lille, France},
pages = {341--352},
year = {1992},
timestamp = {Fri, 25 Jun 2004 15:29:52 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Ducasse92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Ducasse92,
author = {Mireille Ducass{\'{e}}},
editor = {Andrei Voronkov},
title = {Opium - {A} High-level Debugging Environment},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {472--474},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013091},
doi = {10.1007/BFB0013091},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Ducasse92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Ducasse92,
author = {Mireille Ducass{\'{e}}},
editor = {Mireille Ducass{\'{e}} and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {A Trace Analyser to Prototype Explanations},
booktitle = {Proceedings of the 4th Workshop on Logic Programming Environments
{(LPE} 1992), November 13th, 1992, In conjunction with {JICSLP} 1992,
Washington, DC, {USA.} Technical Report {TR} 92-143},
pages = {22--28},
publisher = {Case Western Reserver University, Cleveland},
year = {1992},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/Ducasse92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpss/Ducasse92,
author = {Mireille Ducass{\'{e}}},
editor = {G{\'{e}}rard Comyn and
Norbert E. Fuchs and
Michael Ratcliffe},
title = {Opium - An Advanced Debugging System},
booktitle = {Logic Programming in Action, Second International Logic Programming
Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {636},
pages = {303--312},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55930-2\_21},
doi = {10.1007/3-540-55930-2\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lpss/Ducasse92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Ducasse92,
author = {Mireille Ducass{\'{e}}},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {A General Trace Query Mechanism Based on Prolog},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {400--414},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_150},
doi = {10.1007/3-540-55844-6\_150},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Ducasse92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1992,
editor = {Mireille Ducass{\'{e}} and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Proceedings of the 4th Workshop on Logic Programming Environments
{(LPE} 1992), November 13th, 1992, In conjunction with {JICSLP} 1992,
Washington, DC, {USA.} Technical Report {TR} 92-143},
publisher = {Case Western Reserver University, Cleveland},
year = {1992},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DucasseE91,
author = {Mireille Ducass{\'{e}} and
Anna{-}Maria Emde},
title = {{OPIUM:} a debugging environment for Prolog development and debugging
research},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {16},
number = {1},
pages = {54--59},
year = {1991},
url = {https://doi.org/10.1145/126496.126500},
doi = {10.1145/126496.126500},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/DucasseE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DucasseE91a,
author = {Mireille Ducass{\'{e}} and
Anna{-}Maria Emde},
title = {{OPIUM:} a debugging environment for Prolog development and debugging
research},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {16},
number = {2},
pages = {67--72},
year = {1991},
url = {https://doi.org/10.1145/122538.122549},
doi = {10.1145/122538.122549},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/DucasseE91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Ducasse91,
author = {Mireille Ducass{\'{e}}},
editor = {Mireille Ducass{\'{e}} and
G{\'{e}}rard Ferrand},
title = {Analysis of Failing Prolog Executions},
booktitle = {Proceedings of the {ICLP} 1991 Workshop on Logic Programming Environments,
Paris, June 1991. Technical Report, University of Orl{\'{e}}ans,
France, {LIFO} {N} 91-6},
pages = {2--9},
publisher = {University of Orl{\'{e}}ans, France},
year = {1991},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/Ducasse91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Ducasse91,
author = {Mireille Ducass{\'{e}}},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {Abstract Views of Prolog Executions in Opium},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {18--32},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Ducasse91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1991,
editor = {Mireille Ducass{\'{e}} and
G{\'{e}}rard Ferrand},
title = {Proceedings of the {ICLP} 1991 Workshop on Logic Programming Environments,
Paris, June 1991. Technical Report, University of Orl{\'{e}}ans,
France, {LIFO} {N} 91-6},
publisher = {University of Orl{\'{e}}ans, France},
year = {1991},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/EmdeD90,
author = {Anna{-}Maria Emde and
Mireille Ducass{\'{e}}},
editor = {Serge Bourgault and
Mehmet Dincbas},
title = {Automated debugging of non-terminating Prolog programs},
booktitle = {SPLT'90, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
en Logique, 16-18 mai 1990, Tr{\'{e}}gastel, France},
pages = {89},
year = {1990},
timestamp = {Mon, 06 Sep 2004 15:30:15 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/EmdeD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/EmdeD90,
author = {Anna{-}Maria Emde and
Mireille Ducass{\'{e}}},
editor = {Mireille Ducass{\'{e}} and
Anna{-}Maria Emde and
Anthony J. Kusalik and
Jacob Levy},
title = {Automated Debugging of Non-Terminating Prolog Programs},
booktitle = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
pages = {35--39},
year = {1990},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/EmdeD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1990,
editor = {Mireille Ducass{\'{e}} and
Anna{-}Maria Emde and
Anthony J. Kusalik and
Jacob Levy},
title = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
year = {1990},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Ducasse88,
author = {Mireille Ducass{\'{e}}},
editor = {Yves Kodratoff},
title = {Opium\({}^{\mbox{+}}\), a Meta-Debugger for Prolog},
booktitle = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
Germany, August 1-5, 1988, Proceedings},
pages = {272--277},
publisher = {Pitmann Publishing, London},
year = {1988},
timestamp = {Tue, 30 Jul 2019 13:42:25 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Ducasse88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DucasseE88,
author = {Mireille Ducass{\'{e}} and
Anna{-}Maria Emde},
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {A Review of Automated Debugging Systems: Knowledge, Strategies, and
Techniques},
booktitle = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
pages = {162--173},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55841},
timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
biburl = {https://dblp.org/rec/conf/icse/DucasseE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Ducasse86,
author = {Mireille Ducass{\'{e}}},
title = {{OPIUM:} un outil de trace sophistiqu{\'{e}} pour {PROLOG}},
booktitle = {SPLT'86, S{\'{e}}minaire Programmation en Logique, 21-23 mai
1986, Tr{\'{e}}gastel, France},
pages = {281--292},
year = {1986},
timestamp = {Thu, 22 Jul 2004 12:41:50 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Ducasse86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DucasseFG84,
author = {Mireille Ducass{\'{e}} and
J. Faget and
Alain Grumbach},
editor = {Mehmet Dincbas},
title = {A propos du mariage {LISP-PROLOG:} les bases du langage {FROG}},
booktitle = {SPLT'84, S{\'{e}}minaire Programmation en Logique, 25-27 avril
1984, Plestin-les-Gr{\`{e}}ves, France},
year = {1984},
timestamp = {Mon, 06 Sep 2004 15:26:43 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/DucasseFG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
