Maxime Cordy

From MaRDI portal
Person:2065552

Available identifiers

zbMath Open cordy.maximeMaRDI QIDQ2065552

List of research outcomes





PublicationDate of PublicationType
A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty2023-11-27Paper
ACoRe: automated goal-conflict resolution2023-11-24Paper
Statistical Model Checking for Variability-Intensive Systems2022-10-13Paper
Statistical model checking for variability-intensive systems: applications to bug detection and minimization2022-01-11Paper

Research outcomes over time

This page was built for person: Maxime Cordy

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2065552&oldid=6544550"
Powered by MediaWiki