Navegar

Colección

Datos Estadísticas

Lista de

Frias, Marcelo
22
2014
6
"TacoFlow: optimizing SAT program verification using dataflow analysis" (2014) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. Software and Systems Modeling. 14(1):45-63
"Parallel bounded verification of alloy models by tranScoping" (2014) Rosner, N.;Pombo, C.G.L.;Aguirre, N. (...)Cohen E. 5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013. 8164:88-107
"HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications" (2014) Giménez, M.;Moscato, M.M.;Pombo, C.G.L. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:65-70
"Dynamite: A tool for the verification of alloy models based on PVS" (2014) Moscato, M.M.; Lopez Pombo, C.G.; Frias, M.F. ACM Transactions on Software Engineering and Methodology. 23(2)
"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. ACM SIGPLAN Notices. 49(10):655-674
"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674