Laura Baracchi

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 3

Top Topics

Distributed Computation

Future Development

Lessons Learned

Top Venues

DAMDID/RCDL (Supplementary Proceedings)

EduSymp/OSS4MDE@MoDELS

Publications

Irina Filozova, Tatyana Zaikina, Galina Shestakova, Roman Semenov, Martin Köhler, Alexander Wagner, Laura Baracchi
JINR Open Access Repository based on the JOIN² Platform. DAMDID/RCDL (Supplementary Proceedings) (2020)
Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi
CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems. EduSymp/OSS4MDE@MoDELS (2016)
Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. Ada-Europe (2016)
Silvia Mazzini, John M. Mavaro, Laura Baracchi
A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications. ITSC (2015)
Silvia Mazzini, Laura Baracchi, Stefano Puri, Mauro Pasquinelli, Diego Gerbaz, Joachim Fuchs, Valter Basso, Lorenzo Pace, Marco Lassalle, Juhani Viitaniemi
Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System. CIISE (2014)