[ − ]
 
2019

Link bibtex
M. Alam, I. Gerostathopoulos, C. Prehofer, A. Attanasi, T. Bureš:
A Framework for Tunable Anomaly Detection, in Proceedings of ICSA 2019, Hamburg, Germany, pp. 201-210, 2019
ISBN: 978-1-72810-528-4, DOI: 10.1109/ICSA.2019.00029
Link bibtex
R. Husák, J. Kofroň, F. Zavoral:
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention, in Electronic Communications of the EASST 77(0), 2019
DOI: 10.14279/tuj.eceasst.77.1109
bibtex
I. Gerostathopoulos, S. Kugele, C. Segler, T. Bureš:
Automated Trainability Evaluation for Smart Software Functions, accepted for publication in Proceedings of ASE 2019, San Diego, USA
Link bibtex
P. Parízek:
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment, in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), pp. 228-245, 2019
DOI: 10.1007/978-3-030-31784-3_13
Link bibtex
M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 3-20, 2019
ISBN: 978-3-030-17462-0, 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, 2019
DOI: 10.1109/TSE.2017.2781231
Link bibtex
R. Al-Ali, P. Hnětynka, J. Havlik, V. Krivka, R. Heinrich, S. Seifermann, M. Walter, A. Juan-Verdejo:
Dynamic security rules for legacy systems, in Proceedings of ECSA 2019 (vol 2), Paris, France, pp. 277-284, 2019
ISBN: 978-1-4503-7142-1, DOI: 10.1145/3344948.3344974
Link bibtex
V. Matena, T. Bureš, I. Gerostathopoulos, P. Hnětynka:
Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed, in Engineering Adaptive Software Systems: Communications of NII Shonan Meetings, pp. 149-169, 2019
ISBN: 9789811321856
Link bibtex
P. Jančík, J. Kofroň, L. Alt, G. Fedyukovich, A. Hyvärinen, N. Sharygina:
Exploiting partial variable assignment in interpolation-based model checking, in Formal Methods in System Design, 2019
DOI: 10.1007/s10703-019-00342-z
Link bibtex
P. Parízek, O. 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 21(4), pp. 365-400, 2019
DOI: 10.1007/s10009-018-0484-7
PDF bibtex
T. Bureš, P. Hnětynka:
Formal Semantics of Component Ensembles, Technical report no. D3S-TR-2019-01, Department of Distributed and Dependable Systems, Charles University, 2019
Link bibtex
S. García, P. Pelliccione, C. Menghi, T. Berger, T. Bureš:
High-level mission specification for multiple robots, in Proceedings of SLE 2019, Athens, Greece, pp. 127-140, 2019
ISBN: 978-1-4503-6981-7, DOI: 10.1145/3357766.3359535
Link bibtex
L. Bulej, V. Horký, P. Tůma:
Initial Experiments with Duet Benchmarking: Performance Testing Interference in the Cloud, in Proc. 27th IEEE Intl. Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 249-255, 2019
DOI: 10.1109/MASCOTS.2019.00035
Link bibtex
A. Papadopoulos, L. Versluis, A. Bauer, N. Herbst, J. Kistowski, A. Ali-eldin, C. Abad, J. Amaral, P. Tůma, A. Iosup:
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing, in IEEE Transactions on Software Engineering, pp. 16, 2019
DOI: 10.1109/TSE.2019.2927908
Link bibtex
A. Prokopec, A. Rosà, D. Leopoldseder, G. Duboscq, P. Tůma, M. Studener, L. Bulej, Y. Zheng, A. Villazón, D. Simon, T. Würthinger, W. Binder:
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM (Extended Abstract), in Companion Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), pp. 11–12, 2019
ISBN: 978-1-4503-6992-3, DOI: 10.1145/3359061.3362778
Link PDF bibtex
A. Prokopec, A. Rosà, D. Leopoldseder, G. Duboscq, P. Tůma, M. Studener, L. Bulej, Y. Zheng, A. Villazón, D. Simon, T. Würthinger, W. 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, 2019
DOI: 10.1145/3314221.3314637
Link bibtex
I. Gerostathopoulos, D. Škoda, F. Plášil, T. Bureš, A. Knauss:
Tuning Self-Adaptation in Cyber-Physical Systems through Architectural Homeostasis, in Journal of Systems and Software 148, pp. 37-55, 2019
DOI: 10.1016/j.jss.2018.10.051
Link bibtex
P. Arcaini, J. Kofroň, P. Ježek:
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin, in International Journal on Software Tools for Technology Transfer, 2019
DOI: 10.1007/s10009-019-00539-x

[ − ]
 
2018

Link bibtex
D. Khalyeyev, P. Hnětynka, T. Bureš:
A Virtual Playground for Testing Smart Cyber-Physical Systems, in Companion Proceedings of ICSA 2018, Seattle, USA, pp. 85-88, 2018
ISBN: 978-1-5386-6585-5, DOI: 10.1109/ICSA-C.2018.00031
Link bibtex
I. Gerostathopoulos, C. Prehofer, T. Bureš:
Adapting a System with Noisy Outputs with Statistical Guarantees, in Proceedings of SEAMS 2018, Gothenburg, Sweden, pp. 58–68, 2018
ISBN: 978-1-4503-5715-9, DOI: 10.1145/3194133.3194152
Link bibtex
P. Kubát, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation, in Companion Proc. 9th ACM/SPEC Intl. Conf. on Performance Engineering (ICPE), pp. 195-198, 2018
ISBN: 978-1-4503-5629-9, DOI: 10.1145/3185768.3186406
Link bibtex
P. Arcaini, A. Gargantini, M. 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, pp. 67–74, 2018
ISBN: 978-1-4503-5398-4, DOI: 10.1145/3168365.3168374
Link bibtex
M. Marescotti, M. Blicha, A. Hyvärinen, S. Asadi, N. Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts, in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, pp. 450-465, 2018
ISBN: 978-3-030-03427-6, DOI: 10.1007/978-3-030-03427-6_33
Link bibtex
I. Gerostathopoulos, C. Prehofer, L. Bulej, T. Bureš, V. Horký, P. 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, 2018
DOI: 10.1109/ICSA-C.2018.00027
PDF bibtex
R. 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, 2018
Link bibtex
Link bibtex
R. Al-Ali, T. Bureš, P. Hnětynka, F. Krijt, F. Plášil, J. Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles, in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pp. 172-185, 2018
ISBN: 978-3-030-03424-5, DOI: 10.1007/978-3-030-03424-5_12
Link bibtex
P. Arcaini, A. Gargantini, E. Riccobene:
Fault-based test generation for regular expressions by mutation, in Software Testing, Verification and Reliability 0(0), pp. e1664, 2018
DOI: 10.1002/stvr.1664
Link bibtex
S. Asadi, M. Blicha, G. Fedyukovich, A. Hyvärinen, K. Even-Mendoza, N. Sharygina, H. Chockler:
Function Summarization Modulo Theories, in LPAR-22, pp. 56-75, 2018
DOI: 10.29007/d3bt
Link bibtex
P. Hnětynka, P. Kubat, R. Al-Ali, I. Gerostathopoulos, D. Khalyeyev:
Guaranteed latency applications in edge-cloud environment, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241448
PDF bibtex
P. Vysoký, P. Parízek, V. 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, 2018
Link bibtex
P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene:
Integrating formal methods into medical software development: The ASM approach, in Science of Computer Programming 158(0), pp. 148-167, 2018
DOI: 10.1016/j.scico.2017.07.003
Link bibtex
M. Kellogg, V. Dort, S. Millstein, M. Ernst:
Lightweight verification of array indexing, in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, pp. 3-14, 2018
ISBN: 978-1-4503-5699-2, DOI: 10.1145/3213846.3213849
Link bibtex
R. Al-Ali, R. Heinrich, P. Hnětynka, A. Juan-Verdejo, S. Seifermann, M. Walter:
Modeling of dynamic trust contracts for industry 4.0 systems, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241450
Link bibtex
P. Arcaini, P. Ježek, J. Kofroň:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin, in Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp. 277-291, 2018
ISBN: 978-3-319-91271-4, DOI: 10.1007/978-3-319-91271-4_19
Link bibtex
T. Bureš, V. Matena, R. Mirandola, L. Pagliari, C. Trubiani:
Performance Modelling of Smart Cyber-Physical Systems, in Companion Proceedings of ICPE 2018, Berlin, Germany, pp. 37-40, 2018
ISBN: 978-1-4503-5629-9, DOI: 10.1145/3185768.3186306
Link bibtex
R. Al-Ali, T. Bureš, B. Hartmann, J. Havlik, R. Heinrich, P. Hnětynka, A. Juan-Verdejo, P. Parízek, S. Seifermann, M. Walter:
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems, Technical report no. 1000085169, Karlsruher Institut für Technologie, pp. 1-42, 2018

[ − ]
 
2017

