| Deontic action logic, atomic boolean algebras and fault-tolerance PF Castro, TSE Maibaum Journal of Applied Logic 7 (4), 441-466, 2009 | 47 | 2009 |
| A complete and compact propositional deontic logic PF Castro, TSE Maibaum Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007 | 32 | 2007 |
| Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. PF Castro, N Aguirre, CGL Pombo, TSE Maibaum ICTAC 2010, 306-321, 2010 | 20 | 2010 |
| Goal-conflict detection based on temporal satisfiability checking R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 17 | 2016 |
| Tractable probabilistic μ-calculus that expresses probabilistic temporal logics P Castro, C Kilmurray, N Piterman University of Leicester, 2015 | 17 | 2015 |
| A tableaux system for deontic action logic PF Castro, TSE Maibaum Lecture Notes in Computer Science 5076, 34-48, 2008 | 17 | 2008 |
| Goal-conflict likelihood assessment based on model counting R Degiovanni, P Castro, M Arroyo, M Ruiz, N Aguirre, M Frias Proceedings of the 40th International Conference on Software Engineering …, 2018 | 10 | 2018 |
| dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification PF Castro, C Kilmurray, A Acosta, N Aguirre Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 9 | 2011 |
| Deontic logic, contrary to duty reasoning and fault tolerance PF Castro, TSE Maibaum Electronic Notes in Theoretical Computer Science 258 (2), 17-34, 2009 | 9 | 2009 |
| Reasoning about system-degradation and fault-recovery with deontic logic PF Castro, TSE Maibaum Methods, Models and Tools for Fault Tolerance, 25-43, 2009 | 9 | 2009 |
| Deontic action logics for specification and analysis of fault-tolerance PF Castro | 9 | 2009 |
| An evolutionary approach to translating operational specifications into declarative specifications F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro, N Aguirre, ... Science of Computer Programming 181, 47-63, 2019 | 8 | 2019 |
| Categorical foundations for structured specifications in PF Castro, N Aguirre, CL Pombo, TSE Maibaum Formal Aspects of Computing 27 (5-6), 831-865, 2015 | 8 | 2015 |
| An ought-to-do deontic logic for reasoning about fault-tolerance: The diarrheic philosophers PF Castro, TSE Maibaum Fifth IEEE International Conference on Software Engineering and Formal …, 2007 | 7 | 2007 |
| Synthesizing masking fault-tolerant systems from deontic specifications R Demasi, PF Castro, TSE Maibaum, N Aguirre Automated Technology for Verification and Analysis: 11th International …, 2013 | 6 | 2013 |
| 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 | 5 | 2019 |
| Measuring masking fault-tolerance PF Castro, PR D’Argenio, R Demasi, L Putruele Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 5 | 2019 |
| Deontic logics based on boolean algebra PF Castro, P Kulicki Krister Segerberg on Logic of Actions, 85-117, 2013 | 5 | 2013 |
| A Categorical Approach to Structuring and Promoting Z Specifications PF Castro, N Aguirre, CG López Pombo, T Maibaum Formal Aspects of Component Software: 9th International Symposium, FACS 2012 …, 2013 | 5 | 2013 |
| Towards a first-order deontic action logic PF Castro, TSE Maibaum Recent Trends in Algebraic Development Techniques: 20th International …, 2012 | 5 | 2012 |
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
