[ − ]
 
2024

R. Otoni, M. Blicha, P. Eugster, N. Sharygina:
CHC Model Validation with Proof Guarantees, in iFM 2023, pp. 62-81, 2024
ISBN: 978-3-031-47705-8, DOI: 10.1007/978-3-031-47705-8_4

[ − ]
 
2023

T. Petříček, G. Burg, A. Nazábal, T. Ceritli, E. Jiménez-Ruiz, C. Williams:
AI Assistants: A Framework for Semi-Automated Data Wrangling, in IEEE Transactions on Knowledge and Data Engineering 35(9), pp. 9295-9306, 2023
DOI: 10.1109/TKDE.2022.3222538
M. Walter, S. Hahner, T. Bureš, P. Hnětynka, R. Heinrich, R. Reussner:
Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0, in at - Automatisierungstechnik 71(6), pp. 443-452, 2023
DOI: 10.1515/auto-2022-0135
P. Parízek, F. Kliber:
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs, in Proceedings of JPF Workshop 2022, pp. 27-31, 2023
DOI: 10.1145/3573074.3573082
M. Abdullah:
Controlling Automatic Experiment-Driven Systems Using Statistics and Machine Learning, in Software Architecture. ECSA 2022 Tracks and Workshops, pp. 105-119, 2023
ISBN: 9783031368882 9783031368899
P. Taylor-Gooby, T. Petříček, J. Cunliffe:
Covid19, Charitable Giving and Collectivism: a data-harvesting approach, in Journal of Social Policy 52(3), pp. 473-494, 2023
DOI: 10.1017/S0047279421000714
A. Pečimúth, D. Leopoldseder, P. Tůma:
Diagnosing Compiler Performance by Comparing Optimization Decisions, in Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023
ISBN: 979-8-4007-0380-5/23/10, DOI: 10.1145/3617651.3622994
A. Pečimúth, D. Leopoldseder, P. Tůma:
Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract), in Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023
ISBN: 979-8-4007-0380-5/23/10, DOI: 10.1145/3617651.3624305
R. Heinrich, S. Seifermann, M. Walter, S. Hahner, R. Reussner, T. Bureš, P. Hnětynka, J. Pacovský:
Dynamic Access Control in Industry 4.0 Systems, in Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 143-170, 2023
ISBN: 978-3-662-65004-2
M. Abdullah, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations, in 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 86-93, 2023
ISBN: 9798350342352, DOI: 10.1109/SEAA60479.2023.00022
J. Pacovský, P. Hnětynka, M. Kruliš:
Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 386-401, 2023
DOI: 10.1007/978-3-031-36889-9_26
T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil, D. Khalyeyev, S. Hahner, S. Seifermann, M. Walter, R. Heinrich:
Generating adaptation rule-specific neural network, in International Journal on Software Tools for Technology Transfer 25, pp. 733–746, 2023
DOI: 10.1007/s10009-023-00725-y
L. Bulej, V. Horký, M. Tucci, P. Tůma, F. Farquet, D. Leopoldseder, A. Prokopec:
GraalVM Compiler Benchmark Results Dataset (Data Artifact), in Companion Proceedings of the ACM/SPEC International Conference on Performance Engineering, pp. 65–69, 2023
ISBN: 9798400700729, DOI: 10.1145/3578245.3585025
M. Abdullah, M. Töpfer, T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil:
Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive Architectures, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 370-385, 2023
DOI: 10.1007/978-3-031-36889-9_25
J. Edwards, T. Petříček, T. van der Storm:
Live & Local Schema Change: Challenge Problems, in , 2023
DOI: 10.48550/arXiv.2309.11406
M. Töpfer, M. Abdullah, T. Bureš, P. Hnětynka, M. Kruliš:
Machine-learning abstractions for component-based self-optimizing systems, in International Journal on Software Tools for Technology Transfer 25, pp. 717–731, 2023
DOI: 10.1007/s10009-023-00726-x
E. Alberts, I. Gerostathopoulos, T. Bureš:
MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-adaptive Systems, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 183-198, 2023
DOI: 10.1007/978-3-031-36889-9_14
S. Hahner, T. Bitschi, M. Walter, T. Bureš, P. Hnětynka, R. Heinrich:
Model-based Confidentiality Analysis under Uncertainty, in Companion Proceedings of ICSA 2023, L'Aquila, Italy, pp. 256-263, 2023
DOI: 10.1109/ICSA-C57050.2023.00062
P. Hnětynka, M. Kruliš, M. Töpfer, T. Bureš:
Modeling Machine Learning Concerns in Collective Adaptive Systems:, in Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, Lisbon, Portugal, pp. 55-62, 2023
ISBN: 978-989-758-633-0, DOI: 10.5220/0011693300003402
M. Töpfer, F. Plášil, T. Bureš, P. Hnětynka, M. Kruliš, D. Weyns:
Online ML Self-adaptation in Face of Traps, accepted for publication in Proceedings of ACSOS 2023,Toronto, Canada
A. Pečimúth:
Remote Just-in-Time Compilation for Dynamic Languages, in Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2023
ISBN: 979-8-4007-0384-3/23/10, DOI: 10.1145/3618305.3623593
D. Weyns, I. Gerostathopoulos, N. Abbas, J. Andersson, S. Biffl, P. Brada, T. Bureš, A. Di Salle, M. Galster, P. Lago, G. Lewis, M. Litoiu, A. Musil, J. Musil, P. Patros, P. Pelliccione:
Self-Adaptation in Industry: A Survey, in ACM Transactions on Autonomous and Adaptive Systems 18(2), pp. 1-44, 2023
DOI: 10.1145/3589227
R. Husák, J. Kofroň, F. Zavoral:
Slicito: Using Computational Notebooks for Program Comprehension, in 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC), pp. 64-68, 2023
DOI: 10.1109/ICPC58990.2023.00019
S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina:
SMT-based verification of program changes through summary repair, in Formal Methods in System Design, 2023
DOI: 10.1007/s10703-023-00423-0
J. Jakubovic, J. Edwards, T. Petříček:
Technical Dimensions of Programming Systems, in The Art, Science, and Engineering of Programming 7(3), pp. 13:1-13:59, 2023
DOI: 10.22152/programming-journal.org/2023/7/13
M. Blicha, K. Britikov, N. Sharygina:
The Golem Horn Solver, in Computer Aided Verification, pp. 209–223, 2023
ISBN: 978-3-031-37703-7, DOI: 10.1007/978-3-031-37703-7_10
D. Khalyeyev, T. Bureš, P. Hnětynka:
Towards a Reference Component Model of Edge-Cloud Continuum, in Companion Proceedings of ICSA 2023, L'Aquila, Italy, pp. 91-95, 2023
ISBN: 978-1-66546-459-8, DOI: 10.1109/ICSA-C57050.2023.00030
D. Khalyeyev, T. Bureš, P. Hnětynka:
Towards Characterization of Edge-Cloud Continuum, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 215-230, 2023
DOI: 10.1007/978-3-031-36889-9_16