Link bibtex
Y. Zheng, L. Bulej, W. Binder:
An Empirical Study on Deoptimization in the Graal Compiler, in Proc. 31st European Conference on Object-Oriented Programming (ECOOP), pp. 1–30, 2017
ISBN: 978-3-95977-035-4, DOI: 10.4230/LIPIcs.ECOOP.2017.30
Link bibtex
V. Matena, A. Masrur, T. Bureš:
An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS, in 43rd Euromicro Conference on Software Engineering and Advanced Applications, pp. 234-238, 2017
ISBN: 978-1-5386-2141-7, DOI: 10.1109/SEAA.2017.62
Link bibtex
F. Krijt, Z. Jiracek, T. Bureš, P. Hnětynka, F. 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, 2017
ISBN: 978-989-758-210-3
Link bibtex
P. Arcaini, A. Gargantini, P. Vavassori:
Automated Repairing of Variability Models, in Proceedings of the 21st International Systems and Software Product Line Conference - Volume A, pp. 9–18, 2017
ISBN: 978-1-4503-5221-5, DOI: 10.1145/3106195.3106206
Link bibtex
T. Bureš:
Autonomic Component Ensembles for Dynamic Evolving Architectures of Context-aware Smart Systems: Invited Talk Abstract, in Proceedings of ECSA 2017, Canterbury, United Kingdom, pp. 70–70, 2017
ISBN: 978-1-4503-5217-8, DOI: 10.1145/3129790.3129795
Link bibtex
P. Arcaini, C. Trubiani:
Collaborative Development of Feature Models and Evaluation of Performance Bounds, in Proceedings of the Symposium on Applied Computing, pp. 1162–1167, 2017
ISBN: 978-1-4503-4486-9, DOI: 10.1145/3019612.3019768
Link bibtex
L. Bulej, V. Horký, P. Tůma:
Do We Teach Useful Statistics for Performance Evaluation?, in Companion Proc. 8th ACM/SPEC on Intl. Conf. on Performance Engineering, pp. 185–189, 2017
ISBN: 978-1-4503-4899-7, DOI: 10.1145/3053600.3053638
Link bibtex
P. Arcaini, E. Riccobene, P. 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, 2017
DOI: 10.1145/3019598
Link bibtex
R. Al-Ali:
Industrial Use Cases of Cyber Physical Systems in EU Projects: Preliminary Study, in Position Papers of the FedCSIS 2017, Prague, Czech Republic, pp. 187-193, 2017
ISBN: 978-83-922646-0-6, DOI: 10.15439/2017F557
Link bibtex
F. Krijt, Z. Jiracek, T. Bureš, P. 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, pp. 116-122, 2017
ISBN: 978-1-5386-1550-8, DOI: 10.1109/SEAMS.2017.17
Link bibtex
F. Krijt, Z. Jiracek, T. Bureš, P. Hnětynka, I. Gerostathopoulos:
Intelligent Ensembles – a Declarative Group Description Language and Java Framework (Artifact), in Dagstuhl Artifacts Series 3(1), pp. 1–3, 2017
DOI: 10.4230/DARTS.3.1.6
Link bibtex
C. Dupont, T. Bureš, M. Sheikhalishahi, C. Pham, A. Rahim:
Low-cost IoT, Big Data, and Cloud Platform for Developing Countries, in International Conference on the Economics of Grids, Clouds, Systems, and Services, pp. 285-299, 2017
ISBN: 978-3-319-68066-8, DOI: 10.1007/978-3-319-68066-8_23
Link bibtex
S. Schmid, I. Gerostathopoulos, C. Prehofer, T. 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, 2017
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, pp. 87-96, 2017
ISBN: 978-1-5090-6676-6, DOI: 10.1109/ICSTW.2017.23
Link bibtex
P. Arcaini, A. Gargantini, E. Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker, in Intl. Conf. on Software Testing, Verification and Validation (ICST), pp. 476-483, 2017
ISBN: 978-1-5090-6031-3, DOI: 10.1109/ICST.2017.54
Link bibtex
P. Jančík, J. Kofroň:
On partial state matching, in Formal Aspects of Computing 29(5), pp. 777-803, 2017
DOI: 10.1007/s00165-016-0413-z
Link bibtex
A. Musil, J. Musil, D. Weyns, T. Bureš, H. Muccini, M. Sharaf:
Patterns for Self-Adaptation in Cyber-Physical Systems, in Multi-Disciplinary Engineering for Cyber-Physical Production Systems: Data Models and Software Solutions for Handling Complex Engineering Projects, pp. 331-368, 2017
ISBN: 978-3-319-56345-9
Link bibtex
S. Schmid, I. Gerostathopoulos, C. Prehofer, T. 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, pp. 102-108, 2017
ISBN: 978-1-5386-1550-8, DOI: 10.1109/SEAMS.2017.20
Link bibtex
T. Bureš, D. Weyns, B. Schmer, E. Tovar, E. Boden, T. Gabor, I. Gerostathopoulos, P. Gupta, E. Kang, A. Knauss, P. Patel, A. Rashid, I. Ruchkin, R. Sukkerd, C. Tsigkanos:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions, in ACM SIGSOFT Software Engineering Notes 42(2), pp. 19–24, 2017
DOI: 10.1145/3089649.3089656
Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Škoda:
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies, in ACM Transactions on Cyber-Physical Systems 1(3), pp. 1-25, 2017
DOI: 10.1145/2823345
Link bibtex
O. Nikiforova, N. Marzouki, K. Gusarovs, H. Vangheluwe, T. Bureš, R. Al-Ali, M. Iacono, P. Esquivel, F. Leon:
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems, in Proc. of ICSOFT 2017, Madrid, Spain, pp. 286-293, 2017
ISBN: 978-989-758-262-2, DOI: 10.5220/0006424902860293
PDF bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, F. Plášil, F. Krijt, J. Vinárek:
Trait-based Language for Smart Cyber-Physical Systems, Technical report no. D3S-TR-2017-01, Department of Distributed and Dependable Systems, Charles University, 2017
Link bibtex
P. Stefan, V. Horký, L. Bulej, P. Tůma:
Unit Testing Performance in Java Projects: Are We There Yet?, in Proc. 8th ACM/SPEC Intl. Conf. on Performance Engineering (ICPE), pp. 401–412, 2017
ISBN: 978-1-4503-4404-3, DOI: 10.1145/3030207.3030226
Link bibtex
L. Bulej, T. Bureš, V. Horký, J. Kotrč, L. Marek, T. Trojánek, P. Tůma:
Unit testing performance with Stochastic Performance Logic, in Automated Software Engineering 24(1), pp. 139-187, 2017
DOI: 10.1007/s10515-015-0188-0

[ − ]
 
2016

Link bibtex
V. Horký, J. Kotrč, P. Libič, P. Tůma:
Analysis of Overhead in Dynamic Java Performance Monitoring, in Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering, pp. 275–286, 2016
ISBN: 978-1-4503-4080-9, DOI: 10.1145/2851553.2851569
Link bibtex
I. Gerostathopoulos, D. Škoda, F. Plášil, T. Bureš, A. Knauss:
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems, in Software Architecture, pp. 113-128, 2016
ISBN: 978-3-319-48992-6, DOI: 10.1007/978-3-319-48992-6_8
Link bibtex
A. Masrur, M. Kit, V. Matěna, T. Bureš, W. Hardt:
Component-based design of cyber-physical applications with safety-critical requirements, in Microprocessors and Microsystems 42, pp. 70-86, 2016
DOI: 10.1016/j.micpro.2016.01.007
Link bibtex
P. Jančík, J. Kofroň:
Dead Variable Analysis for Multi-threaded Heap Manipulating Programs, in Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp. 1620–1627, 2016
ISBN: 978-1-4503-3739-7, DOI: 10.1145/2851613.2851826
Link bibtex
P. Parízek:
Fast Error Detection with Hybrid Analyses of Future Accesses, in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1251–1254, 2016
DOI: 10.1145/2851613.2851935
Link bibtex
P. Parízek:
Hybrid Analysis for Partial Order Reduction of Programs with Arrays, in Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 291–310, 2016
DOI: 10.1007/978-3-662-49122-5_14
Link bibtex
P. Parízek:
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information, in 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 141–148, 2016
DOI: 10.1109/FMCAD.2016.7886672
Link bibtex
J. Daniel, A. Cimatti, A. Griggio, S. Tonetta, S. Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations, in CAV'16, pp. 271-291, 2016
ISBN: 978-3-319-41528-4, DOI: 10.1007/978-3-319-41528-4_15
Link bibtex
C. Kroiss, T. Bureš:
Logic-based modeling of information transfer in cyber–physical multi-agent systems, in Future Generation Computer Systems 56(Supplement C), pp. 124 - 139, 2016
DOI: 10.1016/j.future.2015.09.013
Link bibtex
V. Matena, T. Bureš, I. Gerostathopoulos, P. 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, pp. 82–88, 2016
ISBN: 978-1-4503-4187-5, DOI: 10.1145/2897053.2897065
Link bibtex
P. Jančík, L. Alt, G. Fedyukovich, A. Hyvärinen, J. Kofroň, N. Sharygina:
PVAIR: Partial Variable Assignment InterpolatoR, in Proceedings of FASE 2016, pp. 419-434, 2016
ISBN: 978-3-662-49665-7, DOI: 10.1007/978-3-662-49665-7_25
Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations, in Journal of Systems and Software, 2016
DOI: 10.1016/j.jss.2016.02.028
Link bibtex
T. Bureš, P. Hnětynka, F. Krijt, V. Matena, F. 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, pp. 642–656, 2016
ISBN: 978-3-319-47166-2
Link bibtex
T. Bureš, F. Plášil, M. Kit, P. Tůma, N. Hoch:
Software Abstractions for Component Interaction in the Internet of Things, in Computer 49(12), pp. 50-59, 2016
DOI: 10.1109/MC.2016.377
Link bibtex
T. Bureš, P. Hnětynka, J. Kofroň, R. Al-Ali, D. Š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, 2016
DOI: 10.1109/WICSA.2016.33
Link bibtex
I. Gerostathopoulos, T. Bureš, S. Schmid, V. Horký, C. Prehofer, P. 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, pp. 7:1–7:7, 2016
ISBN: 978-1-4503-6399-0, DOI: 10.1145/3175731.3176175

