Travelled to:1 × Austria
1 × Germany
1 × New Zealand
1 × USA
Collaborated with:M.Roveri A.Cimatti R.Bloem I.Pill A.Mariotti A.Micheli S.Mover S.Tonetta A.Tchaltsev S.Semprini M.Dorigatti A.Griggio C.Mattarei M.Pensallorto A.Susi
Talks about:requir (3) analysi (2) formal (2) tool (2) support (1) hardwar (1) checker (1) symbol (1) valid (1) nuxmv (1)
Person: Roberto Cavada
DBLP: Cavada:Roberto
Contributed to:
2014
20092007
2006Wrote 4 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.
- CAV-2007-BloemCPRT #analysis #formal method #named #requirements
- RAT: A Tool for the Formal Analysis of Requirements (RB, RC, IP, MR, AT), pp. 263–267.
- DAC-2006-PillSCRBC #analysis #formal method #hardware #requirements
- Formal analysis of hardware requirements (IP, SS, RC, MR, RB, AC), pp. 821–826.