Publications

Filter:

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, Springer International Publishing, 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
Vladimír Matěna, Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka: Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed, Springer Singapore, 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, pp. 16, DOI: 10.1109/TSE.2019.2927908
PDF Link 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, 148 (0), DOI: 10.1016/j.jss.2018.10.051, in print

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, IEEE, 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, ACM, 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, ACM Press, 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, ACM, 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, Springer International Publishing, 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
Antonín Steinhauser, Petr Tůma: DjangoChecker: Applying extended taint tracking and server side parsing for detection of context-sensitive XSS flaws, in Software: Practice and Experience, 0 (0), DOI: 10.1002/spe.2649
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, Springer International Publishing, pp. 172-185
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, EasyChair, 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, ACM Press, 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, ACM, 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, ACM Press, 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, Springer International Publishing, pp. 277-291, DOI: 10.1007/978-3-319-91271-4_19
Link bibtex
Tomáš Bureš, Vladimír Matěna, Raffaela Mirandola, Lorenzo Pagliari, Catia Trubiani: Performance Modelling of Smart Cyber-Physical Systems, in Companion Proceedings of ICPE 2018, Berlin, Germany, ACM Press, 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, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, pp. 1–30, DOI: 10.4230/LIPIcs.ECOOP.2017.30
Link bibtex
Vladimír Matěna, 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, IEEE, 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, 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, ACM, 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, ACM, 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, ACM, 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, ACM, 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, Polish Information Processing Society, 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, IEEE, 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, Springer, 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, IEEE, 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, IEEE, 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, Springer, 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, IEEE, 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, 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, ACM, pp. 401–412, DOI: 10.1145/3030207.3030226

2016

Link bibtex extras
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, ACM, 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, Springer International Publishing, 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, 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, ACM, 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, ACM, 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, Springer, 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, IEEE, 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, Springer International Publishing, 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
Vladimír Matěna, 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, ACM, 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, Springer Berlin Heidelberg, 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, DOI: 10.1016/j.jss.2016.02.028
Link bibtex
Tomáš Bureš, Petr Hnětynka, Filip Krijt, Vladimír Matěna, 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, Springer International Publishing, 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, ACM, 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, 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), ACM, 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, ACM, 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), IEEE, 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, Springer International Publishing, 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), ACM, pp. 337–340, DOI: 10.1145/2668930.2688820
Link bibtex
Michal Kit, František Plášil, Vladimír Matěna, 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, ACM, 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, Springer International Publishing, 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, Springer International Publishing, pp. 602-618
Link bibtex
David Hauzar, Jan Kofroň: Framework for Static Analysis of PHP Applications, in Proceedings of ECOOP 2015, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 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, 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, Springer International Publishing, 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, Springer International Publishing, 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., 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, Springer, 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, ACM, 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, Springer International Publishing, 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, Springer International Publishing, pp. 495–512
Link bibtex
Nicklas Hoch, Henry-Paul Bensler, Dhaminda Abeywickrama, Tomáš Bureš, Ugo Montanari: The E-mobility Case Study, Springer International Publishing, pp. 513–533
Link bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil: The Invariant Refinement Method, Springer International Publishing, 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, Springer International Publishing, 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, ACM, 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), ACM, 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, ACM, 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, IEEE Computer Society, 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, IEEE, 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), ACM, 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), ACM, pp. 123–134, DOI: 10.1145/2568088.2568096
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, ACM Press, pp. 610-611, DOI: 10.1145/2591062.2591140
Link bibtex
Tomáš Bureš, Ilias Gerostathopoulos, Rima Al-Ali: DEECo: Software Engineering for Smart CPS
Link bibtex
David Hauzar, Jan Kofroň, Pavel Baštecký: Data-flow Analysis of Programs with Associative Arrays, in Proceedings of ESSS 2014, EPTCS, DOI: 10.4204/EPTCS.150.6
Link bibtex
Tomáš Bureš: Development of Smart Cyber-physical Systems, in Tutorial at 17th International ACM Sigsoft Symposium on Component-based Software Engineering, ACM, 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, 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, Springer International Publishing, pp. 250–266
Link bibtex
Pavel Jancik, Jan Kofroň, Simone Fulvio Rollini, Natasha Sharygina: On Interpolants and Variable Assignments, in Proceedings of FMCAD 2014, FMCAD Inc, 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), ACM, 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), ACM, pp. 135–136, DOI: 10.1145/2568088.2576097
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
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), IEEE, pp. 510-513, DOI: 10.1109/MASCOTS.2014.75
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
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.
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, ACM, 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, Springer Berlin Heidelberg, 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, Springer International Publishing, pp. 41–60
Link bibtex
David Hauzar, Jan Kofroň: WeVerca: Web Applications Verification for PHP, in Proceedings of SEFM 2014, Springer International Publishing, 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, ACM, 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, ACM, 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, ACM, 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, Springer Berlin Heidelberg, pp. 352-377
Link bibtex
Nikola Šerbedžija, Tomáš Bureš, Jaroslav Keznikl: Engineering Autonomous Systems, in Proceedings of the 17th Panhellenic Conference on Informatics, ACM, 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), IEEE, 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, 2013
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, Springer Berlin Heidelberg, 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, ACM, 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), IEEE, 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, ACM, pp. 51–54, DOI: 10.1145/2462307.2462319
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
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
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, Springer Berlin Heidelberg, 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), IEEE, 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, Springer Berlin Heidelberg, 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, ACM, 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), ACM, 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), Springer Berlin Heidelberg, 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, Springer Berlin Heidelberg, 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), ACM, 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), Springer Berlin Heidelberg, pp. 256-263
Link bibtex
David Hauzar, Jan Kofroň: On Security Analysis of PHP Web Applications, in Proceedings of STPSA 2012, 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), ACM, 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, ACM, 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, ACM, pp. 33–38, DOI: 10.1145/2414740.2414747
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
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
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, Springer Berlin Heidelberg, 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, Springer Berlin Heidelberg, pp. 350–367