[ − ]
 
2015

Link bibtex
H. Sun, Y. Zheng, L. Bulej, A. Villazón, Z. Qi, P. Tůma, W. Binder:
A Programming Model and Framework for Comprehensive Dynamic Analysis on Android, in Proc. 14th International Conference on Modularity (MODULARITY), pp. 133–145, 2015
ISBN: 978-1-4503-3249-1, DOI: 10.1145/2724525.2724566
Link bibtex
Y. Zheng, L. Bulej, W. 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, pp. 433–450, 2015
ISBN: 978-1-4503-3689-5, DOI: 10.1145/2814270.2814281
Link bibtex
M. Kit, I. Gerostathopoulos, T. Bureš, P. Hnětynka, F. 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, 2015
DOI: 10.1109/SEAMS.2015.28
Link bibtex
A. Podzimek, L. Bulej, L. Chen, W. Binder, P. Tůma:
Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency, in Proc. 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), pp. 1-10, 2015
DOI: 10.1109/CCGrid.2015.164
Link bibtex
J. Combaz, S. Bensalem, F. Tiezzi, A. Margheri, R. Pugliese, J. Kofroň:
Correctness of Service Components and Service Component Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 107-159, 2015
ISBN: 978-3-319-16310-9
Link bibtex
V. Horký, P. Libič, A. Steinhauser, P. 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), pp. 337–340, 2015
ISBN: 978-1-4503-3248-4, DOI: 10.1145/2668930.2688820
Link bibtex
M. Kit, F. Plášil, V. Matena, T. Bureš, O. Kovac:
Employing Domain Knowledge for Optimizing Component Communication, in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp. 59–64, 2015
ISBN: 978-1-4503-3471-6, DOI: 10.1145/2737166.2737172
Link bibtex
P. Libič, L. Bulej, V. Horký, P. Tůma:
Estimating the Impact of Code Additions on Garbage Collection Overhead, in Computer Performance Engineering: Proc. 12th European Performance Engineering Workshop (EPEW), pp. 130-145, 2015
ISBN: 978-3-319-23266-9 978-3-319-23267-6
Link bibtex
V. Simko, D. Hauzar, P. Hnětynka, T. Bureš, F. Plášil:
Formal Verification of Annotated Textual Use-Cases, in The Computer Journal 58(7), pp. 1495-1529, 2015
DOI: 10.1093/comjnl/bxu068
Link bibtex
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil, P. Tůma:
Formalization of Invariant Patterns for the Invariant Refinement Method, in Software, Services, and Systems, pp. 602-618, 2015
ISBN: 978-3-319-15544-9 978-3-319-15545-6
Link bibtex
D. Hauzar, J. Kofroň:
Framework for Static Analysis of PHP Applications, in Proceedings of ECOOP 2015, pp. 689–711, 2015
ISBN: 978-3-939897-86-6, DOI: 10.4230/LIPIcs.ECOOP.2015.689
Link bibtex
L. Marek, Y. Zheng, D. Ansaloni, L. Bulej, A. Sarimbekov, W. Binder, P. Tůma:
Introduction to Dynamic Program Analysis with DiSL, in Science of Computer Programming 98, Part 1, pp. 100-115, 2015
DOI: 10.1016/j.scico.2014.01.003
Link bibtex
C. Kroiss, T. Bureš:
Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems, in Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers, pp. 42–52, 2015
ISBN: 978-3-319-15392-6
Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Š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, pp. 45–52, 2015
ISBN: 978-3-319-23727-5, DOI: 10.1007/978-3-319-23727-5_4
bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Š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, 2015
Link bibtex
P. Parízek, O. Lhoták:
Model Checking of Concurrent Programs with Static Analysis of Field Accesses, in Sci. Comput. Program. 98, pp. 735–763, 2015
DOI: 10.1016/j.scico.2014.10.008
Link bibtex
J. Daniel, P. Parízek:
PANDA: Simultaneous Predicate Abstraction and Concrete Execution, in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 87–103, 2015
DOI: 10.1007/978-3-319-26287-1_6
Link bibtex
O. Štumpf, T. Bureš, V. Matěna:
Security and Trust in Data Sharing Smart Cyber-Physical Systems, in Proceedings of the 2015 European Conference on Software Architecture Workshops, pp. 18:1–18:4, 2015
ISBN: 978-1-4503-3393-1, DOI: 10.1145/2797433.2797451
bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, J. Keznikl, M. Kit, F. 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, 2015
Link bibtex
T. Bureš, D. Weyns, C. Berger, S. Biffl, M. Daun, T. Gabor, D. Garlan, I. Gerostathopoulos, C. Julien, F. Krikava, R. Mordinyi, N. 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, 2015
DOI: 10.1145/2830719.2830736
PDF bibtex
T. Bureš, P. Hnětynka, J. Kofroň, R. Al-Ali, D. Škoda:
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems, Technical report no. D3S-TR-2015-04, Department of Distributed and Dependable Systems, Charles University, 2015
Link bibtex
L. Bulej, T. Bureš, I. Gerostathopoulos, V. Horký, J. Keznikl, L. Marek, M. Tschaikowski, M. Tribastone, P. Tůma:
Supporting Performance Awareness in Autonomous Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 291–322, 2015
ISBN: 978-3-319-16310-9
Link bibtex
P. Mayer, J. Velasco, A. Klarl, R. Hennicker, M. Puviani, F. Tiezzi, R. Pugliese, J. Keznikl, T. Bureš:
The Autonomic Cloud, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 495–512, 2015
ISBN: 978-3-319-16310-9
Link bibtex
N. Hoch, H. Bensler, D. Abeywickrama, T. Bureš, U. Montanari:
The E-mobility Case Study, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 513–533, 2015
ISBN: 978-3-319-16310-9
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
The Invariant Refinement Method, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 405–428, 2015
ISBN: 978-3-319-16310-9
Link bibtex
D. Abeywickrama, J. Combaz, V. Horký, J. Keznikl, J. Kofroň, A. Lafuente, M. Loreti, A. Margheri, P. Mayer, V. Monreale, U. Montanari, C. Pinciroli, P. Tůma, A. Vandin, E. Vassev:
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, pp. 429-448, 2015
ISBN: 978-3-319-16309-3 978-3-319-16310-9
Link bibtex
T. Bureš, F. Krijt, F. Plášil, P. Hnětynka, Z. Jiracek:
Towards Intelligent Ensembles, in Proceedings of the 2015 European Conference on Software Architecture Workshops, pp. 17:1–17:4, 2015
ISBN: 978-1-4503-3393-1, DOI: 10.1145/2797433.2797450
Link bibtex
V. Horký, P. Libič, L. Marek, A. Steinhauser, P. Tůma:
Utilizing Performance Unit Tests To Increase Performance Awareness, in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 289–300, 2015
ISBN: 978-1-4503-3248-4, DOI: 10.1145/2668930.2688051

[ − ]
 
2014

bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. 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, 2014
Link bibtex
R. Al-Ali, I. Gerostathopoulos, I. Gonzalez-Herrera, A. Juan-Verdejo, M. Kit, B. Surajbali:
An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments, in Proceedings of HotTopiCS 2014, Dublin, Ireland, pp. 3:1–3:6, 2014
ISBN: 978-1-4503-3059-6, DOI: 10.1145/2649563.2649577
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil:
Architecture Adaptation Based on Belief Inaccuracy Estimation, in Proceedings of WICSA 2014, Sydney, NSW, Australiatecture, pp. 87–90, 2014
ISBN: 978-1-4799-3412-6, DOI: 10.1109/WICSA.2014.20
Link bibtex
Q. Noorshams, A. Busch, A. Rentschler, D. Bruhn, S. Kounev, P. Tůma, R. Reussner:
Automated Modeling of I/O Performance and Interference Effects in Virtualized Storage Systems, in Proc. 34th IEEE International Conference on Distributed Computing Systems (ICDCS) DCPERF Workshop, pp. 88-93, 2014
DOI: 10.1109/ICDCSW.2014.26
Link bibtex
J. Keznikl, T. Bureš, F. Plášil, P. Hnětynka:
Automated resolution of connector architectures using constraint solving (ARCAS method), in Software & Systems Modeling 13(2), pp. 843–872, 2014
DOI: 10.1007/s10270-012-0274-8
Link bibtex
T. Pop, P. Hnětynka, P. Hošek, M. Malohlava, T. Bureš:
Comparison of component frameworks for real-time embedded systems, in Knowledge and Information Systems 40(1), pp. 127–170, 2014
DOI: 10.1007/s10115-013-0627-9
Link bibtex
Y. Zheng, H. Sun, L. Bulej, P. Tůma, W. 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), pp. 4–4, 2014
ISBN: 978-1-4503-2926-2, DOI: 10.1145/2655183.2655186
bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. 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, 2014
Link bibtex
T. Martinec, L. Marek, A. Steinhauser, P. Tůma, Q. Noorshams, A. Rentschler, R. Reussner:
Constructing Performance Model of JMS Middleware Platform, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 123–134, 2014
ISBN: 978-1-4503-2733-6, DOI: 10.1145/2568088.2568096
Link bibtex
D. Hauzar, J. Kofroň, P. Baštecký:
Data-flow Analysis of Programs with Associative Arrays, in Proceedings of ESSS 2014, 2014
DOI: 10.4204/EPTCS.150.6
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo: An Ecosystem for Cyber-Physical Systems, in Companion Proceedings of ICSE 2014, Hyderabad, India, pp. 610-611, 2014
ISBN: 978-1-4503-2768-8, DOI: 10.1145/2591062.2591140
Link bibtex
Link bibtex
T. Bureš:
Development of Smart Cyber-physical Systems, in Tutorial at 17th International ACM Sigsoft Symposium on Component-based Software Engineering, pp. 189–190, 2014
ISBN: 978-1-4503-2577-6, DOI: 10.1145/2602458.2611458
Link bibtex
A. Sarimbekov, Y. Zheng, D. Ansaloni, L. Bulej, L. Marek, W. Binder, P. Tůma, Z. Qi:
Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance, in Science of Computer Programming 95, Part 3, pp. 344-358, 2014
DOI: 10.1016/j.scico.2014.03.014
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Gossiping Components for Cyber-Physical Systems, in Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings, pp. 250–266, 2014
ISBN: 978-3-319-09970-5
Link bibtex
P. Jancik, J. Kofroň, S. Rollini, N. Sharygina:
On Interpolants and Variable Assignments, in Proceedings of FMCAD 2014, pp. 123–130, 2014
ISBN: 978-0-9835678-4-4, DOI: 10.1109/FMCAD.2014.6987604
Link bibtex
P. Libič, L. Bulej, V. Horký, P. Tůma:
On the Limits of Modeling Generational Garbage Collector Performance, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 15–26, 2014
ISBN: 978-1-4503-2733-6, DOI: 10.1145/2568088.2568097
Link bibtex
P. Tůma:
Performance Awareness (Keynote Paper), in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 135–136, 2014
ISBN: 978-1-4503-2733-6, DOI: 10.1145/2568088.2576097
Link bibtex
A. Podzimek, L. Chen, L. Bulej, W. Binder, P. Tůma:
Showstopper: The Partial CPU Load Tool (Poster Paper), in Proc. 22nd IEEE International Symposium on Modelling, Analysis Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 510-513, 2014
DOI: 10.1109/MASCOTS.2014.75
bibtex
I. Gerostathopoulos, J. Keznikl, T. Bureš, M. Kit, F. Plášil:
Software Engineering for Software-Intensive Cyber-Physical Systems, in Proc. of CPSData workshop in INFORMATIK'14. To Appear., 2014
bibtex
I. Gerostathopoulos, J. Keznikl, T. Bureš, M. Kit, F. 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, 2014
bibtex
L. Bulej, T. Bureš, V. Horký, J. Kotrc, L. Marek, T. Trojanek, P. Tůma:
SPL: Unit Testing Performance, Technical report no. No. D3S-TR-2014-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
Link bibtex
T. Bureš, P. Hnětynka, F. 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, pp. 91–96, 2014
ISBN: 978-1-4503-2577-6, DOI: 10.1145/2602458.2602478
Link bibtex
A. Masrur, M. Kit, T. 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, 2014
DOI: 10.1109/DSD.2014.87
Link bibtex
T. Bureš, V. Horký, M. Kit, L. Marek, P. Tůma:
Towards Performance-Aware Engineering of Autonomic Component Ensembles, in Technologies for Mastering Change: Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), pp. 131-146, 2014
ISBN: 978-3-662-45233-2 978-3-662-45234-9
Link bibtex
H. Koziolek, S. Becker, J. Happe, P. Tůma, T. de Gooijer:
Towards Software Performance Engineering for Multicore and Manycore Systems, in SIGMETRICS Performance Evaluation Review 41(3), pp. 2–11, 2014
DOI: 10.1145/2567529.2567531
Link bibtex
J. Barnat, N. Beneš, T. Bureš, I. Černá, J. Keznikl, F. Plášil:
Towards Verification of Ensemble-Based Component Systems, in Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 41–60, 2014
ISBN: 978-3-319-07602-7
Link bibtex
D. Hauzar, J. Kofroň:
WeVerca: Web Applications Verification for PHP, in Proceedings of SEFM 2014, pp. 296-301, 2014
ISBN: 978-3-319-10430-0, DOI: 10.1007/978-3-319-10431-7_24

[ − ]
 
2013

Link bibtex
T. Bureš, R. Nicola, I. Gerostathopoulos, N. Hoch, M. Kit, N. Koch, G. 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, 2013
DOI: 10.1109/SASOW.2013.23
Link bibtex
L. Bulej, T. Bureš, V. Horký, J. 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, pp. 343–346, 2013
ISBN: 978-1-4503-1636-1, DOI: 10.1145/2479871.2479922
bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. 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, 2013
bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo Computational Model - I, Technical report no. No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo – an Ensemble-Based Component System, in Proc. of CBSE'13, pp. 81-90, 2013
ISBN: 978-1-4503-2122-8
bibtex
J. Keznikl, T. Bureš, F. Plášil, I. Gerostathopoulos, P. Hnětynka, N. Hoch:
Design of Ensemble-Based Component Systems by Invariant Refinement, in Proceedings of CBSE'13, Vancouver, Canada, pp. 91-100, 2013
Link bibtex
D. Ansaloni, S. Kell, Y. Zheng, L. Bulej, W. Binder, P. Tůma:
Enabling Modularity and Reuse in Dynamic Program Analysis Tools for the Java Virtual Machine, in Proc. 27th European Conference on Object-Oriented Programming (ECOOP), pp. 352-377, 2013
ISBN: 978-3-642-39037-1 978-3-642-39038-8
Link bibtex
N. Šerbedžija, T. Bureš, J. Keznikl:
Engineering Autonomous Systems, in Proceedings of the 17th Panhellenic Conference on Informatics, pp. 128–135, 2013
ISBN: 978-1-4503-1969-0, DOI: 10.1145/2491845.2491862
bibtex
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. 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, 2013
Link bibtex
Q. Noorshams, K. Rostami, S. Kounev, P. Tůma, R. Reussner:
I/O Performance Modeling of Virtualized Storage Systems, in Proc. 21st IEEE International Symposium on Modeling, Analysis Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 121-130, 2013
DOI: 10.1109/MASCOTS.2013.20
Link bibtex
M. Malohlava, F. Plášil, T. Bureš, P. Hnětynka:
Interoperable domain-specific languages families for code generation, in Software: Practice and Experience 43(5), pp. 479–499, 2013
DOI: 10.1002/spe.2118
bibtex
T. Bureš:
Managing Variability in Component-based Software Engineering, Habilitation Thesis, Charles University, Department of Distributed and Dependable Systems, 2013
PDF bibtex
P. Jančík, J. Kofroň:
On Partial Variable Assignment Interpolants, Technical report no. D3S-TR-2013-05, Department of Distributed and Dependable Systems, Charles University, 2013
Link bibtex
V. Horký, F. Haas, J. Kotrč, M. Lacina, P. Tůma:
Performance Regression Unit Testing: A Case Study, in Computer Performance Engineering: Proc. 10th European Performance Engineering Workshop (EPEW), pp. 149-163, 2013
ISBN: 978-3-642-40724-6 978-3-642-40725-3
bibtex
I. Gerostathopoulos, T. Bureš, P. 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, pp. 79-86, 2013
ISBN: 978-1-4503-2051-1
Link bibtex
A. Sarimbekov, Y. Zheng, D. Ansaloni, L. Bulej, L. Marek, W. Binder, P. Tůma, Z. Qi:
Productive Development of Dynamic Program Analysis Tools with DiSL, in Proc. 22nd Australian Software Engineering Conference (ASWEC), pp. 11-19, 2013
DOI: 10.1109/ASWEC.2013.12
Link bibtex
S. Kounev, S. Rizou, S. Zschaler, S. Alexakis, T. Bureš, J. Jézéquel, D. Kourtesis, S. 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, pp. 51–54, 2013
ISBN: 978-1-4503-2051-1, DOI: 10.1145/2462307.2462319
Link bibtex
L. Marek, S. Kell, Y. Zheng, L. Bulej, W. Binder, P. Tůma, D. Ansaloni, A. Sarimbekov, A. Sewe:
ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform, in ACM SIGPLAN Notices 49(3), pp. 105–114, 2013
DOI: 10.1145/2637365.2517219
Link bibtex
M. Malohlava, P. Hnětynka, T. Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Electronic Notes in Theoretical Computer Science 295(Supplement C), pp. 101 - 106, 2013
DOI: 10.1016/j.entcs.2013.04.009
Link bibtex
F. Plášil, T. 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, pp. 28–28, 2013
ISBN: 978-3-642-35843-2
Link bibtex
P. Mayer, A. Klarl, R. Hennicker, M. Puviani, F. Tiezzi, R. Pugliese, J. Keznikl, T. 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, 2013
DOI: 10.1109/SASOW.2013.16
Link bibtex
T. Poch, O. Šerý, F. Plášil, J. Kofroň:
Threaded behavior protocols, in Formal Aspects of Computing 25(4), pp. 543-572, 2013
DOI: 10.1007/s00165-011-0194-3

