Marcelo F. Frias

Marcelo Fabiùn Frias

	2012
40		Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias: Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP 2012: 19-34
	2011
39		Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias: A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. SEFM 2011: 138-154
38		Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti: Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP 2011: 15-32
37		Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias: Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP 2011: 84-101
	2010
36		Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera: Alloy+HotCore: A Fast Approximation to Unsat Core. ASM 2010: 160-173
35		Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias: ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM 2010: 396-397
34		Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias: Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. ICTAC 2010: 275-289
33		Carlos Gustavo López Pombo, Marcelo Fabiùn Frias: Complete Calculi for Structured Specifications in Fork Algebra. ICTAC 2010: 290-305
32		Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias: Analysis of invariants for efficient bounded verification. ISSTA 2010: 25-36
	2009
31		Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
	2008
30		Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis: Towards Abstraction for DynAlloy Specifications. ICFEM 2008: 207-225
	2007
29		Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato: Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. TACAS 2007: 587-601
28		Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre: Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17(1): (2007)
	2006
27		Carlos López Pombo, Marcelo F. Frias: Fork Algebras as a Sufficiently Rich Universal Institution. AMAST 2006: 235-247
26		Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: Monotonicity Analysis Can Speed Up Verification. RelMiCS 2006: 177-191
25		Juan P. Galeotti, Marcelo F. Frias: DynAlloy as a Formal Method for the Analysis of Java Programs. SET 2006: 249-260
24		Marcelo F. Frias, Carlos López Pombo: Interpretability of first-order linear temporal logics in fork algebras. J. Log. Algebr. Program. 66(2): 161-184 (2006)
	2005
23		Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: A strategy for efficient verification of relational specifications, based on monotonicity analysis. ASE 2005: 305-308
22		Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre: DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451
21		Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum: Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005)
	2004
20		Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre: An Equational Calculus for Alloy. ICFEM 2004: 162-175
	2003
19		Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
	2001
18		Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80
17		Marcelo F. Frias, Roger D. Maddux: Completeness of a relational calculus for program schemes. Theor. Comput. Sci. 254(1-2): 543-556 (2001)
	2000
16		Marcelo F. Frias, Gabriel Baum, Esteban de la Canal: How to say Greedy in Fork Algebras. RelMiCS 2000: 75-84
	1998
15		Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum: A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST 1998: 91-105
14		Marcelo F. Frias, Roger D. Maddux: Completeness of a Relational Calculus for Program Schemes. LICS 1998: 127-134
13		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: A calculus for program construction based on fork algebras, generic algorithms and design strategies. RelMiCS 1998: 75-79
12		Marcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non--Classical Logics. Journal of Applied Non-Classical Logics 8(1-2): (1998)
11		Marcelo F. Frias, Armando Martin Haeberer: Editorial. Logic Journal of the IGPL 6(2): 151-156 (1998)
10		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras. Logic Journal of the IGPL 6(2): 227-257 (1998)
	1997
9		Marcelo F. Frias, Roger D. Maddux: Completeness of the Relational Calculus MU2. RelMiCS 1997: 205-214
8		Marcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non-Classical Logics. RelMiCS 1997: 321-329
7		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras (Part II). RelMiCS 1997: 351-358
6		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Fork Algebras in Algebra, Logic and Computer Science. Fundam. Inform. 32(1): 1-25 (1997)
5		Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso: A Finite Axiomatization for Fork Algebras. Logic Journal of the IGPL 5(3): 1-10 (1997)
	1996
4		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Adding Design Strategies to Fork Algebras. Ershov Memorial Conference 1996: 214-226
3		Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López: From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. MFCS 1996: 180-191
	1995
2		Marcelo F. Frias, Silvia E. Gordillo: Semantic Optimization of Queries in Deductive Object-Oriented Database. ADBIS 1995: 55-72
1		Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque: PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. TAPSOFT 1995: 797-798

Coauthor Index

1	Nazareno Aguirre	[19] [20] [21] [22] [28] [30] [31] [37] [38] [40]
2	Neudson C. Albuquerque	[1]
3	Gabriel Baum (Gabriel A. Baum)	[3] [4] [6] [7] [10] [13] [15] [16] [18] [19] [21]
4	Valeria S. Bengolea	[38] [40]
5	Lorena Bourg	[23] [26]
6	Esteban de la Canal	[16]
7	Brian J. Cardiff	[30]
8	Nicolás D'Ippolito	[36]
9	Renzo Degiovanni	[37]
10	Juan P. Galeotti	[22] [25] [28] [30] [32] [35] [36] [38] [39]
11	Rodolfo Gamarra	[23] [26]
12	Diego Garbervetsky	[39]
13	Silvia E. Gordillo	[2]
14	Armando Martin Haeberer	[1] [3] [4] [5] [6] [7] [10] [11] [13]
15	Esteban Lanzarotti	[36]
16	Pablo E. Martínez López	[3]
17	Roger D. Maddux	[9] [14] [17]
18	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[15] [18] [19] [21] [31]
19	Darko Marinov	[40]
20	Sergio Mera	[36]
21	Mariano M. Moscato	[29] [31] [34]
22	Ewa Orlowska	[8] [12]
23	Bruno Cuervo Parrino	[39]
24	Carlos López Pombo (Carlos Gustavo López Pombo)	[19] [20] [21] [22] [24] [27] [28] [29] [32] [33] [34] [35]
25	Pablo Ponzio	[30] [37]
26	Claudio T. Prates	[1]
27	Germán Regis	[30]
28	Nicolás Rosner	[32] [35]
29	Andre J. Sampaio	[1]
30	Gabriela Steren	[23] [26]
31	Cristina D. Ururahy	[1]
32	Paulo A. S. Veloso	[5]
33	Alan Wassyng	[31]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page