[ − ]
 
2022

R. Al-Ali, L. Bulej, J. Kofroň, T. Bureš:
A guide to design uncertainty-aware self-adaptive components in Cyber– Physical Systems, in Future Generation Computer Systems 128, pp. 466-489, 2022
DOI: 10.1016/j.future.2021.10.027
M. Walter, S. Hahner, S. Seifermann, T. Bureš, P. Hnětynka, J. Pacovský, R. Heinrich:
Architectural Optimization for Confidentiality Under Structural Uncertainty, in Software Architecture (ECSA 2021 postproceedings), pp. 309–332, 2022
ISBN: 978-3-031-15116-3, DOI: 10.1007/978-3-031-15116-3_14
J. Jakubovic, T. Petříček:
Ascending the ladder to self-sustainability, in To appear in Onward! 2022: Proceedings of the 2022 ACM SIGPLAN international symposium on new ideas, new paradigms, and reflections on programming and software, Auckland, New Zealand, December, 2022, 2022
T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil, D. Khalyeyev, S. Hahner, S. Seifermann, M. Walter, R. Heinrich:
Attuning Adaptation Rules via a Rule-Specific Neural Network, in Proceedings of ISOLA 2022, Rhodes, Greece, pp. 215-230, 2022
DOI: 10.1007/978-3-031-19759-8_14
M. Töpfer, M. Abdullah, T. Bureš, P. Hnětynka, M. Kruliš:
Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems, in Proceedings of ISOLA 2022, Rhodes, Greece, pp. 318-334, 2022
DOI: 10.1007/978-3-031-19759-8_20
N. Boltz, S. Hahner, M. Walter, S. Seifermann, T. Bureš, P. Hnětynka, R. Heinrich:
Handling Environmental Uncertainty in Design Time Access Control Analysis, in Proceedings of SEAA 2022, Gran Canaria, Spain, 2022
DOI: 10.1109/SEAA56994.2022.00067
P. Parízek, F. Kliber:
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads, Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-15, 2022
J. Edwards, T. Petříček:
Interaction vs. Abstraction: Managed Copy and Paste, in Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, pp. 11–19, 2022
ISBN: 978-1-4503-9910-4, DOI: 10.1145/3563836.3568723
R. Perera, M. Nguyen, T. Petříček, M. Wang:
Linked visualisations via Galois dependencies, in Proceedings of the ACM on Programming Languages 6(POPL), pp. 7:1–7:29, 2022
DOI: 10.1145/3498668
M. Töpfer, M. Abdullah, M. Kruliš, T. Bureš, P. Hnětynka:
ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components, in Proceedings of ACSOS 2022, Virtual event, 2022
DOI: 10.1109/ACSOSC56246.2022.00033
R. Husák, J. Míšek, F. Zavoral, J. Kofroň:
PeachPie: Mature PHP to CLI compiler, in Journal of Computer Languages, pp. 1-29, 2022
DOI: 10.1016/j.cola.2022.101152
D. Weyns, I. Gerostathopoulos, N. Abbas, J. Andersson, S. Biffl, P. Brada, T. Bureš, A. Di Salle, P. Lago, A. Musil, J. Musil, P. Pelliccione:
Preliminary results of a survey on the use of self-adaptation in industry, in Proceedings of SEAMS 2022, Pittsburgh, USA, pp. 70-76, 2022
ISBN: 978-1-4503-9305-8, DOI: 10.1145/3524844.3528077
M. Abdullah, L. Bulej, T. Bureš, P. Hnětynka, V. Horký, P. Tůma:
Reducing Experiment Costs in Automated Software Performance Regression Detection, in 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 56-59, 2022
ISBN: 978-1-66546-152-8, DOI: 10.1109/SEAA56994.2022.00017
D. Di Pompeo, M. Tucci:
Search Budget in Multi-Objective Refactoring Optimization: a Model-Based Empirical Study, accepted for publication in 48th Euromicro Conference on Software Engineering and Advanced Applications, pp. 406-413
DOI: 10.1109/SEAA56994.2022.00070
M. Kruliš, T. Bureš, P. Hnětynka:
Simdex: a simulator of a real self-adaptive job-dispatching system backend, in Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 167–173, 2022
ISBN: 978-1-4503-9305-8, DOI: 10.1145/3524844.3528078
L. Alt, M. Blicha, A. Hyvärinen, N. Sharygina:
SolCMC: Solidity Compiler’s Model Checker, in Computer Aided Verification, pp. 325-338, 2022
ISBN: 978-3-031-13185-1, DOI: 10.1007/978-3-031-13185-1_16
K. Kamal Ali, A. Khalili Golmankhaneh, R. Yilmazer, M. Ashqi Abdullah:
Solving fractal differential equations via fractal Laplace transforms, in Journal of Applied Analysis 28(2), pp. 237-250, 2022
DOI: 10.1515/jaa-2021-2076
M. Blicha, G. Fedyukovich, A. Hyvärinen, N. Sharygina:
Split Transition Power Abstraction for Unbounded Safety, in Proceedings of FMCAD'22, pp. 349-358, 2022
ISBN: 978-3-85448-053-2, DOI: 10.34727/2022/isbn.978-3-85448-053-2_42
M. Blicha, J. Kofroň, W. Tatarko:
Summarization of branching loops, in Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, pp. 1808–1816, 2022
ISBN: 978-1-4503-8713-2, DOI: 10.1145/3477314.3507042
T. Petříček:
The Gamma: Programmatic Data Exploration for Non-programmers, in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 1-7, 2022
DOI: 10.1109/VL/HCC53370.2022.9833134
L. Traini, V. Cortellessa, D. Di Pompeo, M. Tucci:
Towards effective assessment of steady state performance in Java software: Are we there yet?, accepted for publication in Empirical Software Engineering
DOI: 10.48550/arXiv.2209.15369
T. Bureš, P. Hnětynka, M. Kruliš, J. Pacovský:
Towards Model-driven Fuzzification of Adaptive Systems Specification:, in Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, pp. 336-343, 2022
ISBN: 978-989-758-550-0, DOI: 10.5220/0010910800003119
M. Blicha, G. Fedyukovich, A. Hyvärinen, N. Sharygina:
Transition Power Abstractions for Deep Counterexample Detection, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 524-542, 2022
ISBN: 978-3-030-99524-9, DOI: 10.1007/978-3-030-99524-9_29
M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Using linear algebra in decomposition of Farkas interpolants, in International Journal on Software Tools for Technology Transfer 24(1), pp. 111-125, 2022
DOI: 10.1007/s10009-021-00641-z
R. Husák, J. Kofroň, J. Míšek, F. Zavoral:
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages, in Proc. of the 17th International Conference on Software Technologies, pp. 175-186, 2022
ISBN: 978-989-758-588-3, DOI: 10.5220/0011272300003266

