Mireille Ducassé

Proceedings of the Extraction et Gestion des Connaissances, 2022

2017

Nested Forms with Dynamic Suggestions for Quality RDF Authoring.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2017

2016

Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters.

[BibT_eX]

[DOI]

Mouhamadou Ba

Trans. Large Scale Data Knowl. Centered Syst., 2016

FORMULIS: Dynamic Form-Based Interface for Guided Knowledge Graph Authoring.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

2015

Safe Suggestions Based on Type Convertibility to Guide Workflow Composition.

[BibT_eX]

[DOI]

Mouhamadou Ba

Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015

2014

Using Biddings and Motivations in Multi-unit Assignments.

[BibT_eX]

[DOI]

Peggy Cellier

Proceedings of the Group Decision and Negotiation. A Process-Oriented View, 2014

Generating Data Converters to Help Compose Services in Bioinformatics Workflows.

[BibT_eX]

[DOI]

Mouhamadou Ba

Proceedings of the Database and Expert Systems Applications, 2014

2012

Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation.

[BibT_eX]

Proceedings of the IC 2012 : 23es journées Ingénierie des Connaissances (Proceedings of the 23rd French Knowledge Engineering Conference), 2012

Guided Semantic Annotation of Comic Panels with Sewelis.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2012

An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2012

2011

Multiple Fault Localization with Data Mining.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Guided creation and update of objects in RDF(S) bases.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Knowledge Capture (K-CAP 2011), 2011

Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

Building up Shared Knowledge with Logical Information Systems.

[BibT_eX]

[DOI]

Peggy Cellier

Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, 2011

Combining Faceted Search and Query Languages for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

2009

A logic-based model to support alert correlation in intrusion detection.

[BibT_eX]

[DOI]

Inf. Fusion, 2009

DeLLIS: A Data Mining Process for Fault Localization.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

(C)LP Tracing and Debugging.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2008

A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

Formal Concept Analysis Enhances Fault Localization in Software.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis, 6th International Conference, 2008

Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

2007

Observational semantics of the Prolog Resolution Box Model

[BibT_eX]

[DOI]

Gérard Ferrand

CoRR, 2007

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

[BibT_eX]

[DOI]

Gérard Ferrand

CoRR, 2007

Improving Constraint-Based Testing with Dynamic Linear Relaxations.

[BibT_eX]

[DOI]

Arnaud Gotlieb

Proceedings of the ISSRE 2007, 2007

A Parameterized Algorithm for Exploring Concept Lattices.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis, 5th International Conference, 2007

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.

[BibT_eX]

[DOI]

Arnaud Gotlieb

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy.

[BibT_eX]

[DOI]

Proceedings of the Concept Lattices and Their Applications, 2006

2005

A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs

[BibT_eX]

[DOI]

CoRR, 2005

A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

Proving or Disproving likely Invariants with Constraint Reasoning.

[BibT_eX]

[DOI]

Arnaud Gotlieb

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

A tracer driver for hybrid execution analyses.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

Détection d'intrusions : corrélation d'alertes.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2004

Un pilote de traceur pour la PLC.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2004

A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003

Rigorous design of tracers: an experiment for constraint logic programming

[BibT_eX]

[DOI]

CoRR, 2003

Generic and Efficient Program Monitoring by trace analysis

[BibT_eX]

[DOI]

CoRR, 2003

Using events to debug Java programs backwards in time.

[BibT_eX]

[DOI]

Bil Lewis

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Demonstration: Debugging constraint problems with portable tools.

[BibT_eX]

Proceedings of the 13th International Workshop on Logic Programming Environments, 2003

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2003

2002

Generic program monitoring by trace analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

M2D2: A Formal Data Model for IDS Alert Correlation.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Intrusion Detection, 5th International Symposium, 2002

Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2002

Analyse automatisée de traces d'exécution de programmes CLP(FD).

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2002

