Link bibtex
Rima Al-Ali, Petr Hnětynka, Jiri Havlik, Vlastimil Krivka, Robert Heinrich, Stephan Seifermann, Maximilian Walter, Adrian Juan-Verdejo:
Dynamic security rules for legacy systems, in Proceedings of ECSA 2019 (vol 2), Paris, France,  ISBN: 978-1-4503-7142-1, pp. 277-284
DOI: 10.1145/3344948.3344974, 2019
PDF bibtex
Tomáš Bureš, Petr 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
Vladimir Matena, Tomáš Bureš, Ilias Gerostathopoulos, Petr 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, ISBN: 9789811321856, pp. 149-169, 2019
Link bibtex
Rima Al-Ali, Robert Heinrich, Petr Hnětynka, Adrian Juan-Verdejo, Stephan Seifermann, Maximilian Walter:
Modeling of dynamic trust contracts for industry 4.0 systems, in Companion Proceedings of ECSA 2018, Madrid, Spain,  ISBN: 978-1-4503-6483-6, pp. 1-4
DOI: 10.1145/3241403.3241450, 2018
Link bibtex
Rima Al-Ali, Tomáš Bureš, Björn-Oliver Hartmann, Jiri Havlik, Robert Heinrich, Petr Hnětynka, Adrian Juan-Verdejo, Pavel Parízek, Stephan Seifermann, Maximilian 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
Danylo Khalyeyev, Petr Hnětynka, Tomáš Bureš:
A Virtual Playground for Testing Smart Cyber-Physical Systems, in Companion Proceedings of ICSA 2018, Seattle, USA,  ISBN: 978-1-5386-6585-5, pp. 85-88
DOI: 10.1109/ICSA-C.2018.00031, 2018
Link bibtex
Petr Hnětynka, Petr Kubat, Rima Al-Ali, Ilias Gerostathopoulos, Danylo Khalyeyev:
Guaranteed latency applications in edge-cloud environment, in Companion Proceedings of ECSA 2018, Madrid, Spain,  ISBN: 978-1-4503-6483-6, pp. 1-4
DOI: 10.1145/3241403.3241448, 2018
Link bibtex
Rima Al-Ali, Tomáš Bureš, Petr Hnětynka, Filip Krijt, František Plášil, Jiří Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles, in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems,  ISBN: 978-3-030-03424-5, pp. 172-185
DOI: 10.1007/978-3-030-03424-5_12, 2018
Link bibtex
Filip Krijt, Zbynek Jiracek, Tomáš Bureš, Petr Hnětynka, František 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,  ISBN: 978-989-758-210-3, pp. 561-568, 2017
Link bibtex
Filip Krijt, Zbynek Jiracek, Tomáš Bureš, Petr Hnětynka, Ilias Gerostathopoulos:
Intelligent Ensembles – a Declarative Group Description Language and Java Framework (Artifact), in Dagstuhl Artifacts Series 3(1),  pp. 1–3
DOI: 10.4230/DARTS.3.1.6, 2017
PDF bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, František Plášil, Filip Krijt, Jiří 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
Ilias Gerostathopoulos, Tomáš Bureš, Petr Hnětynka, Adam Hujecek, František Plášil, Dominik Škoda:
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies, in ACM Transactions on Cyber-Physical Systems 1(3),  pp. 1-25
DOI: 10.1145/2823345, 2017
Link bibtex
Ilias Gerostathopoulos, Tomáš Bureš, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil, Noël Plouzeau:
Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations, in Journal of Systems and Software 0(0), 
DOI: 10.1016/j.jss.2016.02.028, 2016
Link bibtex
Tomáš Bureš, Petr Hnětynka, Filip Krijt, Vladimir Matena, František 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,  ISBN: 978-3-319-47166-2, pp. 642–656, 2016
Link bibtex
Vladimir Matena, Tomáš Bureš, Ilias Gerostathopoulos, Petr 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,  ISBN: 978-1-4503-4187-5, pp. 82–88
DOI: 10.1145/2897053.2897065, 2016
PDF bibtex
Tomáš Bureš, Petr Hnětynka, Jan Kofroň, Rima Al-Ali, Dominik Š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
Ilias Gerostathopoulos, Tomáš Bureš, Petr Hnětynka, Adam Hujecek, František Plášil, Dominik Š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,  ISBN: 978-3-319-23727-5, pp. 45–52
DOI: 10.1007/978-3-319-23727-5_4, 2015
Link bibtex
Viliam Simko, David Hauzar, Petr Hnětynka, Tomáš Bureš, František Plášil:
Formal Verification of Annotated Textual Use-Cases, in The Computer Journal 58(7),  pp. 1495-1529
DOI: 10.1093/comjnl/bxu068, 2015
Link bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil:
The Invariant Refinement Method, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, ISBN: 978-3-319-16310-9, pp. 405–428, 2015
Link bibtex
Tomáš Bureš, Filip Krijt, František Plášil, Petr Hnětynka, Zbynek Jiracek:
Towards Intelligent Ensembles, in Proceedings of the 2015 European Conference on Software Architecture Workshops,  ISBN: 978-1-4503-3393-1, pp. 17:1–17:4
DOI: 10.1145/2797433.2797450, 2015
Link bibtex
Jaroslav Keznikl, Tomáš Bureš, František Plášil, Petr Hnětynka:
Automated resolution of connector architectures using constraint solving (ARCAS method), in Software & Systems Modeling 13(2),  pp. 843–872
DOI: 10.1007/s10270-012-0274-8, 2014
Link bibtex
Rima Al-Ali, Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil:
DEECo: An Ecosystem for Cyber-Physical Systems, in Companion Proceedings of ICSE 2014, Hyderabad, India,  ISBN: 978-1-4503-2768-8, pp. 610-611
DOI: 10.1145/2591062.2591140, 2014
Link bibtex
Tomáš Pop, Petr Hnětynka, Petr Hošek, Michal Malohlava, Tomáš Bureš:
Comparison of component frameworks for real-time embedded systems, in Knowledge and Information Systems 40(1),  pp. 127–170
DOI: 10.1007/s10115-013-0627-9, 2014
Link bibtex
Tomáš Bureš, Petr Hnětynka, František 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,  ISBN: 978-1-4503-2577-6, pp. 91–96
DOI: 10.1145/2602458.2602478, 2014
Link bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil:
Gossiping Components for Cyber-Physical Systems, in Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings,  ISBN: 978-3-319-09970-5, pp. 250–266, 2014
bibtex
Ilias Gerostathopoulos, Tomáš Bureš, Petr 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,  ISBN: 978-1-4503-2051-1, pp. 79-86, 2013
Link bibtex
Michal Malohlava, Petr Hnětynka, Tomáš Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Electronic Notes in Theoretical Computer Science 295(Supplement C),  pp. 101 - 106
DOI: 10.1016/j.entcs.2013.04.009, 2013
bibtex
Jaroslav Keznikl, Tomáš Bureš, František Plášil, Ilias Gerostathopoulos, Petr Hnětynka, Nicklas Hoch:
Design of Ensemble-Based Component Systems by Invariant Refinement, in Proceedings of CBSE'13, Vancouver, Canada,  pp. 91-100, 2013
Link bibtex
Michal Malohlava, František Plášil, Tomáš Bureš, Petr Hnětynka:
Interoperable domain-specific languages families for code generation, in Software: Practice and Experience 43(5),  pp. 479–499
DOI: 10.1002/spe.2118, 2013
bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil:
DEECo – an Ensemble-Based Component System, in Proc. of CBSE'13,  ISBN: 978-1-4503-2122-8, pp. 81-90, 2013
bibtex
Rima Al-Ali, Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František 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
Lukáš Hermann, Tomáš Bureš, Petr Hnětynka, Michal Malohlava:
CoDIT: Bridging the Gap between System-Level and Component-Level Development, in Software Engineering Research, Management and Applications 2012, ISBN: 978-3-642-30460-6, pp. 159–175, 2012
Link bibtex
Viliam Simko, David Hauzar, Tomáš Bureš, Petr Hnětynka, František 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, ISBN: 978-3-642-35743-5, pp. 350–367, 2012
Link bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil:
Autonomous components in dynamic environments, Technical report no. , , 2012
Link bibtex
Tomas Kučera, Petr Hnětynka, Jan Kofroň:
Automated Deployment of Hierarchical Components, in Proceedings of SNPD 2012,  ISBN: 978-3-642-32172-6, pp. 117-128
DOI: 10.1007/978-3-642-32172-6_10, 2012
Link bibtex
Petr Hošek, Tomáš Pop, Tomáš Bureš, Petr Hnětynka, Michal 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,  ISBN: 978-3-642-13238-4, pp. 21–36, 2010
Link bibtex
Viliam Šimko, Petr Hnětynka, Tomáš Bureš:
From Textual Use-Cases to Component-Based Applications, in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010,  ISBN: 978-3-642-13265-0, pp. 23–37, 2010
Link bibtex
Pavel Ježek, Tomáš Bureš, Petr Hnětynka:
Supporting Real-Life Applications in Hierarchical Component Systems, in Software Engineering Research, Management and Applications 2009,  ISBN: 978-3-642-05441-9, pp. 107–118, 2009
Link bibtex
Tomáš Bureš, Josef Hala, Petr Hnětynka:
Using Connectors to Address Transparent Distribution in Enterprise Systems – Pitfalls and Options, in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing,  ISBN: 978-3-642-01203-7, pp. 81–92, 2009
Link bibtex
Tomáš Bureš, Petr Hnětynka, Michal Malohlava:
Using a Product Line for Creating Component Systems, in Proceedings of the 2009 ACM Symposium on Applied Computing,  ISBN: 978-1-60558-166-8, pp. 501–508
DOI: 10.1145/1529282.1529388, 2009
bibtex
Steffen Becker, Lubomír Bulej, Tomáš Bureš, Petr Hnětynka, Lucia Kapova, Jan Kofroň, Heiko Koziolek, Johan Kraft, Raffaella Mirandola, Johannes Stammel, Giordano Tamburrelli, Mircea Trifu:
Service Architecture Meta Model, Technical report no. , , 2008
Link bibtex
Lucia Kapová, Tomáš Bureš, Petr Hnětynka:
Preserving Intentions in SOA Business Process Development, in Software Engineering Research, Management and Applications,  ISBN: 978-3-540-70561-1, pp. 59–72, 2008
Link bibtex
Tomáš Bureš, Martin Děcký, Petr Hnětynka, Jan Kofroň, Pavel Parízek, František Plášil, Tomáš Poch, Ondřej Šerý, Petr Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, ISBN: 978-3-540-85289-6, pp. 388-417, 2008
bibtex
Petr Hnětynka, Tomáš Bureš:
Advanced features of hierarchical component models, in in: Proceedings of ISIM’07, Hradec nad Moravici, Czech Republic, 2007,  pp. 3–10, 2007
Link bibtex
Petr Hnětynka, Petr Tůma:
Fighting Class Name Clashes in Java Component Systems (Short Paper), in Modular Programming Languages: Proc. 6th Joint Modular Languages Conference (JMLC), ISBN: 978-3-540-40796-6 978-3-540-45213-3, pp. 106-109, 2003