Actions and Events in Concurrent Systems Design. - Valentin Cassano; T. S. E. Maibaum (LAFM, 2013)

The Definition and Assessment of a Safety Argument. - Valentin Cassano; T. S. E. Maibaum (ISSRE Workshops, 2014)

Is Current Incremental Safety Assurance Sound? - Valentin Cassano; Silviya Grigorova; Neeraj Kumar Singh 001; Morayo Adedjouma; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (SAFECOMP Workshops, 2015)

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. - Valentin Cassano; Carlos Gustavo López Pombo; Thomas Stephen Edward Maibaum (TABLEAUX, 2015)

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. - Valentin Cassano; Thomas Stephen Edward Maibaum; Silviya Grigorova (ICFEM, 2016)

A model management approach for assurance case reuse due to system evolution. - Sahar Kokaly; Rick Salay; Valentin Cassano; Tom Maibaum; Marsha Chechik (MoDELS, 2016)

Reasoning About Prescription and Description Using Prioritized Default Rules. - Valentin Cassano; Carlos Areces; Pablo F. Castro (LPAR, 2018)

A Tableaux Calculus for Default Intuitionistic Logic. - Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001; Carlos Areces; Pablo F. Castro (CADE, 2019)

Interpolation and Beth Definability in Default Logics. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (JELIA, 2019)

An Algebraic Approach for Action Based Default Reasoning. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (TARK, 2019)

Default Modal Systems as Algebraic Updates. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (DaLí, 2020)

Deontic Action Logics via Algebra. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (DEON, 2021)

Non-monotonic Reasoning via Dynamic Consequence. - Carlos Areces; Valentin Cassano; Raul Fervari (WoLLIC, 2022)

A Deontic Logic of Knowingly Complying. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (AAMAS, 2023)

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (JELIA, 2023)

Data Graphs with Incomplete Information (and a Way to Complete Them). - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (JELIA, 2023)

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. - Carlos Areces; Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001 (TABLEAUX, 2023)

Algebraic tools for default modal systems. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (J. Log. Comput., 2023)

Pivotal Rules Consequence in Action Model Logic. - Valentin Cassano; Sabine Frittella (SEFM, 2024)

Data-Aware Hybrid Tableaux. - Carlos Areces; Valentin Cassano; Raul Fervari (CoRR, 2024)

Deontic Action Logics: A Modular Algebraic Perspective. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari (CoRR, 2025)

Sequent Calculi for Data-Aware Modal Logics. - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (CoRR, 2025)