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
α
β
—
,
δ
π
-

Program translators

"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20

"Accelerating embedded image processing for real time: a case study" (2016) Pedre, S.; Krajník, T.; Todorovich, E.; Borensztejn, P. Journal of Real-Time Image Processing. 11(2):349-374

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

"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

"A dataflow analysis to improve SAT-based bounded program verification" (2011) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. 9th International Conference on Software Engineering and Formal Methods, SEFM 2011. 7041 LNCS:138-154

"Using abduction and induction for operational requirements elaboration" (2009) Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S. Journal of Applied Logic. 7(3):275-288

"Towards abstraction for DynAlloy specifications" (2008) Aguirre, N.M.;Frias, M.F.;Ponzio, P. (...)Regis, G. 10th International Conference on Formal Engineering Methods, ICFEM 2008. 5256 LNCS:207-225

"A de bruijn notation for higher-order rewriting" (2000) Bonelli, E.; Kesner, D.; Ríos, A.; Bachmair L. 11th International Conference on Rewriting Techniques and Applications, RTA 2000. 1833:62-79