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. 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, accepted for publication in Proceedings of SEAA 2022, Gran Canaria, Spain
Handling Environmental Uncertainty in Design Time Access Control Analysis, accepted for publication in Proceedings of SEAA 2022, Gran Canaria, Spain
M. Töpfer, M. Abdullah, M. Kruliš, T. Bureš, P. Hnětynka:
ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components, accepted for publication in Proceedings of ACSOS 2022, Virtual event
ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components, accepted for publication in Proceedings of ACSOS 2022, Virtual event
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
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
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
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
R. Al-Ali, P. Hnětynka, J. Havlik, V. Krivka, R. Heinrich, S. Seifermann, M. Walter, A. Juan-Verdejo:
Dynamic security rules for legacy systems, in Proceedings of ECSA 2019 (vol 2), Paris, France, pp. 277-284, 2019
ISBN: 978-1-4503-7142-1, DOI: 10.1145/3344948.3344974
Dynamic security rules for legacy systems, in Proceedings of ECSA 2019 (vol 2), Paris, France, pp. 277-284, 2019
ISBN: 978-1-4503-7142-1, DOI: 10.1145/3344948.3344974
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
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
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
P. Hnětynka, P. Kubat, R. Al-Ali, I. Gerostathopoulos, D. Khalyeyev:
Guaranteed Latency Applications in Edge-Cloud Environment, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241448
Guaranteed Latency Applications in Edge-Cloud Environment, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241448
R. Al-Ali, R. Heinrich, P. Hnětynka, A. Juan-Verdejo, S. Seifermann, M. Walter:
Modeling of dynamic trust contracts for industry 4.0 systems, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241450
Modeling of dynamic trust contracts for industry 4.0 systems, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241450
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
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
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
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
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
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š, 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
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
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
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
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š, 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
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
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š, 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
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
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
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
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
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
T. Kučera, P. Hnětynka, J. Kofroň:
Automated Deployment of Hierarchical Components, in Proceedings of SNPD 2012, pp. 117-128, 2012
ISBN: 978-3-642-32172-6, DOI: 10.1007/978-3-642-32172-6_10
Automated Deployment of Hierarchical Components, in Proceedings of SNPD 2012, pp. 117-128, 2012
ISBN: 978-3-642-32172-6, DOI: 10.1007/978-3-642-32172-6_10
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. 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
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
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
P. Hnětynka, F. Plášil:
Using meta-modeling in design and implementation of component-based systems: the SOFA case study., in Softw., Pract. Exper. 41(11), pp. 1185-1201, 2011
DOI: 10.1002/spe.1036
Using meta-modeling in design and implementation of component-based systems: the SOFA case study., in Softw., Pract. Exper. 41(11), pp. 1185-1201, 2011
DOI: 10.1002/spe.1036
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
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š, 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
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
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š, 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
P. Hnětynka, F. Plášil:
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models., in Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings, pp. 352-359, 2006
DOI: 10.1007/11783565_27
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models., in Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings, pp. 352-359, 2006
DOI: 10.1007/11783565_27
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
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
P. Hnětynka, P. Tůma:
Fighting Class Name Clashes in Java Component Systems (Short Paper), in Modular Programming Languages: Proc. 6th Joint Modular Languages Conference (JMLC), pp. 106-109, 2003
ISBN: 978-3-540-40796-6 978-3-540-45213-3
Fighting Class Name Clashes in Java Component Systems (Short Paper), in Modular Programming Languages: Proc. 6th Joint Modular Languages Conference (JMLC), pp. 106-109, 2003
ISBN: 978-3-540-40796-6 978-3-540-45213-3