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: Puri:Stefano
Contributed to:
2015
2012
2009200820162018Wrote 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.