Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. - Alessandro Cimatti; Luigi Palopoli 002; Yusi Ramadian (RTSS, 2008)

Parametric analysis of distributed firm real-time systems: A case study. - Thi Thieu Hoa Le; Luigi Palopoli 002; Roberto Passerone; Yusi Ramadian; Alessandro Cimatti (ETFA, 2010)

Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. - Alena Simalatsar; Yusi Ramadian; Kai Lampka; Simon Perathoner; Roberto Passerone; Lothar Thiele (CASES, 2011)

Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata. - Yusi Ramadian (2012)

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. - Thi Thieu Hoa Le; Luigi Palopoli 002; Roberto Passerone; Yusi Ramadian (Int. J. Softw. Tools Technol. Transf., 2013)

The Mobile Territorial Lab: a multilayered and dynamic view on parents' daily lives. - Simone Centellegher; Marco De Nadai; Michele Caraviello; Chiara Leonardi; Michele Vescovi; Yusi Ramadian; Nuria Oliver; Fabio Pianesi; Alex Pentland; Fabrizio Antonelli; Bruno Lepri (EPJ Data Sci., 2016)