[ − ]
 
2012

Link bibtex
A. Podzimek, M. Decký, L. Bulej, P. Tůma:
A Non-Intrusive Read-Copy-Update for UTS, in Proc. 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS), pp. 482-489, 2012
DOI: 10.1109/ICPADS.2012.72
Link bibtex
T. Kučera, P. Hnětynka, J. Kofroň:
Automated Deployment of Hierarchical Components, in Proceedings of SNPD 2012, pp. 117-128, 2012
ISBN: 978-3-642-32172-6, DOI: 10.1007/978-3-642-32172-6_10
bibtex
J. Keznikl, T. Bureš, F. Plášil, P. 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, 2012
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Autonomous components in dynamic environments, Technical report no. , , 2012
Link bibtex
P. Jančík, P. Parízek, J. Kofroň:
BeJC: Checking Compliance Between Java Implementation and Behavior Specification, in Proceedings of WCOP 2014, pp. 31–36, 2012
ISBN: 978-1-4503-1348-3, DOI: 10.1145/2304676.2304683
Link bibtex
L. Bulej, T. Bureš, J. Keznikl, A. Koubková, A. Podzimek, P. Tůma:
Capturing Performance Assumptions Using Stochastic Performance Logic, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 311–322, 2012
ISBN: 978-1-4503-1202-8, DOI: 10.1145/2188286.2188345
Link bibtex
D. Ansaloni, W. Binder, C. Bockisch, E. Bodden, K. Hatun, L. Marek, Z. Qi, A. Sarimbekov, A. Sewe, P. Tůma, Y. Zheng:
Challenges for Refinement and Composition of Instrumentations (Position Paper), in Software Composition: Proc. 11th International Conference on Software Composition (SC), pp. 86-96, 2012
ISBN: 978-3-642-30563-4 978-3-642-30564-1
Link bibtex
L. Hermann, T. Bureš, P. Hnětynka, M. Malohlava:
CoDIT: Bridging the Gap between System-Level and Component-Level Development, in Software Engineering Research, Management and Applications 2012, pp. 159–175, 2012
ISBN: 978-3-642-30460-6
Link bibtex
L. Marek, Y. Zheng, D. Ansaloni, W. Binder, Z. Qi, P. 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), pp. 27–28, 2012
ISBN: 978-1-4503-1128-1, DOI: 10.1145/2162037.2162046
Link bibtex
V. Simko, P. Hnětynka, T. Bureš, F. 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, 2012
DOI: 10.1109/SEAA.2012.15
bibtex
V. Simko, P. Hnětynka, T. Bureš, F. 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, 2012
Link bibtex
L. Marek, Y. Zheng, D. Ansaloni, A. Sarimbekov, W. Binder, P. Tůma, Z. Qi:
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis (Tool Paper), in Programming Languages and Systems: Proc. 10th Asian Symposium on Programming Languages and Systems (APLAS), pp. 256-263, 2012
ISBN: 978-3-642-35181-5 978-3-642-35182-2
Link bibtex
D. Hauzar, J. Kofroň:
On Security Analysis of PHP Web Applications, in Proceedings of STPSA 2012, pp. 577-582, 2012
ISBN: 978-1-4673-2714-5, DOI: 10.1109/COMPSACW.2012.106
Link bibtex
V. Babka, P. Libič, T. Martinec, P. Tůma:
On the Accuracy of Cache Sharing Models, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 21–32, 2012
ISBN: 978-1-4503-1202-8, DOI: 10.1145/2188286.2188294
Link bibtex
L. Bulej, T. Bureš, V. Horký, J. Keznikl, P. 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, 2012
DOI: 10.1109/COMPSACW.2012.96
Link bibtex
T. Pop, F. Plášil, M. Outly, M. Malohlava, T. 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, pp. 93–102, 2012
ISBN: 978-1-4503-1345-2, DOI: 10.1145/2304736.2304753
bibtex
T. Bureš, P. 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, 2012
bibtex
M. Malohlava, P. Hnětynka, T. Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Post-conference Proceedings of FESCA 2012, 2012
Link bibtex
S. Kell, D. Ansaloni, W. Binder, L. 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, pp. 33–38, 2012
ISBN: 978-1-4503-1633-0, DOI: 10.1145/2414740.2414747
bibtex
T. Bureš, P. Hnětynka, J. Keznikl, F. Plášil, P. 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, 2012
Link bibtex
J. Keznikl, T. Bureš, F. 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, 2012
DOI: 10.1109/WICSA-ECSA.212.39
Link bibtex
Y. Zheng, D. Ansaloni, L. Marek, A. Sewe, W. Binder, A. Villazón, P. Tůma, Z. Qi, M. Mezini:
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation, in Objects, Models, Components, Patterns: Proc. 50th International Conference on Objects, Models, Components, Patterns (TOOLS), pp. 353-368, 2012
ISBN: 978-3-642-30560-3 978-3-642-30561-0
Link bibtex
V. Simko, D. Hauzar, T. Bureš, P. Hnětynka, F. Plášil:
Verifying Temporal Properties of Use-Cases in Natural Language, in Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 350–367, 2012
ISBN: 978-3-642-35743-5

[ − ]
 
2011

Link bibtex
V. Babka, P. Tůma:
Can Linear Approximation Improve Performance Prediction ?, in Computer Performance Engineering: Proc. 8th European Performance Engineering Workshop (EPEW), pp. 250-264, 2011
ISBN: 978-3-642-24748-4 978-3-642-24749-1
bibtex
T. Pop, T. Bureš, P. 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, 2011
Link bibtex
V. Babka, P. Tůma:
Computer Memory: Why We Should Care What Is Under the Hood (Invited Paper), in Mathematical and Engineering Methods in Computer Science: Proc. 7th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), pp. 63-75, 2011
ISBN: 978-3-642-25928-9 978-3-642-25929-6
bibtex
A. Koubková, V. Koubek:
Datové struktury I., MatfyzPress, 2011
ISBN: 978-80-7378-166-8
Link bibtex
J. Keznikl, M. Malohlava, T. Bureš, P. Hnětynka:
Extensible Polyglot Programming Support in Existing Component Frameworks, in 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 107-115, 2011
DOI: 10.1109/SEAA.2011.25
PDF bibtex
D. Hauzar, J. Kofroň:
Hunting Bugs Inside Web Applications, Technical report no. 2011-26, Department of Informatics, KIT, 2011
bibtex
M. Malohlava, F. Plášil, T. Bureš, P. Hnětynka:
Interoperable DSL Families for Code Generation, Technical report no. No. 2011/4, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2011
Link bibtex
T. Pop, J. Keznikl, P. Hosek, M. Malohlava, T. Bureš, P. 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, 2011
DOI: 10.1109/SERA.2011.14
bibtex
M. Outly, T. Pop, M. Malohlava, T. 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, 2011
PDF bibtex
J. Kofroň, P. Jančík, P. Parízek:
Refinement between TBP and Java Implementation of Components, Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University, 2011
Link bibtex
T. Bureš, P. Ježek, M. Malohlava, T. Poch, O. Sery:
Strengthening Component Architectures by Modeling Fine-Grained Entities, in 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 124-128, 2011
DOI: 10.1109/SEAA.2011.27
Link bibtex
P. Hnětynka, F. Plášil:
Using meta-modeling in design and implementation of component-based systems: the SOFA case study., in Softw., Pract. Exper. 41(11), pp. 1185-1201, 2011
DOI: 10.1002/spe.1036

[ − ]
 
2010

