[ − ]
 
2019

Link bibtex
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofroň, Natasha Sharygina:
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems,  ISBN: 978-3-030-17462-0, pp. 3-20
DOI: 10.1007/978-3-030-17462-0_1
Link bibtex
P. Arcaini, A. Gargantini, E. Riccobene:
Decomposition-Based Approach for Model-Based Test Generation, in IEEE Transactions on Software Engineering 45(5),  pp. 507-520
DOI: 10.1109/TSE.2017.2781231
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
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
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
Link bibtex
A. V. Papadopoulos, L. Versluis, A. Bauer, N. Herbst, J. Von Kistowski, A. Ali-eldin, C. Abad, J. N. Amaral, Petr Tůma, A. Iosup:
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing, in IEEE Transactions on Software Engineering 0(0),  pp. 16
DOI: 10.1109/TSE.2019.2927908
Link PDF bibtex
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder:
Renaissance: Benchmarking Suite for Parallel Applications on the JVM, in Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),  pp. 17
DOI: 10.1145/3314221.3314637
Link bibtex
Ilias Gerostathopoulos, Dominik Škoda, František Plášil, Tomáš Bureš, Alessia Knauss:
Tuning Self-Adaptation in Cyber-Physical Systems through Architectural Homeostasis, in Journal of Systems and Software 0(0), 
DOI: 10.1016/j.jss.2018.10.051

[ − ]
 
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
Link bibtex
Ilias Gerostathopoulos, Christian Prehofer, Tomáš Bureš:
Adapting a System with Noisy Outputs with Statistical Guarantees, in Proceedings of SEAMS 2018, Gothenburg, Sweden,  ISBN: 978-1-4503-5715-9, pp. 58–68
DOI: 10.1145/3194133.3194152
Link bibtex
Petr Kubát, Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, Petr Tůma:
Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation, in Companion Proceedings of ICPE 2018, Berlin, Germany,  ISBN: 978-1-4503-5629-9, pp. 195-198
DOI: 10.1145/3185768.3186406
Link bibtex
Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
An Evolutionary Process for Product-driven Updates of Feature Models, in Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems,  ISBN: 978-1-4503-5398-4, pp. 67–74
DOI: 10.1145/3168365.3168374
Link bibtex
Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts, in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,  ISBN: 978-3-030-03427-6, pp. 450-465
DOI: 10.1007/978-3-030-03427-6_33
Link bibtex
Ilias Gerostathopoulos, Christian Prehofer, Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, Petr 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
DOI: 10.1109/ICSA-C.2018.00027
PDF bibtex
Rima Al-Ali:
Description of EU Projects Demonstrate Self-Adaptive CPSs (V1.0), Technical report no. D3S-TR-2018-03, Department of Distributed and Dependable Systems, Charles University pp. 1-14
Link bibtex
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
Link bibtex
Pavel Parízek, Ondřej Lhoták:
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking, in International Journal on Software Tools for Technology Transfer 2018(0), 
DOI: 10.1007/s10009-018-0484-7
Link bibtex
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Fault-based test generation for regular expressions by mutation, in Software Testing, Verification and Reliability 0(0),  pp. e1664
DOI: 10.1002/stvr.1664
Link bibtex
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler:
Function Summarization Modulo Theories, in LPAR-22,  pp. 56-75
DOI: 10.29007/d3bt
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
PDF bibtex
Přemysl Vysoký, Pavel Parízek, Václav Pech:
INGRID: Creating Languages in MPS from ANTLR Grammars, Technical report no. D3S-TR-2018-01, Department of Distributed and Dependable Systems, Charles University pp. 1-18
Link bibtex
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach, in Science of Computer Programming 158(0),  pp. 148-167
DOI: 10.1016/j.scico.2017.07.003
Link bibtex
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst:
Lightweight verification of array indexing, in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018,  ISBN: 978-1-4503-5699-2, pp. 3-14
DOI: 10.1145/3213846.3213849
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
Link bibtex
Paolo Arcaini, Pavel Ježek, Jan Kofroň:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin, in Abstract State Machines, Alloy, B, TLA, VDM, and Z,  ISBN: 978-3-319-91271-4, pp. 277-291
DOI: 10.1007/978-3-319-91271-4_19
Link bibtex
Tomáš Bureš, Vladimir Matena, Raffaela Mirandola, Lorenzo Pagliari, Catia Trubiani:
Performance Modelling of Smart Cyber-Physical Systems, in Companion Proceedings of ICPE 2018, Berlin, Germany,  ISBN: 978-1-4503-5629-9, pp. 37-40
DOI: 10.1145/3185768.3186306
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

[ − ]
 
2017

