According to our database1, Stefano Puri authored at least 11 papers between 2008 and 2020.
Legend:Book In proceedings Article PhD thesis Other
J. Syst. Archit., 2020
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018
A method to generate reusable safety case argument-fragments from compositional safety analysis.
J. Syst. Softw., 2017
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
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016
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
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015
Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.
Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014
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
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008