D3S publications
2019
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofroň, Natasha Sharygina: Decomposing Farkas Interpolants, in Proceedings of TACAS'19, Springer, in print
2018
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 Proceedings of IEEE International Conference On Software Architecture (ICSA 2018)
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
Rima Al-Ali, Tomáš Bureš, Petr Hnětynka, Filip Krijt, František Plášil, Jiří Vinárek: Dynamic Security Specification through Autonomic Component Ensemble, in Proceedings of ISoLA 2018, Limassol, Cyprus, Springer International Publishing
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
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
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
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
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
2016
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: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 – December 2, 2016, Proceedings, Springer International Publishing, pp. 113–128
Alejandro Masrur, Michal Kit, Vladimír Matěna, Tomáš Bureš, Wolfram Hardt: Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements, in Microprocessors and Microsystems (MICPRO)
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
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
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
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 International Colloquium on Software-intensive Systems-of-Systems, colocated with ECSA 2016, to appear
2015
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
Walter Binder, Yudi Zheng, Lubomír Bulej, Haiyang Sun, Petr Tůma: Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines (Invited Paper), in Proc. 11th GI Multiconference on Software Engineering & Management (SEM), GI, pp. 127–128
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
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
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
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
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. 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
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
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
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
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
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
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.
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
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
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
Tomáš Bureš: Managing Variability in Component-based Software Engineering, Habilitation Thesis, Charles University, Department of Distributed and Dependable Systems, 2013
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
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
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
2012
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
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: Formal Verification of Annotated Use Cases, Technical report no. No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague
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
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
2011
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
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
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
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
2009
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
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
2008
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
Michal Malohlava, Tomáš Bureš: Language for reconfiguring runtime infrastructure of component-based systems, Technical report no. ,
Rumen Vladimirov Kyusakov, Tomáš Bureš, Ivica Crnkovic: Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University, 2008
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. ,
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
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
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
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
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
Tomáš Bureš: Generating Connectors for Homogeneous and Heterogeneous Deployment, Doctoral Thesis, Dep. of SW Engineering, Charles University, Prague, 2006
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
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
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
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
O. Galik, Tomáš Bureš: Handling Heterogeneity in Connector Generation, Technical report no. No. 2005/2, Dep. of SW Engineering, Charles University, Prague
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
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
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
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
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
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
Tomáš Bureš, František Plášil: Scalable Element-Based Connectors, in Proceedings of SERA
2002
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
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
1998
František Plášil, Petr Tůma, Adam Buble: CORBA Benchmarking, Technical report no. 98/7, Charles University
1997
Petr Tůma: Persistence in CORBA, Doctoral Thesis, Charles University, 1997
1996
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
Petr Tůma: Návrh a implementace IP routeru pro dialup, Master Thesis, Czech Technical University, 1994