Automated Analysis of CLP(FD) Program Execution Traces.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Formal Specification of Intrusion Signatures and Detection Rules.

[BibT_eX]

[DOI]

Jean-Philippe Pouzol

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001

Efficient Automated Trace Analysis: Examples with Morphine.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Runtime Verification, 2001

From Declarative Signatures to Misuse IDS.

[BibT_eX]

[DOI]

Jean-Philippe Pouzol

Proceedings of the Recent Advances in Intrusion Detection, 4th International Symposium, 2001

Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

2000

Tracing Prolog Programs by Source Instrumentation is Efficient Enough.

[BibT_eX]

[DOI]

Jacques Noyé

J. Log. Program., 2000

Specifying Prolog trace models with a continuation semantics.

[BibT_eX]

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Spécification de modèles de traces à l'aide d'une sémantique par continuations.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2000

1999

Specifying Byrd's Box Model with a Continuation Semantics.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

Preface.

[BibT_eX]

[DOI]

Anthony J. Kusalik

Germán Puebla

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

Opium: An Extendable Trace Analyzer for Prolog.

[BibT_eX]

[DOI]

J. Log. Program., 1999

Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.

[BibT_eX]

[DOI]

Laurence Rozé

Proceedings of the Logic Programming Synthesis and Transformation, 1999

Un traceur d'exécution de programme ne sert pas qu'au débogage.

[BibT_eX]

Proceedings of the JFPLC'99, 1999

Coca: An automated Debugger for C.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Generating Deductive Database Explanations.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

A Generic Approach to Monitor Program Executions.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives.

[BibT_eX]

Proceedings of the JFPLC'98, 1998

1997

Introduction.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1997

Tools and Environments for (Constraint) Logic Programming (Workshop Overview).

[BibT_eX]

Proceedings of the Logic Programming, 1997

Generating DDB Trees (Abstract).

[BibT_eX]

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations.

[BibT_eX]

Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

DDB Trees: A Basis for Deductive Database Explanations.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

A Backward Slicing Algorithm for Prolog.

[BibT_eX]

[DOI]

Stéphane Schoenig

Proceedings of the Static Analysis, Third International Symposium, 1996

Tracing Prolog without a Tracer (Poster Abstract).

[BibT_eX]

[DOI]

Jacques Noyé

Proceedings of the Logic Programming, 1996

1995

Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog.

[BibT_eX]

Stéphane Schoenig

Proceedings of the 7th Workshop on Logic Programming Environments, 1995

Automated Debugging Extensions of the Opium Trace Analyser.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Logic Programming Environments: Dynamic Program Analysis and Debugging.

[BibT_eX]

[DOI]

Jacques Noyé

J. Log. Program., 1994

1993

A Pragmatic Survey of Automated Debugging.

[BibT_eX]

[DOI]

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

A General Trace Query Mechanism Based on Prolog.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Opium - An Advanced Debugging System.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming in Action, 1992

A Trace Analyser to Prototype Explanations.

[BibT_eX]

Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992

Opium - A High-level Debugging Environment.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

OPIUM: a debugging environment for Prolog development and debugging research.

[BibT_eX]

[DOI]

Anna-Maria Emde

ACM SIGSOFT Softw. Eng. Notes, 1991

Abstract Views of Prolog Executions in Opium.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Analysis of Failing Prolog Executions.

[BibT_eX]

Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, 1991

1990

Automated Debugging of Non-Terminating Prolog Programs.

[BibT_eX]

Anna-Maria Emde

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

1988

A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques.

[BibT_eX]

[DOI]

Anna-Maria Emde

Proceedings of the Proceedings, 1988

Opium<sup>+</sup>, a Meta-Debugger for Prolog.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1986

OPIUM: un outil de trace sophistiqué pour PROLOG.

[BibT_eX]

Proceedings of the SPLT'86, 1986

1984

A propos du mariage LISP-PROLOG: les bases du langage FROG.

[BibT_eX]