[ − ]
 
2021

T. Bureš, I. Gerostathopoulos, P. Hnětynka, S. Seifermann, M. Walter, R. Heinrich:
Aspect-Oriented Adaptation of Access Control Rules, in Proceedings of SEAA 2021, Palermo. Italy, pp. 363-370, 2021
DOI: 10.1109/SEAA53835.2021.00054
I. Gerostathopoulos, F. Plášil, C. Prehofer, J. Thomas, B. Bischl:
Automated Online Experiment-Driven Adaptation–Mechanics and Cost Aspects, in IEEE Access 9, pp. 58079-58087, 2021
DOI: 10.1109/ACCESS.2021.3071809
T. Petříček:
Composable data visualizations, in Journal of Functional Programming 31, pp. e13, 2021
DOI: 10.1017/S0956796821000046
H. Schulz, D. Okanović, A. van Hoorn, P. Tůma:
Context-Tailored Workload Model Generation for Continuous Representative Load Testing, in Proc. 21st ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 21–32, 2021
ISBN: 978-1-4503-8194-9, DOI: 10.1145/3427921.3450240
C. Sau, C. Rinaldi, L. Pomante, F. Palumbo, G. Valente, T. Fanni, M. Martinez, F. van den Linden, T. Basten, M. Geilen, G. Peeren, J. Kadlec, P. Jääskeläinen, L. Bulej, F. Barranco, J. Saarinen, T. Säntti, M. Zedda, V. Sanchez, S. Nikkhah, D. Goswami, G. Amat, L. Maršík, M. van Helvoort, L. Medina, Z. Al-Ars, A. de Beer:
Design and management of image processing pipelines within CPS: acquired experience towards the end of the FitOptiVis ECSEL Project, in Microprocessors and Microsystems 87, pp. 1-35, 2021
DOI: 10.1016/j.micpro.2021.104350
A. Šmelko, M. Kratochvíl, M. Kruliš, T. Sieger:
GPU-Accelerated Mahalanobis-Average Hierarchical Clustering Analysis, in Euro-Par 2021: Parallel Processing, pp. 580-595, 2021
ISBN: 978-3-030-85665-6, DOI: 10.1007/978-3-030-85665-6_36
D. Bednárek, M. Kruliš, J. Yaghob:
Letting future programmers experience performance-related tasks, in Journal of Parallel and Distributed Computing 155, pp. 74-86, 2021
DOI: 10.1016/j.jpdc.2021.04.014
L. Bulej, T. Bureš, A. Filandr, P. Hnětynka, I. Hnětynková, J. Pacovský, G. Sandor, I. Gerostathopoulos:
Managing latency in edge–cloud environment, in Journal of Systems and Software 172, 2021
DOI: 10.1016/j.jss.2020.110872
S. Hahner, S. Seifermann, R. Heinrich, M. Walter, T. Bureš, P. Hnětynka:
Modeling Data Flow Constraints for Design-Time Confidentiality Analyses, in Companion proceedings of ICSA 2021, Stuttgart, Germany, pp. 15-21, 2021
ISBN: 978-1-66543-910-7, DOI: 10.1109/ICSA-C52384.2021.00009
T. Petříček:
Programming as architecture, design, and urban planning, in Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 114–124, 2021
ISBN: 978-1-4503-9110-8, DOI: 10.1145/3486607.3486770
T. Bureš:
Self-Adaptation 2.0, in Proceedings of SEAMS 2021, Madrid, Spain, pp. 262-263, 2021
ISBN: 978-1-66540-289-7, DOI: 10.1109/SEAMS51251.2021.00046
L. Bulej, T. Bureš, P. Hnětynka, D. Khalyeyev:
Self-adaptive K8S Cloud Controller for Time-sensitive Applications, in Proceedings of SEAA 2021, Palermo. Italy, pp. 166-169, 2021
DOI: 10.1109/SEAA53835.2021.00029
T. Bureš, P. Hnětynka, F. Plášil, D. Škoda, J. Kofroň, R. Ali, I. Gerostathopoulos:
Targeting uncertainty in smart CPS by confidence-based logic, in Journal of Systems and Software 181, 2021
DOI: 10.1016/j.jss.2021.111065
R. Otoni, M. Blicha, P. Eugster, A. Hyvärinen, N. Sharygina:
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions, in 58th ACM/IEEE Design Automation Conference (DAC), pp. 541-546, 2021
DOI: 10.1109/DAC18074.2021.9586272
M. Abdullah, K. Kolo, P. Aspoukeh, R. Hamad, J. Bailey:
Time Series Modelling and Simulating the Lockdown Scenarios of COVID-19 in Kurdistan Region of Iraq, in The Journal of Infection in Developing Countries 15(03), pp. 370-381, 2021
DOI: 10.3855/jidc.13993
L. Bulej, V. Horký, P. Tůma:
Tracking Performance of Graal on Public Benchmarks, presented at Science, Art, Magic: Using and Developing The Graal Compiler, 2021
L. Bulej, F. Farquet, V. Horký, P. Tůma:
Tracking Performance of Graal on Public Benchmarks, presented at International Workshop on Load Testing and Benchmarking of Software Systems (LTB) 2021, 2021
L. Bulej, F. Farquet, V. Horký, M. Tucci, P. Tůma:
Tracking Performance of the Graal Compiler on Public Benchmarks, presented at MongoDB Performance Tech Talk 2021, 2021

