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

An evolutionary approach to translating operational specifications into declarative specifications

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

UVA, MARCELO; PONZIO, PABLO; REGIS, GERMÁN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

Automated workarounds from Java program specifications based on SAT solving

International Journal on Software Tools for Technology Transfer; Año: 2018 vol. 20 p. 665 - 688

DEGIOVANNI, RENZO; PONZIO, PABLO; AGUIRRE, NAZARENO; FRIAS, MARCELO

Improving lazy abstraction for SCR specifications through constraint relaxation

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Año: 2018 vol. 28

DIALLO, NAFI; GHARDALLOU, WIDED; DESHARNAIS, JULES; FRIAS, MARCELO; JAOUA, ALI; MILI, ALI

What is a fault? and why does it matter?

Innovations in Systems and Software Engineering; Año: 2017 vol. 13 p. 219 - 239

ROSNER, NICOLÁS; JACO GELDENHUYS; AGUIRRE, NAZARENO; VISSER, WILLEM; FRIAS, MARCELO FABIAN

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2015 vol. 41 p. 639 - 660

FILIERI, ANTONIO; FRIAS, MARCELO FABIAN; PASAREANU, CORINA; VISSER, WILLEM

Model Counting for Complex Data Structures

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: ISBN 978-3-319-23403-8; Año: 2015 p. 222 - 241

JULES DESHARNAIS; NAFI DIALLO; WIDED GHARDALLOU; MARCELO F. FRIAS; ALI JAOUA; ALI MILI

Relational Mathematics for Relative Correctness

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2015 vol. 9348 p. 191 - 208

CUERVO PARRINO , BRUNO; GALEOTTI, JUAN PABLO; GARBERVETSKY, DIEGO; FRIAS, MARCELO FABIAN

TacoFlow: optimizing SAT program verification using dataflow analysis

SOFTWARE AND SYSTEMS MODELING; Lugar: HEIDELBERG; Año: 2015 vol. 14 p. 45 - 63

PONZIO, PABLO; ROSNER, NICOLÁS; AGUIRRE, NAZARENO; FRIAS, MARCELO FABIAN

Efficient Tight Field Bounds Computation Based on Shape Predicates

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014 p. 531 - 546

SAMIR ELLOUMI; BILEL BOULIFA; ALI JAOUA; MOHAMMAD SALEH; JAMEELA AL OTAIBI; FRIAS, MARCELO FABIAN

Inference engine based on closure and join operators over Truth Table Binary Relations

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING; Lugar: Amsterdam; Año: 2014 vol. 83 p. 180 - 193

BEGOLEA, VALERIA; AGUIRRE, NAZARENO; MARINOV, DARKO; FRIAS, MARCELO FABIAN

RepOK-based reduction of bounded exhaustive testing

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Lugar: Londres; Año: 2014 vol. 24 p. 629 - 655

MILI, ALI; FRIAS, MARCELO FABIAN; ALI JAOUA

On Faults and Faulty Programs

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014 p. 191 - 207

MILI, ALI; ALI JAOUA; FRIAS, MARCELO FABIAN; RASHA GAFFER MOHAMED HELALI

Semantic metrics for software products

Innovations in Systems and Software Engineering; Año: 2014 vol. 10 p. 203 - 217

MOSCATO, MARIANO MIGUEL; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIAN

Dynamite: A tool for the verification of alloy models based on PVS

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2014 vol. 23 p. 1 - 37

GALEOTTI, JUAN PABLO; ROSNER, NICOLÁS; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIAN

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2013 vol. 39 p. 1283 - 1306

JACO GELDENHUYS; AGUIRRE, NAZARENO; FRIAS, MARCELO FABIAN; VISSER, WILLEM

Bounded Lazy Initialization

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2013 p. 229 - 243

BENGOLEA, VALERIA; AGUIRRE, NAZARENO; MARINOV, DARKO; FRIAS, MARCELO FABIAN

