Deontic action logic, atomic boolean algebras and fault-tolerance PF Castro, TSE Maibaum Journal of Applied Logic 7 (4), 441-466, 2009 | 50 | 2009 |
A complete and compact propositional deontic logic PF Castro, TSE Maibaum Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007 | 33 | 2007 |
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 | 22 | 2016 |
Towards managing dynamic reconfiguration of software systems in a categorical setting PF Castro, NM Aguirre, CG López Pombo, TSE Maibaum Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010 | 20 | 2010 |
Tractable probabilistic mu-calculus that expresses probabilistic temporal logics P Castro, C Kilmurray, N Piterman 32nd International Symposium on Theoretical Aspects of Computer Science …, 2015 | 18 | 2015 |
A tableaux system for deontic action logic PF Castro, TSE Maibaum Deontic Logic in Computer Science: 9th International Conference, DEON 2008 …, 2008 | 18 | 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 | 16 | 2018 |
Reasoning about system-degradation and fault-recovery with deontic logic PF Castro, TSE Maibaum Methods, Models and Tools for Fault Tolerance, 25-43, 2009 | 10 | 2009 |
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 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 |
Deontic logic, contrary to duty reasoning and fault tolerance PF Castro, TSE Maibaum Electronic Notes in Theoretical Computer Science 258 (2), 17-34, 2009 | 8 | 2009 |
Measuring masking fault-tolerance PF Castro, PR D’Argenio, R Demasi, L Putruele International Conference on Tools and Algorithms for the Construction and …, 2019 | 7 | 2019 |
Categorical foundations for structured specifications in PF Castro, N Aguirre, CL Pombo, TSE Maibaum Formal Aspects of Computing 27 (5), 831-865, 2015 | 7 | 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 |
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 | 6 | 2019 |
Deontic logics based on boolean algebra PF Castro, P Kulicki Krister Segerberg on Logic of Actions, 85-117, 2013 | 6 | 2013 |
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 |
A categorical approach to structuring and promoting Z specifications PF Castro, N Aguirre, CG López Pombo, T Maibaum International Workshop on Formal Aspects of Component Software, 73-91, 2012 | 5 | 2012 |
Towards a first-order deontic action logic PF Castro, TSE Maibaum International Workshop on Algebraic Development Techniques, 61-75, 2010 | 5 | 2010 |