[ − ] 2024
J. Klepl, A. Šmelko, L. Rozsypal, M. Kruliš:
Abstractions for C++ code optimizations in parallel high-performance applications, in Parallel Computing 121, pp. 103096, 2024
DOI: https://doi.org/10.1016/j.parco.2024.103096
Abstractions for C++ code optimizations in parallel high-performance applications, in Parallel Computing 121, pp. 103096, 2024
DOI: https://doi.org/10.1016/j.parco.2024.103096
A. Pečimúth, D. Leopoldseder, P. Tůma:
An Analysis of Compiled Code Reusability in Dynamic Compilation, in Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL '24), 2024
ISBN: 979-8-4007-1213-5/24/10, DOI: 10.1145/3689490.3690406
An Analysis of Compiled Code Reusability in Dynamic Compilation, in Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL '24), 2024
ISBN: 979-8-4007-1213-5/24/10, DOI: 10.1145/3689490.3690406
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
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
P. Parízek, L. Hermann:
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners, in 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE 2024 - SEIP), pp. 25-35, 2024
DOI: 10.1145/3639477.3639739
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners, in 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE 2024 - SEIP), pp. 25-35, 2024
DOI: 10.1145/3639477.3639739
J. Belyakova, B. Chung, R. Tate, J. Vitek:
Decidable Subtyping of Existential Types for Julia, in Proc. ACM Program. Lang. 8(PLDI), pp. 191:1091–191:1114, 2024
DOI: 10.1145/3656421
Decidable Subtyping of Existential Types for Julia, in Proc. ACM Program. Lang. 8(PLDI), pp. 191:1091–191:1114, 2024
DOI: 10.1145/3656421
Y. Xu, A. Boruch-Gruszecki, M. Odersky:
Degrees of Separation: A Flexible Type System for Safe Concurrency, in Proc. ACM Program. Lang. 8(OOPSLA1), pp. 136:1181–136:1207, 2024
DOI: 10.1145/3649853
Degrees of Separation: A Flexible Type System for Safe Concurrency, in Proc. ACM Program. Lang. 8(OOPSLA1), pp. 136:1181–136:1207, 2024
DOI: 10.1145/3649853
J. Verter, T. Petříček:
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory, pre-print version available here.
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory, pre-print version available here.
C. Brom, T. Hannemann, T. Tetourová, A. Drobná, N. Kopáňková, K. Volná, K. Kačerovská, F. Děchtěrenko, P. Ježek, T. Stárková:
Eight-year-olds’ naïve and acquired knowledge about computer viruses: a mixed methods study, in International Journal of Technology and Design Education 34(3), pp. 903-938, 2024
DOI: 10.1007/s10798-023-09847-5
Eight-year-olds’ naïve and acquired knowledge about computer viruses: a mixed methods study, in International Journal of Technology and Design Education 34(3), pp. 903-938, 2024
DOI: 10.1007/s10798-023-09847-5
A. Šmelko, M. Kruliš, J. Klepl:
GPU-acceleration of neighborhood-based dimensionality reduction algorithm EmbedSOM, in 16th Workshop on General Purpose Processing Using GPU, pp. 13–18, 2024
ISBN: 979-8-4007-1817-5, DOI: 10.1145/3649411.3649414
GPU-acceleration of neighborhood-based dimensionality reduction algorithm EmbedSOM, in 16th Workshop on General Purpose Processing Using GPU, pp. 13–18, 2024
ISBN: 979-8-4007-1817-5, DOI: 10.1145/3649411.3649414
M. Töpfer, D. Khalyeyev, T. Bureš, P. Hnětynka, F. Plášil:
How Well Do LLMs Understand DEECo Ensemble-based Component Architectures, accepted for publication in Proceedings of ISOLA 2024, Crete, Greece
How Well Do LLMs Understand DEECo Ensemble-based Component Architectures, accepted for publication in Proceedings of ISOLA 2024, Crete, Greece
C. Artho, P. Parízek, D. Qu, V. Galgali, P. Yi:
JPF: From 2003 to 2023, in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), pp. 3-22, 2024
DOI: 10.1007/978-3-031-57249-4_1
JPF: From 2003 to 2023, in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), pp. 3-22, 2024
DOI: 10.1007/978-3-031-57249-4_1
T. Petříček:
Language and the Rise of the Algorithm by Jeffrey M. Binder (review), in Technology and Culture 65(1), pp. 427-429, 2024
Language and the Rise of the Algorithm by Jeffrey M. Binder (review), in Technology and Culture 65(1), pp. 427-429, 2024
C. Brom, O. Petíř, A. Drobná, A. Yaghobová, P. Ježek, K. Kačerovská, K. Volná, F. Děchtěrenko:
Lessons about Clouds, Hacking and Apps Permissions for Grades 5–7: A Design-Based Approach Using the ERR Framework, accepted for publication in SIGCSE Virtual 2024 Conference
Lessons about Clouds, Hacking and Apps Permissions for Grades 5–7: A Design-Based Approach Using the ERR Framework, accepted for publication in SIGCSE Virtual 2024 Conference
A. Šmelko, M. Kratochvíl, E. Barillot, V. Noël:
Maboss for HPC environments: implementations of the continuous time Boolean model simulator for large CPU clusters and GPU accelerators, in BMC bioinformatics 25, 2024
DOI: 10.1186/s12859-024-05815-5
Maboss for HPC environments: implementations of the continuous time Boolean model simulator for large CPU clusters and GPU accelerators, in BMC bioinformatics 25, 2024
DOI: 10.1186/s12859-024-05815-5
J. Klepl, A. Šmelko, L. Rozsypal, M. Kruliš:
Pure C++ Approach to Optimized Parallel Traversal of Regular Data Structures, in Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores, pp. 42–51, 2024
ISBN: 979-8-4007-0599-1, DOI: 10.1145/3649169.3649247
Pure C++ Approach to Optimized Parallel Traversal of Regular Data Structures, in Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores, pp. 42–51, 2024
ISBN: 979-8-4007-0599-1, DOI: 10.1145/3649169.3649247
V. Dort, Y. Li, O. Lhoták, P. Parízek:
Pure Methods for roDOT, in 38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 13:1-13:29, 2024
DOI: 10.4230/LIPICS.ECOOP.2024.13
Pure Methods for roDOT, in 38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 13:1-13:29, 2024
DOI: 10.4230/LIPICS.ECOOP.2024.13
V. Dort, L. Yufeng, O. Lhoták, P. Parízek:
Pure methods for roDOT (an extended version), Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University, 2024
Pure methods for roDOT (an extended version), Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University, 2024
K. Britikov, M. Blicha, N. Sharygina, G. Fedyukovich:
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction, in Formal Methods, pp. 558-576, 2024
ISBN: 978-3-031-71162-6, DOI: 10.1007/978-3-031-71162-6_29
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction, in Formal Methods, pp. 558-576, 2024
ISBN: 978-3-031-71162-6, DOI: 10.1007/978-3-031-71162-6_29
M. Abdullah, M. Töpfer, T. Bureš:
Robin: A Systematic Literature Mapping Management Tool, in 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2024
DOI: 10.1109/SEAA64295.2024.00051
Robin: A Systematic Literature Mapping Management Tool, in 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2024
DOI: 10.1109/SEAA64295.2024.00051
P. Maj, S. Muroya, K. Siek, L. Di Grazia, J. Vitek:
The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments, in DROPS-IDN/v2/document/10.4230/LIPIcs.ECOOP.2024.27, 2024
DOI: 10.4230/LIPIcs.ECOOP.2024.27
The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments, in DROPS-IDN/v2/document/10.4230/LIPIcs.ECOOP.2024.27, 2024
DOI: 10.4230/LIPIcs.ECOOP.2024.27
L. Parreaux, A. Boruch-Gruszecki, A. Fan, C. Chau:
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism, in When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Artifact) 8(POPL), pp. 48:1418–48:1450, 2024
DOI: 10.1145/3632890
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism, in When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Artifact) 8(POPL), pp. 48:1418–48:1450, 2024
DOI: 10.1145/3632890
[ − ] 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
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
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
A. Boruch-Gruszecki, M. Odersky, E. Lee, O. Lhoták, J. Brachthäuser:
Capturing Types, in ACM Trans. Program. Lang. Syst. 45(4), pp. 21:1–21:52, 2023
DOI: 10.1145/3618003
Capturing Types, in ACM Trans. Program. Lang. Syst. 45(4), pp. 21:1–21:52, 2023
DOI: 10.1145/3618003
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Online ML Self-adaptation in Face of Traps, accepted for publication in Proceedings of ACSOS 2023,Toronto, Canada
C. Brom, T. Hannemann, A. Drobná, N. Kopáňová, K. Kačerovská, P. Ježek, T. Stárková:
Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report, in Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, pp. 215–221, 2023
ISBN: 9798400701382, DOI: 10.1145/3587102.3588861
Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report, in Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, pp. 215–221, 2023
ISBN: 9798400701382, DOI: 10.1145/3587102.3588861
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
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
M. Mehta, S. Krynski, H. Gualandi, M. Thakur, J. Vitek:
Reusing Just-in-Time Compiled Code, in Artifact of "Reusing Just-in-Time Compiled Code" 7(OOPSLA2), pp. 263:1176–263:1197, 2023
DOI: 10.1145/3622839
Reusing Just-in-Time Compiled Code, in Artifact of "Reusing Just-in-Time Compiled Code" 7(OOPSLA2), pp. 263:1176–263:1197, 2023
DOI: 10.1145/3622839
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
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
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
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
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
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
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
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
A. Boruch-Gruszecki, R. Waśko, Y. Xu, L. Parreaux:
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning, in Mechanized proof of «A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning» 6(OOPSLA2), pp. 179:1526–179:1555, 2022
DOI: 10.1145/3563342
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning, in Mechanized proof of «A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning» 6(OOPSLA2), pp. 179:1526–179:1555, 2022
DOI: 10.1145/3563342
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
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
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
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
A. Šmelko, M. Kruliš, M. Kratochvíl, J. Klepl, J. Mayer, P. Šimůnek:
Astute Approach to Handling Memory Layouts of Regular Data Structures, in International Conference on Algorithms and Architectures for Parallel Processing, pp. 507–528, 2022
DOI: 10.1007/978-3-031-22677-9_27
Astute Approach to Handling Memory Layouts of Regular Data Structures, in International Conference on Algorithms and Architectures for Parallel Processing, pp. 507–528, 2022
DOI: 10.1007/978-3-031-22677-9_27
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
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
O. Flückiger, J. Ječmen, S. Krynski, J. Vitek:
Deoptless: speculation with dispatched on-stack replacement and specialized continuations, in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 749–761, 2022
ISBN: 978-1-4503-9265-5, DOI: 10.1145/3519939.3523729
Deoptless: speculation with dispatched on-stack replacement and specialized continuations, in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 749–761, 2022
ISBN: 978-1-4503-9265-5, DOI: 10.1145/3519939.3523729
J. Brachthäuser, P. Schuster, E. Lee, A. Boruch-Gruszecki:
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back, in Artifact of the paper "Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back" 6(OOPSLA1), pp. 76:1–76:30, 2022
DOI: 10.1145/3527320
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back, in Artifact of the paper "Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back" 6(OOPSLA1), pp. 76:1–76:30, 2022
DOI: 10.1145/3527320
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
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
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
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
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
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
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
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
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
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
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
A. Turcotte, P. Donat-Bouillud, F. Křikava, J. Vitek:
signatr: A Data-Driven Fuzzing Tool for R, in Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, pp. 216–221, 2022
ISBN: 978-1-4503-9919-7, DOI: 10.1145/3567512.3567530
signatr: A Data-Driven Fuzzing Tool for R, in Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, pp. 216–221, 2022
ISBN: 978-1-4503-9919-7, DOI: 10.1145/3567512.3567530
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Tracking Performance of the Graal Compiler on Public Benchmarks, presented at MongoDB Performance Tech Talk 2021, 2021
J. Edwards, T. Petříček:
Typed Image-based Programming with Structure Editing, pre-print version available here.
Typed Image-based Programming with Structure Editing, pre-print version available here.
[ − ] 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
J. Jakubovic:
What it takes to create with domain-appropriate tools: reflections on implementing the “id” system, in Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming, pp. 197–207, 2020
ISBN: 978-1-4503-7507-8, DOI: 10.1145/3397537.3397549
What it takes to create with domain-appropriate tools: reflections on implementing the “id” system, in Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming, pp. 197–207, 2020
ISBN: 978-1-4503-7507-8, DOI: 10.1145/3397537.3397549
[ − ] 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
[ − ] 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
M. Kruliš, P. Stefan, J. Yaghob, F. Zavoral:
Assessing Applicability of Power-Efficient Embedded Devices for Micro-Cloud Computing, in ITAT, 2015
Assessing Applicability of Power-Efficient Embedded Devices for Micro-Cloud Computing, in ITAT, 2015
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
Big Data Movement: A Challenge in Data Processing, in , 2015
D. Bednárek, M. Kruliš, P. Malý, J. Yaghob, F. Zavoral, J. Pokorný:
Combining Distributed Computing and Massively Parallel Devices to Accelerate Stream Data Processing, in DBKDA, 2015
Combining Distributed Computing and Massively Parallel Devices to Accelerate Stream Data Processing, in DBKDA, 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
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
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
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
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
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
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
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
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
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
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
M. Kruliš:
Is There a Free Lunch for Image Feature Extraction in Web Applications, in Similarity Search and Applications, 2015
Is There a Free Lunch for Image Feature Extraction in Web Applications, in Similarity Search and Applications, 2015
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
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
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
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
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
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
D. Bednárek, M. Brabec, M. Kruliš:
On Parallel Evaluation of Matrix-Based Dynamic Programming Algorithms, in , 2015
On Parallel Evaluation of Matrix-Based Dynamic Programming Algorithms, in , 2015
M. Kruliš, H. Osipyan, S. Marchand-Maillet:
Optimizing Sorting and Top-k Selection Steps in Permutation Based Indexing on GPUs, in ADBIS, 2015
Optimizing Sorting and Top-k Selection Steps in Permutation Based Indexing on GPUs, in ADBIS, 2015
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
F. Zavoral, J. Yaghob, D. Bednárek, M. Kruliš:
Contemplating Efficiency of the ROOT File Format for Data Intensive Simulations in Particle Physics, in ITAT, 2014
Contemplating Efficiency of the ROOT File Format for Data Intensive Simulations in Particle Physics, in ITAT, 2014
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
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
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
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
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
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
D. Bednárek, M. Kruliš, J. Yaghob, F. Zavoral:
Employing Evolutionary Algorithms for Classification of Astrophysical Spectra, in ITAT, 2014
Employing Evolutionary Algorithms for Classification of Astrophysical Spectra, in ITAT, 2014
M. Kruliš, D. Bednárek, J. Yaghob, F. Zavoral:
Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics, in Similarity Search and Applications, 2014
Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics, in Similarity Search and Applications, 2014
M. Kruliš, Z. Falt, F. Zavoral:
Exploiting HTML5 Technologies for Distributed Parasitic Web Storge, in DATESO, 2014
Exploiting HTML5 Technologies for Distributed Parasitic Web Storge, in DATESO, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Refinement between TBP and Java Implementation of Components, Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University, 2011
M. Kruliš, J. Yaghob:
Revision of relational joins for multi-core and many-core architectures, in DATESO, 2011
Revision of relational joins for multi-core and many-core architectures, in DATESO, 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
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
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
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
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
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
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
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
M. Kruliš, J. Yaghob:
Efficient implementation of xpath processor on multi-core cpus, in DATESO, 2010
Efficient implementation of xpath processor on multi-core cpus, in DATESO, 2010
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
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
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
:
Research into Practice - Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings, in , 2010
ISBN: ISBN 978-3-642-13820-1, DOI: 10.1007/978-3-642-13821-8
Research into Practice - Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings, in , 2010
ISBN: ISBN 978-3-642-13820-1, DOI: 10.1007/978-3-642-13821-8
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
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
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
M. Kruliš, J. Yaghob:
The Location Path to Hell Is Paved With Unoptimized Axes: XPath Implementation Tips, in Networked Digital Technologies, 2010
The Location Path to Hell Is Paved With Unoptimized Axes: XPath Implementation Tips, in Networked Digital Technologies, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
M. Malohlava, T. Bureš:
Language for reconfiguring runtime infrastructure of component-based systems, Technical report, , 2008
Language for reconfiguring runtime infrastructure of component-based systems, Technical report, , 2008
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
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
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
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
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
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
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
Q-ImPrESS project deliverable D2. 1: service architecture meta model (SAMM), Technical report, , 2008
:
Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, in , 2008
ISBN: ISBN 978-3-540-87878-0, DOI: 10.1007/978-3-540-87879-7
Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, in , 2008
ISBN: ISBN 978-3-540-87878-0, DOI: 10.1007/978-3-540-87879-7
T. Bureš, P. Hnětynka:
Safe Systems with Software Components in SOFA 2, Technical report, , pp. 27-28, 2008
Safe Systems with Software Components in SOFA 2, Technical report, , pp. 27-28, 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
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
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
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
:
The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], in , 2008
ISBN: ISBN 978-3-540-85288-9, DOI: 10.1007/978-3-540-85289-6
The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], in , 2008
ISBN: ISBN 978-3-540-85288-9, DOI: 10.1007/978-3-540-85289-6
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
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
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
Advanced features of hierarchical component models, in in: Proceedings of ISIM’07, Hradec nad Moravici, Czech Republic, 2007, pp. 3–10, 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
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
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
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
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
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
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
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
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
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
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
:
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, in , 2007
ISBN: ISBN 978-3-540-69506-6, DOI: 10.1007/978-3-540-69507-3
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, in , 2007
ISBN: ISBN 978-3-540-69506-6, DOI: 10.1007/978-3-540-69507-3
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Component composition errors and update atomicity: static analysis., in Journal of Software Maintenance 17(5), pp. 363-377, 2005
DOI: 10.1002/smr.321
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
L. Bulej, T. Bureš:
Connectors in the Context of OMG D&C Specification, in Doktorandsky DEN 2004, 2004
Connectors in the Context of OMG D&C Specification, in Doktorandsky DEN 2004, 2004
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
P. Tůma, A. Buble:
Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), 2002
Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), 2002
:
SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings, in , 2002
ISBN: ISBN 3-540-00145-X, DOI: 10.1007/3-540-36137-5
SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings, in , 2002
ISBN: ISBN 3-540-00145-X, DOI: 10.1007/3-540-36137-5
[ − ] 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
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
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
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
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
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
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
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
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
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
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
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
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
F. Plášil, K. Jeffery:
SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings, Springer, 1997
ISBN: 3-540-63774-5
SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings, Springer, 1997
ISBN: 3-540-63774-5
[ − ] 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
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
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
What We Are Missing in the Persistent Object Service Specification, Technical report, Charles University, 1996
[ − ] 1995
A. Koubková:
Two special models of AR(n) processes with time-dependent random parameters, in Kybernetika 31(4), pp. 347-357, 1995
Two special models of AR(n) processes with time-dependent random parameters, in Kybernetika 31(4), pp. 347-357, 1995
[ − ] 1994
P. Tůma:
Návrh a implementace IP routeru pro dialup, Master Thesis, Czech Technical University, 1994
Návrh a implementace IP routeru pro dialup, Master Thesis, Czech Technical University, 1994