Stefano Puri

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