Yusi Ramadian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2011
Best venue rank
Journal Published
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CASES | Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. | Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele |
| 2010 | ETFA | Parametric analysis of distributed firm real-time systems: A case study. | Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti |
| 2008 | RTSS | Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. | Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian |