| 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 | 32 | 2016 |
| The definition and assessment of a safety argument V Cassano, TSE Maibaum 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 12 | 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 | 6 | 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 | 4 | 2021 |
| Reasoning About Prescription and Description Using Prioritized Default Rules V Cassano12, C Areces12, P Castro13 | 3 | 2018 |
| 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 | 3 | 2015 |
| 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 |
| 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 Deontic Logic of Knowingly Complying C Areces, V Cassano, PF Castro, R Fervari, AR Saravia Proceedings of the 22nd International Conference on Autonomous Agents and …, 2023 | 1 | 2023 |
| 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 | 1 | 2019 |
| DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics C Areces, V Cassano, R Fervari, G Hoffmann International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | | 2023 |
| Algebraic tools for default modal systems V Cassano, R Fervari, C Areces, PF Castro Journal of Logic and Computation 33 (6), 1301-1325, 2023 | | 2023 |
| Non-monotonic Reasoning via Dynamic Consequence C Areces, V Cassano, R Fervari International Workshop on Logic, Language, Information, and Computation, 395-410, 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 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 |
| How Easy it is to Know How: An Upper Bound for the Satisfiability Problem C Areces, V Cassano, PF Castro, R Fervari, AR Saravia | | |
| Data Graphs with Incomplete Information (and a Way to Complete Them) C Areces, V Cassano, D Dutto, R Fervari | | |
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
