Travelled to:1 × France
Collaborated with:S.Kokaly R.Salay T.Maibaum M.Chechik R.Fervari G.Hoffmann C.Areces P.F.Castro
Talks about:intuitionist (1) tableaux (1) calculus (1) approach (1) default (1) system (1) evolut (1) model (1) manag (1) logic (1)
Person: Valentin Cassano
DBLP: Cassano:Valentin
Contributed to:
2016
2019Wrote 2 papers:
- MoDELS-2016-KokalySCMC #approach #assurance #evolution #model management #reuse
- A model management approach for assurance case reuse due to system evolution (SK, RS, VC, TM, MC), pp. 196–206.
- CADE-2019-CassanoFHAC #calculus #logic
- A Tableaux Calculus for Default Intuitionistic Logic (VC, RF, GH, CA, PFC), pp. 161–177.