NAZARENO MATIAS AGUIRRE

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	Doctor of Philosophy (PhD, field of study: Computer Science)
Grado	Universitario de posgrado/doctorado

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-12 de 12

Artículo A Study of the Electrum and DynAlloy Dynamic Behavior Notations

Cornejo, César Mauricio ; Regis, German Enrique ; Aguirre, Nazareno Matias ; Frias, Marcelo F. (IEEE Computer Society, 2023-11)
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 Automated Workarounds from Java Program Specifications based on SAT Solving

Uva, Marcelo Ariel; Ponzio, Pablo Daniel ; Regis, Germán; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Springer Verlag, 2018-11)
Artículo BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support

Rosner, Nicolas Leandro ; Geldenhuys, Jaco; Aguirre, Nazareno Matias ; Visser, Willem; Frias, Marcelo Fabian (IEEE Computer Society, 2015-07)
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)
Capítulo de Libro Ciencias de la Computación

Título del libro: Estado y perspectivas de las ciencias exactas, físicas y naturales en la Argentina

Areces, Carlos Eduardo ; Aguirre, Nazareno Matias ; Becher, Veronica Andrea ; Benotti, Luciana ; Chesñevar, Carlos Iván ; Uchitel, Sebastian - Otros responsables: Valles, Enrique Marcelo - (Academia Nacional de Ciencias; Academia Nacional de Ciencias Exactas, Físicas y Naturales, 2015)
Artículo Efficient Tight Field Bounds Computation Based on Shape Predicates

Ponzio, Pablo Daniel ; Rosner, Nicolas Leandro ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Springer, 2014-05)
Artículo Improving lazy abstraction for SCR specifications through constraint relaxation

Degiovanni, Renzo Gastón ; Ponzio, Pablo Daniel ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (John Wiley & Sons Ltd, 2018-03)
Tesis Mutación de expresiones de navegación para Testing y Reparación

Gutiérrez Brida, Simón Emmanuel (2019-03-29) Director: Aguirre, Nazareno Matias
Artículo RepOK-based reduction of bounded exhaustive testing

Bengolea, Valeria Susana ; Aguirre, Nazareno Matias ; Marinov, Darko; Frias, Marcelo Fabian (John Wiley & Sons Ltd, 2014-12)
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)

Mostrando ítems 1-12 de 12