[ − ]
 
2020

M. Blicha, A. Hyvärinen, M. Marescotti, N. Sharygina:
A Cooperative Parallelization Approach for Property-Directed k-Induction, in Verification, Model Checking, and Abstract Interpretation, pp. 270-292, 2020
ISBN: 978-3-030-39322-9, DOI: 10.1007/978-3-030-39322-9_13
T. Bureš, I. Gerostathopoulos, P. Hnětynka, F. Plášil, F. Krijt, J. Vinárek, J. Kofroň:
A language and framework for dynamic component ensembles in smart systems, in International Journal on Software Tools for Technology Transfer 22(4), pp. 497-509, 2020
DOI: 10.1007/s10009-020-00558-z
M. Bobel, I. Gerostathopoulos, T. Bureš:
A Toolbox for Realtime Timeseries Anomaly Detection, in Companion proceedings of ICSA 2020, Salvador, Brazil, pp. 278-281, 2020
ISBN: 978-1-72817-415-0, DOI: 10.1109/ICSA-C50368.2020.00053
T. Bureš, P. Hnětynka, R. Heinrich, S. Seifermann, M. Walter:
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns, in Proceedings of ISOLA 2020, Rhodes, Greece, 2020
DOI: 10.1007/978-3-030-61470-6_18
A. Steinhauser, P. Tůma:
Database Traffic Interception for Graybox Detection of Stored and Context-Sensitive XSS, in Digital Threats: Research and Practice 1(3), pp. 1-23, 2020
DOI: 10.1145/3399668
M. Kruliš, M. Kratochvíl:
Detailed Analysis and Optimization of CUDA K-means Algorithm, in 49th International Conference on Parallel Processing - ICPP, pp. 1–11, 2020
ISBN: 978-1-4503-8816-0, DOI: 10.1145/3404397.3404426
L. Bulej, V. Horký, P. Tůma, F. Farquet, A. Prokopec:
Duet Benchmarking: Improving Measurement Accuracy in the Cloud, in Proceedings of the ACM/SPEC International Conference on Performance Engineering, pp. 100–107, 2020
ISBN: 978-1-4503-6991-6, DOI: 10.1145/3358960.3379132
R. Kápl, P. Parízek:
Endicheck: Dynamic Analysis for Detecting Endianness Bugs, in Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), pp. 254-270, 2020
DOI: 10.1007/978-3-030-45237-7_15
S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina:
Farkas-Based Tree Interpolation, in Static Analysis, pp. 357-379, 2020
ISBN: 978-3-030-65474-0, DOI: 10.1007/978-3-030-65474-0_16
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Pacovský:
Forming Ensembles at Runtime: A Machine Learning Approach, in Proceedings of ISOLA 2020, Rhodes, Greece, 2020
DOI: 10.1007/978-3-030-61470-6_26
T. Petříček:
Foundations of a live data exploration environment, in The Art, Science, and Engineering of Programming 4(3), pp. 8:1-8:37, 2020
DOI: 10.22152/programming-journal.org/2020/4/8
S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina:
Incremental Verification by SMT-based Summary Repair, in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020, 2020
ISBN: 978-3-85448-042-6, DOI: 10.34727/2020/isbn.978-3-85448-042-6
L. Bulej, T. Bureš, P. Hnětynka, V. Čamra, P. Siegl, M. Töpfer:
IVIS: Highly customizable framework for visualization and processing of IoT data, in Proceedings of EUROMICRO SEAA 2020, Portorož, Slovenia, 2020
DOI: 10.1109/SEAA51224.2020.00095
R. Husák, F. Zavoral, J. Kofroň:
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations, in 2020 International Symposium on Theoretical Aspects of Software Engineering, pp. 145-152, 2020
ISBN: 978-1-72814-086-5
S. García, P. Pelliccione, C. Menghi, T. Berger, T. Bureš:
PROMISE: high-level mission specification for multiple robots, in Companion proceedings of ICSE 2020, Seoul, South Korea, pp. 5-8, 2020
ISBN: 978-1-4503-7122-3, DOI: 10.1145/3377812.3382143
F. van den Berg, V. Camra, M. Hendriks, M. Geilen, P. Hnětynka, F. Manteca, P. Sanchez, T. Bureš, A. Basten:
QRML: A Component Language and Toolset for Quality and Resource Management, in Proceedings of FDL 2020, Kiel, Germany, 2020
DOI: 10.1109/FDL50818.2020.9232936
V. Dort, O. Lhoták:
Reference Mutability for DOT, in Proceedings of 34th European Conference on Object-Oriented Programming, 2020
ISBN: 978-3-95977-154-2, DOI: 10.4230/LIPIcs.ECOOP.2020.18
V. Dort, O. Lhoták:
Reference mutability for DOT – roDOT definitions and proofs, Technical report no. D3S-TR-2020-01, Department of Distributed and Dependable Systems, Charles University, 2020
A. Čižmárik, P. Parízek:
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs, in Proceedings of the 20th International Conference on Runtime Verification (RV 2020), pp. 298-309, 2020
DOI: 10.1007/978-3-030-60508-7_16
R. Al Ali, T. Bureš, P. Hnětynka, J. Matejek, F. Plášil, J. Vinárek:
Toward autonomically composable and context-dependent access control specification through ensembles, in International Journal on Software Tools for Technology Transfer 22(4), pp. 511-522, 2020
DOI: 10.1007/s10009-020-00556-1
P. Hnětynka, T. Bureš, I. Gerostathopoulos, J. Pacovský:
Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart Farming, in Proceedings of SEAMS 2020, Seoul, Korea, 2020
DOI: 10.1145/3387939.3391599
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 22(3), pp. 265-279, 2020
DOI: 10.1007/s10009-019-00539-x

