default search action

combined dblp search
author search
venue search
publication search

ask others

Stefano Puri

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/SljivoUPG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/SljivoUPG20
Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina:
Guiding assurance of architectural design patterns for critical applications. J. Syst. Archit. 110: 101765 (2020)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SljivoGCHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SljivoGCHP17
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: 570-590 (2017)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/DruettoBGPBNP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/DruettoBGPBNP23
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: 166-176
2022
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/models/CimattiCCNGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CimattiCCNGPT22
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: 379-389
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SljivoGCHP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SljivoGCHP18
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe 2018: 19-33
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BaracchiMPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BaracchiMPV16
Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega:
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. Ada-Europe 2016: 113-128
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/MazziniFPB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MazziniFPB16
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: 59-66
2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BaldovinZNP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BaldovinZNP15
Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri:
The CONCERTO Methodology for Model-Based Development of Avionics Software. Ada-Europe 2015: 131-145
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/SljivoGCHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/SljivoGCHP15
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR 2015: 253-268
2014
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ciise/MazziniBPPGFBPLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ciise/MazziniBPPGFBPLV14
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: 93-105
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CicchettiCMPPZV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CicchettiCMPPZV12
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: 362-365
2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MazziniPV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MazziniPV09
Silvia Mazzini, Stefano Puri, Tullio Vardanega:
An MDE methodology for the development of high-integrity real-time systems. DATE 2009: 1154-1159
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BordinPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BordinPP08
Matteo Bordin, Marco Panunzio, Stefano Puri:
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. ASE 2008: 491-492

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.