-
1
-
-
84889986653
-
Software architecture evolution
-
T. Mens and S. Demeyer, editors, Springer
-
O. Barais, A.-F. L. Meur, L. Duchien, and J. L. Lawall. Software architecture evolution. In T. Mens and S. Demeyer, editors, Software Evolution, pages 233-262. Springer, 2008.
-
(2008)
Software Evolution
, pp. 233-262
-
-
Barais, O.1
Meur, A.-F.L.2
Duchien, L.3
Lawall, J.L.4
-
2
-
-
84893535058
-
Automated planning for software architecture evolution
-
J. M. Barnes, A. Pandey, and D. Garlan. Automated planning for software architecture evolution. In ASE'13, pages 213-223, 2013.
-
(2013)
ASE'13
, pp. 213-223
-
-
Barnes, J.M.1
Pandey, A.2
Garlan, D.3
-
3
-
-
69949133234
-
Satisfioability modulo theories
-
A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors. IOS Press
-
C. W. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli. Satisfioability modulo theories. In A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors, Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, pages 825-885. IOS Press, 2009.
-
(2009)
Handbook of Satisfiability of Frontiers in Artificial Intelligence and Applications
, vol.185
, pp. 825-885
-
-
Barrett, C.W.1
Sebastiani, R.2
Seshia, S.A.3
Tinelli, C.4
-
4
-
-
84949196273
-
Compositional reasoning in model checking
-
Springer-Verlag
-
S. Berezin, S. V. A. Campos, and E. M. Clarke. Compositional reasoning in model checking. COMPOS'97, pages 81-102. Springer-Verlag, 1998.
-
(1998)
COMPOS'97
, pp. 81-102
-
-
Berezin, S.1
Campos, S.V.A.2
Clarke, E.M.3
-
6
-
-
84873857495
-
Emerging techniques for the engineering of self-adaptive high-integrity software
-
J. Camara et al., editors, Springer
-
R. Calinescu. Emerging techniques for the engineering of self-adaptive high-integrity software. In J. Camara et al., editors, ASAS'13, volume 7740 of LNCS, pages 297-310. Springer, 2013.
-
(2013)
ASAS'13 of LNCS
, vol.7740
, pp. 297-310
-
-
Calinescu, R.1
-
7
-
-
79957794556
-
Dynamic QoS management and optimization in service-based systems
-
R. Calinescu et al. Dynamic QoS management and optimization in service-based systems. IEEE Trans. Soft. Eng., 37(3):387-409, 2011.
-
(2011)
IEEE Trans. Soft. Eng.
, vol.37
, Issue.3
, pp. 387-409
-
-
Calinescu, R.1
-
8
-
-
84865658584
-
Self-adaptive software needs quantitative verification at runtime
-
R. Calinescu, C. Ghezzi, M. Kwiatkowska, and R. Mirandola. Self-adaptive software needs quantitative verification at runtime. Comm. of the ACM, 55(9):69-77, 2012.
-
(2012)
Comm. of the ACM
, vol.55
, Issue.9
, pp. 69-77
-
-
Calinescu, R.1
Ghezzi, C.2
Kwiatkowska, M.3
Mirandola, R.4
-
9
-
-
84893612723
-
Developing self-verifying service-based systems
-
R. Calinescu, K. Johnson, and Y. Rafiq. Developing self-verifying service-based systems. In ASE'13, pages 734-737, 2013.
-
(2013)
ASE'13
, pp. 734-737
-
-
Calinescu, R.1
Johnson, K.2
Rafiq, Y.3
-
10
-
-
79960010485
-
Formal methods @ runtime
-
Springer
-
R. Calinescu and S. Kikuchi. Formal methods @ runtime. In Modeling, Development, and Verification of Adaptive Systems, volume 6662 of LNCS, pages 122-135. Springer, 2011.
-
(2011)
Modeling, Development, and Verification of Adaptive Systems of LNCS
, vol.6662
, pp. 122-135
-
-
Calinescu, R.1
Kikuchi, S.2
-
12
-
-
35248836944
-
Learning assumptions for compositional verification
-
Springer-Verlag
-
J. M. Cobleigh, D. Giannakopoulou, and C. S. Pasareanu. Learning assumptions for compositional verification. TACAS'03, pages 331-346. Springer-Verlag, 2003.
-
(2003)
TACAS'03
, pp. 331-346
-
-
Cobleigh, J.M.1
Giannakopoulou, D.2
Pasareanu, C.S.3
-
13
-
-
84864610262
-
SMT-based bounded model checking for embedded ANSI-C software. Software Engineering
-
L. Cordeiro, B. Fischer, and J. Marques-Silva. SMT-based bounded model checking for embedded ANSI-C software. Software Engineering, IEEE Transactions on, 38(4):957-974, 2012.
-
(2012)
IEEE Transactions on
, vol.38
, Issue.4
, pp. 957-974
-
-
Cordeiro, L.1
Fischer, B.2
Marques-Silva, J.3
-
14
-
-
45749085681
-
Z3: An effcient SMT solver
-
Springer-Verlag
-
L. De Moura and N. Bjørner. Z3: an effcient SMT solver. In TACAS'08, pages 337-340. Springer-Verlag, 2008.
-
(2008)
TACAS'08
, pp. 337-340
-
-
De Moura, L.1
Bjørner, N.2
-
15
-
-
80052312354
-
Satisfiability modulo theories: Introduction and applications
-
L. De Moura and N. Bjørner. Satisfiability modulo theories: introduction and applications. Comm. of the ACM, 54(9):69-77, 2011.
-
(2011)
Comm. of the ACM
, vol.54
, Issue.9
, pp. 69-77
-
-
De Moura, L.1
Bjørner, N.2
-
16
-
-
84861575927
-
A formal approach to adaptive software: Continuous assurance of non-functional requirements
-
A. Filieri, C. Ghezzi, and G. Tamburrelli. A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Asp. Comput., 24(2):163-186, 2012.
-
(2012)
Formal Asp. Comput.
, vol.24
, Issue.2
, pp. 163-186
-
-
Filieri, A.1
Ghezzi, C.2
Tamburrelli, G.3
-
17
-
-
33645002511
-
Using architecture models for runtime adaptability
-
J. Floch et al. Using architecture models for runtime adaptability. IEEE Software, 23:62-70, 2006.
-
(2006)
IEEE Software
, vol.23
, pp. 62-70
-
-
Floch, J.1
-
18
-
-
84872843584
-
Incremental runtime verification of probabilistic systems
-
S. Qadeer and S. Tasiran, editors, Springer Berlin Heidelberg
-
V. Forejt et al. Incremental runtime verification of probabilistic systems. In S. Qadeer and S. Tasiran, editors, Runtime Verification, volume 7687 of Lecture Notes in Computer Science, pages 314-319. Springer Berlin Heidelberg, 2013.
-
(2013)
Runtime Verification of Lecture Notes in Computer Science
, vol.7687
, pp. 314-319
-
-
Forejt, V.1
-
19
-
-
79953177538
-
Cadp 2010: A toolbox for the construction and analysis of distributed processes
-
P. Abdulla and K. Leino, editors, Springer Berlin Heidelberg
-
H. Garavel, F. Lang, R. Mateescu, and W. Serwe. Cadp 2010: A toolbox for the construction and analysis of distributed processes. In P. Abdulla and K. Leino, editors, TACAS'11, volume 6605 of LNCS, pages 372-387. Springer Berlin Heidelberg, 2011.
-
(2011)
TACAS'11 of LNCS
, vol.6605
, pp. 372-387
-
-
Garavel, H.1
Lang, F.2
Mateescu, R.3
Serwe, W.4
-
20
-
-
74349120926
-
Evolution styles: Foundations and tool support for software architecture evolution
-
D. Garlan, J. M. Barnes, B. R. Schmerl, and O. Celiku. Evolution styles: Foundations and tool support for software architecture evolution. In SA'09, pages 131-140, 2009.
-
(2009)
SA'09
, pp. 131-140
-
-
Garlan, D.1
Barnes, J.M.2
Schmerl, B.R.3
Celiku, O.4
-
21
-
-
35048815624
-
Using architectural models at runtime: Research challenges
-
D. Garlan and B. R. Schmerl. Using architectural models at runtime: Research challenges. In EWSA'04, volume 3047, pages 200-205, 2004.
-
(2004)
EWSA'04
, vol.3047
, pp. 200-205
-
-
Garlan, D.1
Schmerl, B.R.2
-
22
-
-
84868358070
-
Evolution adaptation, and the quest for incrementality
-
R. Calinescu and D. Garlan, editors, Springer
-
C. Ghezzi. Evolution, adaptation, and the quest for incrementality. In R. Calinescu and D. Garlan, editors, LSCITS. Development, Operation and Management, volume 7539 of LNCS, pages 369-379. Springer, 2012.
-
(2012)
LSCITS. Development, Operation and Management of LNCS
, vol.7539
, pp. 369-379
-
-
Ghezzi, C.1
-
23
-
-
84880539485
-
An incremental verification framework for component-based software systems
-
K. Johnson, R. Calinescu, and S. Kikuchi. An incremental verification framework for component-based software systems. In CBSE'13, pages 33-42, 2013.
-
(2013)
CBSE'13
, pp. 33-42
-
-
Johnson, K.1
Calinescu, R.2
Kikuchi, S.3
-
24
-
-
80051922471
-
Incremental quantitative verification for Markov decision processes
-
M. Z. Kwiatkowska, D. Parker, and H. Qu. Incremental quantitative verification for Markov decision processes. In DSN'11, pages 359-370, 2011.
-
(2011)
DSN'11
, pp. 359-370
-
-
Kwiatkowska, M.Z.1
Parker, D.2
Qu, H.3
-
26
-
-
70350345225
-
Models@run.time to support dynamic adaptation
-
B. Morin et al. Models@run.time to support dynamic adaptation. Computer, 42:44-51, 2009.
-
(2009)
Computer
, vol.42
, pp. 44-51
-
-
Morin, B.1
-
28
-
-
84893525924
-
Ranger: Parallel analysis of alloy models by range partitioning
-
N. Rosner et al. Ranger: Parallel analysis of alloy models by range partitioning. In ASE'13, pages 147-157, 2013.
-
(2013)
ASE'13
, pp. 147-157
-
-
Rosner, N.1
-
29
-
-
57049157146
-
Runtime certification
-
J. M. Rushby. Runtime certification. In RV'08, pages 21-35, 2008.
-
(2008)
RV'08
, pp. 21-35
-
-
Rushby, J.M.1
|