M. Töpfer, D. Khalyeyev, T. Bureš, P. Hnětynka, F. Plášil:
How Well Do LLMs Understand DEECo Ensemble-based Component Architectures, accepted for publication in Proceedings of ISOLA 2024, Crete, Greece
How Well Do LLMs Understand DEECo Ensemble-based Component Architectures, accepted for publication in Proceedings of ISOLA 2024, Crete, Greece
M. Abdullah, M. Töpfer, T. Bureš:
Robin: A Systematic Literature Mapping Management Tool, in 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2024
DOI: 10.1109/SEAA64295.2024.00051
Robin: A Systematic Literature Mapping Management Tool, in 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2024
DOI: 10.1109/SEAA64295.2024.00051
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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š:
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
M. Malohlava, T. Bureš:
Language for reconfiguring runtime infrastructure of component-based systems, Technical report, , 2008
Language for reconfiguring runtime infrastructure of component-based systems, Technical report, , 2008
R. Kyusakov, T. Bureš, I. Crnkovic:
Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University, 2008
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
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
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
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
Q-ImPrESS project deliverable D2. 1: service architecture meta model (SAMM), Technical report, , 2008
T. Bureš, P. Hnětynka:
Safe Systems with Software Components in SOFA 2, Technical report, , pp. 27-28, 2008
Safe Systems with Software Components in SOFA 2, Technical report, , pp. 27-28, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
L. Bulej, T. Bureš:
Connectors in the Context of OMG D&C Specification, in Doktorandsky DEN 2004, 2004
Connectors in the Context of OMG D&C Specification, in Doktorandsky DEN 2004, 2004
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
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
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
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
Constraint-based generation of connectors, in Proceedings of the Week of Doctoral Students 2003 conference \(WDS 2003\), pp. 215-220, 2003