[ − ]
 
2019

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
K. Storey, E. Mercer, P. Parízek:
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder, in ACM SIGSOFT Software Engineering Notes 44(4), 2019
DOI: 10.1145/3364452.3364457
D. Honzátko, M. Kruliš:
Accelerating block-matching and 3D filtering method for image denoising on GPUs, in Journal of Real-Time Image Processing 16(6), pp. 2273-2287, 2019
DOI: 10.1007/s11554-017-0737-9
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
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
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
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
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
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
T. Hannemann, T. Stárková, P. Ježek, K. Volná, K. Kačerovská, C. Brom:
Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study, in Proceedings of the 14th Workshop in Primary and Secondary Computing Education, pp. 1–7, 2019
ISBN: 978-1-4503-7704-1, DOI: 10.1145/3361721.3361726
J. Edwards, S. Kell, T. Petříček, L. Church:
Evaluating programming systems design, in Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019
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
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 55(1), pp. 33-71, 2019
DOI: 10.1007/s10703-019-00342-z
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
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
R. Husák, J. Kofroň, F. Zavoral:
Handling Heap Data Structures in Backward Symbolic Execution, in Pre-proceedings for TAPAS 2019, 2019
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
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
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
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
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
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
R. Al-Ali:
Uncertainty-Aware Self-Adaptive Component Design in Cyber-Physical System, Technical report no. D3S-TR-2019-02, Department of Distributed and Dependable Systems, Charles University, 2019

[ − ]
 