Link bibtex
Yudi Zheng, Lubomír Bulej, Walter Binder:
An Empirical Study on Deoptimization in the Graal Compiler, in 31st European Conference on Object-Oriented Programming,  ISBN: 978-3-95977-035-4, pp. 1–30
DOI: 10.4230/LIPIcs.ECOOP.2017.30
Link bibtex
V. Matena, A. Masrur, Tomáš Bureš:
An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS, in 43rd Euromicro Conference on Software Engineering and Advanced Applications,  ISBN: 978-1-5386-2141-7, pp. 234-238
DOI: 10.1109/SEAA.2017.62
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
Link bibtex
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automated Repairing of Variability Models, in Proceedings of the 21st International Systems and Software Product Line Conference - Volume A,  ISBN: 978-1-4503-5221-5, pp. 9–18
DOI: 10.1145/3106195.3106206
Link bibtex
Tomáš Bureš:
Autonomic Component Ensembles for Dynamic Evolving Architectures of Context-aware Smart Systems: Invited Talk Abstract, in Proceedings of ECSA 2017, Canterbury, United Kingdom,  ISBN: 978-1-4503-5217-8, pp. 70–70
DOI: 10.1145/3129790.3129795
Link bibtex
Paolo Arcaini, Catia Trubiani:
Collaborative Development of Feature Models and Evaluation of Performance Bounds, in Proceedings of the Symposium on Applied Computing,  ISBN: 978-1-4503-4486-9, pp. 1162–1167
DOI: 10.1145/3019612.3019768
Link bibtex
Lubomír Bulej, Vojtěch Horký, Petr Tůma:
Do We Teach Useful Statistics for Performance Evaluation?, in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion,  ISBN: 978-1-4503-4899-7, pp. 185–189
DOI: 10.1145/3053600.3053638
Link bibtex
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control, in ACM Transactions on Autonomous and Adaptive Systems 11(4),  pp. 25:1–25:35
DOI: 10.1145/3019598
Link bibtex
Rima Al-Ali:
Industrial Use Cases of Cyber Physical Systems in EU Projects: Preliminary Study, in Position Papers of the FedCSIS 2017, Prague, Czech Republic,  ISBN: 978-83-922646-0-6, pp. 187-193
DOI: 10.15439/2017F557
Link bibtex
F. Krijt, Z. Jiracek, Tomáš Bureš, Petr 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,  ISBN: 978-1-5386-1550-8, pp. 116-122
DOI: 10.1109/SEAMS.2017.17
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
Link bibtex
Corentin Dupont, Tomáš Bureš, Mehdi Sheikhalishahi, Congduc Pham, Abdur Rahim:
Low-cost IoT, Big Data, and Cloud Platform for Developing Countries, in International Conference on the Economics of Grids, Clouds, Systems, and Services,  ISBN: 978-3-319-68066-8, pp. 285-299
DOI: 10.1007/978-3-319-68066-8_23
Link bibtex
Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer, Tomáš 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
DOI: 10.4230/DARTS.3.1.5
Link bibtex
P. Arcaini, A. Gargantini, E. Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions, in International Conference on Software Testing, Verification and Validation Workshops,  ISBN: 978-1-5090-6676-6, pp. 87-96
DOI: 10.1109/ICSTW.2017.23
Link bibtex
P. Arcaini, A. Gargantini, E. Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker, in International Conference on Software Testing, Verification and Validation,  ISBN: 978-1-5090-6031-3, pp. 476-483
DOI: 10.1109/ICST.2017.54
Link bibtex
Pavel Jančík, Jan Kofroň:
On partial state matching, in Formal Aspects of Computing 29(5),  pp. 777-803
DOI: 10.1007/s00165-016-0413-z
Link bibtex
Angelika Musil, Juergen Musil, Danny Weyns, Tomáš Bureš, Henry Muccini, Mohammad 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, ISBN: 978-3-319-56345-9, pp. 331-368
Link bibtex
S. Schmid, I. Gerostathopoulos, C. Prehofer, Tomáš 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,  ISBN: 978-1-5386-1550-8, pp. 102-108
DOI: 10.1109/SEAMS.2017.20
Link bibtex
Tomáš Bureš, Danny Weyns, Bradley Schmer, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions, in ACM SIGSOFT Software Engineering Notes 42(2),  pp. 19–24
DOI: 10.1145/3089649.3089656
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
Link bibtex
Oksana Nikiforova, Nisrine El Marzouki, Konstantins Gusarovs, Hans Vangheluwe, Tomáš Bureš, Rima Al-Ali, Mauro Iacono, Priscill Orue Esquivel, Florin Leon:
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems, in Proc. of ICSOFT 2017, Madrid, Spain,  ISBN: 978-989-758-262-2, pp. 286-293
DOI: 10.5220/0006424902860293
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
Link bibtex
Petr Stefan, Vojtěch Horký, Lubomír Bulej, Petr Tůma:
Unit Testing Performance in Java Projects: Are We There Yet?, in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering,  ISBN: 978-1-4503-4404-3, pp. 401–412
DOI: 10.1145/3030207.3030226

[ − ]
 
2016

Link bibtex
Vojtěch Horký, Jaroslav Kotrč, Peter Libič, Petr Tůma:
Analysis of Overhead in Dynamic Java Performance Monitoring, in Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering,  ISBN: 978-1-4503-4080-9, pp. 275–286
DOI: 10.1145/2851553.2851569
Link bibtex
Ilias Gerostathopoulos, Dominik Škoda, František Plášil, Tomáš Bureš, Alessia Knauss:
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems, in Software Architecture,  ISBN: 978-3-319-48992-6, pp. 113-128
DOI: 10.1007/978-3-319-48992-6_8
Link bibtex
Alejandro Masrur, Michał Kit, Vladimír Matěna, Tomáš Bureš, Wolfram Hardt:
Component-based design of cyber-physical applications with safety-critical requirements, in Microprocessors and Microsystems 0(0),  pp. 70-86
DOI: 10.1016/j.micpro.2016.01.007
Link bibtex
Pavel Jančík, Jan Kofroň:
Dead Variable Analysis for Multi-threaded Heap Manipulating Programs, in Proceedings of the 31st Annual ACM Symposium on Applied Computing,  ISBN: 978-1-4503-3739-7, pp. 1620–1627
DOI: 10.1145/2851613.2851826
Link bibtex
Pavel Parízek:
Fast Error Detection with Hybrid Analyses of Future Accesses, in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016,  pp. 1251–1254
DOI: 10.1145/2851613.2851935
Link bibtex
Pavel Parízek:
Hybrid Analysis for Partial Order Reduction of Programs with Arrays, in Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings,  pp. 291–310
DOI: 10.1007/978-3-662-49122-5_14
Link bibtex
Pavel Parízek:
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information, in 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016,  pp. 141–148
DOI: 10.1109/FMCAD.2016.7886672
Link bibtex
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations, in CAV'16,  ISBN: 978-3-319-41528-4, pp. 271-291
DOI: 10.1007/978-3-319-41528-4_15
Link bibtex
Christian Kroiss, Tomáš Bureš:
Logic-based modeling of information transfer in cyber–physical multi-agent systems, in Future Generation Computer Systems 56(Supplement C),  pp. 124 - 139
DOI: 10.1016/j.future.2015.09.013
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
Link bibtex
Pavel Jančík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofroň, Natasha Sharygina:
PVAIR: Partial Variable Assignment InterpolatoR, in Proceedings of FASE 2016,  ISBN: 978-3-662-49665-7, pp. 419-434
DOI: 10.1007/978-3-662-49665-7_25
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
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
Link bibtex
Tomáš Bureš, František Plášil, M. Kit, Petr Tůma, N. Hoch:
Software Abstractions for Component Interaction in the Internet of Things, in Computer 49(12),  pp. 50-59
DOI: 10.1109/MC.2016.377
Link bibtex
Tomáš Bureš, Petr Hnětynka, Jan Kofroň, Rima Al-Ali, Dominik Š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
DOI: 10.1109/WICSA.2016.33
Link bibtex
Ilias Gerostathopoulos, Tomáš Bureš, Sanny Schmid, Vojtěch Horký, Christian Prehofer, Petr 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,  ISBN: 978-1-4503-6399-0, pp. 7:1–7:7
DOI: 10.1145/3175731.3176175
Link bibtex
Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, Jaroslav Kotrč, Lukáš Marek, Tomáš Trojánek, Petr Tůma:
Unit Testing Performance with Stochastic Performance Logic, in Automated Software Engineering 0(0),  pp. 1-49
DOI: 10.1007/s10515-015-0188-0

[ − ]
 
2015

