VALENTIN CASSANO; RAUL FERVARI; CARLOS ARECES; PABLO F. CASTRO

Algebraic tools for default modal systems

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2022

FACUNDO MOLINA; CÉSAR CORNEJO; GERMÁN REGIS; PABLO F. CASTRO; NAZARENO AGUIRRE; MARCELO FRIAS

An evolutionary approach to translating operational specifications into declarative specifications

SCIENCE OF COMPUTER PROGRAMMING; Lugar: Amsterdam; Año: 2019 vol. 181 p. 47 - 63

CARLOS LOPEZ POMBO; PABLO F. CASTRO; NAZARENO AGUIRRE; T.S.E. MAIBAUM

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

FUNDAMENTA INFORMATICAE; Lugar: Amsterdam; Año: 2019 vol. 166 p. 297 - 347

RAMIRO DEMASI; PABLO F. CASTRO; T.S.E. MAIBAUM; NAZARENO AGUIRRE

Simulation relations for fault-tolerance

FORMAL ASPECTS OF COMPUTING; Año: 2017 vol. 29 p. 1013 - 1050

PABLO F. CASTRO

Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity

STUDIA LOGICA; Año: 2017 vol. 105 p. 229 - 251

RAMIRO DEMASI; PABLO F. CASTRO; NICOLAS RICCI; T.S.E. MAIBAUM; NAZARENO AGUIRRE

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2015 vol. 9035 p. 188 - 193

PABLO F. CASTRO; CECILIA KILMURRAY; NIR PITERMAN

A Recursive Probabilistic Temporal Logic

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2015 vol. 9407 p. 336 - 348

PABLO F. CASTRO; CECILIA KILMURRAY; NIR PITERMAN

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

Leibniz International Proceedings in Informatics; Año: 2015 vol. 30 p. 211 - 223

PABLO F. CASTRO; NAZARENO AGUIRRE; CARLOS LOPEZ POMBO; T.S.E. MAIBAUM

Categorical foundations for structured specifications in Z

FORMAL ASPECTS OF COMPUTING; Lugar: Berlin; Año: 2015 vol. 27 p. 831 - 865

CARLOS LOPEZ POMBO; PABLO F. CASTRO; T.S.E. MAIBAUM; NAZARENO AGUIRRE

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting,

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014 vol. 8687 p. 314 - 332

PABLO F. CASTRO; T.S.E. MAIBAUM

Automated Reasoning over Deontic Action Logics with Finite Vocabularies

Electronic Proceedings in Theoretical Computer Science; Año: 2014 vol. 139 p. 16 - 30

PABLO F. CASTRO; NAZARENO AGUIRRE; CARLOS LOPEZ POMBO; T.S.E. MAIBAUM

A Categorical Approach to Structuring and Promoting Z Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2013 vol. 7684 p. 73 - 91

RAMIRO DEMASI; PABLO F. CASTRO; T.S.E. MAIBAUM; NAZARENO AGUIRRE

Characterizing Fault-Tolerant Systems by Means of Simulation Relations

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2013 vol. 7940 p. 428 - 442

RAMIRO DEMASI; PABLO F. CASTRO; NAZARENO AGUIRRE; T.S.E. MAIBAUM

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2013 vol. 8172 p. 163 - 177

PABLO F. CASTRO; T.S.E. MAIBAUM

Towards a First-Order Deontic Action Logic

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2012 vol. 7137 p. 61 - 75

ARACELI ACOSTA; CECILIA KILMURRAY; PABLO F. CASTRO; NAZARENO AGUIRRE

Model Checking Propositional Deontic Temporal Logic via Mu-Calculus Characterization

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2012 vol. 7498 p. 3 - 18

PABLO F. CASTRO; T.S.E. MAIBAUM

Encapsulating deontic and branching time specifications

THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2012 vol. 455 p. 98 - 122

PABLO F. CASTRO; CECILIA KILMURRAY; ARACELI ACOSTA; NAZARENO AGUIRRE

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2011 vol. 7041 p. 106 - 121

PABLO F. CASTRO; T.S.E. MAIBAUM

Characterizing Locality (Encapsulation) with Bisimulation.

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2010 vol. 6255 p. 322 - 336

PABLO F. CASTRO; NAZARENO AGUIRRE; CARLOS LOPEZ POMBO; T.S.E. MAIBAUM

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2010 vol. 6255 p. 306 - 321

PABLO F. CASTRO; T.S.E. MAIBAUM

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2009 vol. 5076 p. 34 - 48

PABLO F. CASTRO; T.S.E. MAIBAUM

Deontic action logic, atomic boolean algebras and fault-tolerance

Journal of Applied Logic; Lugar: Amsterdam; Año: 2009 vol. 7 p. 441 - 466

PABLO F. CASTRO; T.S.E. MAIBAUM

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance

Electronic Notes in Theoretical Computer Science; Lugar: Amsterdam; Año: 2009

PABLO F. CASTRO; T.S.E. MAIBAUM

A Tableaux System for Deontic Action Logic

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2008 vol. 5076 p. 34 - 48

PABLO F. CASTRO; T.S.E. MAIBAUM

A Complete and Compact Deontic Logic

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Springer Berlin; Año: 2007 vol. 4711 p. 109 - 123

RAMIRO DEMASI; PABLO PONZIO; PABLO F. CASTRO; GABRIEL BAUM

Verifying BON models with Alloy

Journal of Computer Science & Technology; Lugar: University of New Mexico; Año: 2005 vol. 5 p. 292 - 298