2011

Link bibtex
Vlastimil Babka, Petr Tůma: Can Linear Approximation Improve Performance Prediction ?, Springer Berlin Heidelberg, 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), Springer Berlin Heidelberg, pp. 63-75
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, Tomáš Poch, Ondřej Šerý: 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, Springer Berlin Heidelberg, 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, Springer Berlin Heidelberg, 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, IEEE, 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, Springer Berlin Heidelberg, 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, Tomáš Poch, Ondřej Šerý: 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, Springer Berlin Heidelberg, 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), ACM, 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, Springer Berlin Heidelberg, 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, Springer Berlin Heidelberg, 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š, 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, Springer Berlin Heidelberg, pp. 81–92
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, ACM, pp. 501–508, DOI: 10.1145/1529282.1529388
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), IEEE, 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, Springer Berlin Heidelberg, pp. 310–317
bibtex
M. Prochazka, R. Ward, Petr Tůma, P. Hnetynk, Jiří Adámek: A Component-Oriented Framework for Spacecraft On-Board Software, in Proc. 13th ESA Conference on Data Systems In Aerospace (DASIA), 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, Springer Berlin Heidelberg, 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, Springer Berlin Heidelberg, pp. 388-417
bibtex
Michal Malohlava, Tomáš Bureš: Language for reconfiguring runtime infrastructure of component-based systems, Technical report no. ,
Link bibtex
Jan Kofroň, Tomáš Poch, Ondřej Šerý: Making Components Fit: SPINing, in Proceedings of SEW 2008, 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, 2008
Link bibtex
Lucia Kapová, Tomáš Bureš, Petr Hnětynka: Preserving Intentions in SOA Business Process Development, in Software Engineering Research, Management and Applications, Springer Berlin Heidelberg, 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
Tomáš Bureš, Petr Hnětynka: Safe Systems with Software Components in SOFA 2, Technical report no. , , pp. 27-28
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, IEEE, 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, ACM, 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, 2007
Link bibtex
Jan Kofroň: Checking Software Component Behavior Using Behavior Protocols and Spin, in Proceedings SAC 2007, ACM, 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, Tomáš Poch, Ondřej Šerý, Petr Tůma: CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA, USA
Link bibtex
Vlastimil Babka, Martin Děcký, Petr Tůma: Resource Sharing in Performance Models, Springer Berlin Heidelberg, 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, 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), IEEE, 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), ACM, DOI: 10.1145/1190095.1190101
bibtex
Jan Kofroň, Jiří Adámek, Tomáš Bureš, Pavel Ježek, Vladimír Mencl, Pavel Parízek, František Plášil: Checking Fractal Component Behavior Using Behavior Protocols, in the 5th Fractal Workshop - part of ECOOP
Link bibtex
Jiří Adámek, Tomáš Bureš, Pavel Ježek, Jan Kofroň, Vladimír 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, Springer Berlin Heidelberg, 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, 2006
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, 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, IEEE, pp. 133-141, DOI: 10.1109/SEW.2006.23
PDF bibtex
Pavel Parízek, František Plášil, Jan Kofroň: Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, Technical report no. 2006/02, Department of Software Engineering, Charles University
Link bibtex
Tomas Kalibera, Petr Tůma: Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results, Springer Berlin Heidelberg, pp. 63-77
bibtex
Jiří Adámek, Tomáš Bureš, Pavel Ježek, Jan Kofroň, Vladimír 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, Springer London, 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), IEEE Computer Society, 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
PDF Link 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), SCS, pp. 484–490
bibtex
Petr Tůma: Component Middleware, Habilitation Thesis, Charles University, 2005
Link bibtex
Petr Tůma: Component and Middleware Performance (Summary Paper), in Studia Informatica Universalis, 4 (1), pp. 1-6
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, ACM, 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
Vladimír Mencl, Tomáš Bureš: Microcomponent-Based Component Controllers: A Foundation for Component Aspects, in 2013 20th Asia-Pacific Software Engineering Conference (APSEC), 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, Springer Berlin Heidelberg, 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š, Vladimír 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), IEEE Computer Society, pp. 48-53, DOI: 10.1109/SAINT.2005.60

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, Springer Berlin Heidelberg, pp. 102–116
bibtex
Lubomír Bulej, Tomáš Bureš: Connectors in the Context of OMG D&C Specification, in Doktorandsky DEN 2004
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), GI, 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, IEEE, 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
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
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
Petr Hnětynka, Petr Tůma: Fighting Class Name Clashes in Java Component Systems (Short Paper), Springer Berlin Heidelberg, pp. 106-109
bibtex
Tomáš Bureš, František Plášil: Scalable Element-Based Connectors, in Proceedings of SERA

2002

Link bibtex
Tomáš Kalibera, Petr Tůma: Distributed Component System Based on Architecture Description: The SOFA Experience, Springer Berlin Heidelberg, pp. 981-994
bibtex
Tomáš Bureš: Generator of Connectors for SOFA/DCUP, Master Thesis, Czech Technical University, 2002
bibtex
Petr Tůma, Adam Buble: Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), EurOpen.CZ

2001

bibtex
Petr Tůma, A. Buble: Open CORBA Benchmarking, in Proc. 1st International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), SCS, 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, Springer Berlin Heidelberg, 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), Springer Berlin Heidelberg, pp. 144-146

1998

bibtex
František Plášil, Petr Tůma, Adam Buble: CORBA Benchmarking, Technical report no. 98/7, Charles University

1997

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

1996

Link bibtex
Jan Kleindienst, František Plášil, Petr Tůma: CORBA and Object Services (Invited Paper), Springer Berlin Heidelberg, 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

1994

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

Copyright © 2019. All rights reserved