Professor

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

Malostranské náměstí 25
118 00 Praha 1
Czech Republic

E-mail: bures@d3s.mff.cuni.cz
Phone: +420 95155 4236

Research interests

Projects involvement

Teaching

Publications

M. Walter, S. Hahner, T. Bureš, P. Hnětynka, R. Heinrich, R. Reussner:
Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0, in at - Automatisierungstechnik 71(6), pp. 443-452, 2023
DOI: 10.1515/auto-2022-0135
R. Heinrich, S. Seifermann, M. Walter, S. Hahner, R. Reussner, T. Bureš, P. Hnětynka, J. Pacovský:
Dynamic Access Control in Industry 4.0 Systems, in Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 143-170, 2023
ISBN: 978-3-662-65004-2
M. Abdullah, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations, in 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 86-93, 2023
ISBN: 9798350342352, DOI: 10.1109/SEAA60479.2023.00022
T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil, D. Khalyeyev, S. Hahner, S. Seifermann, M. Walter, R. Heinrich:
Generating adaptation rule-specific neural network, in International Journal on Software Tools for Technology Transfer 25, pp. 733–746, 2023
DOI: 10.1007/s10009-023-00725-y
M. Abdullah, M. Töpfer, T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil:
Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive Architectures, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 370-385, 2023
DOI: 10.1007/978-3-031-36889-9_25
M. Töpfer, M. Abdullah, T. Bureš, P. Hnětynka, M. Kruliš:
Machine-learning abstractions for component-based self-optimizing systems, in International Journal on Software Tools for Technology Transfer 25, pp. 717–731, 2023
DOI: 10.1007/s10009-023-00726-x
E. Alberts, I. Gerostathopoulos, T. Bureš:
MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-adaptive Systems, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 183-198, 2023
DOI: 10.1007/978-3-031-36889-9_14
S. Hahner, T. Bitschi, M. Walter, T. Bureš, P. Hnětynka, R. Heinrich:
Model-based Confidentiality Analysis under Uncertainty, in Companion Proceedings of ICSA 2023, L'Aquila, Italy, pp. 256-263, 2023
DOI: 10.1109/ICSA-C57050.2023.00062
P. Hnětynka, M. Kruliš, M. Töpfer, T. Bureš:
Modeling Machine Learning Concerns in Collective Adaptive Systems:, in Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, Lisbon, Portugal, pp. 55-62, 2023
ISBN: 978-989-758-633-0, DOI: 10.5220/0011693300003402
M. Töpfer, F. Plášil, T. Bureš, P. Hnětynka, M. Kruliš, D. Weyns:
Online ML Self-adaptation in Face of Traps, accepted for publication in Proceedings of ACSOS 2023,Toronto, Canada
D. Weyns, I. Gerostathopoulos, N. Abbas, J. Andersson, S. Biffl, P. Brada, T. Bureš, A. Di Salle, M. Galster, P. Lago, G. Lewis, M. Litoiu, A. Musil, J. Musil, P. Patros, P. Pelliccione:
Self-Adaptation in Industry: A Survey, in ACM Transactions on Autonomous and Adaptive Systems 18(2), pp. 1-44, 2023
DOI: 10.1145/3589227
D. Khalyeyev, T. Bureš, P. Hnětynka:
Towards a Reference Component Model of Edge-Cloud Continuum, in Companion Proceedings of ICSA 2023, L'Aquila, Italy, pp. 91-95, 2023
ISBN: 978-1-66546-459-8, DOI: 10.1109/ICSA-C57050.2023.00030
D. Khalyeyev, T. Bureš, P. Hnětynka:
Towards Characterization of Edge-Cloud Continuum, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 215-230, 2023
DOI: 10.1007/978-3-031-36889-9_16
R. Al-Ali, L. Bulej, J. Kofroň, T. Bureš:
A guide to design uncertainty-aware self-adaptive components in Cyber– Physical Systems, in Future Generation Computer Systems 128, pp. 466-489, 2022
DOI: 10.1016/j.future.2021.10.027
M. Walter, S. Hahner, S. Seifermann, T. Bureš, P. Hnětynka, J. Pacovský, R. Heinrich:
Architectural Optimization for Confidentiality Under Structural Uncertainty, in Software Architecture (ECSA 2021 postproceedings), pp. 309–332, 2022
ISBN: 978-3-031-15116-3, DOI: 10.1007/978-3-031-15116-3_14
T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil, D. Khalyeyev, S. Hahner, S. Seifermann, M. Walter, R. Heinrich:
Attuning Adaptation Rules via a Rule-Specific Neural Network, in Proceedings of ISOLA 2022, Rhodes, Greece, pp. 215-230, 2022
DOI: 10.1007/978-3-031-19759-8_14
M. Töpfer, M. Abdullah, T. Bureš, P. Hnětynka, M. Kruliš:
Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems, in Proceedings of ISOLA 2022, Rhodes, Greece, pp. 318-334, 2022
DOI: 10.1007/978-3-031-19759-8_20
N. Boltz, S. Hahner, M. Walter, S. Seifermann, T. Bureš, P. Hnětynka, R. Heinrich:
Handling Environmental Uncertainty in Design Time Access Control Analysis, in Proceedings of SEAA 2022, Gran Canaria, Spain, 2022
DOI: 10.1109/SEAA56994.2022.00067
M. Töpfer, M. Abdullah, M. Kruliš, T. Bureš, P. Hnětynka:
ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components, in Proceedings of ACSOS 2022, Virtual event, 2022
DOI: 10.1109/ACSOSC56246.2022.00033
D. Weyns, I. Gerostathopoulos, N. Abbas, J. Andersson, S. Biffl, P. Brada, T. Bureš, A. Di Salle, P. Lago, A. Musil, J. Musil, P. Pelliccione:
Preliminary results of a survey on the use of self-adaptation in industry, in Proceedings of SEAMS 2022, Pittsburgh, USA, pp. 70-76, 2022
ISBN: 978-1-4503-9305-8, DOI: 10.1145/3524844.3528077
M. Abdullah, L. Bulej, T. Bureš, P. Hnětynka, V. Horký, P. Tůma:
Reducing Experiment Costs in Automated Software Performance Regression Detection, in 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 56-59, 2022
ISBN: 978-1-66546-152-8, DOI: 10.1109/SEAA56994.2022.00017
M. Kruliš, T. Bureš, P. Hnětynka:
Simdex: a simulator of a real self-adaptive job-dispatching system backend, in Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 167–173, 2022
ISBN: 978-1-4503-9305-8, DOI: 10.1145/3524844.3528078
T. Bureš, P. Hnětynka, M. Kruliš, J. Pacovský:
Towards Model-driven Fuzzification of Adaptive Systems Specification:, in Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, pp. 336-343, 2022
ISBN: 978-989-758-550-0, DOI: 10.5220/0010910800003119
T. Bureš, I. Gerostathopoulos, P. Hnětynka, S. Seifermann, M. Walter, R. Heinrich:
Aspect-Oriented Adaptation of Access Control Rules, in Proceedings of SEAA 2021, Palermo. Italy, pp. 363-370, 2021
DOI: 10.1109/SEAA53835.2021.00054
L. Bulej, T. Bureš, A. Filandr, P. Hnětynka, I. Hnětynková, J. Pacovský, G. Sandor, I. Gerostathopoulos:
Managing latency in edge–cloud environment, in Journal of Systems and Software 172, 2021
DOI: 10.1016/j.jss.2020.110872
S. Hahner, S. Seifermann, R. Heinrich, M. Walter, T. Bureš, P. Hnětynka:
Modeling Data Flow Constraints for Design-Time Confidentiality Analyses, in Companion proceedings of ICSA 2021, Stuttgart, Germany, pp. 15-21, 2021
ISBN: 978-1-66543-910-7, DOI: 10.1109/ICSA-C52384.2021.00009
T. Bureš:
Self-Adaptation 2.0, in Proceedings of SEAMS 2021, Madrid, Spain, pp. 262-263, 2021
ISBN: 978-1-66540-289-7, DOI: 10.1109/SEAMS51251.2021.00046
L. Bulej, T. Bureš, P. Hnětynka, D. Khalyeyev:
Self-adaptive K8S Cloud Controller for Time-sensitive Applications, in Proceedings of SEAA 2021, Palermo. Italy, pp. 166-169, 2021
DOI: 10.1109/SEAA53835.2021.00029
T. Bureš, P. Hnětynka, F. Plášil, D. Škoda, J. Kofroň, R. Ali, I. Gerostathopoulos:
Targeting uncertainty in smart CPS by confidence-based logic, in Journal of Systems and Software 181, 2021
DOI: 10.1016/j.jss.2021.111065
T. Bureš, I. Gerostathopoulos, P. Hnětynka, F. Plášil, F. Krijt, J. Vinárek, J. Kofroň:
A language and framework for dynamic component ensembles in smart systems, in International Journal on Software Tools for Technology Transfer 22(4), pp. 497-509, 2020
DOI: 10.1007/s10009-020-00558-z
M. Bobel, I. Gerostathopoulos, T. Bureš:
A Toolbox for Realtime Timeseries Anomaly Detection, in Companion proceedings of ICSA 2020, Salvador, Brazil, pp. 278-281, 2020
ISBN: 978-1-72817-415-0, DOI: 10.1109/ICSA-C50368.2020.00053
T. Bureš, P. Hnětynka, R. Heinrich, S. Seifermann, M. Walter:
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns, in Proceedings of ISOLA 2020, Rhodes, Greece, 2020
DOI: 10.1007/978-3-030-61470-6_18
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Pacovský:
Forming Ensembles at Runtime: A Machine Learning Approach, in Proceedings of ISOLA 2020, Rhodes, Greece, 2020
DOI: 10.1007/978-3-030-61470-6_26
L. Bulej, T. Bureš, P. Hnětynka, V. Čamra, P. Siegl, M. Töpfer:
IVIS: Highly customizable framework for visualization and processing of IoT data, in Proceedings of EUROMICRO SEAA 2020, Portorož, Slovenia, 2020
DOI: 10.1109/SEAA51224.2020.00095
S. García, P. Pelliccione, C. Menghi, T. Berger, T. Bureš:
PROMISE: high-level mission specification for multiple robots, in Companion proceedings of ICSE 2020, Seoul, South Korea, pp. 5-8, 2020
ISBN: 978-1-4503-7122-3, DOI: 10.1145/3377812.3382143
F. van den Berg, V. Camra, M. Hendriks, M. Geilen, P. Hnětynka, F. Manteca, P. Sanchez, T. Bureš, A. Basten:
QRML: A Component Language and Toolset for Quality and Resource Management, in Proceedings of FDL 2020, Kiel, Germany, 2020
DOI: 10.1109/FDL50818.2020.9232936
R. Al Ali, T. Bureš, P. Hnětynka, J. Matejek, F. Plášil, J. Vinárek:
Toward autonomically composable and context-dependent access control specification through ensembles, in International Journal on Software Tools for Technology Transfer 22(4), pp. 511-522, 2020
DOI: 10.1007/s10009-020-00556-1
P. Hnětynka, T. Bureš, I. Gerostathopoulos, J. Pacovský:
Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart Farming, in Proceedings of SEAMS 2020, Seoul, Korea, 2020
DOI: 10.1145/3387939.3391599
M. Alam, I. Gerostathopoulos, C. Prehofer, A. Attanasi, T. Bureš:
A Framework for Tunable Anomaly Detection, in Proceedings of ICSA 2019, Hamburg, Germany, pp. 201-210, 2019
ISBN: 978-1-72810-528-4, DOI: 10.1109/ICSA.2019.00029
I. Gerostathopoulos, S. Kugele, C. Segler, T. Bureš:
Automated Trainability Evaluation for Smart Software Functions, accepted for publication in Proceedings of ASE 2019, San Diego, USA
V. Matena, T. Bureš, I. Gerostathopoulos, P. Hnětynka:
Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed, in Engineering Adaptive Software Systems: Communications of NII Shonan Meetings, pp. 149-169, 2019
ISBN: 9789811321856
T. Bureš, P. Hnětynka:
Formal Semantics of Component Ensembles, Technical report no. D3S-TR-2019-01, Department of Distributed and Dependable Systems, Charles University, 2019
S. García, P. Pelliccione, C. Menghi, T. Berger, T. Bureš:
High-level mission specification for multiple robots, in Proceedings of SLE 2019, Athens, Greece, pp. 127-140, 2019
ISBN: 978-1-4503-6981-7, DOI: 10.1145/3357766.3359535
I. Gerostathopoulos, D. Škoda, F. Plášil, T. Bureš, A. Knauss:
Tuning Self-Adaptation in Cyber-Physical Systems through Architectural Homeostasis, in Journal of Systems and Software 148, pp. 37-55, 2019
DOI: 10.1016/j.jss.2018.10.051
D. Khalyeyev, P. Hnětynka, T. Bureš:
A Virtual Playground for Testing Smart Cyber-Physical Systems, in Companion Proceedings of ICSA 2018, Seattle, USA, pp. 85-88, 2018
ISBN: 978-1-5386-6585-5, DOI: 10.1109/ICSA-C.2018.00031
I. Gerostathopoulos, C. Prehofer, T. Bureš:
Adapting a System with Noisy Outputs with Statistical Guarantees, in Proceedings of SEAMS 2018, Gothenburg, Sweden, pp. 58–68, 2018
ISBN: 978-1-4503-5715-9, DOI: 10.1145/3194133.3194152
P. Kubát, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation, in Companion Proc. 9th ACM/SPEC Intl. Conf. on Performance Engineering (ICPE), pp. 195-198, 2018
ISBN: 978-1-4503-5629-9, DOI: 10.1145/3185768.3186406
I. Gerostathopoulos, C. Prehofer, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results, in 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), pp. 72-75, 2018
DOI: 10.1109/ICSA-C.2018.00027
R. Al-Ali, T. Bureš, P. Hnětynka, F. Krijt, F. Plášil, J. Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles, in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pp. 172-185, 2018
ISBN: 978-3-030-03424-5, DOI: 10.1007/978-3-030-03424-5_12
T. Bureš, V. Matena, R. Mirandola, L. Pagliari, C. Trubiani:
Performance Modelling of Smart Cyber-Physical Systems, in Companion Proceedings of ICPE 2018, Berlin, Germany, pp. 37-40, 2018
ISBN: 978-1-4503-5629-9, DOI: 10.1145/3185768.3186306
R. Al-Ali, T. Bureš, B. Hartmann, J. Havlik, R. Heinrich, P. Hnětynka, A. Juan-Verdejo, P. Parízek, S. Seifermann, M. Walter:
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems, Technical report no. 1000085169, Karlsruher Institut für Technologie, pp. 1-42, 2018
V. Matena, A. Masrur, T. Bureš:
An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS, in 43rd Euromicro Conference on Software Engineering and Advanced Applications, pp. 234-238, 2017
ISBN: 978-1-5386-2141-7, DOI: 10.1109/SEAA.2017.62
F. Krijt, Z. Jiracek, T. Bureš, P. Hnětynka, F. Plášil:
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality, in Proc. 5th International Conference on Model-Driven Engineering and Software Development, pp. 561-568, 2017
ISBN: 978-989-758-210-3
T. Bureš:
Autonomic Component Ensembles for Dynamic Evolving Architectures of Context-aware Smart Systems: Invited Talk Abstract, in Proceedings of ECSA 2017, Canterbury, United Kingdom, pp. 70–70, 2017
ISBN: 978-1-4503-5217-8, DOI: 10.1145/3129790.3129795
F. Krijt, Z. Jiracek, T. Bureš, P. Hnětynka, I. Gerostathopoulos:
Intelligent Ensembles - A Declarative Group Description Language and Java Framework, in IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 116-122, 2017
ISBN: 978-1-5386-1550-8, DOI: 10.1109/SEAMS.2017.17
F. Krijt, Z. Jiracek, T. Bureš, P. Hnětynka, I. Gerostathopoulos:
Intelligent Ensembles – a Declarative Group Description Language and Java Framework (Artifact), in Dagstuhl Artifacts Series 3(1), pp. 1–3, 2017
DOI: 10.4230/DARTS.3.1.6
C. Dupont, T. Bureš, M. Sheikhalishahi, C. Pham, A. Rahim:
Low-cost IoT, Big Data, and Cloud Platform for Developing Countries, in International Conference on the Economics of Grids, Clouds, Systems, and Services, pp. 285-299, 2017
ISBN: 978-3-319-68066-8, DOI: 10.1007/978-3-319-68066-8_23
S. Schmid, I. Gerostathopoulos, C. Prehofer, T. Bureš:
Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact), in Dagstuhl Artifacts Series 3(1), pp. 5:1–5:3, 2017
DOI: 10.4230/DARTS.3.1.5
A. Musil, J. Musil, D. Weyns, T. Bureš, H. Muccini, M. Sharaf:
Patterns for Self-Adaptation in Cyber-Physical Systems, in Multi-Disciplinary Engineering for Cyber-Physical Production Systems: Data Models and Software Solutions for Handling Complex Engineering Projects, pp. 331-368, 2017
ISBN: 978-3-319-56345-9
S. Schmid, I. Gerostathopoulos, C. Prehofer, T. Bureš:
Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool, in IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 102-108, 2017
ISBN: 978-1-5386-1550-8, DOI: 10.1109/SEAMS.2017.20
T. Bureš, D. Weyns, B. Schmer, E. Tovar, E. Boden, T. Gabor, I. Gerostathopoulos, P. Gupta, E. Kang, A. Knauss, P. Patel, A. Rashid, I. Ruchkin, R. Sukkerd, C. Tsigkanos:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions, in ACM SIGSOFT Software Engineering Notes 42(2), pp. 19–24, 2017
DOI: 10.1145/3089649.3089656
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Škoda:
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies, in ACM Transactions on Cyber-Physical Systems 1(3), pp. 1-25, 2017
DOI: 10.1145/2823345
O. Nikiforova, N. Marzouki, K. Gusarovs, H. Vangheluwe, T. Bureš, R. Al-Ali, M. Iacono, P. Esquivel, F. Leon:
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems, in Proc. of ICSOFT 2017, Madrid, Spain, pp. 286-293, 2017
ISBN: 978-989-758-262-2, DOI: 10.5220/0006424902860293
T. Bureš, I. Gerostathopoulos, P. Hnětynka, F. Plášil, F. Krijt, J. Vinárek:
Trait-based Language for Smart Cyber-Physical Systems, Technical report no. D3S-TR-2017-01, Department of Distributed and Dependable Systems, Charles University, 2017
L. Bulej, T. Bureš, V. Horký, J. Kotrč, L. Marek, T. Trojánek, P. Tůma:
Unit testing performance with Stochastic Performance Logic, in Automated Software Engineering 24(1), pp. 139-187, 2017
DOI: 10.1007/s10515-015-0188-0
I. Gerostathopoulos, D. Škoda, F. Plášil, T. Bureš, A. Knauss:
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems, in Software Architecture, pp. 113-128, 2016
ISBN: 978-3-319-48992-6, DOI: 10.1007/978-3-319-48992-6_8
A. Masrur, M. Kit, V. Matěna, T. Bureš, W. Hardt:
Component-based design of cyber-physical applications with safety-critical requirements, in Microprocessors and Microsystems 42, pp. 70-86, 2016
DOI: 10.1016/j.micpro.2016.01.007
C. Kroiss, T. Bureš:
Logic-based modeling of information transfer in cyber–physical multi-agent systems, in Future Generation Computer Systems 56(Supplement C), pp. 124 - 139, 2016
DOI: 10.1016/j.future.2015.09.013
V. Matena, T. Bureš, I. Gerostathopoulos, P. Hnětynka:
Model Problem and Testbed for Experiments with Adaptation in Smart Cyber-physical Systems, in Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 82–88, 2016
ISBN: 978-1-4503-4187-5, DOI: 10.1145/2897053.2897065
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
T. Bureš, P. Hnětynka, F. Krijt, V. Matena, F. Plášil:
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication, in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I, pp. 642–656, 2016
ISBN: 978-3-319-47166-2, DOI: 10.1007/978-3-319-47166-2_45
T. Bureš, F. Plášil, M. Kit, P. Tůma, N. Hoch:
Software Abstractions for Component Interaction in the Internet of Things, in Computer 49(12), pp. 50-59, 2016
DOI: 10.1109/MC.2016.377
T. Bureš, P. Hnětynka, J. Kofroň, R. Al-Ali, D. Škoda:
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems, in 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), pp. 168-177, 2016
DOI: 10.1109/WICSA.2016.33
I. Gerostathopoulos, T. Bureš, S. Schmid, V. Horký, C. Prehofer, P. Tůma:
Towards Systematic Live Experimentation in Software-intensive Systems of Systems, in Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, pp. 7:1–7:7, 2016
ISBN: 978-1-4503-6399-0, DOI: 10.1145/3175731.3176175
M. Kit, I. Gerostathopoulos, T. Bureš, P. Hnětynka, F. Plášil:
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems, in 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 93-96, 2015
DOI: 10.1109/SEAMS.2015.28
M. Kit, F. Plášil, V. Matena, T. Bureš, O. Kovac:
Employing Domain Knowledge for Optimizing Component Communication, in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp. 59–64, 2015
ISBN: 978-1-4503-3471-6, DOI: 10.1145/2737166.2737172
V. Simko, D. Hauzar, P. Hnětynka, T. Bureš, F. Plášil:
Formal Verification of Annotated Textual Use-Cases, in The Computer Journal 58(7), pp. 1495-1529, 2015
DOI: 10.1093/comjnl/bxu068
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
C. Kroiss, T. Bureš:
Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems, in Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers, pp. 42–52, 2015
ISBN: 978-3-319-15392-6
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Škoda:
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems, in Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings, pp. 45–52, 2015
ISBN: 978-3-319-23727-5, DOI: 10.1007/978-3-319-23727-5_4
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Škoda:
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems, Technical report no. No. D3S-TR-2015-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2015
O. Štumpf, T. Bureš, V. Matěna:
Security and Trust in Data Sharing Smart Cyber-Physical Systems, in Proceedings of the 2015 European Conference on Software Architecture Workshops, pp. 18:1–18:4, 2015
ISBN: 978-1-4503-3393-1, DOI: 10.1145/2797433.2797451
I. Gerostathopoulos, T. Bureš, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations, Technical report no. D3S-TR-2015-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2015
T. Bureš, D. Weyns, C. Berger, S. Biffl, M. Daun, T. Gabor, D. Garlan, I. Gerostathopoulos, C. Julien, F. Krikava, R. Mordinyi, N. Pronios:
Software Engineering for Smart Cyber-Physical Systems – Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS, in SIGSOFT Softw. Eng. Notes 40(6), pp. 28–32, 2015
DOI: 10.1145/2830719.2830736
T. Bureš, P. Hnětynka, J. Kofroň, R. Al-Ali, D. Škoda:
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems, Technical report no. D3S-TR-2015-04, Department of Distributed and Dependable Systems, Charles University, 2015
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
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
N. Hoch, H. Bensler, D. Abeywickrama, T. Bureš, U. Montanari:
The E-mobility Case Study, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 513–533, 2015
ISBN: 978-3-319-16310-9
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
T. Bureš, F. Krijt, F. Plášil, P. Hnětynka, Z. Jiracek:
Towards Intelligent Ensembles, in Proceedings of the 2015 European Conference on Software Architecture Workshops, pp. 17:1–17:4, 2015
ISBN: 978-1-4503-3393-1, DOI: 10.1145/2797433.2797450
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations, Technical report no. No. D3S-TR-2014-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
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
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
T. Pop, P. Hnětynka, P. Hošek, M. Malohlava, T. Bureš:
Comparison of component frameworks for real-time embedded systems, in Knowledge and Information Systems 40(1), pp. 127–170, 2014
DOI: 10.1007/s10115-013-0627-9
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Computational Model for Gossiping Components in Cyber-Physical Systems, Technical report no. No. D3S-TR-2014-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
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
T. Bureš, I. Gerostathopoulos, R. Al-Ali:
DEECo: Software Engineering for Smart CPS,
T. Bureš:
Development of Smart Cyber-physical Systems, in Tutorial at 17th International ACM Sigsoft Symposium on Component-based Software Engineering, pp. 189–190, 2014
ISBN: 978-1-4503-2577-6, DOI: 10.1145/2602458.2611458
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, DOI: 10.1007/978-3-319-09970-5_23
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
I. Gerostathopoulos, J. Keznikl, T. Bureš, M. Kit, F. Plášil:
Software Engineering for Software-Intensive Cyber-Physical Systems, Technical report no. No. D3S-TR-2014-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
L. Bulej, T. Bureš, V. Horký, J. Kotrc, L. Marek, T. Trojanek, P. Tůma:
SPL: Unit Testing Performance, Technical report no. No. D3S-TR-2014-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
T. Bureš, P. Hnětynka, F. Plášil:
Strengthening Architectures of Smart CPS by Modeling Them As Runtime Product-lines, in Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering, pp. 91–96, 2014
ISBN: 978-1-4503-2577-6, DOI: 10.1145/2602458.2602478
A. Masrur, M. Kit, T. Bureš, W. Hardt:
Towards Component-Based Design of Safety-Critical Cyber-Physical Applications, in 2014 17th Euromicro Conference on Digital System Design, pp. 254-261, 2014
DOI: 10.1109/DSD.2014.87
T. Bureš, V. Horký, M. Kit, L. Marek, P. Tůma:
Towards Performance-Aware Engineering of Autonomic Component Ensembles, in Technologies for Mastering Change: Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), pp. 131-146, 2014
ISBN: 978-3-662-45233-2 978-3-662-45234-9
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
T. Bureš, R. Nicola, I. Gerostathopoulos, N. Hoch, M. Kit, N. Koch, G. Monreale, U. Montanari, R. Pugliese, N. Serbedzija, M. Wirsing, F. Zambonelli:
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase, in Proceedings of the 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems as SASO 2013, pp. 71-76, 2013
DOI: 10.1109/SASOW.2013.23
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
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo - an Ensemble-Based Component System, Technical report no. No. D3S-TR-2013-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
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
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
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
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
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil:
Formalization of Invariant Patterns for the Invariant Refinement Method, Technical report no. No. D3S-TR-2013-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
M. Malohlava, F. Plášil, T. Bureš, P. Hnětynka:
Interoperable domain-specific languages families for code generation, in Software: Practice and Experience 43(5), pp. 479–499, 2013
DOI: 10.1002/spe.2118
T. Bureš:
Managing Variability in Component-based Software Engineering, Habilitation Thesis, Charles University, Department of Distributed and Dependable Systems, 2013
I. Gerostathopoulos, T. Bureš, P. Hnětynka:
Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems, in Proc. of HotTopiCS workshop of ICPE'13, Prague, Czech Republic, pp. 79-86, 2013
ISBN: 978-1-4503-2051-1
S. Kounev, S. Rizou, S. Zschaler, S. Alexakis, T. Bureš, J. Jézéquel, D. Kourtesis, S. Pantelopoulos:
RELATE: A Research Training Network on Engineering and Provisioning of Service-based Cloud Applications, in Proceedings of the 2013 International Workshop on Hot Topics in Cloud Services, pp. 51–54, 2013
ISBN: 978-1-4503-2051-1, DOI: 10.1145/2462307.2462319
M. Malohlava, P. Hnětynka, T. Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Electronic Notes in Theoretical Computer Science 295(Supplement C), pp. 101 - 106, 2013
DOI: 10.1016/j.entcs.2013.04.009
F. Plášil, T. Bureš:
Software Components in Computer Assisted Living, in SOFSEM 2013: Theory and Practice of Computer Science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, Š pindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings, pp. 28–28, 2013
ISBN: 978-3-642-35843-2, DOI: 10.1007/978-3-642-35843-2_2
P. Mayer, A. Klarl, R. Hennicker, M. Puviani, F. Tiezzi, R. Pugliese, J. Keznikl, T. Bureš:
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing, in Proceedings of the 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems as SASO 2013, pp. 89-94, 2013
DOI: 10.1109/SASOW.2013.16
J. Keznikl, T. Bureš, F. Plášil, P. Hnětynka:
Automated Resolution of Connector Architectures Using Constraint Solving \(ARCAS method\), Technical report no. No. D3S-TR-2012-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Autonomous components in dynamic environments, Technical report, , 2012
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
L. Hermann, T. Bureš, P. Hnětynka, M. Malohlava:
CoDIT: Bridging the Gap between System-Level and Component-Level Development, in Software Engineering Research, Management and Applications 2012, pp. 159–175, 2012
ISBN: 978-3-642-30460-6
V. Simko, P. Hnětynka, T. Bureš, F. Plášil:
FOAM: A Lightweight Method for Verification of Use-Cases, in 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 228-232, 2012
DOI: 10.1109/SEAA.2012.15
V. Simko, P. Hnětynka, T. Bureš, F. Plášil:
Formal Verification of Annotated Use Cases, Technical report no. No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
L. Bulej, T. Bureš, V. Horký, J. Keznikl, P. Tůma:
Performance Awareness in Component Systems (Vision Paper), in Proc. 36th IEEE Annual Computer Software and Applications Conference (COMPSAC) CORCS Workshop, pp. 514-519, 2012
DOI: 10.1109/COMPSACW.2012.96
T. Pop, F. Plášil, M. Outly, M. Malohlava, T. Bureš:
Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components, in Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, pp. 93–102, 2012
ISBN: 978-1-4503-1345-2, DOI: 10.1145/2304736.2304753
T. Bureš, P. Hnětynka, P. Kroha, V. Simko:
Requirement Specifications Using Natural Languages, Technical report no. No. D3S-TR-2012-05, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
M. Malohlava, P. Hnětynka, T. Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Post-conference Proceedings of FESCA 2012, 2012
T. Bureš, P. Hnětynka, J. Keznikl, F. Plášil, P. Tůma:
Towards a Periodic Table of Component Models, Technical report no. No. D3S-TR-2012-07, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
J. Keznikl, T. Bureš, F. Plášil, M. Kit:
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model, in 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, pp. 249-252, 2012
DOI: 10.1109/WICSA-ECSA.212.39
V. Simko, D. Hauzar, T. Bureš, P. Hnětynka, F. Plášil:
Verifying Temporal Properties of Use-Cases in Natural Language, in Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 350–367, 2012
ISBN: 978-3-642-35743-5
T. Pop, T. Bureš, P. Hnětynka:
Case Studies for Component Based Development for Real-time and Embedded Devices, Technical report no. No. 2011/10, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2011
J. Keznikl, M. Malohlava, T. Bureš, P. Hnětynka:
Extensible Polyglot Programming Support in Existing Component Frameworks, in 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 107-115, 2011
DOI: 10.1109/SEAA.2011.25
M. Malohlava, F. Plášil, T. Bureš, P. Hnětynka:
Interoperable DSL Families for Code Generation, Technical report no. No. 2011/4, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2011
T. Pop, J. Keznikl, P. Hosek, M. Malohlava, T. Bureš, P. Hnětynka:
Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned, in 2011 Ninth International Conference on Software Engineering Research, Management and Applications, pp. 3-11, 2011
DOI: 10.1109/SERA.2011.14
M. Outly, T. Pop, M. Malohlava, T. Bureš:
Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments, Technical report no. No. 2011/7, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2011
T. Bureš, P. Ježek, M. Malohlava, T. Poch, O. Sery:
Strengthening Component Architectures by Modeling Fine-Grained Entities, in 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 124-128, 2011
DOI: 10.1109/SEAA.2011.27
P. Hošek, T. Pop, T. Bureš, P. Hnětynka, M. Malohlava:
Comparison of Component Frameworks for Real-Time Embedded Systems, in Component-Based Software Engineering: 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings, pp. 21–36, 2010
ISBN: 978-3-642-13238-4, DOI: 10.1007/978-3-642-13238-4_2
V. Šimko, P. Hnětynka, T. Bureš:
From Textual Use-Cases to Component-Based Applications, in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010, pp. 23–37, 2010
ISBN: 978-3-642-13265-0, DOI: 10.1007/978-3-642-13265-0_3
P. Hosek, T. Pop, M. Malohlava, P. Hnětynka, T. Bureš:
Supporting real-time features in a hierarchical component system, Technical report no. No. 2010/5, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2010
K. Masek, P. Hnětynka, T. Bureš:
Bridging the Component-Based and Service-Oriented Worlds, in 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, pp. 47-54, 2009
DOI: 10.1109/SEAA.2009.58
T. Bureš, P. Ježek, M. Malohlava, T. Poch, O. Sery:
Fine-grained Entities in Component Architectures, Technical report no. No. 2009/5, Dep. of SW Engineering, Charles University, Prague, 2009
P. Hnětynka, T. Bureš, M. Prochazka, R. Ward, Z. Hanzálek:
SOFA High Integrity: Our Approach to SAVOIR, in DASIA 2009 - DAta Systems in Aerospace, pp. 17, 2009
P. Ježek, T. Bureš, P. Hnětynka:
Supporting Real-Life Applications in Hierarchical Component Systems, in Software Engineering Research, Management and Applications 2009, pp. 107–118, 2009
ISBN: 978-3-642-05441-9, DOI: 10.1007/978-3-642-05441-9_10
T. Bureš, P. Hnětynka, M. Malohlava:
Using a Product Line for Creating Component Systems, in Proceedings of the 2009 ACM Symposium on Applied Computing, pp. 501–508, 2009
ISBN: 978-1-60558-166-8, DOI: 10.1145/1529282.1529388
T. Bureš, J. Hala, P. Hnětynka:
Using Connectors to Address Transparent Distribution in Enterprise Systems – Pitfalls and Options, in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp. 81–92, 2009
ISBN: 978-3-642-01203-7, DOI: 10.1007/978-3-642-01203-7_7
T. Bureš, J. Carlson, S. Sentilles, A. Vulgarakis:
A Component Model Family for Vehicular Embedded Systems, in 2008 The Third International Conference on Software Engineering Advances, pp. 437-444, 2008
DOI: 10.1109/ICSEA.2008.58
S. Sentilles, A. Vulgarakis, T. Bureš, J. Carlson, I. Crnković:
A Component Model for Control-Intensive Distributed Embedded Systems, in Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, pp. 310–317, 2008
ISBN: 978-3-540-87891-9, DOI: 10.1007/978-3-540-87891-9_21
L. Bulej, T. Bureš, T. Coupaye, M. Děcký, P. Ježek, P. Parízek, F. Plášil, T. Poch, N. Rivierre, O. Šerý, P. Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, P. Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
R. Kyusakov, T. Bureš, I. Crnkovic:
Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University, 2008
L. Kapová, T. Bureš, P. Hnětynka:
Preserving Intentions in SOA Business Process Development, in Software Engineering Research, Management and Applications, pp. 59–72, 2008
ISBN: 978-3-540-70561-1, DOI: 10.1007/978-3-540-70561-1_5
T. Bureš, J. Carlson, I. Crnkovic, S. Sentilles, A. Feljan:
ProCom - the Progress Component Model Reference Manual, version 1.0, Technical report no. ISSN 1404-3041 ISRN MDH-MRTC-230/2008-1-SE, , 2008
T. Bureš, J. Carlson, I. Crnkovic, S. Sentilles, A. Feljan:
Progress Component Model Reference Manual - version 0.5, Technical report no. ISSN 1404-3041 ISRN MDH-MRTC-225/2008-1-SE, , 2008
S. Becker, L. Bulej, T. Bureš, P. Hnětynka, L. Kapova, J. Kofroň, H. Koziolek, J. Kraft, R. Mirandola, J. Stammel, G. Tamburelli, M. Trifu:
Q-ImPrESS project deliverable D2. 1: service architecture meta model (SAMM), Technical report, , 2008
S. Becker, L. Bulej, T. Bureš, P. Hnětynka, L. Kapova, J. Kofroň, H. Koziolek, J. Kraft, R. Mirandola, J. Stammel, G. Tamburrelli, M. Trifu:
Service Architecture Meta Model, Technical report, , 2008
T. Bureš, J. Carlson, S. Sentilles, A. Vulgarakis:
Towards Component Modelling of Embedded Systems in the Vehicular Domain, Technical report no. 1404-3041, Malardalens hogskola, 2008
T. Bureš, M. Malohlava, P. Hnětynka:
Using DSL for Automatic Generation of Software Connectors, in Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pp. 138-147, 2008
DOI: 10.1109/ICCBSS.2008.17
P. Hnětynka, T. Bureš:
Advanced features of hierarchical component models, in in: Proceedings of ISIM’07, Hradec nad Moravici, Czech Republic, 2007, pp. 3–10, 2007
T. Bureš, M. Decky, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Sery, P. Tůma:
CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, 2007
T. Bureš, P. Hnětynka, F. Plášil:
Runtime Concepts of Hierarchical Software Components, in International Journal of Computer and Information Science 8, pp. 454-463, 2007
T. Bureš, P. Hnětynka, F. Plášil, J. Klesnil, O. Kmoch, T. Kohan, P. Kotrc:
Runtime Support for Advanced Component Concepts, in 5th ACIS International Conference on Software Engineering Research, Management Applications (SERA 2007), pp. 337-345, 2007
DOI: 10.1109/SERA.2007.115
L. Bulej, T. Bureš:
Addressing Static Execution Overhead in Connectors with Disabled Optional Features, Technical report no. No. 2006/6, Dep. of SW Engineering, Charles University, Prague, 2006
J. Kofroň, J. Adamek, T. Bureš, P. Ježek, V. Mencl, P. Parízek, F. Plášil:
Checking Fractal Component Behavior Using Behavior Protocols, in the 5th Fractal Workshop - part of ECOOP, 2006
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Component reliability extensions for fractal component model, Technical report no. XX/2006, Institute of Computer Science Academy of Sciences of the Czech Republic & France Telecom, 2006
L. Bulej, T. Bureš:
Eliminating Execution Overhead of Disabled Optional Features in Connectors, in Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers, pp. 50–65, 2006
ISBN: 978-3-540-69272-0
T. Bureš:
Generating Connectors for Homogeneous and Heterogeneous Deployment, Doctoral Thesis, Dep. of SW Engineering, Charles University, Prague, 2006
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Real-life Behavior Specification of Software Components, in The 11th EMEA Academic Forum, Dublin, Ireland, 2006
T. Bureš, P. Hnětynka, F. Plášil:
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, in Fourth International Conference on Software Engineering Research, Management and Applications - SERA 2006, pp. 40-48, 2006
DOI: 10.1109/SERA.2006.62
L. Bulej, T. Bureš:
Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification, in Interoperability of Enterprise Software and Applications, pp. 349–360, 2006
ISBN: 978-1-84628-152-5
T. Bureš:
Automated Synthesis of Connectors for Heterogeneous Deployment, Technical report no. No. 2005/4, Dep. of SW Engineering, Charles University, Prague, 2005
L. Bulej, T. Bureš:
Deploying Heterogeneous Applications using OMG D&C and Software Connectors, Technical report no. No. 2005/10, Dep. of SW Engineering, Charles University, Prague, 2005
O. Galik, T. Bureš:
Generating Connectors for Heterogeneous Deployment, in Proceedings of the 5th International Workshop on Software Engineering and Middleware, pp. 54–61, 2005
ISBN: 1-59593-205-4, DOI: 10.1145/1108473.1108486
O. Galik, T. Bureš:
Handling Heterogeneity in Connector Generation, Technical report no. No. 2005/2, Dep. of SW Engineering, Charles University, Prague, 2005
V. Mencl, T. Bureš:
Microcomponent-Based Component Controllers: A Foundation for Component Aspects, in 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 00, pp. 729-737, 2005
DOI: doi.ieeecomputersociety.org/10.1109/APSEC.2005.78
P. Hnětynka, F. Plášil, T. Bureš, V. Mencl, L. Kapova:
SOFA 2.0 metamodel, Technical report no. No. 2005/11, Dep. of SW Engineering, Charles University, Prague, 2005
L. Bulej, T. Bureš:
Addressing Heterogeneity in OMG D&C-based Deployment, Technical report no. No. 2004/7, Dep. of SW Engineering, Charles University, Prague, 2004
T. Bureš, F. Plášil:
Communication Style Driven Connector Configurations, in Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers, pp. 102–116, 2004
ISBN: 978-3-540-24675-6
T. Bureš, E. Denney, B. Fischer, E. C. Nistor:
The role of ontologies in schema-based program synthesis, Workshop on Ontologies as SofDiare Engineering Artifacts, in Workshop on Ontologies as Software Engineering Artifacts (OOPSLA), 2004
L. Bulej, T. Bureš:
A Connector Model Suitable for Automatic Generation of Connectors, Technical report no. No. 2003/1, Dep. of SW Engineering, Charles University, Prague, 2003
T. Bureš, F. Plášil:
Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague, 2003
T. Bureš:
Constraint-based generation of connectors, in Proceedings of the Week of Doctoral Students 2003 conference \(WDS 2003\), pp. 215-220, 2003
T. Bureš, F. Plášil:
Scalable Element-Based Connectors, in Proceedings of SERA, 2003
T. Bureš:
Generator of Connectors for SOFA/DCUP, Master Thesis, Czech Technical University, 2002