Laura Baracchi

According to our database, Laura Baracchi authored at least 5 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

JINR Open Access Repository based on the JOIN² Platform.

Irina Filozova, Tatyana Zaikina, Galina Shestakova, Roman Semenov, Martin Köhler, Alexander Wagner, Laura Baracchi

Proceedings of the Supplementary Proceedings of the XXII International Conference on Data Analytics and Management in Data Intensive Domains, 2020

2016

CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.

Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi

Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.

Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications.

Silvia Mazzini, John M. Mavaro, Laura Baracchi

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014

Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.

Silvia Mazzini, Laura Baracchi, Stefano Puri, Mauro Pasquinelli, Diego Gerbaz, Joachim Fuchs, Valter Basso, Lorenzo Pace, Marco Lassalle, Juhani Viitaniemi

Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014