Travelled to:1 × New Zealand
1 × USA
Collaborated with:A.Cimatti S.Tonetta M.Bozzano A.Griggio M.Gario K.Y.Rozier R.Cavada A.Mariotti A.Micheli S.Mover M.Pensallorto M.Roveri A.Susi
Talks about:model (2) check (2) techniqu (1) traffic (1) support (1) control (1) analysi (1) safeti (1) requir (1) explor (1)
Person: Cristian Mattarei
DBLP: Mattarei:Cristian
Contributed to:
2015
20092016Wrote 3 papers:
- CAV-2015-BozzanoCGM #analysis #modelling #performance #safety
- Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
- ASE-2009-CavadaCMMMMPRST #requirements #validation
- Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.
- CAV-2016-GarioCMTR #automation #design #model checking #scalability
- Model Checking at Scale: Automated Air Traffic Control Design Space Exploration (MG, AC, CM, ST, KYR), pp. 3–22.