A model management approach for assurance case reuse due to system evolution S Kokaly, R Salay, V Cassano, T Maibaum, M Chechik Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016 | 27 | 2016 |

The definition and assessment of a safety argument V Cassano, TSE Maibaum 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 9 | 2014 |

Interpolation and beth definability in default logics V Cassano, R Fervari, C Areces, PF Castro European Conference on Logics in Artificial Intelligence, 675-691, 2019 | 3 | 2019 |

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case V Cassano, TSE Maibaum, S Grigorova International Conference on Formal Engineering Methods, 1-17, 2016 | 2 | 2016 |

A propositional tableaux based proof calculus for reasoning with default rules V Cassano, CGL Pombo, TSE Maibaum International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 2 | 2015 |

Towards Making Safety Case Arguments Explicit, Precise, and Well Founded V Cassano, TSE Maibaum, S Grigorova Implicit and Explicit Semantics Integration in Proof-Based Developments of …, 2020 | 1 | 2020 |

Default Modal Systems as Algebraic Updates V Cassano, R Fervari, C Areces, PF Castro International Workshop on Dynamic Logic, 103-119, 2020 | | 2020 |

A Tableaux Calculus for Default Intuitionistic Logic V Cassano, R Fervari, G Hoffmann, C Areces, PF Castro International Conference on Automated Deduction, 161-177, 2019 | | 2019 |

An Algebraic Approach for Action Based Default Reasoning PF Castro, V Cassano, R Fervari, C Areces arXiv preprint arXiv:1907.09124, 2019 | | 2019 |

A Logical Basis for Reasoning with Default Rules V Cassano | | 2015 |

Is current incremental safety assurance sound? V Cassano, S Grigorova, NK Singh, M Adedjouma, M Lawford, ... International Conference on Computer Safety, Reliability, and Security, 397-408, 2014 | | 2014 |

Actions and Events in Concurrent Systems Design V Cassano, TSE Maibaum arXiv preprint arXiv:1401.0970, 2014 | | 2014 |

Deontic Action Logics via Algebra PF Castro, V Cassano, R Fervari, C Areces | | |

Interpolation Results for Default Logic Over Modal Logic V Cassano, R Fervari, C Areces, P Castro AiML 2018, 21, 0 | | |