Author Info
Name
Affiliation
Papers
MARCELO FRIAS
Buenos Aires Institute of Technology, Argentina
6
Collaborators
Citations 
PageRank 
17
1
2.03
Referers 
Referees 
References 
6
96
38
Title
Citations
PageRank
Year
Bounded Exhaustive Search of Alloy Specification Repairs00.342021
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs00.342021
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)00.342021
EvoSpex: An Evolutionary Algorithm for Learning Postconditions00.342021
Training binary classifiers as data structure invariants10.342019
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour00.342017