Gilles Muller

From MaRDI portal
Person:192366

Available identifiers

zbMath Open muller.gillesMaRDI QIDQ192366

List of research outcomes





PublicationDate of PublicationType
A foundation for flow-based program matching: using temporal logic and model checking2015-07-03Paper
Automatic Verification of Bossa Scheduler Properties2015-03-18Paper
https://portal.mardi4nfdi.de/entity/Q44725322004-08-04Paper
Static and dynamic program compilation by interpreter specialization2001-10-01Paper
Accurate program analyses for successful specialization of legacy system software2000-10-26Paper

Research outcomes over time

This page was built for person: Gilles Muller

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