Link bibtex
P. Parízek, F. Plášil:
Assume-guarantee verification of software components in SOFA 2 framework., in IET Software 4(3), pp. 210-211, 2010
DOI: 10.1049/iet-sen.2009.0016
Link bibtex
P. Hošek, T. Pop, T. Bureš, P. Hnětynka, M. 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, pp. 21–36, 2010
ISBN: 978-3-642-13238-4
Link bibtex
L. Grunske, R. Reussner, F. Plášil:
Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings, in , 2010
ISBN: ISBN 978-3-642-13237-7, DOI: 10.1007/978-3-642-13238-4
Link bibtex
J. Kofroň, F. Plášil:
Evolving SOA in the Q-ImPrESS Project., in Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 25-26, 2010
DOI: 10.1007/978-3-642-28412-0_3
Link bibtex
V. Šimko, P. Hnětynka, T. Bureš:
From Textual Use-Cases to Component-Based Applications, in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010, pp. 23–37, 2010
ISBN: 978-3-642-13265-0
Link bibtex
Link bibtex
S. Becker, M. Hauck, M. Trifu, K. Krogmann, J. Kofroň:
Reverse Engineering Component Models for Quality Predictions, in Proceedings of CSMR 2010, pp. 194-197, 2010
ISBN: 978-1-61284-369-8, DOI: 10.1109/CSMR.2010.34
bibtex
P. Hosek, T. Pop, M. Malohlava, P. Hnětynka, T. 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, 2010
Link bibtex
V. Babka, P. Tůma, L. Bulej:
Validating Model-Driven Performance Predictions on Random Software Systems, in Research into Practice - Reality and Gaps: Proc. 6th International Conference on the Quality of Software Architectures (QOSA), pp. 3-19, 2010
ISBN: 978-3-642-13820-1 978-3-642-13821-8

[ − ]
 
2009

Link bibtex
K. Masek, P. Hnětynka, T. Bureš:
Bridging the Component-Based and Service-Oriented Worlds, in 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, pp. 47-54, 2009
DOI: 10.1109/SEAA.2009.58
Link bibtex
T. Poch, F. Plášil:
Extracting Behavior Specification of Components in Legacy Applications., in Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings, pp. 87-103, 2009
DOI: 10.1007/978-3-642-02414-6_6
bibtex
T. Bureš, P. Ježek, M. Malohlava, T. Poch, O. Sery:
Fine-grained Entities in Component Architectures, Technical report no. No. 2009/5, Dep. of SW Engineering, Charles University, Prague, 2009
Link bibtex
V. Babka, P. Tůma:
Investigating Cache Parameters of x86 Family Processors, in Computer Performance Evaluation and Benchmarking: Proc. 4th SPEC Benchmarking Workshop (SPEC), pp. 77-96, 2009
ISBN: 978-3-540-93798-2 978-3-540-93799-9
Link bibtex
P. Libič, P. Tůma, L. Bulej:
Issues in Performance Modeling of Applications with Garbage Collection, in Proc. 1st International Workshop on Quality of Service-Oriented Software Systems (QUASOSS), pp. 3–10, 2009
ISBN: 978-1-60558-709-7, DOI: 10.1145/1596473.1596477
Link bibtex
J. Kofroň, F. Plášil, O. Šerý:
Modes in component behavior specification via EBP and their application in product lines, in Information and Software Technology 51(1), pp. 31-41, 2009
DOI: 10.1016/j.infsof.2008.09.011
Link bibtex
J. Kofroň, P. Parízek, O. Šerý:
On Teaching Formal Methods: Behavior Models and Code Analysis, in Proceedings of TFM 2009, pp. 144-157, 2009
ISBN: 978-3-642-04912-5, DOI: 10.1007/978-3-642-04912-5_10
Link bibtex
J. Lorenzo, F. Rivera, P. Tůma, J. 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, 2009
DOI: 10.1109/PDCAT.2009.42
bibtex
P. Hnětynka, T. Bureš, M. Prochazka, R. Ward, Z. Hanzálek:
SOFA High Integrity: Our Approach to SAVOIR, in DASIA 2009 - DAta Systems in Aerospace, pp. 17, 2009
Link bibtex
P. Ježek, T. Bureš, P. Hnětynka:
Supporting Real-Life Applications in Hierarchical Component Systems, in Software Engineering Research, Management and Applications 2009, pp. 107–118, 2009
ISBN: 978-3-642-05441-9
Link bibtex
V. Babka, P. Libic, P. 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, 2009
DOI: 10.1109/MASCOT.2009.5366821
Link bibtex
T. Bureš, P. Hnětynka, M. Malohlava:
Using a Product Line for Creating Component Systems, in Proceedings of the 2009 ACM Symposium on Applied Computing, pp. 501–508, 2009
ISBN: 978-1-60558-166-8, DOI: 10.1145/1529282.1529388
Link bibtex
T. Bureš, J. Hala, P. Hnětynka:
Using Connectors to Address Transparent Distribution in Enterprise Systems – Pitfalls and Options, in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp. 81–92, 2009
ISBN: 978-3-642-01203-7
Link bibtex
V. Babka, L. Marek, P. Tůma:
When Misses Differ: Investigating Impact of Cache Misses on Observed Performance, in Proc. 15th International Conference on Parallel and Distributed Systems (ICPADS), pp. 112-119, 2009
DOI: 10.1109/ICPADS.2009.122

[ − ]
 
2008

Link bibtex
T. 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, 2008
DOI: 10.1109/ICSEA.2008.58
Link bibtex
S. Sentilles, A. Vulgarakis, T. Bureš, J. Carlson, I. 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, pp. 310–317, 2008
ISBN: 978-3-540-87891-9
bibtex
M. Prochazka, R. Ward, P. Tůma, P. Hnetynk, J. Adamek:
A Component-Oriented Framework for Spacecraft On-Board Software, in Proc. 13th ESA Conference on Data Systems In Aerospace (DASIA), pp. 39, 2008
ISBN: 978-92-9221-229-2
Link bibtex
L. Bulej, T. Bureš, T. Coupaye, M. Děcký, P. Ježek, P. Parízek, F. Plášil, T. Poch, N. Rivierre, O. Šerý, P. Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
Link bibtex
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, P. Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
bibtex
Link bibtex
J. Kofroň, T. Poch, O. Šerý:
Making Components Fit: SPINing, in Proceedings of SEW 2008, pp. 65-74, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.10
bibtex
R. Kyusakov, T. Bureš, I. Crnkovic:
Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University, 2008
Link bibtex
P. Parízek, F. Plášil:
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities., in Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 2-21, 2008
DOI: 10.1007/978-3-540-69824-1_2
Link bibtex
L. Kapová, T. Bureš, P. Hnětynka:
Preserving Intentions in SOA Business Process Development, in Software Engineering Research, Management and Applications, pp. 59–72, 2008
ISBN: 978-3-540-70561-1
Link bibtex
T. Bureš, J. Carlson, I. Crnkovic, S. Sentilles, A. Feljan:
ProCom - the Progress Component Model Reference Manual, version 1.0, Technical report no. ISSN 1404-3041 ISRN MDH-MRTC-230/2008-1-SE, , 2008
Link bibtex
T. Bureš, J. Carlson, I. Crnkovic, S. Sentilles, A. Feljan:
Progress Component Model Reference Manual - version 0.5, Technical report no. ISSN 1404-3041 ISRN MDH-MRTC-225/2008-1-SE, , 2008
bibtex
S. Becker, L. Bulej, T. Bureš, P. Hnětynka, L. Kapova, J. 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. , , 2008
Link bibtex
bibtex
T. Bureš, P. Hnětynka:
Safe Systems with Software Components in SOFA 2, Technical report no. , , pp. 27-28, 2008
bibtex
S. Becker, L. Bulej, T. Bureš, P. Hnětynka, L. Kapova, J. Kofroň, H. Koziolek, J. Kraft, R. Mirandola, J. Stammel, G. Tamburrelli, M. Trifu:
Service Architecture Meta Model, Technical report no. , , 2008
Link bibtex
J. Kofroň, T. Poch, O. Šerý:
TBP: Code-Oriented Component Behavior Specification, in Proceedings of SEW 2008, pp. 75-83, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.14
Link bibtex
V. Babka, L. Bulej, M. Decky, V. Holub, P. Tůma:
Teaching Operating Systems: Student Assignments and the Software Engineering Perspective, in Proc. 30th International Conference on Software Engineering (ICSE) SEESE Workshop, pp. 71–78, 2008
ISBN: 978-1-60558-076-0, DOI: 10.1145/1370868.1370881
Link bibtex
bibtex
T. Bureš, J. Carlson, S. Sentilles, A. Vulgarakis:
Towards Component Modelling of Embedded Systems in the Vehicular Domain, Technical report no. 1404-3041, Malardalens hogskola, 2008
Link bibtex
T. Bureš, M. Malohlava, P. Hnětynka:
Using DSL for Automatic Generation of Software Connectors, in Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pp. 138-147, 2008
DOI: 10.1109/ICCBSS.2008.17

[ − ]
 
2007

