Prof. Mireille Ducassé

Professor in Computer Science at INSA Rennes
Contact : Mireille.Ducasse[at]insa-rennes.fr
Director of INSA International Affairs
Coordinator of International Committe of Groupe INSA
Contact : international[at]insa-rennes.fr
Researcher at IRISA, in the LIS Team
Contact : Mireille.Ducasse[at]irisa.fr

Teaching

Groupe decision and negotiation
Semantic web
and also : Trace analysis, Intrusion detection, Software engineering,
Debugging, Logic programming

From the LIS web page
(the most complete, sorted by type, with access to the publications of the LIS team)

DBLP
(rather complete, sorted by year, with search facilities)

HAL
(incomplete, sorted by year, with acces to pdf for some articles)

Google scholar profile
(rather complete, sorted by citations, with hindex)

Mouhamadou Ba (with Sébastien Ferré, University of Rennes 1)
Guided composition of tasks with logical information systems -
application to data analysis workflows in bioinformatics
December 2015
Alice Hermann (with Sébastien Ferré, University of Rennes 1)
Guided creation and update of objects in a knowledge base
December 2012
Peggy Cellier (With Sébastien Ferré and Olivier Ridoux, University of Rennes 1)
DeLLIS debugging and fault localization with a logical information system
December 2008
Tristan Denmat (with Arnaud Gotlieb, IRISA/INRIA)
Validation of Likely Invariants with Constraint Reasoning
December 2008
Elvis Tombini (with Ludovic Mé , SUPELEC Rennes et Hervé Debar,
France Telecom R&D Caen)
Improving the diagnosis in intrusion detection

2006
Ludovic Langevine (with Pierre Deransart, INRIA Rocquencourt)
Observation of Constraint Logic programs
December 2004.
Benjamin Morin (with Ludovic Mé , SUPELEC Rennes et Hervé Debar,
France Telecom R&D Caen)
Alert Correlation in Intrusion Detection.
February 2004.
Erwan Jahier
Trace analysis, debugging and monitoring of Mercury programs
December 2000