Valentin Cassano
Valentin Cassano
Department of Mathematics, Universidad Nacional de Rio Cuarto
Verified email at dc.exa.unrc.edu.ar
Title
Cited by
Cited by
Year
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
272016
The definition and assessment of a safety argument
V Cassano, TSE Maibaum
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
92014
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
32019
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
22016
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
22015
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
12020
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
The system can't perform the operation now. Try again later.
Articles 1–14