PABLO FRANCISCO CASTRO

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE RIO CUARTO / FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES / DEPARTAMENTO DE COMPUTACION / GRUPO DE INGENIERIA DE SOFTWARE
Título	Ph.D. in Computer Science
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Comunicaciones-Telecomunicaciones
Especialidad	Metodos Formales y Desarrollo de Software

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-7 de 7

Evento An Algebraic Approach for Action Based Default Reasoning

Castro, Pablo Francisco ; Cassano, Valentin ; Fervari, Raul Alberto ; Areces, Carlos Eduardo (Open Publishing Association, 2019)
Artículo An evolutionary approach to translating operational specifications into declarative specifications

Molina, Facundo Joaquín ; Cornejo, César Mauricio ; Degiovanni, Renzo; Regis, Germán; Castro, Pablo Francisco ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Elsevier Science, 2019-05)
Artículo Categorical foundations for structured specifications in Z

Castro, Pablo Francisco ; Aguirre, Nazareno Matias ; Lopez Pombo, Carlos Gustavo ; T.S.E. Maibaum (Springer, 2015-11)
Artículo Encapsulating deontic and branching time specifications

Castro, Pablo Francisco ; Maibaum, Thomas S. E. (Elsevier Science, 2012-10)
Artículo Simulation relations for fault-tolerance

Demasi, Ramiro Adrian ; Castro, Pablo Francisco ; Maibaum, Thomas S. E.; Aguirre, Nazareno Matias (Springer, 2017-11)
Artículo syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications

Demasi, Ramiro; Castro, Pablo Francisco ; Ricci, Nicolás ; Maibaum, Thomas S. E.; Aguirre, Nazareno Matias (Springer, 2015-04)
Artículo Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity

Castro, Pablo Francisco (Springer, 2017-04)

Mostrando ítems 1-7 de 7