Stefano Puri

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 9

Top Topics

Software Life Cycle

Architectural Design

Safety Analysis

Top Venues

EduSymp/OSS4MDE@MoDELS

J. Syst. Softw.

Publications

Alessandro Druetto, Enrico Bini, Andrea Grosso, Stefano Puri, Silvio Bacci, Marco Di Natale, Francesco Paladino
Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱. RTNS (2023)
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
A comprehensive framework for the analysis of automotive systems. MoDELS (2022)
Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina
Guiding assurance of architectural design patterns for critical applications. J. Syst. Archit. 110 (2020)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe (2018)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw. 131 (2017)
Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi
CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems. EduSymp/OSS4MDE@MoDELS (2016)
Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. Ada-Europe (2016)
Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri
The CONCERTO Methodology for Model-Based Development of Avionics Software. Ada-Europe (2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR (2015)
Silvia Mazzini, Laura Baracchi, Stefano Puri, Mauro Pasquinelli, Diego Gerbaz, Joachim Fuchs, Valter Basso, Lorenzo Pace, Marco Lassalle, Juhani Viitaniemi
Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System. CIISE (2014)
Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. ASE (2012)
Silvia Mazzini, Stefano Puri, Tullio Vardanega
An MDE methodology for the development of high-integrity real-time systems. DATE (2009)
Matteo Bordin, Marco Panunzio, Stefano Puri
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. ASE (2008)