Valentin Cassano
Valentin Cassano
Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
Verified email at
Cited by
Cited by
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
The definition and assessment of a safety argument
V Cassano, TSE Maibaum
2014 IEEE International Symposium on Software Reliability Engineering …, 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
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
Default modal systems as algebraic updates
V Cassano, R Fervari, C Areces, PF Castro
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
Reasoning About Prescription and Description Using Prioritized Default Rules
V Cassano12, C Areces12, P Castro13
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
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
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
Algebraic tools for default modal systems
V Cassano, R Fervari, C Areces, PF Castro
Journal of Logic and Computation, 2022
Non-monotonic Reasoning via Dynamic Consequence
C Areces, V Cassano, R Fervari
Logic, Language, Information, and Computation: 28th International Workshop …, 2022
Deontic Action Logics via Algebra.
PF Castro, V Cassano, R Fervari, C Areces
DEON, 77-93, 2021
An Algebraic Approach for Action Based Default Reasoning
PF Castro, V Cassano, R Fervari, C Areces
arXiv preprint arXiv:1907.09124, 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
A Logical Basis for Reasoning with Default Rules
V Cassano
McMaster University, 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
Actions and Events in Concurrent Systems Design
V Cassano, TSE Maibaum
arXiv preprint arXiv:1401.0970, 2014
Interpolation Results for Default Logic Over Modal Logic
V Cassano, R Fervari, C Areces, P Castro
AiML 2018, 21, 0
The system can't perform the operation now. Try again later.
Articles 1–18