Ludovic Langevine

21 papers A 1B 4C 1Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2014 — conf
The Logic of Insurance: an Ontology-Centric Pricing Application.
ISWC (Industry Track)
Ludovic Langevine, Paul Bone
2010 C conf
Declarative workflows to efficiently manage flexible and advanced business processes.
PPDP
Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof
2008 J jnl
Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs
CoRR
Ludovic Langevine, Mireille Ducassé
2008 J jnl
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs.
Theory Pract. Log. Program.
Ludovic Langevine, Mireille Ducassé
2005 J jnl
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
CoRR
Ludovic Langevine, Mireille Ducassé
2005 — conf
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs.
WLPE
Ludovic Langevine, Mireille Ducassé
2005 — conf
A tracer driver for hybrid execution analyses.
AADEBUG
Ludovic Langevine, Mireille Ducassé
2005 B conf
Gentra4cp: A Generic Trace Format for Constraint Programming.
ICLP
Ludovic Langevine
2004 B conf
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer.
ICLP
Ludovic Langevine, Mireille Ducassé
2004 — conf
Un pilote de traceur pour la PLC.
JFPLC
Ludovic Langevine, Mireille Ducassé
2003 — conf
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.
CSCLP
Ludovic Langevine, Pierre Deransart, Mireille Ducassé
2003 B conf
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.
ICLP
Ludovic Langevine, Mireille Ducassé, Pierre Deransart
2003 — conf
Demonstration: Debugging constraint problems with portable tools.
WLPE
Pierre Deransart, Ludovic Langevine, Mireille Ducassé
2003 A conf
Observation of Constraint Programs.
CP
Ludovic Langevine
2003 — conf
Rigorous design of tracers: an experiment for constraint logic programming
AADEBUG
Mireille Ducassé, Ludovic Langevine, Pierre Deransart
2003 — conf
Un nouveau traceur générique pour GNU-Prolog.
JFPLC
Ludovic Langevine, Pierre Deransart
2003 J jnl
Un nouveau traceur générique pour GNU-Prolog.
Tech. Sci. Informatiques
Pierre Deransart, Ludovic Langevine
2002 — conf
Analyse automatisée de traces d'exécution de programmes CLP(FD).
JFPLC
Mireille Ducassé, Ludovic Langevine
2002 B conf
Automated Analysis of CLP(FD) Program Execution Traces.
ICLP
Mireille Ducassé, Ludovic Langevine
2002 — conf
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.
JFPLC
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
2001 — conf
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.
WLPE
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier