Stefano Puri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2009–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | RTNS | 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 |
| 2022 | MODELS | A comprehensive framework for the analysis of automotive systems. | Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
| 2016 | MODELS | CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems. | Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi |
| 2015 | ICSR | A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri |
| 2009 | DATE | An MDE methodology for the development of high-integrity real-time systems. | Silvia Mazzini, Stefano Puri, Tullio Vardanega |