Marcelo F. Frias
Marcelo F. Frias
Professor of Computer Science, Buenos Aires Institute of Technology
Verified email at itba.edu.ar
TitleCited byYear
DynAlloy: upgrading alloy with actions
MR Frias, JP Galeotti, CGL Pombo, NM Aguirre
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
1192005
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
802010
Fork algebras in algebra, logic and computer science
MF n Frias
World Scientific, 2002
562002
Fork algebras in algebra, logic and computer science
MF n Frias
World Scientific, 2002
562002
Fork algebras in algebra, logic and computer science
MF n Frias
World Scientific, 2002
562002
A finite axiomatization for fork algebras
MF Frias, AM Haeberer, PAS Veloso
Logic Journal of the IGPL 5 (3), 1-10, 1997
441997
A finite axiomatization for fork algebras
MF Frias, AM Haeberer, PAS Veloso
Logic Journal of the IGPL 5 (3), 1-10, 1997
441997
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
432013
Fork algebras in algebra, logic and computer science
MF Frias, GA Baum, AM Haeberer
Fundamenta Informaticae 32 (1), 1-25, 1997
411997
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
311995
Fork algebras are representable
MF Frias, GA Baum, AM Haeberer, PAS Veloso
Bulletin of the Section of Logic 24 (2), 64-75, 1995
311995
Equational reasoning in non-classical logics
M Frias, E Orlowska
Journal of Applied Non-classical Logics 8 (1-2), 27-66, 1998
301998
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
292013
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
282005
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
252015
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
International Conference on Formal Engineering Methods, 162-175, 2004
252004
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
242007
Efficient analysis of DynAlloy specifications
MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 4, 2007
232007
Dynalloy as a formal method for the analysis of java programs
JP Galeotti, MF Frias
Software engineering techniques: Design for quality, 249-260, 2006
232006
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
231996
The system can't perform the operation now. Try again later.
Articles 1–20