Mireille Ducassé

Professor in Computer Science at INSA Rennes
Contact : Mireille.Ducasse[at]insa-rennes.fr
Teaching information available here

In charge of “Internationalisation of Campus” and “Relations with Georgia” programs

Research

Current project : Kartu-Verbs: A Semantic Web Base of Inflected Verb Forms for the Georgian Language
- An application of Sparklis to help Foreigners learn about Georgian conjugation
Other Research Interest
- Groupe decision and negotiation
- Semantic web
- and also : Trace analysis, Intrusion detection, Software engineering,
  Debugging, Logic programming

Complete bibliography from the SemLIS web pages
- the most complete, sorted by type, with access to the publications of the SemLIS team
Google Scholar profile
- rather complete, sorted by citations, with hindex
DBLP
- rather complete, sorted by year, with search facilities
HAL
- incomplete, sorted by year, with acces to pdf for some articles

Mireille Ducassé and Peggy Cellier. Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study. Journal of Group Decision and Negotiation, 25(6):1211-1235, 2016.
Ducassé and P. Cellier. Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation. Journal of Group Decision and Negotiation, 23(4):673-694, 2014.
Benjamin Morin, Ludovic Mé, Hervé Debar, and M. Ducassé. A Logic-based model to support alert correlation in intrusion detection. Information Fusion, 10(4):285-299, October 2009.
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille Ducassé. A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Found. of Computer Science (IJFCS), 19(2), 2008.
Mireille Ducassé. Opium: An extendable trace analyser for Prolog. The Journal of Logic programming, 1999.

Archil Elizbarashvili (with Magda Tsintsadze, Ivane Javakhishvili Tbilisi State University)
The problem of Georgian Verb Lemmatization in translation and ways to solve it
Started October 2020
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
Sarah Mallet
Explanations for deductive systems
November 1999.

1982- 1985 : computer science researcher at “Laboratoires de Marcoussis”, industrial research center of “Compagnie Générale d’électricité”, France
1985- 1993: computer science researcher at ECRC (European Computer-Industry Research Centre), Munich, Germany
since 1993: professor in computer science at INSA of Rennes (Institut National des Sciences Appliquées) et researcher at IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires), France
December 2010-February 2021:Director of International Affairs of INSA of Rennes and member of the direction team; June 2017 -March 2020 coordinator of International Affairs of Groupe INSA
Since march 2021: in charge of “Internationalisation of Campus” and “Relations with Georgia” programs
Member of the national commission in charge of the assessment of French academics in computer science (“CNU 27e section”) 2007-2011.
Conference chair of “International Conference in Logic Programming”, ICLP 2004. (Co)Supervisor of 9 PhD. Program Chair of 3 national and international conferences; Editor of two special issues of the Automated Software Engineering journal.
Chair of the Computer Science department of INSA, March 2007 to February 2010; Member of scientific board of INSA, September 1994 to May 2002. Member of the board of directors (“conseil d’administration”) of INSA, June 2006 to June 2011.