Link bibtex
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tůma, Walter Binder:
A Programming Model and Framework for Comprehensive Dynamic Analysis on Android, in Proc. 14th International Conference on Modularity (MODULARITY),  ISBN: 978-1-4503-3249-1, pp. 133–145
DOI: 10.1145/2724525.2724566
Link bibtex
Yudi Zheng, Lubomír Bulej, Walter Binder:
Accurate Profiling in the Presence of Dynamic Compilation, in Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,  ISBN: 978-1-4503-3689-5, pp. 433–450
DOI: 10.1145/2814270.2814281
Link bibtex
M. Kit, I. Gerostathopoulos, Tomáš Bureš, Petr Hnětynka, František 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
DOI: 10.1109/SEAMS.2015.28
Link bibtex
A. Podzimek, Lubomír Bulej, L.Y. Chen, W. Binder, Petr Tůma:
Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency, in Proc. 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID),  pp. 1-10
DOI: 10.1109/CCGrid.2015.164
Link bibtex
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofroň:
Correctness of Service Components and Service Component Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, ISBN: 978-3-319-16310-9, pp. 107-159
Link bibtex
Vojtěch Horký, Peter Libič, Antonín Steinhauser, Petr Tůma:
DOs and DON'Ts of Conducting Performance Measurements in Java (Tutorial Paper), in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-3248-4, pp. 337–340
DOI: 10.1145/2668930.2688820
Link bibtex
Michal Kit, František Plášil, Vladimir Matena, Tomáš Bureš, Ondrej Kovac:
Employing Domain Knowledge for Optimizing Component Communication, in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering,  ISBN: 978-1-4503-3471-6, pp. 59–64
DOI: 10.1145/2737166.2737172
Link bibtex
Peter Libič, Lubomír Bulej, Vojtěch Horký, Petr Tůma:
Estimating the Impact of Code Additions on Garbage Collection Overhead, in Computer Performance Engineering: Proc. 12th European Performance Engineering Workshop (EPEW), ISBN: 978-3-319-23266-9 978-3-319-23267-6, pp. 130-145
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
Link bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Jaroslav Keznikl, František Plášil, Petr Tůma:
Formalization of Invariant Patterns for the Invariant Refinement Method, in Software, Services, and Systems, ISBN: 978-3-319-15544-9 978-3-319-15545-6, pp. 602-618
Link bibtex
David Hauzar, Jan Kofroň:
Framework for Static Analysis of PHP Applications, in Proceedings of ECOOP 2015,  ISBN: 978-3-939897-86-6, pp. 689–711
DOI: 10.4230/LIPIcs.ECOOP.2015.689
Link bibtex
Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Aibek Sarimbekov, Walter Binder, Petr Tůma:
Introduction to Dynamic Program Analysis with DiSL, in Science of Computer Programming 0(0),  pp. 100-115
DOI: 10.1016/j.scico.2014.01.003
Link bibtex
Christian Kroiss, Tomáš 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, ISBN: 978-3-319-15392-6, pp. 42–52
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
bibtex
I. Gerostathopoulos, Tomáš Bureš, Petr Hnětynka, A. Hujecek, František Plášil, Dominik Š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
Link bibtex
Pavel Parízek, Ondrej Lhoták:
Model Checking of Concurrent Programs with Static Analysis of Field Accesses, in Sci. Comput. Program. 0(0),  pp. 735–763
DOI: 10.1016/j.scico.2014.10.008
Link bibtex
Jakub Daniel, Pavel Parízek:
PANDA: Simultaneous Predicate Abstraction and Concrete Execution, in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings,  pp. 87–103
DOI: 10.1007/978-3-319-26287-1_6
Link bibtex
Ondřej Štumpf, Tomáš Bureš, Vladimír Matěna:
Security and Trust in Data Sharing Smart Cyber-Physical Systems, in Proceedings of the 2015 European Conference on Software Architecture Workshops,  ISBN: 978-1-4503-3393-1, pp. 18:1–18:4
DOI: 10.1145/2797433.2797451
bibtex
I. Gerostathopoulos, Tomáš Bureš, Petr Hnětynka, J. Keznikl, M. Kit, František 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
Link bibtex
Tomáš Bureš, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos 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
DOI: 10.1145/2830719.2830736
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
Link bibtex
Lubomír Bulej, Tomáš Bureš, Ilias Gerostathopoulos, Vojtěch Horký, Jaroslav Keznikl, Lukáš Marek, Max Tschaikowski, Mirco Tribastone, Petr Tůma:
Supporting Performance Awareness in Autonomous Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, ISBN: 978-3-319-16310-9, pp. 291–322
Link bibtex
Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomáš Bureš:
The Autonomic Cloud, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, ISBN: 978-3-319-16310-9, pp. 495–512
Link bibtex
Nicklas Hoch, Henry-Paul Bensler, Dhaminda Abeywickrama, Tomáš Bureš, Ugo Montanari:
The E-mobility Case Study, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, ISBN: 978-3-319-16310-9, pp. 513–533
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
Link bibtex
Dhaminda B. Abeywickrama, Jacques Combaz, Vojtěch Horký, Jaroslav Keznikl, Jan Kofroň, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tůma, Andrea Vandin, Emil Vassev:
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, ISBN: 978-3-319-16309-3 978-3-319-16310-9, pp. 429-448
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
Link bibtex
Vojtěch Horký, Peter Libič, Lukáš Marek, Antonín Steinhauser, Petr Tůma:
Utilizing Performance Unit Tests To Increase Performance Awareness, in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-3248-4, pp. 289–300
DOI: 10.1145/2668930.2688051

[ − ]
 
2014

