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 | 35 | 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 | 7 | 2019 |
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 | 5 | 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 …, 2021 | 4 | 2021 |
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 | 3 | 2019 |
Reasoning About Prescription and Description Using Prioritized Default Rules V Cassano12, C Areces12, P Castro13 | 3 | 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 | 3 | 2016 |
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 | 2 | 2023 |
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 | 2 | 2023 |
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 |
How easy it is to know how: an upper bound for the satisfiability problem C Areces, V Cassano, PF Castro, R Fervari, AR Saravia European Conference on Logics in Artificial Intelligence, 405-419, 2023 | 1 | 2023 |
Data Graphs with Incomplete Information (and a Way to Complete Them) C Areces, V Cassano, D Dutto, R Fervari European Conference on Logics in Artificial Intelligence, 729-744, 2023 | 1 | 2023 |
Data-Aware Hybrid Tableaux C Areces, V Cassano, R Fervari arXiv preprint arXiv:2406.12090, 2024 | | 2024 |
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 |