| 2017 | Coordination | Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. | Simon Bliudze, Alena Simalatsar, Alina Zolotukhina |
| 2017 | DATE | Near-optimal deployment of dataflow applications on many-core platforms with real-time guarantees. | Stefanos Skalistis, Alena Simalatsar |
| 2014 | BIBE | Safe Implementation of Embedded Software for a Portable Device Supporting Drug Administration. | Alena Simalatsar, Romain Bornet, Wenqi You, Yann Thoma, Giovanni De Micheli |
| 2012 | BIBE | Medical guidelines reconciling medical software and electronic devices: Imatinib case-study. | Alena Simalatsar, Giovanni De Micheli |
| 2012 | ICCD | Integration of correct-by-construction BIP models into the MetroII design space exploration flow. | Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone |
| 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 |
| 2009 | DATE | UMTS MPSoC design evaluation using a system level design framework. | Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2009 | ETFA | A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. | Andrey Somov, Ivan Minakov, Alena Simalatsar, Giorgio Fontana, Roberto Passerone |