Marcelo F. Frias - Publications, H-index & Citations

Marcelo F. Frias

consejo nacional de investigaciones cientificas y tecnicas (conicet)

19H指数

123论文数

1.1K被引数

收录论文 7

发表时间

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria 基于测试的补丁接受标准的适用性实证研究

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2025-02-20

OAAI

Zemín, L; Godio, A; Cornejo, C; Degiovanni, R; Brida, SG; Regis, G; Aguirre, N; Frias, MF

A Study of the Electrum and DynAlloy Dynamic Behavior Notations

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-11-01

PREAI

Cornejo, Cesar; Regis, German E.; Aguirre, Nazareno; Frias, Marcelo F.

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support BLISS: 通过具有SAT支持的有界延迟初始化改进了符号执行

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2015-01-01

PREAI

Rosner, Nicolas; Geldenhuys, Jaco; Aguirre, Nazareno M.; Visser, Willem; Frias, Marcelo F.

Dynamite: A Tool for the Verification of Alloy Models Based on PVS

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2014-04-04

OAAI

Moscato, Mariano M.; Lopez Pombo, Carlos G.; Frias, Marcelo F.

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

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2013-09-01

OAAI

Galeotti, Juan P.; Rosner, Nicolas; Lopez Pombo, Carlos G.; Frias, Marcelo F.

Efficient analysis of DynAlloy specifications

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2007-12-12

PREAI

Frias, Marcelo F.; Pombo, Carlos G. Lopez; Galeotti, Juan P.; Aguirre, Nazareno M.

Reasoning about static and dynamic properties in Alloy: A purely relational approach

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2005-10-01

PREAI

Frias, MF; Pombo, CGL; Baum, GA; Aguirre, NM; Maibaum, TSE

研究方向