Mireille Ducassé - Concepedia

Author

Mireille Ducassé

Institut de Recherche en Informatique et Systèmes Aléatoires ORCID

Also Known As

Ducass'e, Mireille, Ducasse, M., Ducasse, Mireille, Ducassé, Mireille, Irisa Université Rennes, M. Ducasse, MIREILLE DUCASSÉ, Mireille Ducasse, Mireille Ducassé, Pierre Deransart

151

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires Institut National des Sciences Appliquées de Rennes Supélec Université de Rennes Institut national de recherche en sciences et technologies du numérique

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	506
2	Computer Science	12	13	506
3	Computer Engineering	3	3	121
4	Language Studies	1	1	16
5	Management	1	1	10

Mireille Ducassé

Publications

576

Citations

H-Index

Page 1

	Year	Citations
A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic Elvis Tombini, Hervé Debar, Ludovic Mé, Internet Traffic AnalysisAnomaly DetectionEngineeringInformation SecurityInformation Forensics	2005	92
Coca Mireille Ducassé Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisData Science	1999	82
A logic-based model to support alert correlation in intrusion detection Benjamin Morin, Ludovic Mé, Hervé Debar, Information Fusion Hardware SecurityEngineeringData ScienceData MiningInformation Security	2009	78
Opium: an extendable trace analyzer for Prolog Mireille Ducassé The Journal of Logic Programming Computational LogicEngineeringAutomated ReasoningExtendable Trace AnalyzerFormal Methods	1999	61
Logic programming environments: Dynamic program analysis and debugging Mireille Ducassé, Jacques Noyé The Journal of Logic Programming EngineeringAutomated ReasoningProgram AnalysisSoftware TestingDynamic Program Analysis	1994	40
Data mining and cross-checking of execution traces Tristan Denmat, Mireille Ducassé, Olivier Ridoux Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2005	39
Multiple Fault Localization with Data Mining Peggy Cellier, Mireille Ducassé, Sébastien Ferré, HAL (Le Centre pour la Communication Scientifique Directe)	2011	24
Formal specication of intrusion signatures and detection rules Jean-Philippe Pouzol, Mireille Ducassé EngineeringInformation SecurityVerificationInformation ForensicsSoftware Analysis	2005	22
Improving Constraint-Based Testing with Dynamic Linear Relaxations Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé Mathematical ProgrammingEngineeringCbt ToolsVerificationSoftware Engineering	2007	22
Using events to debug Java programs backwards in time Bil Lewis, Mireille Ducassé Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisJava Programs Backwards	2003	17

Page 1