Publications

2019

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Angelika Musil, Juergen Musil, Danny Weyns, Tomáš Bureš, Henry Muccini, Mohammad Sharaf: Patterns for Self-Adaptation in Cyber-Physical Systems, Springer, pp. 331-368

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Christian Kroiss, Tomáš Bureš: Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems, Springer International Publishing, pp. 42–52

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

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

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

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

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

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

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

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

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

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

Nicklas Hoch, Henry-Paul Bensler, Dhaminda Abeywickrama, Tomáš Bureš, Ugo Montanari: The E-mobility Case Study, Springer International Publishing, pp. 513–533

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

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

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

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

Show/Hide older publications

2014

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

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

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

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

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

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

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

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

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

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

Tomáš Bureš, Ilias Gerostathopoulos, Rima Al-Ali: DEECo: Software Engineering for Smart CPS

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Tomáš Bureš: Managing Variability in Component-based Software Engineering, Habilitation Thesis, Charles University, Department of Distributed and Dependable Systems, 2013

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

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

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

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

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

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

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

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

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

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

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

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

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

Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil: Autonomous components in dynamic environments, Technical report no. ,

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

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

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

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

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

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

V. Simko, Petr Hnětynka, Tomáš Bureš, František Plášil: Formal Veriﬁcation of Annotated Use Cases, Technical report no. No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague

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

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

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

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

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

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

M. Malohlava, Petr Hnětynka, Tomáš Bureš: SOFA 2 Component Framework and Its Ecosystem, in Post-conference Proceedings of FESCA 2012

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

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

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

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

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

Vlastimil Babka, Petr Tůma: Can Linear Approximation Improve Performance Prediction ?, Springer Berlin Heidelberg, pp. 250-264

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

Vlastimil Babka, Petr Tůma: Computer Memory: Why We Should Care What Is Under the Hood (Invited Paper), Springer Berlin Heidelberg, pp. 63-75

Alena Koubková, Václav Koubek: Datové struktury I., MatfyzPress

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

David Hauzar, Jan Kofroň: Hunting Bugs Inside Web Applications, Technical report no. 2011-26, Department of Informatics, KIT

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

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

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

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

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

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

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

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

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

Vlastimil Babka, Petr Tůma, Lubomír Bulej: Validating Model-Driven Performance Predictions on Random Software Systems, Springer Berlin Heidelberg, pp. 3-19

2009

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

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

Vlastimil Babka, Petr Tůma: Investigating Cache Parameters of x86 Family Processors, Springer Berlin Heidelberg, pp. 77-96

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Michal Malohlava, Tomáš Bureš: Language for reconfiguring runtime infrastructure of component-based systems, Technical report no. ,

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

Rumen Vladimirov Kyusakov, Tomáš Bureš, Ivica Crnkovic: Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University, 2008

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

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,

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,

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. ,

Tomáš Bureš, Petr Hnětynka: Safe Systems with Software Components in SOFA 2, Technical report no. , , pp. 27-28

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. ,

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

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

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

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

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

Jan Kofroň: Behavior Protocols Extensions, Dissertation thesis, Charles University, 2007

Jan Kofroň: Checking Software Component Behavior Using Behavior Protocols and Spin, in Proceedings SAC 2007, ACM, pp. 1513–1517, DOI: 10.1145/1244002.1244326

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

Vlastimil Babka, Martin Děcký, Petr Tůma: Resource Sharing in Performance Models, Springer Berlin Heidelberg, pp. 245-259

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

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

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

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

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

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

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

Lubomír Bulej, Tomáš Bureš: Eliminating Execution Overhead of Disabled Optional Features in Connectors, Springer Berlin Heidelberg, pp. 50–65

Jan Kofroň: Extending Behavior Protocols With Data and Multisynchronization, Technical report no. 2006/10, Department of Software Engineering, Charles University

Tomáš Bureš: Generating Connectors for Homogeneous and Heterogeneous Deployment, Doctoral Thesis, Dep. of SW Engineering, Charles University, Prague, 2006

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

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

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

Tomas Kalibera, Petr Tůma: Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results, Springer Berlin Heidelberg, pp. 63-77

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

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

Jan Kofroň: Software Component Verification: On Translating Behavior Protocols to Promela, Technical report no. 2006/11, Department of Software Engineering, Charles University

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

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

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

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

Petr Tůma: Component Middleware, Habilitation Thesis, Charles University, 2005

Petr Tůma: Component and Middleware Performance (Summary Paper), in Studia Informatica Universalis, 4 (1), pp. 1-6

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

Jan Kofroň: Enhancing Behavior Protocols with Atomic Actions, Technical report no. 2005/08, Department of Software Engineering, Charles University

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

O. Galik, Tomáš Bureš: Handling Heterogeneity in Connector Generation, Technical report no. No. 2005/2, Dep. of SW Engineering, Charles University, Prague

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

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

Tomas Kalibera, Lubomír Bulej, Petr Tůma: Quality Assurance in Performance: Evaluating Mono Benchmark Results, Springer Berlin Heidelberg, pp. 271-288

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

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

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

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, Uicee, Faculty Engineering

2004

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

Tomáš Bureš, František Plášil: Communication Style Driven Connector Configurations, Springer Berlin Heidelberg, pp. 102–116

Lubomír Bulej, Tomáš Bureš: Connectors in the Context of OMG D&C Specification, in Doktorandsky DEN 2004

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

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

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

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

Tomáš Bureš, FRANTISEK PLASIL: Automating Connector Evolution, in Doktorandsky den”03

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

Tomáš Bureš, František Plášil: Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague

Tomáš Bureš: Constraint-based generation of connectors, in Proceedings of the Week of Doctoral Students 2003 conference \(WDS 2003\), pp. 215-220

Petr Hnětynka, Petr Tůma: Fighting Class Name Clashes in Java Component Systems (Short Paper), Springer Berlin Heidelberg, pp. 106-109

Tomáš Bureš, František Plášil: Scalable Element-Based Connectors, in Proceedings of SERA

2002

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

Tomáš Kalibera, Petr Tůma: Distributed Component System Based on Architecture Description: The SOFA Experience, Springer Berlin Heidelberg, pp. 981-994

Tomáš Bureš: Generator of Connectors for SOFA/DCUP, Master Thesis, Czech Technical University, 2002

Petr Tůma, Adam Buble: Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), EurOpen.CZ

2001

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

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

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

Petr Tůma, Valerie Issarny, Apostolos Zarras: Towards Systematic Synthesis of Reflective Middleware (Short Paper), Springer Berlin Heidelberg, pp. 144-146

1998

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

Alena Koubková, Jan Pavelka: Úvod do teoretické informatiky, MatfyzPress

1997

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

1996

Jan Kleindienst, František Plášil, Petr Tůma: CORBA and Object Services (Invited Paper), Springer Berlin Heidelberg, pp. 74-93

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

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

Alena Koubková: Two special models of AR(n) processes with time-dependent random parameters, in Kybernetika, 31 (4), pp. 347-357

1994

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

1988

Alena Koubková: Random Coefficient AR(1) Process, Springer Netherlands, pp. 51-58

1986

Alena Koubková: Časové řady s náhodnými parametry, Dissertation thesis, Charles University in Prague, 1986

1982

Alena Koubková: First-order autoregressive processes with time-dependent random parameters, in Kybernetika, 18 (5), pp. 408-414

Copyright © 2019. All rights reserved