| 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 | 31 | 2016 |
| The definition and assessment of a safety argument V Cassano, TSE Maibaum 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 10 | 2014 |
| Interpolation and beth definability in default logics V Cassano, R Fervari, C Areces, PF Castro Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 5 | 2019 |
| 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 …, 2021 | 3 | 2021 |
| Default modal systems as algebraic updates V Cassano, R Fervari, C Areces, PF Castro Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020 | 2 | 2020 |
| Reasoning About Prescription and Description Using Prioritized Default Rules V Cassano12, C Areces12, P Castro13 | 2 | 2018 |
| A (proto) logical basis for the notion of a structured argument in a safety case V Cassano, TSE Maibaum, S Grigorova Formal Methods and Software Engineering: 18th International Conference on …, 2016 | 2 | 2016 |
| A propositional tableaux based proof calculus for reasoning with default rules V Cassano, CGL Pombo, TSE Maibaum Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015 | 2 | 2015 |
| A Deontic Logic of Knowingly Complying C Areces, V Cassano, PF Castro, R Fervari, AR Saravia Proceedings of the 2023 International Conference on Autonomous Agents and …, 2023 | 1 | 2023 |
| Algebraic tools for default modal systems V Cassano, R Fervari, C Areces, PF Castro Journal of Logic and Computation, 2022 | | 2022 |
| Non-monotonic Reasoning via Dynamic Consequence C Areces, V Cassano, R Fervari Logic, Language, Information, and Computation: 28th International Workshop …, 2022 | | 2022 |
| Deontic Action Logics via Algebra. PF Castro, V Cassano, R Fervari, C Areces DEON, 77-93, 2021 | | 2021 |
| An Algebraic Approach for Action Based Default Reasoning PF Castro, V Cassano, R Fervari, C Areces arXiv preprint arXiv:1907.09124, 2019 | | 2019 |
| A Tableaux Calculus for Default Intuitionistic Logic V Cassano, R Fervari, G Hoffmann, C Areces, PF Castro Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | | 2019 |
| A Logical Basis for Reasoning with Default Rules V Cassano McMaster University, 2015 | | 2015 |
| Is current incremental safety assurance sound? V Cassano, S Grigorova, NK Singh, M Adedjouma, M Lawford, ... Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | | 2015 |
| Actions and Events in Concurrent Systems Design V Cassano, TSE Maibaum arXiv preprint arXiv:1401.0970, 2014 | | 2014 |
| Interpolation Results for Default Logic Over Modal Logic V Cassano, R Fervari, C Areces, P Castro AiML 2018, 21, 0 | | |
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
