Concepedia

Marcelo F. Frias

MF

26

Publications

735

Citations

17

H-Index

1995

Active since

Affiliations

Buenos Aires Institute of Technology(Current)

National University of Río Cuarto

Universidad de Buenos Aires

Consejo Nacional de Investigaciones Científicas y Técnicas

University of Nebraska–Lincoln

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

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisSoftware TestingSoftware EngineeringVerification

Publications per year

1995–2022

26

Publications

26

DynAlloy

Marcelo F. Frias, Juan Pablo Galeotti, Carlos G. López Pombo et al. · 2005 · 100 citations

Engineering, Verification, Software Engineering +18

Analysis of invariants for efficient bounded verification

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · 2010 · 91 citations

Engineering, Verification, Computer-aided Verification +17

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

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · IEEE Transactions on Software Engineering · 2013 · 57 citations

Program Checking, Engineering, Verification +22

Fork Algebras in Algebra, Logic and Computer Science

Marcelo F. Frias, Gabriel Alfredo Baum, Armando M. Haeberer · Fundamenta Informaticae · 1997 · 55 citations

Algebraic Logic, Abstract Algebra, Engineering +9

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea et al. · 2013 · 40 citations

Engineering, Verification, Test Data Generation +21

Rows per page

1–5 of 26