bibtex
Tomáš Bureš, I. Gerostathopoulos, Petr Hnětynka, J. Keznikl, M. Kit, František 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
Link bibtex
Rima Al-Ali, Ilias Gerostathopoulos, Inti Gonzalez-Herrera, Adrian Juan-Verdejo, Michal Kit, Bholanathsingh Surajbali:
An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments, in Proceedings of HotTopiCS 2014, Dublin, Ireland,  ISBN: 978-1-4503-3059-6, pp. 3:1–3:6
DOI: 10.1145/2649563.2649577
Link bibtex
Rima Al-Ali, Tomáš Bureš, Ilias Gerostathopoulos, Jaroslav Keznikl, František Plášil:
Architecture Adaptation Based on Belief Inaccuracy Estimation, in Proceedings of WICSA 2014, Sydney, NSW, Australiatecture,  ISBN: 978-1-4799-3412-6, pp. 87–90
DOI: 10.1109/WICSA.2014.20
Link bibtex
Q. Noorshams, A. Busch, A. Rentschler, D. Bruhn, S. Kounev, Petr Tůma, R. Reussner:
Automated Modeling of I/O Performance and Interference Effects in Virtualized Storage Systems, in Proc. 34th IEEE International Conference on Distributed Computing Systems (ICDCS) DCPERF Workshop,  pp. 88-93
DOI: 10.1109/ICDCSW.2014.26
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
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
Link bibtex
Yudi Zheng, Haiyang Sun, Lubomír Bulej, Petr Tůma, Walter Binder:
Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines (Invited Paper), in Proc. 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ),  ISBN: 978-1-4503-2926-2, pp. 4–4
DOI: 10.1145/2655183.2655186
bibtex
Tomáš Bureš, I. Gerostathopoulos, Petr Hnětynka, J. Keznikl, M. Kit, František 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
Link bibtex
Tomáš Martinec, Lukáš Marek, Antonín Steinhauser, Petr Tůma, Qais Noorshams, Andreas Rentschler, Ralf Reussner:
Constructing Performance Model of JMS Middleware Platform, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-2733-6, pp. 123–134
DOI: 10.1145/2568088.2568096
Link bibtex
David Hauzar, Jan Kofroň, Pavel Baštecký:
Data-flow Analysis of Programs with Associative Arrays, in Proceedings of ESSS 2014, 
DOI: 10.4204/EPTCS.150.6
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
Link bibtex
Link bibtex
Tomáš Bureš:
Development of Smart Cyber-physical Systems, in Tutorial at 17th International ACM Sigsoft Symposium on Component-based Software Engineering,  ISBN: 978-1-4503-2577-6, pp. 189–190
DOI: 10.1145/2602458.2611458
Link bibtex
Aibek Sarimbekov, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Lukáš Marek, Walter Binder, Petr Tůma, Zhengwei Qi:
Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance, in Science of Computer Programming 0(0),  pp. 344-358
DOI: 10.1016/j.scico.2014.03.014
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
Link bibtex
Pavel Jancik, Jan Kofroň, Simone Fulvio Rollini, Natasha Sharygina:
On Interpolants and Variable Assignments, in Proceedings of FMCAD 2014,  ISBN: 978-0-9835678-4-4, pp. 123–130
DOI: 10.1109/FMCAD.2014.6987604
Link bibtex
Peter Libič, Lubomír Bulej, Vojtěch Horký, Petr Tůma:
On the Limits of Modeling Generational Garbage Collector Performance, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-2733-6, pp. 15–26
DOI: 10.1145/2568088.2568097
Link bibtex
Petr Tůma:
Performance Awareness (Keynote Paper), in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-2733-6, pp. 135–136
DOI: 10.1145/2568088.2576097
Link bibtex
A. Podzimek, L.Y. Chen, Lubomír Bulej, W. Binder, Petr Tůma:
Showstopper: The Partial CPU Load Tool (Poster Paper), in Proc. 22nd IEEE International Symposium on Modelling, Analysis Simulation of Computer and Telecommunication Systems (MASCOTS),  pp. 510-513
DOI: 10.1109/MASCOTS.2014.75
bibtex
Ilias Gerostathopoulos, Jaroslav Keznikl, Tomáš Bureš, Michal Kit, František Plášil:
Software Engineering for Software-Intensive Cyber-Physical Systems, in Proc. of CPSData workshop in INFORMATIK'14. To Appear., 
bibtex
I. Gerostathopoulos, J. Keznikl, Tomáš Bureš, M. Kit, František 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
bibtex
Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, J. Kotrc, L. Marek, T. Trojanek, Petr Tůma:
SPL: Unit Testing Performance, Technical report no. No. D3S-TR-2014-04, Dep. of Distributed and Dependable Systems, Charles University in Prague
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
Link bibtex
A. Masrur, M. Kit, Tomáš 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
DOI: 10.1109/DSD.2014.87
Link bibtex
Tomáš Bureš, Vojtěch Horký, Michał Kit, Lukáš Marek, Petr 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), ISBN: 978-3-662-45233-2 978-3-662-45234-9, pp. 131-146
Link bibtex
Heiko Koziolek, Steffen Becker, Jens Happe, Petr Tůma, Thijmen de Gooijer:
Towards Software Performance Engineering for Multicore and Manycore Systems, in SIGMETRICS Performance Evaluation Review 41(3),  pp. 2–11
DOI: 10.1145/2567529.2567531
Link bibtex
Jiří Barnat, Nikola Beneš, Tomáš Bureš, Ivana Černá, Jaroslav Keznikl, František 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, ISBN: 978-3-319-07602-7, pp. 41–60
Link bibtex
David Hauzar, Jan Kofroň:
WeVerca: Web Applications Verification for PHP, in Proceedings of SEFM 2014,  ISBN: 978-3-319-10430-0, pp. 296-301
DOI: 10.1007/978-3-319-10431-7_24

[ − ]
 
2013

Link bibtex
Tomáš Bureš, R. D. Nicola, I. Gerostathopoulos, N. Hoch, M. Kit, N. Koch, G. V. 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
DOI: 10.1109/SASOW.2013.23
Link bibtex
Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, Jaroslav 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,  ISBN: 978-1-4503-1636-1, pp. 343–346
DOI: 10.1145/2479871.2479922
bibtex
Tomáš Bureš, I. Gerostathopoulos, Petr Hnětynka, J. Keznikl, M. Kit, František 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
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
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
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
Link bibtex
Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tůma:
Enabling Modularity and Reuse in Dynamic Program Analysis Tools for the Java Virtual Machine, in Proc. 27th European Conference on Object-Oriented Programming (ECOOP), ISBN: 978-3-642-39037-1 978-3-642-39038-8, pp. 352-377
Link bibtex
Nikola Šerbedžija, Tomáš Bureš, Jaroslav Keznikl:
Engineering Autonomous Systems, in Proceedings of the 17th Panhellenic Conference on Informatics,  ISBN: 978-1-4503-1969-0, pp. 128–135
DOI: 10.1145/2491845.2491862
bibtex
Tomáš Bureš, I. Gerostathopoulos, J. Keznikl, František 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
Link bibtex
Q. Noorshams, K. Rostami, S. Kounev, Petr Tůma, R. Reussner:
I/O Performance Modeling of Virtualized Storage Systems, in Proc. 21st IEEE International Symposium on Modeling, Analysis Simulation of Computer and Telecommunication Systems (MASCOTS),  pp. 121-130
DOI: 10.1109/MASCOTS.2013.20
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
bibtex
Tomáš Bureš:
Managing Variability in Component-based Software Engineering, Habilitation Thesis, Charles University, Department of Distributed and Dependable Systems
PDF bibtex
Pavel Jančík, Jan Kofroň:
On Partial Variable Assignment Interpolants, Technical report no. D3S-TR-2013-05, Department of Distributed and Dependable Systems, Charles University
Link bibtex
Vojtěch Horký, František Haas, Jaroslav Kotrč, Martin Lacina, Petr Tůma:
Performance Regression Unit Testing: A Case Study, in Computer Performance Engineering: Proc. 10th European Performance Engineering Workshop (EPEW), ISBN: 978-3-642-40724-6 978-3-642-40725-3, pp. 149-163
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
Link bibtex
A. Sarimbekov, Yudi Zheng, D. Ansaloni, Lubomír Bulej, L. Marek, W. Binder, Petr Tůma, Zhengwei Qi:
Productive Development of Dynamic Program Analysis Tools with DiSL, in Proc. 22nd Australian Software Engineering Conference (ASWEC),  pp. 11-19
DOI: 10.1109/ASWEC.2013.12
Link bibtex
Samuel Kounev, Stamatia Rizou, Steffen Zschaler, Spiros Alexakis, Tomáš Bureš, Jean-Marc Jézéquel, Dimitrios Kourtesis, Stelios 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,  ISBN: 978-1-4503-2051-1, pp. 51–54
DOI: 10.1145/2462307.2462319
Link bibtex
Lukáš Marek, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tůma, Danilo Ansaloni, Aibek Sarimbekov, Andreas Sewe:
ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform, in ACM SIGPLAN Notices 49(3),  pp. 105–114
DOI: 10.1145/2637365.2517219
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
Link bibtex
František Plášil, Tomáš 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,  ISBN: 978-3-642-35843-2, pp. 28–28
Link bibtex
P. Mayer, A. Klarl, R. Hennicker, M. Puviani, F. Tiezzi, R. Pugliese, J. Keznikl, Tomáš 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
DOI: 10.1109/SASOW.2013.16
Link bibtex
Tomáš Poch, Ondřej Šerý, František Plášil, Jan Kofroň:
Threaded behavior protocols, in Formal Aspects of Computing 25(4),  pp. 543-572
DOI: 10.1007/s00165-011-0194-3

