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

Controller synthesis

"Dynamic Update of Discrete Event Controllers" (2018) Nahabedian, L.;Braberman, V.;DIppolito, N. (...)Uchitel, S. IEEE Transactions on Software Engineering

"Interaction Models and Automated Control under Partial Observable Environments" (2017) Ciolek, D.;Braberman, V.;Dippolito, N. (...)Uchitel, S. IEEE Transactions on Software Engineering. 43(1):19-33

"Assured and correct dynamic update of controllers" (2016) Nahabedian, L.;Braberman, V.;D'Ippolito, N. (...)Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107

"Runtime controller synthesis for self-adaptation: Be discrete!" (2016) Uchitel, S.; Braberman, V.A.; D'Ippolito, N.; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:1-3

"Robust degradation and enhancement of robot mission behaviour in unpredictable environments" (2015) D'Ippolito, N.;Braberman, V.;Sykes, D. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 1st International Workshop on Control Theory for Software Engineering, CTSE 2015:26-33

"Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" (2014) D'Ippolito, N.;Braberman, V.;Kramer, J. (...)ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE) 36th International Conference on Software Engineering, ICSE 2014(1):688-699

"Supporting incremental behaviour model elaboration" (2013) Uchitel, S.;Alrajeh, D.;Ben-David, S. (...)Sibay, G. Computer Science - Research and Development. 28(4):279-293

"The modal transition system control problem" (2012) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:155-170