Travelled to:1 × Austria
1 × New Zealand
Collaborated with:R.Cavada A.Cimatti A.Micheli S.Mover M.Roveri S.Tonetta M.Dorigatti A.Griggio C.Mattarei M.Pensallorto A.Susi
Talks about:support (1) checker (1) symbol (1) requir (1) valid (1) nuxmv (1) model (1) check (1) tool (1) rail (1)
Person: Alessandro Mariotti
DBLP: Mariotti:Alessandro
Contributed to:
2014
2009Wrote 2 papers:
- CAV-2014-CavadaCDGMMMRT #model checking
- The nuXmv Symbolic Model Checker (RC, AC, MD, AG, AM, AM, SM, MR, ST), pp. 334–342.
- ASE-2009-CavadaCMMMMPRST #requirements #validation
- Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.