[ − ]
 
2012

Link bibtex
A. Podzimek, M. Decký, Lubomír Bulej, Petr Tůma:
A Non-Intrusive Read-Copy-Update for UTS, in Proc. 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS),  pp. 482-489
DOI: 10.1109/ICPADS.2012.72
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
bibtex
J. Keznikl, Tomáš Bureš, František Plášil, Petr 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
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. ,
Link bibtex
Pavel Jančík, Pavel Parízek, Jan Kofroň:
BeJC: Checking Compliance Between Java Implementation and Behavior Specification, in Proceedings of WCOP 2014,  ISBN: 978-1-4503-1348-3, pp. 31–36
DOI: 10.1145/2304676.2304683
Link bibtex
Lubomír Bulej, Tomáš Bureš, Jaroslav Keznikl, Alena Koubková, Andrej Podzimek, Petr Tůma:
Capturing Performance Assumptions Using Stochastic Performance Logic, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-1202-8, pp. 311–322
DOI: 10.1145/2188286.2188345
Link bibtex
Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukáš Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tůma, Yudi Zheng:
Challenges for Refinement and Composition of Instrumentations (Position Paper), in Software Composition: Proc. 11th International Conference on Software Composition (SC), ISBN: 978-3-642-30563-4 978-3-642-30564-1, pp. 86-96
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
Link bibtex
Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Walter Binder, Zhengwei Qi, Petr Tůma:
DiSL: An Extensible Language for Efficient and Comprehensive Dynamic Program Analysis (Invited Paper), in Proc. 7th Workshop on Domain-Specific Aspect Languages (DSAL),  ISBN: 978-1-4503-1128-1, pp. 27–28
DOI: 10.1145/2162037.2162046
Link bibtex
V. Simko, Petr Hnětynka, Tomáš Bureš, František 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
DOI: 10.1109/SEAA.2012.15
bibtex
V. Simko, Petr Hnětynka, Tomáš Bureš, František 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
Link bibtex
Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi:
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis (Tool Paper), in Programming Languages and Systems: Proc. 10th Asian Symposium on Programming Languages and Systems (APLAS), ISBN: 978-3-642-35181-5 978-3-642-35182-2, pp. 256-263
Link bibtex
David Hauzar, Jan Kofroň:
On Security Analysis of PHP Web Applications, in Proceedings of STPSA 2012,  ISBN: 978-1-4673-2714-5, pp. 577-582
DOI: 10.1109/COMPSACW.2012.106
Link bibtex
Vlastimil Babka, Peter Libič, Tomáš Martinec, Petr Tůma:
On the Accuracy of Cache Sharing Models, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-1202-8, pp. 21–32
DOI: 10.1145/2188286.2188294
Link bibtex
Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, J. Keznikl, Petr 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
DOI: 10.1109/COMPSACW.2012.96
Link bibtex
Tomas Pop, František Plášil, Matej Outly, Michal Malohlava, Tomáš 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,  ISBN: 978-1-4503-1345-2, pp. 93–102
DOI: 10.1145/2304736.2304753
bibtex
Tomáš Bureš, Petr 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
bibtex
M. Malohlava, Petr Hnětynka, Tomáš Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Post-conference Proceedings of FESCA 2012, 
Link bibtex
Stephen Kell, Danilo Ansaloni, Walter Binder, Lukáš Marek:
The JVM is Not Observable Enough (and What to Do About It), in Proceedings of the Sixth ACM Workshop on Virtual Machines and Intermediate Languages,  ISBN: 978-1-4503-1633-0, pp. 33–38
DOI: 10.1145/2414740.2414747
bibtex
Tomáš Bureš, Petr Hnětynka, J. Keznikl, František Plášil, Petr 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
Link bibtex
J. Keznikl, Tomáš Bureš, František 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
DOI: 10.1109/WICSA-ECSA.212.39
Link bibtex
Yudi Zheng, Danilo Ansaloni, Lukas Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tůma, Zhengwei Qi, Mira Mezini:
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation, in Objects, Models, Components, Patterns: Proc. 50th International Conference on Objects, Models, Components, Patterns (TOOLS), ISBN: 978-3-642-30560-3 978-3-642-30561-0, pp. 353-368
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

[ − ]
 
2011

Link bibtex
Vlastimil Babka, Petr Tůma:
Can Linear Approximation Improve Performance Prediction ?, in Computer Performance Engineering: Proc. 8th European Performance Engineering Workshop (EPEW), ISBN: 978-3-642-24748-4 978-3-642-24749-1, pp. 250-264
bibtex
T. Pop, Tomáš Bureš, Petr 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
Link bibtex
Vlastimil Babka, Petr Tůma:
Computer Memory: Why We Should Care What Is Under the Hood (Invited Paper), in Mathematical and Engineering Methods in Computer Science: Proc. 7th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), ISBN: 978-3-642-25928-9 978-3-642-25929-6, pp. 63-75
bibtex
Alena Koubková, Václav Koubek:
Datové struktury I., MatfyzPress, ISBN: 978-80-7378-166-8,
Link bibtex
J. Keznikl, M. Malohlava, Tomáš Bureš, Petr Hnětynka:
Extensible Polyglot Programming Support in Existing Component Frameworks, in 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications,  pp. 107-115
DOI: 10.1109/SEAA.2011.25
PDF bibtex
David Hauzar, Jan Kofroň:
Hunting Bugs Inside Web Applications, Technical report no. 2011-26, Department of Informatics, KIT
bibtex
M. Malohlava, František Plášil, Tomáš Bureš, Petr Hnětynka:
Interoperable DSL Families for Code Generation, Technical report no. No. 2011/4, Dep. of Distributed and Dependable Systems, Charles University in Prague
Link bibtex
T. Pop, J. Keznikl, P. Hosek, M. Malohlava, Tomáš Bureš, Petr 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
DOI: 10.1109/SERA.2011.14
bibtex
M. Outly, T. Pop, M. Malohlava, Tomáš 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
PDF bibtex
Jan Kofroň, Pavel Jančík, Pavel Parízek:
Refinement between TBP and Java Implementation of Components, Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University
Link bibtex
Tomáš Bureš, Pavel 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
DOI: 10.1109/SEAA.2011.27

[ − ]
 