2018

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
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
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
E. Buzek, M. Kruliš:
An Entertaining Approach to Parallel Programming Education, in 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), pp. 340-346, 2018
DOI: 10.1109/IPDPSW.2018.00065
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
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
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
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
A. Steinhauser, P. Tůma:
DjangoChecker: Applying Extended Taint Tracking and Server Side Parsing for Detection of Context-Sensitive XSS Flaws, in Software: Practice and Experience 49(1), pp. 130-148, 2018
DOI: 10.1002/spe.2649
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
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
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
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
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
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
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
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
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
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
D. Bednárek, M. Kruliš, J. Yaghob, F. Zavoral:
Player Performance Evaluation in Team-Based First-Person Shooter eSport, in Data Management Technologies and Applications, pp. 154-175, 2018
ISBN: 978-3-319-94809-6, DOI: 10.1007/978-3-319-94809-6_8
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
T. Petříček:
What we talk about when we talk about monads, in The Art, Science, and Engineering of Programming 2(3), pp. 12:1-12:27, 2018
DOI: 10.22152/programming-journal.org/2018/2/12

[ − ]
 
2017

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
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
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
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
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
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
T. Petříček:
Data Exploration through Dot-driven Development, in 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 21:1–21:27, 2017
ISBN: 978-3-95977-035-4, DOI: 10.4230/LIPIcs.ECOOP.2017.21
D. Bednárek, M. Kruliš, J. Yaghob, F. Zavoral:
‪Data preprocessing of esport game records‬, in DATA, 2017
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
M. Kruliš, H. Osipyan, S. Marchand-Maillet:
‪Employing GPU architectures for permutation-based indexing‬, in Multimedia Tools and Applications 76(6), pp. 11859-11887, 2017
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
D. Bednárek, M. Brabec, M. Kruliš:
Improving Matrix-Based Dynamic Programming on Massively Parallel Accelerators, in Information Systems 64, pp. 175-193, 2017
DOI: 10.1016/j.is.2016.06.001
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
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
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
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
T. Petříček:
Miscomputation in software: Learning to live with errors, in The Art, Science, and Engineering of Programming 1(2), pp. 14:1-14:24, 2017
DOI: 10.22152/programming-journal.org/2017/1/14
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
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
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
I. Zelinka, M. Kruliš, M. Běhálek, T. Luu, J. Pokorný:
On Interdisciplinary Intersection of Unconventional Algorithms and Big Data Processing in Real World Problems: A Real World Example Based on Ho Chi Minh City Traffic, in Handbook of Research on Holistic Optimization Techniques in the Hospitality, Tourism, and Travel Industry, pp. 326-347, 2017
ISBN: 978-1-5225-1054-3
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
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
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
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
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
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
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
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
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

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
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
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
D. Bednárek, M. Kruliš, J. Yaghob, F. Zavoral:
‪Creating Distributed Execution Plans with BobolangNG‬, in International Conference on Algorithms and Architectures for Parallel Processing, 2016
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
A. Mycroft, D. Orchard, T. Petříček:
Effect Systems Revisited—Control-Flow Algebra and Semantics, in Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 1-32, 2016
ISBN: 978-3-319-27810-0
M. Kruliš, J. Lokoč, T. Skopal:
Efficient extraction of clustering-based feature signatures using GPU architectures, in Multimedia Tools and Applications 75(13), pp. 8071-8103, 2016
DOI: 10.1007/s11042-015-2726-y
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
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
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
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
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
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
T. Petříček:
Programming language theory: Thinking the unthinkable, in Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, pp. 31, 2016
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
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
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, DOI: 10.1007/978-3-319-47166-2_45
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
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
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
T. Petříček, G. Guerra, D. Syme:
Types from data: making structured data first-class citizens in F#, in Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 477–490, 2016
ISBN: 978-1-4503-4261-2, DOI: 10.1145/2908080.2908115

[ − ]
 