RepOK-Based Reduction of Bounded-Exhaustive Testing

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Lugar: LOndres; Año: 2013

ROSNER, NICOLÁS; LOPEZ POMBO, CARLOS GUSTAVO; AGUIRRE, NAZARENO; JAOUA, ALI; MILI, ALI; FRIAS, MARCELO FABIAN

Parallel Bounded Verification of Alloy Models by TranScoping

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2013

BEGOLEA, VALERIA; AGUIRRE, NAZARENO; MARINOV, DARKO; FRIAS, MARCELO FABIAN

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2012 vol. 7305 p. 19 - 34

CUERVO PARRINO , BRUNO; GALEOTTI, JUAN PABLO; GARBERVETSKY, DIEGO; FRIAS, MARCELO FABIAN

A Dataflow Analysis to Improve SAT-based Bounded Program Verification

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2011 vol. 7041 p. 138 - 154

AGUIRRE, NAZARENO; BENGOLEA, VALERIA; FRIAS, MARCELO FABIAN; GALEOTTI, JUAN PABLO

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2011 vol. 6706 p. 15 - 32

DEGIOVANNI, RENZO; PONZIO, PABLO; AGUIRRE, NAZARENO; FRIAS, MARCELO FABIAN

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2011 vol. 6706 p. 84 - 101

D'IPPÓLITO, NICOLÁS; FRIAS, MARCELO FABIAN; GALEOTTI, JUAN PABLO; LANZAROTTI, ESTEBAN; MERA, SERGIO

Alloy+HotCore: A Fast Approximation to Unsat Core.

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2010 vol. 5977 p. 160 - 173

ROSNER, NICOLÁS; GALEOTTI, JUAN PABLO; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIAN

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2010 vol. 5977 p. 396 - 397

MOSCATO, MARIANO MIGUEL; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIAN

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2010 vol. 6255 p. 275 - 289

LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIAN

Complete Calculi for Structured Specifications in Fork Algebra

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2010 vol. 6255 p. 290 - 305

AGUIRRE, NAZARENO; FRIAS, MARCELO FABIAN; MOSCATO, MARIANO MIGUEL; MAIBAUM, THOMAS STEPHEN EDWARD; WASSYNG ALAN

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2009 vol. 5503 p. 155 - 170

AGUIRRE, NAZARENO; FRIAS, MARCELO FABIAN; PONZIO, PABLO; CARDIFF, BRIAN; GALEOTTI, JUAN PABLO; REGIS, GERMÁN

Towards Abstraction for DynAlloy Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2008 vol. 5256 p. 207 - 225

FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO; GALEOTTI, JUAN PABLO; AGUIRRE, NAZARENO

Efficient Analysis of DynAlloy Specifications

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Año: 2007 vol. 17 p. 1 - 34

FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO; MOSCATO, MARIANO MIGUEL

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2007 vol. 4424 p. 587 - 601

GALEOTTI, JUAN PABLO; FRIAS, MARCELO FABIAN

DynAlloy as Formal Method For the Analysis of Java Programs

Springer IFIP Series; Lugar: Boston; Año: 2007 vol. 227 p. 249 - 260

FRIAS, MARCELO FABIAN; GAMARRA, RODOLFO; STEREN, GABRIELA; BOURG, LORENA

Monotonicity Analysis Can Speed Up Verification

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2006 vol. 4136 p. 177 - 191

FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO

Interpretability of First-Order Liner Temporal Logics in Fork Algebras

Journal of Logic and Algebraic Programming; Año: 2006 vol. 66 p. 181 - 216

LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIAN

Fork Algebras as a Sufficiently Rich Universal Institution

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2006 vol. 4019 p. 235 - 247

FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO; BAUM, GABRIEL; AGUIRRE, NAZARENO; MAIBAUM, THOMAS STEPHEN EDWARD

Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Año: 2005 vol. 14 p. 478 - 526

FRIAS, MARCELO FABIAN; VELOSO, PAULO AUGUSTO; BAUM, GABRIEL

