Marcelo F. Frias - Concepedia

Author

Marcelo F. Frias

Buenos Aires Institute of Technology ORCID

Also Known As

Frias, Marcelo, Frias, Marcelo F., Frias,Miguel, M. F. Frias, M. Frias, M.F. Frias, Marcelo F Frias, Marcelo F. Frias, Marcelo F. Frias., Marcelo Fabian Frias

122

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

Buenos Aires Institute of Technology National University of Río Cuarto Universidad de Buenos Aires Consejo Nacional de Investigaciones Científicas y Técnicas University of Nebraska–Lincoln

About

Marcelo F. Frias is an author at Buenos Aires Institute of Technology specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	19	590
2	Computer Science	14	16	548
3	Computer Engineering	7	7	235
4	Management	1	1	19
5	Materials Engineering	1	1	26

Marcelo F. Frias

Publications

735

Citations

H-Index

Page 1

	Year	Citations
DynAlloy Marcelo F. Frias, Juan Pablo Galeotti, Carlos G. López Pombo, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2005	100
Analysis of invariants for efficient bounded verification Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo, EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware Analysis	2010	91
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo, IEEE Transactions on Software Engineering Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2013	57
Fork Algebras in Algebra, Logic and Computer Science Marcelo F. Frias, Gabriel Alfredo Baum, Armando M. Haeberer Fundamenta Informaticae Algebraic LogicAbstract AlgebraEngineeringModern AlgebraAutomated Reasoning	1997	55
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea, EngineeringVerificationTest Data GenerationSoftware EngineeringComputational Complexity	2013	40
BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, IEEE Transactions on Software Engineering	2015	35
A Finite Axiomatization for Fork Algebras Marcelo F. Frias Logic Journal of IGPL Algebraic LogicStructured SetUnderlying SetAlgebraic StructureAbstract Algebra	1997	31
DynAlloy: upgrading alloy with actions Marcelo F. Frias, J.R. Galeotti, Carlos G. López Pombo, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2005	26
Efficient Analysis of DynAlloy Specifications Marcelo F. Frias, Carlos G. López Pombo, Juan Pablo Galeotti, ACM Transactions on Software Engineering and Methodology EngineeringGeometryVerificationSoftware EngineeringComputer-aided Design	2007	24
Field-exhaustive testing Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Test Generation TechniqueEngineeringComputational TestingAutomated ReasoningProgram Analysis	2016	23

Page 1