bibtex
P. Hnětynka, T. Bureš:
Advanced features of hierarchical component models, in in: Proceedings of ISIM’07, Hradec nad Moravici, Czech Republic, 2007, pp. 3–10, 2007
PDF bibtex
J. Kofroň:
Behavior Protocols Extensions, Dissertation thesis, Charles University, 2007
Link bibtex
J. Kofroň:
Checking Software Component Behavior Using Behavior Protocols and Spin, in Proceedings SAC 2007, pp. 1513–1517, 2007
ISBN: 978-1-59593-480-2, DOI: 10.1145/1244002.1244326
bibtex
T. Bureš, M. Decky, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Sery, P. Tůma:
CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, 2007
Link bibtex
R. Mirandola, F. Plášil:
CoCoTA - Common Component Task., in The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], pp. 4-15, 2007
DOI: 10.1007/978-3-540-85289-6_2
Link bibtex
P. Parízek, F. Plášil:
Modeling Environment for Component Model Checking from Hierarchical Architecture., in Electr. Notes Theor. Comput. Sci. 182, pp. 139-153, 2007
DOI: 10.1016/j.entcs.2006.09.036
Link bibtex
P. Parízek, F. Plášil:
Partial Verification of Software Components: Heuristics for Environment Construction., in 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 75-82, 2007
DOI: 10.1109/EUROMICRO.2007.46
Link bibtex
V. Holub, F. Plášil:
Reducing Component Systems' Behavior Specification., in XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 8-9 November 2007, Iquique, Chile, pp. 63-72, 2007
DOI: 10.1109/SCCC.2007.16
Link bibtex
V. Babka, M. Děcký, P. Tůma:
Resource Sharing in Performance Models, in Formal Methods and Stochastic Models for Performance Evaluation: Proc. 4th European Performance Engineering Workshop (EPEW), pp. 245-259, 2007
ISBN: 978-3-540-75210-3 978-3-540-75211-0
bibtex
T. Bureš, P. Hnětynka, F. Plášil:
Runtime Concepts of Hierarchical Software Components, in International Journal of Computer and Information Science 8, pp. 454-463, 2007
Link bibtex
T. Bureš, P. Hnětynka, F. 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, 2007
DOI: 10.1109/SERA.2007.115
Link bibtex
O. Sery, F. Plášil:
Slicing of Component Behavior Specification with Respect to Their Composition., in Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, pp. 189-202, 2007
DOI: 10.1007/978-3-540-73551-9_13
Link bibtex
Link bibtex
P. Parízek, F. Plášil:
Specification and Generation of Environment for Model Checking of Software Components., in Electr. Notes Theor. Comput. Sci. 176(2), pp. 143-154, 2007
DOI: 10.1016/j.entcs.2006.02.036
Link bibtex
V. Holub, P. Tůma:
Streaming State Space: A Method of Distributed Model Verification, in Proc. 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 356-368, 2007
DOI: 10.1109/TASE.2007.47

[ − ]
 
2006

bibtex
L. Bulej, T. Bureš:
Addressing Static Execution Overhead in Connectors with Disabled Optional Features, Technical report no. No. 2006/6, Dep. of SW Engineering, Charles University, Prague, 2006
Link bibtex
T. Kalibera, J. Lehotsky, D. Majda, B. Repcek, M. Tomcanyi, A. Tomecek, P. Tůma, J. Urban:
Automated Benchmarking and Analysis Tool, in Proc. 1st International Conference on Performance Evaluation Methodolgies and Tools (VALUETOOLS), 2006
ISBN: 978-1-59593-504-5, DOI: 10.1145/1190095.1190101
bibtex
J. Kofroň, J. Adamek, T. Bureš, P. Ježek, V. Mencl, P. Parízek, F. Plášil:
Checking Fractal Component Behavior Using Behavior Protocols, in the 5th Fractal Workshop - part of ECOOP, 2006
Link bibtex
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. 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, 2006
Link bibtex
P. Hnětynka, F. Plášil:
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models., in Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings, pp. 352-359, 2006
DOI: 10.1007/11783565_27
Link bibtex
L. Bulej, T. Bureš:
Eliminating Execution Overhead of Disabled Optional Features in Connectors, in Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers, pp. 50–65, 2006
ISBN: 978-3-540-69272-0
PDF bibtex
J. Kofroň:
Extending Behavior Protocols With Data and Multisynchronization, Technical report no. 2006/10, Department of Software Engineering, Charles University, 2006
bibtex
T. Bureš:
Generating Connectors for Homogeneous and Heterogeneous Deployment, Doctoral Thesis, Dep. of SW Engineering, Charles University, Prague, 2006
Link bibtex
P. Ježek, J. Kofroň, F. Plášil:
Model Checking of Component Behavior Specification: A Real Life Experience, in Electronic Notes in Theoretical Computer Science 160, pp. 197-210, 2006
DOI: 10.1016/j.entcs.2006.05.023
Link bibtex
P. Parízek, F. Plášil, J. Kofroň:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, in Proceedings of SEW 2006, pp. 133-141, 2006
ISBN: 0-7695-2624-1, DOI: 10.1109/SEW.2006.23
PDF bibtex
P. Parízek, F. Plášil, J. 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, 2006
Link bibtex
T. Kalibera, P. Tůma:
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results, in Formal Methods and Stochastic Models for Performance Evaluation: Proc. 3rd European Performance Engineering Workshop (EPEW), pp. 63-77, 2006
ISBN: 978-3-540-35362-1 978-3-540-35365-2
bibtex
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Real-life Behavior Specification of Software Components, in The 11th EMEA Academic Forum, Dublin, Ireland, 2006
Link bibtex
T. Bureš, P. Hnětynka, F. 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, 2006
DOI: 10.1109/SERA.2006.62
PDF bibtex
J. Kofroň:
Software Component Verification: On Translating Behavior Protocols to Promela, Technical report no. 2006/11, Department of Software Engineering, Charles University, 2006
Link bibtex
L. Bulej, T. Bureš:
Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification, in Interoperability of Enterprise Software and Applications, pp. 349–360, 2006
ISBN: 978-1-84628-152-5

[ − ]
 
2005

Link bibtex
T. Kalibera, L. Bulej, P. Tůma:
Automated Detection of Performance Regressions: The Mono Experience, in Proc. 20th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 183-190, 2005
DOI: 10.1109/MASCOT.2005.18
bibtex
T. Bureš:
Automated Synthesis of Connectors for Heterogeneous Deployment, Technical report no. No. 2005/4, Dep. of SW Engineering, Charles University, Prague, 2005
bibtex
V. Mencl, F. Plášil, J. Adámek:
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective., in IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005, pp. 193-201, 2005
Link PDF bibtex
M. Mach, F. Plášil, J. Kofroň:
Behavior Protocols Verification: Fighting State Explosion, in International Journal of Computer and Information Science 6(1), pp. 22-30, 2005
bibtex
T. Kalibera, L. Bulej, P. Tůma:
Benchmark Precision and Random Initial State, in Proc. International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), pp. 484–490, 2005
ISBN: 978-1-62276-350-4
Link bibtex
P. Tůma:
Component and Middleware Performance (Summary Paper), in Studia Informatica Universalis 4(1), pp. 1-6, 2005
Link bibtex
J. Adámek, F. Plášil:
Component composition errors and update atomicity: static analysis., in Journal of Software Maintenance 17(5), pp. 363-377, 2005
DOI: 10.1002/smr.321
bibtex
P. Tůma:
Component Middleware, Habilitation Thesis, Charles University, 2005
bibtex
L. Bulej, T. Bureš:
Deploying Heterogeneous Applications using OMG D&C and Software Connectors, Technical report no. No. 2005/10, Dep. of SW Engineering, Charles University, Prague, 2005
PDF bibtex
J. Kofroň:
Enhancing Behavior Protocols with Atomic Actions, Technical report no. 2005/08, Department of Software Engineering, Charles University, 2005
Link bibtex
O. Galik, T. Bureš:
Generating Connectors for Heterogeneous Deployment, in Proceedings of the 5th International Workshop on Software Engineering and Middleware, pp. 54–61, 2005
ISBN: 1-59593-205-4, DOI: 10.1145/1108473.1108486
bibtex
O. Galik, T. Bureš:
Handling Heterogeneity in Connector Generation, Technical report no. No. 2005/2, Dep. of SW Engineering, Charles University, Prague, 2005
Link bibtex
V. Mencl, T. Bureš:
Microcomponent-Based Component Controllers: A Foundation for Component Aspects, in 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 00, pp. 729-737, 2005
DOI: doi.ieeecomputersociety.org/10.1109/APSEC.2005.78
Link bibtex
P. Brebner, E. Cecchet, J. Marguerite, P. Tůma, O. Ciuhandu, B. Dufour, L. Eeckhout, S. Frénot, A. Krishna, J. Murphy, C. Verbrugge:
Middleware Benchmarking: Approaches, Results, Experiences, in Concurrency and Computation: Practice and Experience 17(15), pp. 1799-1805, 2005
DOI: 10.1002/cpe.918
Link bibtex
T. Kalibera, L. Bulej, P. Tůma:
Quality Assurance in Performance: Evaluating Mono Benchmark Results, in Quality of Software Architectures and Software Quality: Proc. 2nd International Workshop on Software Quality (SOQUA), pp. 271-288, 2005
ISBN: 978-3-540-29033-9 978-3-540-32056-2
Link bibtex
L. Bulej, T. Kalibera, P. Tůma:
Repeated Results Analysis for Middleware Regression Benchmarking, in Performance Evaluation 60(1–4), pp. 345-358, 2005
DOI: 10.1016/j.peva.2004.10.013
bibtex
P. Hnětynka, F. Plášil, T. Bureš, V. Mencl, L. Kapova:
SOFA 2.0 metamodel, Technical report no. No. 2005/11, Dep. of SW Engineering, Charles University, Prague, 2005
Link bibtex
L. Sobr, P. Tůma:
SOFAnet: Middleware for Software Distribution over Internet, in Proc. 12th IEEE/IPSJ International Symposium on Applications and the Internet (SAINT), pp. 48-53, 2005
ISBN: 978-0-7695-2262-3, DOI: 10.1109/SAINT.2005.60
Link bibtex
J. Král, M. Žemlička, A. Koubková:
The neglected but crucial role of mathematical statistics in the education of software experts, in Proceedings of UICEE, 2005
ISBN: 978-0-7326-2275-6

