Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. - Matteo Bordin; Marco Panunzio; Stefano Puri (ASE, 2008)

An MDE methodology for the development of high-integrity real-time systems. - Silvia Mazzini; Stefano Puri; Tullio Vardanega (DATE, 2009)

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 (ASE, 2012)

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 (CIISE, 2014)

The CONCERTO Methodology for Model-Based Development of Avionics Software. - Andrea Baldovin; Alessandro Zovi; Geoffrey Nelissen; Stefano Puri (Ada-Europe, 2015)

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (ICSR, 2015)

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. - Laura Baracchi; Silvia Mazzini; Stefano Puri; Tullio Vardanega (Ada-Europe, 2016)

CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems. - Silvia Mazzini; John M. Favaro; Stefano Puri; Laura Baracchi (EduSymp/OSS4MDE@MoDELS, 2016)

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)

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (Ada-Europe, 2018)

Guiding assurance of architectural design patterns for critical applications. - Irfan Sljivo; Garazi Juez Uriagereka; Stefano Puri; Barbara Gallina (J. Syst. Archit., 2020)

A comprehensive framework for the analysis of automotive systems. - Alessandro Cimatti; Sara Corfini; Luca Cristoforetti; Marco Di Natale; Alberto Griggio; Stefano Puri; Stefano Tonetta (MoDELS, 2022)

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 (RTNS, 2023)