Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Lista de

$
0
1
-
1
1
-
1
-
1
-
1
1
1
2
3
4
5
6
7
8
9
a
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
‐
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
a
-
a
-
a
b
-
b
-
b
-
b
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
+
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
c
-
c
-
c
d
-
d
-
d
-
d
-
d
-
d
-
d
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
f
-
f
-
f
f
g
-
g
-
g
-
g
-
g
-
g
-
g
-
g
-
‐
g
-
g
-
‐
g
-
g
h
‐
h
h
-
h
-
h
-
h
-
h
i
-
i
j
k
-
k
-
k
-
k
-
k
-
k
l
-
l
-
l
-
l
-
l
-
l
-
l
l
+
l
±
l
l
m
-
m
-
m
-
m
-
m
-
m
+
m
-
m
-
m
-
m
-
‐
m
n
-
n
-
n
-
n
-
n
o
p
-
p
p
-
p
-
p
q
r
-
r
-
r
s
-
s
-
s
{
s
-
s
t
-
t
‐
-
t
-
t
-
t
t
-
t
u
v
v
w
x
-
x
y
z
α
β
—
,
δ
π
-

Static analysis

"Static analysis for optimizing big data queries" (2017) Garbervetsky, D.;Pavlinovic, Z.;Barnett, M. (...)Special Interest Group on Software Engineering (ACM SIGSOFT) 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017. Part F130154:932-937

"Toward full elasticity in distributed static analysis: The case of callgraph analysis" (2017) Garbervetsky, D.;Zoppi, E.;Livshits, B. (...)Special Interest Group on Software Engineering (ACM SIGSOFT) 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017. Part F130154:442-453

"Summary-based inference of quantitative bounds of live heap objects" (2014) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming. 92(PART A):56-84

"Practical JFSL verification using TACO" (2014) Chicote, M.; Ciolek, D.; Galeotti, J.P. Software - Practice and Experience. 44(3):317-334

"Parallel bounded analysis in code with rich invariants by refinement of field bounds" (2013) Rosner, N.;Galeotti, J.;Bermúdez, S. (...)Frias, M.F. 22nd International Symposium on Software Testing and Analysis, ISSTA 2013:23-33

"TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds" (2013) Galeotti, J.P.; Rosner, N.; Lopez Pombo, C.G.; Frias, M.F. IEEE Transactions on Software Engineering. 39(9):1283-1306

"Ranger: Parallel analysis of alloy models by range partitioning" (2013) Rosner, N.;Siddiqui, J.H.;Aguirre, N. (...)IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASA 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013:147-157

"Region-based memory management: An evaluation of its support in RTSJ" (2012) Higuera-Toledano, M.T.; Yovine, S.; Garbervetsky, D. Distributed, Embedded and Real-time Java Systems. 9781441981585:101-127

"TacoPlug: An eclipse plug-in for TACO" (2012) Chicote, M.; Galeotti, J.P. 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012:37-42

"Quantitative dynamic-memory analysis for Java" (2011) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. Concurrency Computation Practice and Experience. 23(14):1665-1678

"Analysis of invariants for efficient bounded verification" (2010) Galeotti, J.P.; Rosner, N.; Pombo, C.G.L.; Frias, M.F. 19th International Symposium on Software Testing and Analysis, ISSTA 2010:25-35

"Analysis of large scale MHD quantities in expanding magnetic clouds" (2008) Nakwacki, M.S.; Dasso, S.; Mandrini, C.H.; Démoulin, P. Journal of Atmospheric and Solar-Terrestrial Physics. 70(10):1318-1326

"Static checking of system behaviors using derived component assumptions" (2000) Inverardi, P.; Wolf, A.L.; Yankelevich, D. ACM Transactions on Software Engineering and Methodology. 9(3):239-272