Meriem Ouederni

From MaRDI portal
Person:433345

Available identifiers

zbMath Open ouederni.meriemMaRDI QIDQ433345

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q29890012017-05-19Paper
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols2016-01-06Paper
Deciding choreography realizability2015-09-11Paper
Counterexample Guided Synthesis of Monitors for Realizability Enforcement2012-11-21Paper
A generic framework for \(n\)-protocol compatibility checking2012-07-13Paper
Synchronizability for Verification of Asynchronously Communicating Systems2012-06-15Paper

Research outcomes over time

This page was built for person: Meriem Ouederni

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