Stefano Puri

According to our database, Stefano Puri authored at least 13 papers between 2008 and 2023.

Collaborative distances:

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

2023

Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱.

Alessandro Druetto, Enrico Bini, Andrea Grosso, Stefano Puri, Silvio Bacci, Marco Di Natale, Francesco Paladino

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

2022

A comprehensive framework for the analysis of automotive systems.

Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2020

Guiding assurance of architectural design patterns for critical applications.

Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina

J. Syst. Archit., 2020

2018

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri

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

2017

A method to generate reusable safety case argument-fragments from compositional safety analysis.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri

J. Syst. Softw., 2017

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 Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri

Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

The CONCERTO Methodology for Model-Based Development of Avionics Software.

Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri

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.

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

2012

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems.

Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega

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.

Silvia Mazzini, Stefano Puri, Tullio Vardanega

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.

Matteo Bordin, Marco Panunzio, Stefano Puri

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008