2010

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
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
Link bibtex
Steffen Becker, Michael Hauck, Mircea Trifu, Klaus Krogmann, Jan Kofroň:
Reverse Engineering Component Models for Quality Predictions, in Proceedings of CSMR 2010,  ISBN: 978-1-61284-369-8, pp. 194-197
DOI: 10.1109/CSMR.2010.34
bibtex
Petr Hosek, T. Pop, M. Malohlava, Petr Hnětynka, Tomáš 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
Link bibtex
Vlastimil Babka, Petr Tůma, Lubomír Bulej:
Validating Model-Driven Performance Predictions on Random Software Systems, in Research into Practice - Reality and Gaps: Proc. 6th International Conference on the Quality of Software Architectures (QOSA), ISBN: 978-3-642-13820-1 978-3-642-13821-8, pp. 3-19

[ − ]
 
2009

Link bibtex
K. Masek, Petr Hnětynka, Tomáš Bureš:
Bridging the Component-Based and Service-Oriented Worlds, in 2009 35th Euromicro Conference on Software Engineering and Advanced Applications,  pp. 47-54
DOI: 10.1109/SEAA.2009.58
bibtex
Tomáš Bureš, Pavel 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
Link bibtex
Vlastimil Babka, Petr Tůma:
Investigating Cache Parameters of x86 Family Processors, in Computer Performance Evaluation and Benchmarking: Proc. 4th SPEC Benchmarking Workshop (SPEC), ISBN: 978-3-540-93798-2 978-3-540-93799-9, pp. 77-96
Link bibtex
Peter Libič, Petr Tůma, Lubomír Bulej:
Issues in Performance Modeling of Applications with Garbage Collection, in Proc. 1st International Workshop on Quality of Service-Oriented Software Systems (QUASOSS),  ISBN: 978-1-60558-709-7, pp. 3–10
DOI: 10.1145/1596473.1596477
Link bibtex
Jan Kofroň, František Plášil, Ondřej Šerý:
Modes in component behavior specification via EBP and their application in product lines, in Information and Software Technology 51(1),  pp. 31-41
DOI: 10.1016/j.infsof.2008.09.011
Link bibtex
Jan Kofroň, Pavel Parízek, Ondřej Šerý:
On Teaching Formal Methods: Behavior Models and Code Analysis, in Proceedings of TFM 2009,  ISBN: 978-3-642-04912-5, pp. 144-157
DOI: 10.1007/978-3-642-04912-5_10
Link bibtex
J.A. Lorenzo, F.F. Rivera, Petr Tůma, J.C. Pichel:
On the Influence of Thread Allocation for Irregular Codes in NUMA Systems, in Proc. 10th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT),  pp. 146-153
DOI: 10.1109/PDCAT.2009.42
bibtex
Petr Hnětynka, Tomáš Bureš, M. Prochazka, R. Ward, Z. Hanzálek:
SOFA High Integrity: Our Approach to SAVOIR, in DASIA 2009 - DAta Systems in Aerospace,  pp. 17
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
Link bibtex
V. Babka, P. Libic, Petr Tůma:
Timing Penalties Associated with Cache Sharing (Poster Paper), in Proc. 17th IEEE/ACM International Symposium on Modeling, Analysis Simulation of Computer and Telecommunication Systems (MASCOTS),  pp. 1-4
DOI: 10.1109/MASCOT.2009.5366821
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
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
Link bibtex
V. Babka, L. Marek, Petr Tůma:
When Misses Differ: Investigating Impact of Cache Misses on Observed Performance, in Proc. 15th International Conference on Parallel and Distributed Systems (ICPADS),  pp. 112-119
DOI: 10.1109/ICPADS.2009.122

[ − ]
 
2008

Link bibtex
Tomáš 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
DOI: 10.1109/ICSEA.2008.58
Link bibtex
Séverine Sentilles, Aneta Vulgarakis, Tomáš Bureš, Jan Carlson, Ivica 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,  ISBN: 978-3-540-87891-9, pp. 310–317
bibtex
M. Prochazka, R. Ward, Petr Tůma, P. Hnetynk, J. Adamek:
A Component-Oriented Framework for Spacecraft On-Board Software, in Proc. 13th ESA Conference on Data Systems In Aerospace (DASIA),  ISBN: 978-92-9221-229-2, pp. 39
Link bibtex
Lubomír Bulej, Tomáš Bureš, Thierry Coupaye, Martin Děcký, Pavel Ježek, Pavel Parízek, František Plášil, Tomáš Poch, Nicolas Rivierre, Ondřej Šerý, Petr Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, ISBN: 978-3-540-85288-9 978-3-540-85289-6, pp. 357-387
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
bibtex
Link bibtex
Jan Kofroň, Tomáš Poch, Ondřej Šerý:
Making Components Fit: SPINing, in Proceedings of SEW 2008,  ISBN: 978-0-7695-3617-0, pp. 65-74
DOI: 10.1109/SEW.2008.10
bibtex
Rumen Vladimirov Kyusakov, Tomáš Bureš, Ivica Crnkovic:
Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University
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
Link bibtex
Tomáš Bureš, Jan Carlson, Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis Feljan:
ProCom - the Progress Component Model Reference Manual, version 1.0, Technical report no. ISSN 1404-3041 ISRN MDH-MRTC-230/2008-1-SE,
Link bibtex
Tomáš Bureš, Jan Carlson, Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis Feljan:
Progress Component Model Reference Manual - version 0.5, Technical report no. ISSN 1404-3041 ISRN MDH-MRTC-225/2008-1-SE,
bibtex
S. Becker, Lubomír Bulej, Tomáš Bureš, Petr Hnětynka, L. Kapova, Jan 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 no. ,
bibtex
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. ,
Link bibtex
Jan Kofroň, Tomáš Poch, Ondřej Šerý:
TBP: Code-Oriented Component Behavior Specification, in Proceedings of SEW 2008,  ISBN: 978-0-7695-3617-0, pp. 75-83
DOI: 10.1109/SEW.2008.14
Link bibtex
Vlastimil Babka, Lubomír Bulej, Martin Decky, Viliam Holub, Petr Tůma:
Teaching Operating Systems: Student Assignments and the Software Engineering Perspective, in Proc. 30th International Conference on Software Engineering (ICSE) SEESE Workshop,  ISBN: 978-1-60558-076-0, pp. 71–78
DOI: 10.1145/1370868.1370881
bibtex
Tomáš Bureš, Jan Carlson, Severine Sentilles, Aneta Vulgarakis:
Towards Component Modelling of Embedded Systems in the Vehicular Domain, Technical report no. 1404-3041, Malardalens hogskola
Link bibtex
Tomáš Bureš, M. Malohlava, Petr Hnětynka:
Using DSL for Automatic Generation of Software Connectors, in Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008),  pp. 138-147
DOI: 10.1109/ICCBSS.2008.17

[ − ]
 
