Stefano Puri

According to our database1, Stefano Puri authored at least 11 papers between 2008 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Guiding assurance of architectural design patterns for critical applications.
J. Syst. Archit., 2020

2018
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
A method to generate reusable safety case argument-fragments from compositional safety analysis.
J. Syst. Softw., 2017

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 Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

The CONCERTO Methodology for Model-Based Development of Avionics Software.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 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

2012
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2009
An MDE methodology for the development of high-integrity real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008


  Loading...