Professor

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

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

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

Research interests

Projects involvement

Teaching

Publications

Link arXiv bibtex
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
Link PDF bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link PDF bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
PDF bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
PDF bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations, in Journal of Systems and Software, 2016
DOI: 10.1016/j.jss.2016.02.028
bibtex
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
PDF bibtex
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
Link bibtex
P. Mayer, J. Velasco, A. Klarl, R. Hennicker, M. Puviani, F. Tiezzi, R. Pugliese, J. Keznikl, T. Bureš:
The Autonomic Cloud, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 495–512, 2015
ISBN: 978-3-319-16310-9
Link bibtex
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
bibtex
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
Link bibtex
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil, P. Tůma:
Formalization of Invariant Patterns for the Invariant Refinement Method, in Software, Services, and Systems, pp. 602-618, 2015
ISBN: 978-3-319-15544-9 978-3-319-15545-6
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
L. Bulej, T. Bureš, I. Gerostathopoulos, V. Horký, J. Keznikl, L. Marek, M. Tschaikowski, M. Tribastone, P. Tůma:
Supporting Performance Awareness in Autonomous Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 291–322, 2015
ISBN: 978-3-319-16310-9
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
The Invariant Refinement Method, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 405–428, 2015
ISBN: 978-3-319-16310-9
Link bibtex
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
Link bibtex
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
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo: An Ecosystem for Cyber-Physical Systems, in Companion Proceedings of ICSE 2014, Hyderabad, India, pp. 610-611, 2014
ISBN: 978-1-4503-2768-8, DOI: 10.1145/2591062.2591140
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil:
Architecture Adaptation Based on Belief Inaccuracy Estimation, in Proceedings of WICSA 2014, Sydney, NSW, Australiatecture, pp. 87–90, 2014
ISBN: 978-1-4799-3412-6, DOI: 10.1109/WICSA.2014.20
Link bibtex
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
bibtex
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
Link bibtex
J. Barnat, N. Beneš, T. Bureš, I. Černá, J. Keznikl, F. Plášil:
Towards Verification of Ensemble-Based Component Systems, in Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 41–60, 2014
ISBN: 978-3-319-07602-7
Link bibtex
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
Link bibtex
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
bibtex
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
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Gossiping Components for Cyber-Physical Systems, in Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings, pp. 250–266, 2014
ISBN: 978-3-319-09970-5, DOI: 10.1007/978-3-319-09970-5_23
bibtex
I. Gerostathopoulos, J. Keznikl, T. Bureš, M. Kit, F. Plášil:
Software Engineering for Software-Intensive Cyber-Physical Systems, in Proc. of CPSData workshop in INFORMATIK'14. To Appear., 2014
Link bibtex
bibtex
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
Link bibtex
J. Keznikl, T. Bureš, F. Plášil, P. Hnětynka:
Automated resolution of connector architectures using constraint solving (ARCAS method), in Software & Systems Modeling 13(2), pp. 843–872, 2014
DOI: 10.1007/s10270-012-0274-8
Link bibtex
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
Link bibtex
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
bibtex
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
Link bibtex
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
bibtex
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
Link bibtex
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
bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo – an Ensemble-Based Component System, in Proc. of CBSE'13, pp. 81-90, 2013
ISBN: 978-1-4503-2122-8
Link bibtex
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
Link bibtex
L. Bulej, T. Bureš, V. Horký, J. Keznikl:
Adaptive Deployment in Ad-hoc Systems Using Emergent Component Ensembles: Vision Paper, in Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering, pp. 343–346, 2013
ISBN: 978-1-4503-1636-1, DOI: 10.1145/2479871.2479922
bibtex
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
Link bibtex
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
bibtex
T. Bureš:
Managing Variability in Component-based Software Engineering, Habilitation Thesis, Charles University, Department of Distributed and Dependable Systems, 2013
bibtex
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
bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo Computational Model - I, Technical report no. No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
Link bibtex
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
Link bibtex
N. Šerbedžija, T. Bureš, J. Keznikl:
Engineering Autonomous Systems, in Proceedings of the 17th Panhellenic Conference on Informatics, pp. 128–135, 2013
ISBN: 978-1-4503-1969-0, DOI: 10.1145/2491845.2491862
Link bibtex
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
bibtex
J. Keznikl, T. Bureš, F. Plášil, I. Gerostathopoulos, P. Hnětynka, N. Hoch:
Design of Ensemble-Based Component Systems by Invariant Refinement, in Proceedings of CBSE'13, Vancouver, Canada, pp. 91-100, 2013
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Autonomous components in dynamic environments, Technical report, , 2012
bibtex
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
Link bibtex
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
bibtex
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
bibtex
M. Malohlava, P. Hnětynka, T. Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Post-conference Proceedings of FESCA 2012, 2012
Link bibtex
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
bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
L. Bulej, T. Bureš, J. Keznikl, A. Koubková, A. Podzimek, P. Tůma:
Capturing Performance Assumptions Using Stochastic Performance Logic, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 311–322, 2012
ISBN: 978-1-4503-1202-8, DOI: 10.1145/2188286.2188345
bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
bibtex
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
Link bibtex
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
bibtex
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
bibtex
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
bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
bibtex
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
bibtex
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
bibtex
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
bibtex
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
bibtex
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
bibtex
R. Kyusakov, T. Bureš, I. Crnkovic:
Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University, 2008
bibtex
Link bibtex
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
Link bibtex
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
bibtex
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
bibtex
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
bibtex
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
bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
bibtex
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
bibtex
T. Bureš:
Generating Connectors for Homogeneous and Heterogeneous Deployment, Doctoral Thesis, Dep. of SW Engineering, Charles University, Prague, 2006
Link bibtex
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
bibtex
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
Link bibtex
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
bibtex
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
bibtex
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
bibtex
O. Galik, T. Bureš:
Handling Heterogeneity in Connector Generation, Technical report no. No. 2005/2, Dep. of SW Engineering, Charles University, Prague, 2005
bibtex
T. Bureš:
Automated Synthesis of Connectors for Heterogeneous Deployment, Technical report no. No. 2005/4, Dep. of SW Engineering, Charles University, Prague, 2005
Link bibtex
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
Link bibtex
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
bibtex
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
bibtex
bibtex
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
bibtex
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
Link bibtex
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
bibtex
T. Bureš, F. Plášil:
Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague, 2003
bibtex
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
bibtex
T. Bureš, F. Plášil:
Scalable Element-Based Connectors, in Proceedings of SERA, 2003
bibtex
T. Bureš:
Constraint-based generation of connectors, in Proceedings of the Week of Doctoral Students 2003 conference \(WDS 2003\), pp. 215-220, 2003
bibtex
T. Bureš:
Generator of Connectors for SOFA/DCUP, Master Thesis, Czech Technical University, 2002