2015

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
H. Osipyan, M. Kruliš, S. Marchand-Maillet:
A Survey of CUDA-based Multidimensional Scaling on GPU Architecture, in 2015 Imperial College Computing Student Workshop (ICCSW 2015), pp. 37–45, 2015
ISBN: 978-3-95977-000-2, DOI: 10.4230/OASIcs.ICCSW.2015.37
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
T. Petříček:
Against a universal definition of 'Type', in 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), pp. 254–266, 2015
ISBN: 978-1-4503-3688-8, DOI: 10.1145/2814228.2814249
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
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
J. Pokorný, P. Škoda, I. Zelinka, D. Bednárek, F. Zavoral, M. Kruliš, P. Šaloun:
Big Data Movement: A Challenge in Data Processing, in , 2015
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
P. Galuščáková, M. Kruliš, J. Lokoč, D. Novák, P. Pecina:
‪CUNI at TRECVID 2015 Video Hyperlinking Task‬, in , 2015
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
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
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
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
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
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
M. Kruliš, D. Bednárek, M. Brabec:
Improving Parallel Processing of Matrix-Based Similarity Measures on Modern GPUs, in Similarity Search and Applications, 2015
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
Z. Falt, M. Kruliš, D. Bednárek, J. Yaghob, F. Zavoral:
Locality Aware Task Scheduling in Parallel Data Stream Processing, in Intelligent Distributed Computing VIII, pp. 331-342, 2015
ISBN: 978-3-319-10422-5, DOI: 10.1007/978-3-319-10422-5_35
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
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
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
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
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
M. Kruliš, H. Osipyan, S. Marchand-Maillet:
Permutation based indexing for high dimensional data on GPU architectures, in 2015 13th International Workshop on Content-Based Multimedia Indexing (CBMI), pp. 1-6, 2015
DOI: 10.1109/CBMI.2015.7153619
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
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
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
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
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
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
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
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
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
Z. Falt, M. Kruliš, D. Bednárek, J. Yaghob, F. Zavoral:
‪Towards Efficient Locality Aware Parallel Data Stream Processing, in Journal of Unversal Computer Science, pp. 816-841, 2015
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
M. Kruliš, D. Bednárek, Z. Falt, J. Yaghob, F. Zavoral:
Towards Semi-automated Parallelization of Data Stream Processing, in 9th International Symposium on Intelligent Distributed Computing (IDC), 2015
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

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
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
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
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
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
Z. Falt, D. Bednárek, M. Kruliš, J. Yaghob, F. Zavoral:
Bobolang: a language for parallel streaming applications, in Proceedings of the 23rd international symposium on High-performance parallel and distributed computing, pp. 311–314, 2014
ISBN: 978-1-4503-2749-7, DOI: 10.1145/2600212.2600711
T. Petříček, D. Orchard, A. Mycroft:
Coeffects: a calculus of context-dependent computation, in Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp. 123–135, 2014
ISBN: 978-1-4503-2873-9, DOI: 10.1145/2628136.2628160
J. Yaghob, D. Bednárek, M. Kruliš, F. Zavoral:
Column-Oriented Data Store for Astrophysical Data, in 2014 25th International Workshop on Database and Expert Systems Applications, pp. 258-262, 2014
DOI: 10.1109/DEXA.2014.60
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
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
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
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
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
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
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
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
D. Orchard, T. Petříček:
Embedding effect systems in Haskell, in Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, pp. 13–24, 2014
ISBN: 978-1-4503-3041-1, DOI: 10.1145/2633357.2633368
M. Kruliš, D. Bednárek, J. Yaghob, F. Zavoral:
Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics, in Similarity Search and Applications, 2014
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, DOI: 10.1007/978-3-319-09970-5_23
T. Petříček, D. Syme, Z. Bray:
In the Age of Web: Typed Functional-First Programming Revisited, in Proceedings ML Family/OCaml Users and Developers workshops, pp. 64–79, 2014
DOI: 10.4204/EPTCS.198.3
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
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
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
M. Kruliš, S. Kirchhoff, J. Yaghob:
Perils of Combining Parallel Distance Computations with Metric and Ptolemaic Indexing in kNN Queries, in Similarity Search and Applications, pp. 127-138, 2014
ISBN: 978-3-319-11988-5, DOI: 10.1007/978-3-319-11988-5_12
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
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
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
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
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
T. Petříček, D. Syme:
The F# Computation Expression Zoo, in Practical Aspects of Declarative Languages, pp. 33-48, 2014
ISBN: 978-3-319-04132-2, DOI: 10.1007/978-3-319-04132-2_3
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
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
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
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
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

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
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
P. Ježek, M. Malohlava, T. Pop:
Automated evaluation of regular lab assignments: A bittersweet experience?, in 2013 26th International Conference on Software Engineering Education and Training (CSEE T), pp. 249-258, 2013
DOI: 10.1109/CSEET.2013.6595256
T. Petříček, D. Orchard, A. Mycroft:
Coeffects: Unified Static Analysis of Context-Dependence, in Automata, Languages, and Programming, pp. 385-397, 2013
ISBN: 978-3-642-39212-2, DOI: 10.1007/978-3-642-39212-2_35
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
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
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
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
M. Kruliš, J. Lokoč, T. Skopal:
Efficient Extraction of Feature Signatures Using Multi-GPU Architecture, in Advances in Multimedia Modeling, pp. 446-456, 2013
ISBN: 978-3-642-35728-2, DOI: 10.1007/978-3-642-35728-2_43
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
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
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
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
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
T. Bureš:
Managing Variability in Component-based Software Engineering, Habilitation Thesis, Charles University, Department of Distributed and Dependable Systems, 2013
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
J. Galgonek, M. Kruliš, D. Hoksza:
On the Parallelization of the SProt Measure and the TM-Score Algorithm, in Euro-Par 2012: Parallel Processing Workshops, pp. 238-247, 2013
ISBN: 978-3-642-36949-0, DOI: 10.1007/978-3-642-36949-0_27
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
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
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
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
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
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
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, DOI: 10.1007/978-3-642-35843-2_2
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
D. Syme, K. Battocchi, K. Takeda, D. Malayeri, T. Petříček:
Themes in information-rich functional programming for internet-scale data sources, in Proceedings of the 2013 workshop on Data driven functional programming, pp. 1–4, 2013
ISBN: 978-1-4503-1871-6, DOI: 10.1145/2429376.2429378
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

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
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
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
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Autonomous components in dynamic environments, Technical report, , 2012
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
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
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
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
M. Kruliš, T. Skopal, J. Lokoč, C. Beecks:
Combining CPU and GPU architectures for fast similarity search, in Distributed and Parallel Databases 30(3), pp. 179-207, 2012
DOI: 10.1007/s10619-012-7092-4
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
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
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
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
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
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
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
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
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
M. Malohlava, P. Hnětynka, T. Bureš:
SOFA 2 Component Framework and Its Ecosystem, in Post-conference Proceedings of FESCA 2012, 2012
M. Kruliš, Z. Falt, D. Bednárek, J. Yaghob:
‪Task scheduling in hybrid CPU-GPU systems‬, in ITAT, 2012
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
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
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
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
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

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
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
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
A. Koubková, V. Koubek:
Datové struktury I., MatfyzPress, 2011
ISBN: 978-80-7378-166-8
T. Petříček, A. Mycroft, D. Syme:
Extending monads with pattern matching, in Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, pp. 1–12, 2011
DOI: 10.1145/2034675.2034677
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
D. Hauzar, J. Kofroň:
Hunting Bugs Inside Web Applications, Technical report no. 2011-26, Department of Informatics, KIT, 2011
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
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
T. Petříček, D. Syme:
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming, in Practical Aspects of Declarative Languages, pp. 205-219, 2011
ISBN: 978-3-642-18378-2, DOI: 10.1007/978-3-642-18378-2_17
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
M. Kruliš, J. Lokoč, C. Beecks, T. Skopal, T. Seidl:
Processing the signature quadratic form distance on many-core GPU architectures, in Proceedings of the 20th ACM international conference on Information and knowledge management, pp. 2373–2376, 2011
ISBN: 978-1-4503-0717-8, DOI: 10.1145/2063576.2063970
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
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
D. Syme, T. Petříček, D. Lomov:
The F# Asynchronous Programming Model, in Practical Aspects of Declarative Languages, pp. 175-189, 2011
ISBN: 978-3-642-18378-2, DOI: 10.1007/978-3-642-18378-2_15
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

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
T. Petříček, D. Syme:
Collecting hollywood's garbage: avoiding space-leaks in composite events, in Proceedings of the 9th International Symposium on Memory Management, pp. 53–62, 2010
DOI: 10.1145/1806651.1806662
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, DOI: 10.1007/978-3-642-13238-4_2
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
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
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, DOI: 10.1007/978-3-642-13265-0_3
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
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
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

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
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
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
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
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
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
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
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
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
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, DOI: 10.1007/978-3-642-05441-9_10
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
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
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, DOI: 10.1007/978-3-642-01203-7_7
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

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
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, DOI: 10.1007/978-3-540-87891-9_21
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
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
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
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
R. Kyusakov, T. Bureš, I. Crnkovic:
Model-based and component-based development of embedded systems, Master's Thesis, Malardalen University, 2008
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
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, DOI: 10.1007/978-3-540-70561-1_5
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
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
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, , 2008
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, , 2008
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
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
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
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

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
J. Kofroň:
Behavior Protocols Extensions, Dissertation thesis, Charles University, 2007
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
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
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
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
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
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
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
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
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
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
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
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

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
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
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
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
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
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
J. Kofroň:
Extending Behavior Protocols With Data and Multisynchronization, Technical report no. 2006/10, Department of Software Engineering, Charles University, 2006
T. Bureš:
Generating Connectors for Homogeneous and Heterogeneous Deployment, Doctoral Thesis, Dep. of SW Engineering, Charles University, Prague, 2006
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
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
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
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
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
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
J. Kofroň:
Software Component Verification: On Translating Behavior Protocols to Promela, Technical report no. 2006/11, Department of Software Engineering, Charles University, 2006
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

