Follow
Valentin Cassano
Valentin Cassano
Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
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
322016
The definition and assessment of a safety argument
V Cassano, TSE Maibaum
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
112014
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
62019
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
42021
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
42015
Reasoning About Prescription and Description Using Prioritized Default Rules
V Cassano12, C Areces12, P Castro13
32018
Default modal systems as algebraic updates
V Cassano, R Fervari, C Areces, PF Castro
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
22020
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
22019
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
22016
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
12023
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
C Areces, V Cassano, PF Castro, R Fervari, AR Saravia
1*
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
Data Graphs with Incomplete Information (and a Way to Complete Them)
C Areces, V Cassano, D Dutto, R Fervari
The system can't perform the operation now. Try again later.
Articles 1–20