BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Italy
Collaborated with:
S.Mazzini T.Vardanega M.Panunzio A.Zovi M.Bordin A.Baldovin G.Nelissen Laura Baracchi Irfan Sljivo B.Gallina J.Carlson H.Hansson A.Cicchetti F.Ciccozzi
Talks about:
develop (4) model (4) system (3) methodolog (2) integr (2) driven (2) tool (2) time (2) real (2) high (2)

Person: Stefano Puri

DBLP DBLP: Puri:Stefano

Contributed to:

Ada-Europe 20152015
ASE 20122012
DATE 20092009
ASE 20082008
Ada-Europe 20162016
Ada-Europe 20182018

Wrote 6 papers:

AdaEurope-2015-BaldovinZNP #development #modelling
The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
ASE-2012-CicchettiCMPPZV #development #industrial #modelling #named
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems (AC, FC, SM, SP, MP, AZ, TV), pp. 362–365.
DATE-2009-MazziniPV #development #realtime
An MDE methodology for the development of high-integrity real-time systems (SM, SP, TV), pp. 1154–1159.
ASE-2008-BordinPP #agile #modelling #prototype #realtime #verification
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems (MB, MP, SP), pp. 491–492.
AdaEurope-2016-BaracchiMPV #development #lessons learnt #modelling #towards
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development (LB, SM, SP, TV), pp. 113–128.
AdaEurope-2018-SljivoGCHP #component #reuse #safety #specification
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (IS, BG, JC, HH, SP), pp. 19–33.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.