Laura Baracchi

According to our database1, Laura Baracchi authored at least 4 papers between 2014 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.
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.
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.
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.
Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014


  Loading...