Marcelo F. Frias

Cited by

	All	Since 2016
Citations	1303	455
h-index	19	12
i10-index	40	14

140

105

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920208 23 42 36 28 24 22 30 31 25 26 35 69 19 40 42 37 52 53 93 86 70 71 114 122 78

Co-authors

Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
Carlos Gustavo Lopez PomboProfessor, Department of Computing, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresVerified email at dc.uba.ar
Juan Pablo GaleottiUniversidad de Buenos AiresVerified email at dc.uba.ar
Nicolás RosnerUniversity of California Santa BarbaraVerified email at cs.ucsb.edu
Pablo PonzioUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
Ali MiliNJITVerified email at themilis.net
Ali JaouaProfessor, Computer Science, Qatar UniversityVerified email at qu.edu.qa
German RegisUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Renzo DegiovanniSnT, University of LuxembourgVerified email at uni.lu
Nafi DialloAssistant Professor, Department of Computer Science and Software Engineering, Monmouth UniversityVerified email at njit.edu
Jaco GeldenhuysAssociate Professor, Computer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Pablo CastroUniversidad Nacional de Rio Cuarto, ArgentinaVerified email at dc.exa.unrc.edu.ar
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Diego GarbervetskyDepartment of Computer Science, Universidad de Buenos Aires. ICC-CONICETVerified email at dc.uba.ar
Facundo MolinaPhD Student, Universidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar
Antonio FilieriLecturer (Assistant Professor), Imperial College LondonVerified email at imperial.ac.uk
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Junaid Haroon SiddiquiLUMS University, PakistanVerified email at lums.edu.pk

Marcelo F. Frias

Professor of Computer Science, Buenos Aires Institute of Technology

Verified email at itba.edu.ar

Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
DynAlloy: upgrading alloy with actions MF Frias, JP Galeotti, CG López Pombo, NM Aguirre Proceedings of the 27th international conference on Software engineering …, 2005	132	2005
Analysis of invariants for efficient bounded verification JP Galeotti, N Rosner, CG López Pombo, MF Frias Proceedings of the 19th international symposium on Software testing and …, 2010	87	2010
Fork algebras in algebra, logic and computer science MF n Frias World Scientific, 2002	59	2002
Fork algebras in algebra, logic and computer science MF n Frias World Scientific, 2002	59	2002
Fork algebras in algebra, logic and computer science MF n Frias World Scientific, 2002	59	2002
TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds JP Galeotti, N Rosner, CGL Pombo, MF Frias IEEE Transactions on Software Engineering 39 (9), 1283-1307, 2013	51	2013
A finite axiomatization for fork algebras MF Frias, AM Haeberer, PAS Veloso Logic Journal of the IGPL 5 (3), 1-10, 1997	46	1997
A finite axiomatization for fork algebras MF Frias, AM Haeberer, PAS Veloso Logic Journal of the IGPL 5 (3), 1-10, 1997	46	1997
Fork algebras in algebra, logic and computer science MF Frias, GA Baum, AM Haeberer Fundamenta Informaticae 32 (1), 1-25, 1997	43	1997
Fork algebras are representable MF Frias, GA Baum, AM Haeberer, PAS Veloso Bulletin of the Section of Logic 24 (2), 64-75, 1995	34	1995
Improving test generation under rich contracts by tight bounds and incremental SAT solving P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ... 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	33	2013
Reasoning about static and dynamic properties in alloy: A purely relational approach MF Frias, CG López Pombo, GA Baum, NM Aguirre, TSE Maibaum ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (4), 478-526, 2005	33	2005
Equational reasoning in non-classical logics M Frias, E Orlowska Journal of Applied Non-classical Logics 8 (1-2), 27-66, 1998	32	1998
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism MF Frias, E Orlowska Logique et Analyse, 239-284, 1995	30	1995
BLISS: improved symbolic execution by bounded lazy initialization with SAT support N Rosner, J Geldenhuys, NM Aguirre, W Visser, MF Frias IEEE Transactions on Software Engineering 41 (7), 639-660, 2015	28	2015
Efficient analysis of DynAlloy specifications MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 1-34, 2007	27	2007
Dynalloy as a formal method for the analysis of java programs JP Galeotti, MF Frias Software engineering techniques: Design for quality, 249-260, 2006	27	2006
An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre International Conference on Formal Engineering Methods, 162-175, 2004	26	2004
Alloy Analyzer+ PVS in the analysis and verification of Alloy specifications MF Frias, CGL Pombo, MM Moscato International Conference on Tools and Algorithms for the Construction and …, 2007	24	2007
From specifications to programs: A fork-algebraic approach to bridge the gap GA Baum, MF Frias, AM Haeberer, PEM López International Symposium on Mathematical Foundations of Computer Science, 180-191, 1996	24	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors