| 2026 | TACAS | AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic. | Valentin Cassano, Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2024 | SEFM | Pivotal Rules Consequence in Action Model Logic. | Valentin Cassano, Sabine Frittella |
| 2023 | JELIA | How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. | Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrs R. Saravia |
| 2023 | JELIA | Data Graphs with Incomplete Information (and a Way to Complete Them). | Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari |
| 2023 | TABLEAUX | DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. | Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann |
| 2022 | WoLLIC | Non-monotonic Reasoning via Dynamic Consequence. | Carlos Areces, Valentin Cassano, Raul Fervari |
| 2019 | CADE | A Tableaux Calculus for Default Intuitionistic Logic. | Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro |
| 2019 | JELIA | Interpolation and Beth Definability in Default Logics. | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
| 2018 | LPAR | Reasoning About Prescription and Description Using Prioritized Default Rules. | Valentin Cassano, Carlos Areces, Pablo F. Castro |
| 2016 | ICFEM | A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. | Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova |
| 2016 | MODELS | A model management approach for assurance case reuse due to system evolution. | Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik |
| 2015 | SAFECOMP | Is Current Incremental Safety Assurance Sound? | Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2015 | TABLEAUX | A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. | Valentin Cassano, Carlos Gustavo Lpez Pombo, Thomas Stephen Edward Maibaum |
| 2014 | ISSRE | The Definition and Assessment of a Safety Argument. | Valentin Cassano, T. S. E. Maibaum |