Fork Algebras: Past, Present and Future

Journal of Relational Methods in Computer Science; Lugar: St. Catherine, Canada; Año: 2004 vol. 1 p. 181 - 216

FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO; AGUIRRE, NAZARENO

A Complete Equational Calculus for Alloy

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2004 vol. 3308 p. 162 - 175

FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO; BAUM, GABRIEL; AGUIRRE, NAZARENO; MAIBAUM, THOMAS STEPHEN EDWARD

Taking Alloy to the Movies

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2003 vol. 2805 p. 678 - 697

FRIAS, MARCELO FABIAN; BAUM, GABRIEL; MAIBAUM, THOMAS STEPHEN EDWARD

Interpretability of First-Order Dynamic Logic in a Relational Calculus

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2002 vol. 2561 p. 66 - 80

FRIAS, MARCELO FABIAN; MADDUX, ROGER DUNCAN

Completeness of a Relational Calculus for Program Schemes

THEORETICAL COMPUTER SCIENCE; Año: 2001 vol. 254 p. 543 - 556

BAUM, GABRIEL; FRIAS, MARCELO FABIAN; MAIBAUM, THOMAS STEPHEN EDWARD

A Logic for Real–Time Systems Specification, its Algebraic Semantics and Equational Calculus

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1999 vol. 1548 p. 91 - 105

FRIAS, MARCELO FABIAN

Independence of the Axiomatization of Fork

ALGEBRA UNIVERSALIS; Año: 1998 vol. 39 p. 211 - 215

FRIAS, MARCELO FABIAN; BAUM, GABRIEL; HAEBERER, ARMANDO MARTIN

Representability and Program Construction within Fork Algebras

LOGIC JOURNAL OF THE IGPL (PRINT); Año: 1998 vol. 6 p. 229 - 259

FRIAS, MARCELO FABIAN; ORLOWSKA, EWA

Equational Reasoning in Non-Classical Logics

JOURNAL OF APPLIED NON-CLASSICAL LOGICS; Año: 1998 vol. 8 p. 27 - 66

FRIAS, MARCELO FABIAN; MADDUX, ROGER DUNCAN

Non-Embeddable Simple Relation Algebras

ALGEBRA UNIVERSALIS; Año: 1997 vol. 38 p. 115 - 135

FRIAS, MARCELO FABIAN; HAEBERER, ARMANDO MARTIN; VELOSO, PAULO AUGUSTO

A Finite Axiomatization for Fork Algebras

LOGIC JOURNAL OF THE IGPL (PRINT); Año: 1997 vol. 5 p. 311 - 319

FRIAS, MARCELO FABIAN; BAUM, GABRIEL; HAEBERER, ARMANDO MARTIN

Fork Algebras in Algebra, Logic and Computer Science

FUNDAMENTA INFORMATICAE; Año: 1997 vol. 32 p. 1 - 25

FRIAS, MARCELO FABIAN; ORLOWSKA, EWA

A Proof System for Fork Algebras and its Applications to Reasoning in Logics Based on Intuitionism

LOGIQUE ET ANALYSE; Año: 1997 vol. 150 p. 239 - 284

BAUM, GABRIEL; FRIAS, MARCELO FABIAN; HAEBERER, ARMANDO MARTIN; MARTINEZ LOPEZ, PABLO

From Specifications to Programs: A Fork Algebraic Approach to Bridge the Gap

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1996 vol. 1113 p. 180 - 191

FRIAS, MARCELO FABIAN; BAUM, GABRIEL; HAEBERER, ARMANDO MARTIN

Adding Design Strategies to Fork Algebras

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1996 vol. 1181 p. 214 - 226

SAMPAIO A.; HAEBERER, ARMANDO MARTIN; TERRA C.; URURAHY, C.; FRIAS, MARCELO FABIAN; ALBUQUERQUE N.

PLATO: A Tool to Assist Programming as Term Rewriting and Theorem Proving

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1995 vol. 915 p. 797 - 798