Christophe Gaston

From MaRDI portal
Person:3434647

Available identifiers

zbMath Open gaston.christopheMaRDI QIDQ3434647

List of research outcomes





PublicationDate of PublicationType
Interaction-based offline runtime verification of distributed systems2024-05-03Paper
Dynamic reconfigurations in frequency constrained data flow2024-04-19Paper
A data flow model with frequency arithmetic2023-11-24Paper
Revisiting Semantics of Interactions for Trace Validity Analysis2022-10-13Paper
Symbolic execution of transition systems with function summaries2022-07-01Paper
Symbolic Execution Techniques for Test Purpose Definition2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q48170532004-09-14Paper

Research outcomes over time

This page was built for person: Christophe Gaston

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