MARCELO FABIAN FRIAS

Datos académicos

Lugar de trabajo	INSTITUTO TECNOLOGICO DE BUENOS AIRES / ESCUELA DE INGENIERIA
Título	DR. EN CS. DE LA COMPUTACION
Grado	Universitario de posgrado/doctorado

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-16 de 16

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 Dynamite: A tool for the verification of alloy models based on PVS

Moscato, Mariano Miguel ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (Association for Computing Machinery, 2014-03)
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)
Capítulo de Libro (Heterogeneous) structured specifications in logics without interpolation

Título del libro: Ewa Orlowska on Relational Methods in Logic and Computer Science

Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian - Otros responsables: Golińska Pilarek, Joanna Zawidzki, Michal - (Springer Nature Switzerland AG, 2018)
Artículo HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications

Gimenez, Manuel; Moscato, Mariano Miguel ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (Electronic Proceedings in Theoretical Computer Science, 2013-08)
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)
Artículo Inference engine based on closure and join operators over Truth Table Binary Relations

Elloumi, Samir; Boulifa, Bilel; Jaoua, Ali; Saleh, Mohammad; Al Otaibi, Jameela; Frias, Marcelo Fabian (Elsevier, 2014-02)
Capítulo de Libro On the construction of explosive relation algebras

Título del libro: A question is more illuminating than an answer: a festschrift for Paolo A. S. Veloso

Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian ; Maibaum, Thomas S. E. - Otros responsables: Haeusler, Edward Hermann Pinheiro Dias Pereira, Luis Carlos Viana, Jorge Petrucio - (College Publications, 2021)
Artículo Relational mathematics for relative correctness

Desharnais, Jules; Diallo, Nafi; Ghardallou, Wided; Frias, Marcelo Fabian ; Jaoua, Ali; Mili, Ali (Springer, 2015-09)
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 Semantic metrics for software products

Mili, A.; Jaoua, Ali; Frias, Marcelo Fabian ; Helali, Rasha Gaffer Mohamed (Springer, 2014-03)
Artículo TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds

Galeotti, Juan Pablo ; Rosner, Nicolas Leandro ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (IEEE Computer Society, 2013-03)
Artículo TacoFlow: optimizing SAT program verification using dataflow analysis

Cuervo Parrino, Bruno; Galeotti, Juan Pablo ; Garbervetsky, Diego David ; Frias, Marcelo Fabian (Springer Heidelberg, 2015-01)
Artículo What is a fault? and why does it matter?

Diallo, Nafi; Ghardallou, Wided; Desharnais, Jules; Frias, Marcelo Fabian ; Jaoua, Ali; Mili, Ali (Springer London, 2017-09)

Mostrando ítems 1-16 de 16