Mireille Ducassé

Publications

576

Citations

H-Index

1988

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Institut National des Sciences Appliquées de Rennes

Supélec

Université de Rennes

Institut national de recherche en sciences et technologies du numérique

Mireille Ducassé is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware TestingSoftware EngineeringData ScienceAutomated ReasoningFormal Verification

Publications per year

1988–2011

Publications

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

Elvis Tombini, Hervé Debar, Ludovic Mé et al. · 2005 · 92 citations

Internet Traffic Analysis, Anomaly Detection, Engineering +18

Coca

Mireille Ducassé · 1999 · 82 citations

Software Maintenance, Engineering, Software Engineering +18

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

Benjamin Morin, Ludovic Mé, Hervé Debar et al. · Information Fusion · 2009 · 78 citations

Hardware Security, Engineering, Data Science +11

Opium: an extendable trace analyzer for Prolog

Mireille Ducassé · The Journal of Logic Programming · 1999 · 61 citations

Computational Logic, Engineering, Automated Reasoning +6

Logic programming environments: Dynamic program analysis and debugging

Mireille Ducassé, Jacques Noyé · The Journal of Logic Programming · 1994 · 40 citations

Engineering, Automated Reasoning, Program Analysis +10

Rows per page

1–5 of 18