Alin Stefanescu

From MaRDI portal
Person:680537

Available identifiers

zbMath Open stefanescu.alinMaRDI QIDQ680537

List of research outcomes





PublicationDate of PublicationType
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates2018-01-23Paper
On Distributed and Parameterized Supervisor Synthesis Problems2017-05-03Paper
https://portal.mardi4nfdi.de/entity/Q29639152017-02-21Paper
https://portal.mardi4nfdi.de/entity/Q55070732016-12-16Paper
Synthesis of distributed algorithms using asynchronous automata.2010-03-30Paper
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems2007-09-04Paper

Research outcomes over time

This page was built for person: Alin Stefanescu

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