Mamoun Filali

From MaRDI portal
Person:239157

Available identifiers

zbMath Open filali.mamounMaRDI QIDQ239157

List of research outcomes





PublicationDate of PublicationType
Abstracting communication to reason about distributed algorithms2024-07-11Paper
Mechanically verifying the fundamental liveness property of the Chord protocol2024-03-14Paper
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems2021-08-30Paper
Event algebra for transition systems composition application to timed automata2018-08-10Paper
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols2016-01-06Paper
Automatic Verification of Bossa Scheduler Properties2015-03-18Paper
An Alternative Definition for Timed Automata Composition2011-10-07Paper
A State/Event Temporal Deontic Logic2008-10-09Paper
https://portal.mardi4nfdi.de/entity/Q30248612005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q44721922004-08-03Paper
Reduction and quantifier elimination techniques for program validation2002-04-11Paper
https://portal.mardi4nfdi.de/entity/Q27290772001-11-04Paper
https://portal.mardi4nfdi.de/entity/Q43328581997-02-16Paper

Research outcomes over time

This page was built for person: Mamoun Filali

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