2007

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
PDF bibtex
Jan Kofroň:
Behavior Protocols Extensions, Dissertation thesis, Charles University
Link bibtex
Jan Kofroň:
Checking Software Component Behavior Using Behavior Protocols and Spin, in Proceedings SAC 2007,  ISBN: 978-1-59593-480-2, pp. 1513–1517
DOI: 10.1145/1244002.1244326
bibtex
Tomáš Bureš, M. Decky, Petr Hnětynka, Jan Kofroň, Pavel Parízek, František Plášil, T. Poch, O. Sery, Petr Tůma:
CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, 
Link bibtex
Vlastimil Babka, Martin Děcký, Petr Tůma:
Resource Sharing in Performance Models, in Formal Methods and Stochastic Models for Performance Evaluation: Proc. 4th European Performance Engineering Workshop (EPEW), ISBN: 978-3-540-75210-3 978-3-540-75211-0, pp. 245-259
bibtex
Tomáš Bureš, Petr Hnětynka, František Plášil:
Runtime Concepts of Hierarchical Software Components, in International Journal of Computer and Information Science 0(0),  pp. 454-463
Link bibtex
Tomáš Bureš, Petr Hnětynka, František 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
DOI: 10.1109/SERA.2007.115
Link bibtex
V. Holub, Petr Tůma:
Streaming State Space: A Method of Distributed Model Verification, in Proc. 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE),  pp. 356-368
DOI: 10.1109/TASE.2007.47

[ − ]
 
2006

bibtex
Lubomír Bulej, Tomáš Bureš:
Addressing Static Execution Overhead in Connectors with Disabled Optional Features, Technical report no. No. 2006/6, Dep. of SW Engineering, Charles University, Prague
Link bibtex
Tomas Kalibera, Jakub Lehotsky, David Majda, Branislav Repcek, Michal Tomcanyi, Antonin Tomecek, Petr Tůma, Jaroslav Urban:
Automated Benchmarking and Analysis Tool, in Proc. 1st International Conference on Performance Evaluation Methodolgies and Tools (VALUETOOLS),  ISBN: 978-1-59593-504-5,
DOI: 10.1145/1190095.1190101
bibtex
Link bibtex
Jiri Adamek, Tomáš Bureš, Pavel Ježek, Jan Kofroň, Vladimir Mencl, Pavel Parízek, František 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
Link bibtex
Lubomír Bulej, Tomáš 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, ISBN: 978-3-540-69272-0, pp. 50–65
PDF bibtex
Jan Kofroň:
Extending Behavior Protocols With Data and Multisynchronization, Technical report no. 2006/10, Department of Software Engineering, Charles University
bibtex
Tomáš Bureš:
Generating Connectors for Homogeneous and Heterogeneous Deployment, Doctoral Thesis, Dep. of SW Engineering, Charles University, Prague
Link bibtex
Pavel Ježek, Jan Kofroň, František Plášil:
Model Checking of Component Behavior Specification: A Real Life Experience, in Electronic Notes in Theoretical Computer Science 0(0),  pp. 197-210
DOI: 10.1016/j.entcs.2006.05.023
Link bibtex
Pavel Parízek, František Plášil, Jan Kofroň:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, in Proceedings of SEW 2006,  ISBN: 0-7695-2624-1, pp. 133-141
DOI: 10.1109/SEW.2006.23
PDF bibtex
Link bibtex
Tomas Kalibera, Petr Tůma:
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results, in Formal Methods and Stochastic Models for Performance Evaluation: Proc. 3rd European Performance Engineering Workshop (EPEW), ISBN: 978-3-540-35362-1 978-3-540-35365-2, pp. 63-77
bibtex
J. Adamek, Tomáš Bureš, Pavel Ježek, Jan Kofroň, V. Mencl, Pavel Parízek, František Plášil:
Real-life Behavior Specification of Software Components, in The 11th EMEA Academic Forum, Dublin, Ireland, 
Link bibtex
Tomáš Bureš, Petr Hnětynka, František 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
DOI: 10.1109/SERA.2006.62
PDF bibtex
Jan Kofroň:
Software Component Verification: On Translating Behavior Protocols to Promela, Technical report no. 2006/11, Department of Software Engineering, Charles University
Link bibtex
Lubomír Bulej, Tomáš Bureš:
Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification, in Interoperability of Enterprise Software and Applications, ISBN: 978-1-84628-152-5, pp. 349–360

[ − ]
 
2005

Link bibtex
Tomas Kalibera, Lubomír Bulej, Petr Tůma:
Automated Detection of Performance Regressions: The Mono Experience, in Proc. 20th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS),  pp. 183-190
DOI: 10.1109/MASCOT.2005.18
bibtex
Tomáš Bureš:
Automated Synthesis of Connectors for Heterogeneous Deployment, Technical report no. No. 2005/4, Dep. of SW Engineering, Charles University, Prague
Link PDF bibtex
Martin Mach, František Plášil, Jan Kofroň:
Behavior Protocols Verification: Fighting State Explosion, in International Journal of Computer and Information Science 6(1),  pp. 22-30
bibtex
Tomas Kalibera, Lubomír Bulej, Petr Tůma:
Benchmark Precision and Random Initial State, in Proc. International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS),  ISBN: 978-1-62276-350-4, pp. 484–490
Link bibtex
Petr Tůma:
Component and Middleware Performance (Summary Paper), in Studia Informatica Universalis 4(1),  pp. 1-6
bibtex
Petr Tůma:
Component Middleware, Habilitation Thesis, Charles University
bibtex
Lubomír Bulej, Tomáš Bureš:
Deploying Heterogeneous Applications using OMG D&C and Software Connectors, Technical report no. No. 2005/10, Dep. of SW Engineering, Charles University, Prague
PDF bibtex
Jan Kofroň:
Enhancing Behavior Protocols with Atomic Actions, Technical report no. 2005/08, Department of Software Engineering, Charles University
Link bibtex
Ondrej Galik, Tomáš Bureš:
Generating Connectors for Heterogeneous Deployment, in Proceedings of the 5th International Workshop on Software Engineering and Middleware,  ISBN: 1-59593-205-4, pp. 54–61
DOI: 10.1145/1108473.1108486
bibtex
O. Galik, Tomáš Bureš:
Handling Heterogeneity in Connector Generation, Technical report no. No. 2005/2, Dep. of SW Engineering, Charles University, Prague
Link bibtex
Vladimir Mencl, Tomáš Bureš:
Microcomponent-Based Component Controllers: A Foundation for Component Aspects, in 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 0(0),  pp. 729-737
DOI: doi.ieeecomputersociety.org/10.1109/APSEC.2005.78
Link bibtex
Paul Brebner, Emmanuel Cecchet, Julie Marguerite, Petr Tůma, Octavian Ciuhandu, Bruno Dufour, Lieven Eeckhout, Stéphane Frénot, Arvind S. Krishna, John Murphy, Clark Verbrugge:
Middleware Benchmarking: Approaches, Results, Experiences, in Concurrency and Computation: Practice and Experience 17(15),  pp. 1799-1805
DOI: 10.1002/cpe.918
Link bibtex
Tomas Kalibera, Lubomír Bulej, Petr Tůma:
Quality Assurance in Performance: Evaluating Mono Benchmark Results, in Quality of Software Architectures and Software Quality: Proc. 2nd International Workshop on Software Quality (SOQUA), ISBN: 978-3-540-29033-9 978-3-540-32056-2, pp. 271-288
Link bibtex
Lubomír Bulej, Tomáš Kalibera, Petr Tůma:
Repeated Results Analysis for Middleware Regression Benchmarking, in Performance Evaluation 60(1–4),  pp. 345-358
DOI: 10.1016/j.peva.2004.10.013
bibtex
Petr Hnětynka, František Plášil, Tomáš Bureš, V. Mencl, L. Kapova:
SOFA 2.0 metamodel, Technical report no. No. 2005/11, Dep. of SW Engineering, Charles University, Prague
Link bibtex
Ladislav Sobr, Petr Tůma:
SOFAnet: Middleware for Software Distribution over Internet, in Proc. 12th IEEE/IPSJ International Symposium on Applications and the Internet (SAINT),  ISBN: 978-0-7695-2262-3, pp. 48-53
DOI: 10.1109/SAINT.2005.60
Link bibtex
Jaroslav Král, Michal Žemlička, Alena Koubková:
The neglected but crucial role of mathematical statistics in the education of software experts, in Proceedings of UICEE,  ISBN: 978-0-7326-2275-6,

