Marcelo F. Frias

Marcelo Fabiùn Frias

	2013
c32		Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser: Bounded Lazy Initialization. NASA Formal Methods 2013: 229-243
	2012
c31		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
c30		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
c29		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
c28		Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias: Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP 2011: 84-101
	2010
c27		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
c26		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
c25		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
c24		Carlos Gustavo López Pombo, Marcelo Fabiùn Frias: Complete Calculi for Structured Specifications in Fork Algebra. ICTAC 2010: 290-305
c23		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
c22		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
c21		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
j9		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)
c20		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
	2006
j8		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)
c19		Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: Monotonicity Analysis Can Speed Up Verification. RelMiCS 2006: 177-191
c18		Carlos López Pombo, Marcelo F. Frias: Fork Algebras as a Sufficiently Rich Universal Institution. AMAST 2006: 235-247
c17		Juan P. Galeotti, Marcelo F. Frias: DynAlloy as a Formal Method for the Analysis of Java Programs. SET 2006: 249-260
	2005
j7		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)
c16		Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre: DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451
c15		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
	2004
c14		Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre: An Equational Calculus for Alloy. ICFEM 2004: 162-175
	2003
c13		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
j6		Marcelo F. Frias, Roger D. Maddux: Completeness of a relational calculus for program schemes. Theor. Comput. Sci. 254(1-2): 543-556 (2001)
c12		Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80
	2000
c11		Marcelo F. Frias, Gabriel Baum, Esteban de la Canal: How to say Greedy in Fork Algebras. RelMiCS 2000: 75-84
	1998
j5		Marcelo F. Frias, Armando Martin Haeberer: Editorial. Logic Journal of the IGPL 6(2): 151-156 (1998)
j4		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)
j3		Marcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non--Classical Logics. Journal of Applied Non-Classical Logics 8(1-2): 27-66 (1998)
c10		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
c9		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
c8		Marcelo F. Frias, Roger D. Maddux: Completeness of a Relational Calculus for Program Schemes. LICS 1998: 127-134
	1997
j2		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Fork Algebras in Algebra, Logic and Computer Science. Fundam. Inform. 32(1): 1-25 (1997)
j1		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)
c7		Marcelo F. Frias, Roger D. Maddux: Completeness of the Relational Calculus MU2. RelMiCS 1997: 205-214
c6		Marcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non-Classical Logics. RelMiCS 1997: 321-329
c5		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras (Part II). RelMiCS 1997: 351-358
	1996
c4		Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Adding Design Strategies to Fork Algebras. Ershov Memorial Conference 1996: 214-226
c3		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
c2		Marcelo F. Frias, Silvia E. Gordillo: Semantic Optimization of Queries in Deductive Object-Oriented Database. ADBIS 1995: 55-72
c1		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

Colors in the list of coauthors

Last update Sun May 26 01:18:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page