Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations, in Journal of Systems and Software, 2016
DOI: 10.1016/j.jss.2016.02.028
Link bibtex
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil, P. Tůma:
Formalization of Invariant Patterns for the Invariant Refinement Method, in Software, Services, and Systems, pp. 602-618, 2015
ISBN: 978-3-319-15544-9 978-3-319-15545-6
Link bibtex
L. Bulej, T. Bureš, I. Gerostathopoulos, V. Horký, J. Keznikl, L. Marek, M. Tschaikowski, M. Tribastone, P. Tůma:
Supporting Performance Awareness in Autonomous Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 291–322, 2015
ISBN: 978-3-319-16310-9
Link bibtex
P. Mayer, J. Velasco, A. Klarl, R. Hennicker, M. Puviani, F. Tiezzi, R. Pugliese, J. Keznikl, T. Bureš:
The Autonomic Cloud, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 495–512, 2015
ISBN: 978-3-319-16310-9
Link bibtex
D. Abeywickrama, J. Combaz, V. Horký, J. Keznikl, J. Kofroň, A. Lafuente, M. Loreti, A. Margheri, P. Mayer, V. Monreale, U. Montanari, C. Pinciroli, P. Tůma, A. Vandin, E. Vassev:
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, pp. 429-448, 2015
ISBN: 978-3-319-16309-3 978-3-319-16310-9
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
The Invariant Refinement Method, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 405–428, 2015
ISBN: 978-3-319-16310-9
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo: An Ecosystem for Cyber-Physical Systems, in Companion Proceedings of ICSE 2014, Hyderabad, India, pp. 610-611, 2014
ISBN: 978-1-4503-2768-8, DOI: 10.1145/2591062.2591140
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Gossiping Components for Cyber-Physical Systems, in Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings, pp. 250–266, 2014
ISBN: 978-3-319-09970-5
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil:
Architecture Adaptation Based on Belief Inaccuracy Estimation, in Proceedings of WICSA 2014, Sydney, NSW, Australiatecture, pp. 87–90, 2014
ISBN: 978-1-4799-3412-6, DOI: 10.1109/WICSA.2014.20
Link bibtex
J. Barnat, N. Beneš, T. Bureš, I. Černá, J. Keznikl, F. Plášil:
Towards Verification of Ensemble-Based Component Systems, in Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 41–60, 2014
ISBN: 978-3-319-07602-7
Link bibtex
J. Keznikl, T. Bureš, F. Plášil, P. Hnětynka:
Automated resolution of connector architectures using constraint solving (ARCAS method), in Software & Systems Modeling 13(2), pp. 843–872, 2014
DOI: 10.1007/s10270-012-0274-8
bibtex
I. Gerostathopoulos, J. Keznikl, T. Bureš, M. Kit, F. Plášil:
Software Engineering for Software-Intensive Cyber-Physical Systems, in Proc. of CPSData workshop in INFORMATIK'14. To Appear., 2014
Link bibtex
N. Šerbedžija, T. Bureš, J. Keznikl:
Engineering Autonomous Systems, in Proceedings of the 17th Panhellenic Conference on Informatics, pp. 128–135, 2013
ISBN: 978-1-4503-1969-0, DOI: 10.1145/2491845.2491862
bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo Computational Model - I, Technical report no. No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo – an Ensemble-Based Component System, in Proc. of CBSE'13, pp. 81-90, 2013
ISBN: 978-1-4503-2122-8
Link bibtex
L. Bulej, T. Bureš, V. Horký, J. Keznikl:
Adaptive Deployment in Ad-hoc Systems Using Emergent Component Ensembles: Vision Paper, in Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering, pp. 343–346, 2013
ISBN: 978-1-4503-1636-1, DOI: 10.1145/2479871.2479922
bibtex
J. Keznikl, T. Bureš, F. Plášil, I. Gerostathopoulos, P. Hnětynka, N. Hoch:
Design of Ensemble-Based Component Systems by Invariant Refinement, in Proceedings of CBSE'13, Vancouver, Canada, pp. 91-100, 2013
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Autonomous components in dynamic environments, Technical report no. , , 2012
Link bibtex
L. Bulej, T. Bureš, J. Keznikl, A. Koubková, A. Podzimek, P. Tůma:
Capturing Performance Assumptions Using Stochastic Performance Logic, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 311–322, 2012
ISBN: 978-1-4503-1202-8, DOI: 10.1145/2188286.2188345