[ − ]
 
2004

bibtex
L. Bulej, T. Bureš:
Addressing Heterogeneity in OMG D&C-based Deployment, Technical report no. No. 2004/7, Dep. of SW Engineering, Charles University, Prague, 2004
bibtex
M. Mach, F. Plášil:
Addressing State Explosion in Behavior Protocol Verification., in 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA, pp. 327-333, 2004
Link bibtex
T. Bureš, F. Plášil:
Communication Style Driven Connector Configurations, in Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers, pp. 102–116, 2004
ISBN: 978-3-540-24675-6
bibtex
bibtex
J. Adámek, F. Plášil:
Erroneous architecture is a relative concept., in Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA, pp. 715-720, 2004
Link bibtex
F. Plášil, V. Holub:
Exceptions in Component Interaction Protocols - Necessity., in Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 227-244, 2004
DOI: 10.1007/11786160_13
bibtex
T. Kalibera, L. Bulej, P. Tůma:
Generic Environment for Full Automation of Benchmarking, in Proc. 1st International Workshop on Software Quality (SOQUA), pp. 125–132, 2004
ISBN: 3-88579-387-3
Link bibtex
J. Adámek, F. Plášil:
Partial Bindings of Components - Any Harm?., in 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 632-639, 2004
DOI: 10.1109/APSEC.2004.70
Link bibtex
L. Bulej, T. Kalibera, P. Tůma:
Regression Benchmarking with Simple Middleware Benchmarks, in Proc. 23rd IEEE International Conference on Performance, Computing, and Communications (IPCCC) IWMP Workshop, pp. 771-776, 2004
DOI: 10.1109/PCCC.2004.1395179
bibtex
T. Bureš, E. Denney, B. Fischer, E. 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), 2004

[ − ]
 
2003

bibtex
L. Bulej, T. Bureš:
A Connector Model Suitable for Automatic Generation of Connectors, Technical report no. No. 2003/1, Dep. of SW Engineering, Charles University, Prague, 2003
bibtex
T. Bureš, F. Plášil:
Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague, 2003
bibtex
T. Bureš:
Constraint-based generation of connectors, in Proceedings of the Week of Doctoral Students 2003 conference \(WDS 2003\), pp. 215-220, 2003
Link bibtex
A. Buble, L. Bulej, P. Tůma:
CORBA Benchmarking: A Course with Hidden Obstacles, in Proc. 17th International Parallel and Distributed Processing Symposium (IPDPS) PMEOPDS Workshop, pp. 1-6, 2003
DOI: 10.1109/IPDPS.2003.1213501
Link bibtex
P. Hnětynka, P. Tůma:
Fighting Class Name Clashes in Java Component Systems (Short Paper), in Modular Programming Languages: Proc. 6th Joint Modular Languages Conference (JMLC), pp. 106-109, 2003
ISBN: 978-3-540-40796-6 978-3-540-45213-3
Link bibtex
F. Plášil, V. Mencl:
Getting 'whole Picture' Behavior in a Use Case Model., in Transactions of the SDPS 7(4), pp. 63-79, 2003
bibtex
T. Bureš, F. Plášil:
Scalable Element-Based Connectors, in Proceedings of SERA, 2003

[ − ]
 
2002

Link bibtex
A. Koubková, V. Koubek:
Algorithms for transitive closure, in Information Processing Letters 81(6), pp. 289-296, 2002
DOI: 10.1016/S0020-0190(01)00245-9
Link bibtex
F. Plášil, S. Visnovsky:
Behavior Protocols for Software Components., in IEEE Trans. Software Eng. 28(11), pp. 1056-1076, 2002
DOI: 10.1109/TSE.2002.1049404
Link bibtex
T. Kalibera, P. Tůma:
Distributed Component System Based on Architecture Description: The SOFA Experience, in On the Move to Meaningful Internet Systems: Proc. 4th International Symposium on Distributed Objects and Applications (DOA), pp. 981-994, 2002
ISBN: 978-3-540-00106-5 978-3-540-36124-4
bibtex
T. Bureš:
Generator of Connectors for SOFA/DCUP, Master Thesis, Czech Technical University, 2002
bibtex
P. Tůma, A. Buble:
Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), 2002
Link bibtex

[ − ]
 
2001

bibtex
P. Tůma, A. Buble:
Open CORBA Benchmarking, in Proc. 1st International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), pp. 351-358, 2001
ISBN: 1-56555-240-7
Link bibtex
D. Bálek, F. Plášil:
Software Connectors and their Role in Component Deployment., in New Developments in Distributed Applications and Interoperable Systems, IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems, September 17-19, 2001, Kraków, Poland, pp. 69-84, 2001
DOI: 10.1007/0-306-47005-5_6

[ − ]
 
2000

Link bibtex
G. Blair, L. Blair, V. Issarny, P. Tůma, A. Zarras:
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms, in Proc. 2nd IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (MIDDLEWARE), pp. 164-184, 2000
ISBN: 978-3-540-67352-1 978-3-540-45559-2

[ − ]
 
1999

Link bibtex
F. Plášil, M. Besta, S. Visnovsky:
Bounding Component Behavior via Protocols., in TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 387-398, 1999
DOI: 10.1109/TOOLS.1999.787567
bibtex
P. Kähkipuro, A. Buble, A. Gopinath, A. Kaushal, C. Liyanaarachchi, C. Readler, D. Flater, D. Niehaus, F. Caruso, F. Plášil, K. Raatikainen, L. Pau, M. Chung, P. Tůma, S. Nimmagadda, S. Tockey:
OMG Benchmark PSIG White Paper on Benchmarking, Technical report no. bench/99-12-01, OMG, 1999
Link bibtex
P. Tůma, V. Issarny, A. Zarras:
Towards Systematic Synthesis of Reflective Middleware (Short Paper), in Meta-Level Architectures and Reflection: Proc. 2nd International Conference on Meta-Level Architectures and Reflection (REFLECTION), pp. 144-146, 1999
ISBN: 978-3-540-66280-8 978-3-540-48443-1

[ − ]
 
1998

Link bibtex
F. Plášil, M. Stal:
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM., in Software - Concepts and Tools 19(1), pp. 14-28, 1998
DOI: 10.1007/s003780050004
PDF bibtex
F. Plášil, P. Tůma, A. Buble:
CORBA Benchmarking, Technical report no. 98/7, Charles University, 1998
Link bibtex
F. Plášil, D. Bálek, R. Janecek:
SOFA/DCUP: architecture for component trading and dynamic updating., in Fourth International Conference on Configurable Distributed Systems, 1998, Proceedings, Annapolis, MA, USA, 6 May, 1998, pp. 43-51, 1998
DOI: 10.1109/CDS.1998.675757
Link bibtex
M. Broy, A. Deimel, J. Henn, K. Koskimies, F. Plášil, G. Pomberger, W. Pree, M. Stal, C. Szyperski:
What characterizes a (software) component?, in Software - Concepts and Tools 19(1), pp. 49-56, 1998
DOI: 10.1007/s003780050007
bibtex
A. Koubková, J. Pavelka:
Úvod do teoretické informatiky, MatfyzPress, 1998
ISBN: 80-86732-52-5

[ − ]
 
1997

Link bibtex
F. Plášil, D. Mikusík:
Inheriting Synchronization Protocols via Sound Enrichment Rules., in Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings, pp. 267-281, 1997
DOI: 10.1007/3-540-62599-2_45
bibtex
P. Tůma:
Persistence in CORBA, Doctoral Thesis, Charles University, 1997
Link bibtex

[ − ]
 
1996

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

[ − ]
 
1995

Link bibtex

[ − ]
 
1994

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