[ − ]
 
2004

bibtex
Lubomír Bulej, Tomáš Bureš:
Addressing Heterogeneity in OMG D&C-based Deployment, Technical report no. No. 2004/7, Dep. of SW Engineering, Charles University, Prague
Link bibtex
Tomáš Bureš, František 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, ISBN: 978-3-540-24675-6, pp. 102–116
bibtex
bibtex
Tomáš Kalibera, Lubomír Bulej, Petr Tůma:
Generic Environment for Full Automation of Benchmarking, in Proc. 1st International Workshop on Software Quality (SOQUA),  ISBN: 3-88579-387-3, pp. 125–132
Link bibtex
Lubomír Bulej, T. Kalibera, Petr Tůma:
Regression Benchmarking with Simple Middleware Benchmarks, in Proc. 23rd IEEE International Conference on Performance, Computing, and Communications (IPCCC) IWMP Workshop,  pp. 771-776
DOI: 10.1109/PCCC.2004.1395179
bibtex
Tomáš Bureš, Ewen Denney, Bernd Fischer, Eugen 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), 

[ − ]
 
2003

bibtex
Lubomír Bulej, Tomáš Bureš:
A Connector Model Suitable for Automatic Generation of Connectors, Technical report no. No. 2003/1, Dep. of SW Engineering, Charles University, Prague
bibtex
Tomáš Bureš, FRANTISEK PLASIL:
Automating Connector Evolution, in Doktorandsky den”03, 
bibtex
Tomáš Bureš, František Plášil:
Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague
bibtex
Tomáš Bureš:
Constraint-based generation of connectors, in Proceedings of the Week of Doctoral Students 2003 conference \(WDS 2003\),  pp. 215-220
Link bibtex
A. Buble, Lubomír Bulej, Petr Tůma:
CORBA Benchmarking: A Course with Hidden Obstacles, in Proc. 17th International Parallel and Distributed Processing Symposium (IPDPS) PMEOPDS Workshop,  pp. 1-6
DOI: 10.1109/IPDPS.2003.1213501
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
bibtex

[ − ]
 
2002

Link bibtex
Alena Koubková, Václav Koubek:
Algorithms for transitive closure, in Information Processing Letters 81(6),  pp. 289-296
DOI: 10.1016/S0020-0190(01)00245-9
Link bibtex
Tomáš Kalibera, Petr Tůma:
Distributed Component System Based on Architecture Description: The SOFA Experience, in On the Move to Meaningful Internet Systems: Proc. 4th International Symposium on Distributed Objects and Applications (DOA), ISBN: 978-3-540-00106-5 978-3-540-36124-4, pp. 981-994
bibtex
Tomáš Bureš:
Generator of Connectors for SOFA/DCUP, Master Thesis, Czech Technical University
bibtex
Petr Tůma, Adam Buble:
Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), 

[ − ]
 
2001

bibtex
Petr Tůma, A. Buble:
Open CORBA Benchmarking, in Proc. 1st International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS),  ISBN: 1-56555-240-7, pp. 351-358

[ − ]
 
2000

Link bibtex
Gordon S. Blair, Lynne Blair, Valérie Issarny, Petr Tůma, Apostolos Zarras:
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms, in Proc. 2nd IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (MIDDLEWARE), ISBN: 978-3-540-67352-1 978-3-540-45559-2, pp. 164-184

[ − ]
 
1999

bibtex
Pekka Kähkipuro, Adam Buble, Anil Gopinath, Arvind Kaushal, Chanaka Liyanaarachchi, Clark Readler, David Flater, Douglas Niehaus, Francesco Caruso, František Plášil, Kimmo Raatikainen, Louis-François Pau, Madeleine Chung, Petr Tůma, Sridhar Nimmagadda, Steve Tockey:
OMG Benchmark PSIG White Paper on Benchmarking, Technical report no. bench/99-12-01, OMG
Link bibtex
Petr Tůma, Valerie Issarny, Apostolos Zarras:
Towards Systematic Synthesis of Reflective Middleware (Short Paper), in Meta-Level Architectures and Reflection: Proc. 2nd International Conference on Meta-Level Architectures and Reflection (REFLECTION), ISBN: 978-3-540-66280-8 978-3-540-48443-1, pp. 144-146

[ − ]
 
1998

bibtex
František Plášil, Petr Tůma, Adam Buble:
CORBA Benchmarking, Technical report no. 98/7, Charles University
bibtex
Alena Koubková, Jan Pavelka:
Úvod do teoretické informatiky, MatfyzPress, ISBN: 80-86732-52-5,

[ − ]
 
1997

bibtex
Petr Tůma:
Persistence in CORBA, Doctoral Thesis, Charles University

[ − ]
 
1996

Link bibtex
Jan Kleindienst, František Plášil, Petr Tůma:
CORBA and Object Services (Invited Paper), in Theory and Practice of Informatics: Proc. 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM), ISBN: 978-3-540-61994-9 978-3-540-49588-8, pp. 74-93
Link bibtex
Jan Kleindienst, František Plášil, Petr Tůma:
Lessons Learned from Implementing the CORBA Persistent Object Service, in ACM SIGPLAN Notices 31(10),  pp. 150–167
DOI: 10.1145/236338.236351
bibtex
Jan Kleindienst, František Plášil, Petr Tůma:
What We Are Missing in the Persistent Object Service Specification, Technical report no. , Charles University

[ − ]
 
1995

Link bibtex

[ − ]
 
1994

bibtex
Petr Tůma:
Návrh a implementace IP routeru pro dialup, Master Thesis, Czech Technical University