P. Hnětynka:
A model-driven environment for component deployment, in Proceedings of SERA 2005, Mount Pleasant, MI, USA, pp. 6-13, 2005
DOI: 10.1109/SERA.2005.12
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
T. Bureš:
Automated Synthesis of Connectors for Heterogeneous Deployment, Technical report no. No. 2005/4, Dep. of SW Engineering, Charles University, Prague, 2005
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
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
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
P. Tůma:
Component and Middleware Performance (Summary Paper), in Studia Informatica Universalis 4(1), pp. 1-6, 2005
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
P. Tůma:
Component Middleware, Habilitation Thesis, Charles University, 2005
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
J. Kofroň:
Enhancing Behavior Protocols with Atomic Actions, Technical report no. 2005/08, Department of Software Engineering, Charles University, 2005
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
O. Galik, T. Bureš:
Handling Heterogeneity in Connector Generation, Technical report no. No. 2005/2, Dep. of SW Engineering, Charles University, Prague, 2005
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
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
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
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
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
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
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

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
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
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
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
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
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
P. Hnětynka, M. Píše:
Hand-written vs. MOF-based metadata repositories: The SOFA experience, in Proceedings of ECBS 2004, Brno, Czech Republic, 2004
DOI: 10.1109/ECBS.2004.1316716
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
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
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

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
T. Bureš, F. Plášil:
Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague, 2003
T. Bureš:
Constraint-based generation of connectors, in Proceedings of the Week of Doctoral Students 2003 conference \(WDS 2003\), pp. 215-220, 2003
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
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
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

[ − ]
 
2002

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
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
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
T. Bureš:
Generator of Connectors for SOFA/DCUP, Master Thesis, Czech Technical University, 2002
P. Tůma, A. Buble:
Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), 2002

[ − ]
 
2001

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

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

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

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
F. Plášil, P. Tůma, A. Buble:
CORBA Benchmarking, Technical report no. 98/7, Charles University, 1998
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
A. Koubková, J. Pavelka:
Úvod do teoretické informatiky, MatfyzPress, 1998
ISBN: 80-86732-52-5
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

[ − ]
 
1997

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
P. Tůma:
Persistence in CORBA, Doctoral Thesis, Charles University, 1997

[ − ]
 
1996

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
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
J. Kleindienst, F. Plášil, P. Tůma:
What We Are Missing in the Persistent Object Service Specification, Technical report, Charles University, 1996

[ − ]
 
1995

[ − ]
 
1994

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