CARLOS ARECES; VALENTIN CASSANO; PABLO F. CASTRO; RAUL FERVARI; ANDRÉS SARAVIA

A Deontic Logic of Knowingly Complying

22nd International Conference on Autonomous Agents and Multiagent Systems

Año: 2023;

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

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

18th European Conference on Logics in Artificial Intelligence

Año: 2023;

LUCIANO PUTRUELE; RAMIRO DEMASI; PABLO F. CASTRO; PEDRO D'ARGENIO

MaskD: A Tool for Measuring Masking Fault-Tolerance

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Lugar: Munich; Año: 2022;

PABLO F. CASTRO; PEDRO D'ARGENIO; RAMIRO DEMASI; LUCIANO PUTRUELE

Playing Against Fair Adversaries in Stochastic Games with Total Rewards

Computer Aided Verification - 34th International Conference, CAV 2022

Lugar: Haifa; Año: 2022;

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

Deontic Action Logics via Algebra

15th International Conference DEON 2020/21

Lugar: Munich; Año: 2021;

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

Default Modal Systems as Algebraic Updates

International Workshop on Dynamic Logic DaLi 2020

Año: 2020;

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

An Algebraic Approach for Action Based Default Reasoning

Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, {TARK} 2019

Año: 2019;

PABLO F. CASTRO; PEDRO D'ARGENIO; RAMIRO DEMASI; LUCIANO PUTRUELE

Measuring Masking Fault-Tolerance

Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference

Lugar: Praga; Año: 2019;

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

Interpolation and Beth Definability in Default Logics

Logics in Artificial Intelligence - 16th European Conference

Año: 2019;

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

A Tableaux Calculus for Default Intuitionistic Logic

27th International Conference on Automated Deduction

Año: 2019;

VALENTIN CASSANO; CARLOS ARECES; PABLO F. CASTRO

Reasoning About Prescription and Description Using Prioritized Default Rules

22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Lugar: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning; Año: 2018;

FACUNDO MOLINA; RENZO DEGIOVANNI; GERMAN REGIS; PABLO F. CASTRO; NAZARENO AGUIRRE; MARCELO FRIAS

From Operational to Declarative Specifications using a Genetic Algorithm

11th International Workshop on Search-Based Software Testing

Año: 2018;

RENZO DEGIOVANNI; PABLO F. CASTRO; MARCELO ARROYO; MARCELO RUIZ; NAZARENO AGUIRRE; MARCELO FRIAS

Goal-conflict likelihood assessment based on model counting

ICSE

Lugar: Gothenburg; Año: 2018;

FACUNDO MOLINA; CESAR CORNEJO; RENZO DEGIOVANNI; GERMAN REGIS; PABLO F. CASTRO; NAZARENO AGUIRRE; MARCELO FRIAS

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

- 19th Brazilian Symposium on Formal Methods: Foundations and Applications

Lugar: Natal; Año: 2016;

PABLO F. CASTRO; NAZARENO AGUIRRE

Algebraic Foundations for Specification Refinements

19th Brazilian Symposium on Formal Methods: Foundations and Applications

Lugar: Natal; Año: 2016;

RENZO DEGIOVANNI; NICOLAS RICCI; DALAL ALRAJEH; PABLO F. CASTRO; NAZARENO AGUIRRE

Goal-conflict detection based on temporal satisfiability checking

CM/IEEE International Conference on Automated Software Engineering

Lugar: Singapur; Año: 2016;

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

An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers

Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007.

Lugar: Londres; Año: 2007;

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

Darwin, Una Herramienta para Verificar Diseños Arquitecturales

WICC

Lugar: Río Cuarto; Año: 2005;

PABLO F. CASTRO; GABRIEL BAUM

Integrando BON con Alloy

VII Workshop Iberoamericano de Ingeniería de Requisitos y Desarrollo de Ambientes de Software

Lugar: Arequipa, Perú; Año: 2004;

PABLO F. CASTRO; GABRIEL BAUM

Una Formalización del Proceso de Evolución

CLEI, Conferencia Latinoamericana de Informática

Lugar: La Paz; Año: 2003;

PABLO F. CASTRO; GABRIEL BAUM

Utilizando Contratos de Reuso con Alloy

CACIC

Lugar: Calafate, Argentina; Año: 2001;