Author-Tomasbures on D3S https://d3s.mff.cuni.cz/tags/author-tomasbures/ Recent content in Author-Tomasbures on D3S Hugo en A Combined Approach to Performance Regression Testing Resource Usage Reduction https://d3s.mff.cuni.cz/publications/abdullah_combined_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abdullah_combined_2025/ A Component Model Family for Vehicular Embedded Systems https://d3s.mff.cuni.cz/publications/bures_component_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_component_2008/ A Component Model for Control-Intensive Distributed Embedded Systems https://d3s.mff.cuni.cz/publications/sentilles_component_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/sentilles_component_2008/ A Connector Model Suitable for Automatic Generation of Connectors https://d3s.mff.cuni.cz/publications/bulej_connector_report_2003/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_connector_report_2003/ A Framework for Tunable Anomaly Detection https://d3s.mff.cuni.cz/publications/alam_framework_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alam_framework_2019/ A guide to design uncertainty-aware self-adaptive components in Cyber–Physical Systems https://d3s.mff.cuni.cz/publications/alali_guide_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_guide_2022/ A language and framework for dynamic component ensembles in smart systems https://d3s.mff.cuni.cz/publications/bures_language_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_language_2020/ A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase https://d3s.mff.cuni.cz/publications/bures_life_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_life_2013/ A Model-Based Approach to Experiment-Driven Evolution of ML Workflows: https://d3s.mff.cuni.cz/publications/hnetynka_modelbased_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_modelbased_2025/ A Toolbox for Realtime Timeseries Anomaly Detection https://d3s.mff.cuni.cz/publications/bobel_toolbox_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bobel_toolbox_2020/ A Virtual Playground for Testing Smart Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/khalyeyev_virtual_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/khalyeyev_virtual_2018/ Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations https://d3s.mff.cuni.cz/publications/bures_adaptation_report_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_adaptation_report_2014/ Adapting a System with Noisy Outputs with Statistical Guarantees https://d3s.mff.cuni.cz/publications/gerostathopoulos_adapting_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_adapting_2018/ Adaptive Deployment in Ad-hoc Systems Using Emergent Component Ensembles: Vision Paper https://d3s.mff.cuni.cz/publications/bulej_adaptive_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_adaptive_2013/ Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation https://d3s.mff.cuni.cz/publications/kubat_adaptive_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kubat_adaptive_2018/ Addressing Heterogeneity in OMG D&C-based Deployment https://d3s.mff.cuni.cz/publications/bulej_addressing_report_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_addressing_report_2004/ Addressing Static Execution Overhead in Connectors with Disabled Optional Features https://d3s.mff.cuni.cz/publications/bulej_addressing_report_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_addressing_report_2006/ Advanced features of hierarchical component models https://d3s.mff.cuni.cz/publications/hnetynka_advanced_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_advanced_2007/ An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems https://d3s.mff.cuni.cz/publications/kit_architecture_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kit_architecture_2015/ An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS https://d3s.mff.cuni.cz/publications/matena_ensemblebased_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/matena_ensemblebased_2017/ Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/gerostathopoulos_architectural_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_architectural_2016/ Architectural Optimization for Confidentiality Under Structural Uncertainty https://d3s.mff.cuni.cz/publications/walter_architectural_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/walter_architectural_2022/ Architecture Adaptation Based on Belief Inaccuracy Estimation https://d3s.mff.cuni.cz/publications/alali_architecture_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_architecture_2014/ Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0 https://d3s.mff.cuni.cz/publications/walter_architecturebased_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/walter_architecturebased_2023/ Aspect-Oriented Adaptation of Access Control Rules https://d3s.mff.cuni.cz/publications/bures_aspectoriented_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_aspectoriented_2021/ Attuning Adaptation Rules via a Rule-Specific Neural Network https://d3s.mff.cuni.cz/publications/bures_attuning_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_attuning_2022/ Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality https://d3s.mff.cuni.cz/publications/krijt_automated_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/krijt_automated_2017/ Automated resolution of connector architectures using constraint solving (ARCAS method) https://d3s.mff.cuni.cz/publications/keznikl_automated_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/keznikl_automated_2014/ Automated Resolution of Connector Architectures Using Constraint Solving \(ARCAS method\) https://d3s.mff.cuni.cz/publications/keznikl_automated_report_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/keznikl_automated_report_2012/ Automated Synthesis of Connectors for Heterogeneous Deployment https://d3s.mff.cuni.cz/publications/bures_automated_report_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_automated_report_2005/ Automated Trainability Evaluation for Smart Software Functions https://d3s.mff.cuni.cz/publications/gerostathopoulos_automated_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_automated_2019/ Autonomic Component Ensembles for Dynamic Evolving Architectures of Context-aware Smart Systems: Invited Talk Abstract https://d3s.mff.cuni.cz/publications/bures_autonomic_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_autonomic_2017/ Autonomous components in dynamic environments https://d3s.mff.cuni.cz/publications/bures_autonomous_report_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_autonomous_report_2012/ Bridging the Component-Based and Service-Oriented Worlds https://d3s.mff.cuni.cz/publications/masek_bridging_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/masek_bridging_2009/ Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns https://d3s.mff.cuni.cz/publications/bures_capturing_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_capturing_2020/ Capturing Performance Assumptions Using Stochastic Performance Logic https://d3s.mff.cuni.cz/publications/bulej_capturing_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_capturing_2012/ Case Studies for Component Based Development for Real-time and Embedded Devices https://d3s.mff.cuni.cz/publications/pop_case_report_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/pop_case_report_2011/ Checking Fractal Component Behavior Using Behavior Protocols https://d3s.mff.cuni.cz/publications/kofron_checking_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_checking_2006/ CoCoME in Fractal https://d3s.mff.cuni.cz/publications/bulej_cocome_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_cocome_2008/ CoCoME in SOFA https://d3s.mff.cuni.cz/publications/bures_cocome_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_cocome_2008/ CoCoME in SOFA 2.0 https://d3s.mff.cuni.cz/publications/bures_cocome_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_cocome_2007/ CoDIT: Bridging the Gap between System-Level and Component-Level Development https://d3s.mff.cuni.cz/publications/hermann_codit_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hermann_codit_2012/ Communication Style Driven Connector Configurations https://d3s.mff.cuni.cz/publications/bures_communication_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_communication_2004/ Comparison of component frameworks for real-time embedded systems https://d3s.mff.cuni.cz/publications/pop_comparison_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/pop_comparison_2014/ Comparison of Component Frameworks for Real-Time Embedded Systems https://d3s.mff.cuni.cz/publications/hosek_comparison_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hosek_comparison_2010/ Component reliability extensions for fractal component model https://d3s.mff.cuni.cz/publications/adamek_component_report_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_component_report_2006/ Component-based design of cyber-physical applications with safety-critical requirements https://d3s.mff.cuni.cz/publications/masrur_componentbased_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/masrur_componentbased_2016/ Component-based Development for the Era of AI Coding Agents https://d3s.mff.cuni.cz/publications/bures_componentbased_report_2026/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_componentbased_report_2026/ Composing Connectors of Elements https://d3s.mff.cuni.cz/publications/bures_composing_report_2003/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_composing_report_2003/ Computational Model for Gossiping Components in Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/bures_computational_report_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_computational_report_2014/ Connectors in the Context of OMG D&C Specification https://d3s.mff.cuni.cz/publications/bulej_connectors_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_connectors_2004/ Constraint-based generation of connectors https://d3s.mff.cuni.cz/publications/bures_constraintbased_2003/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_constraintbased_2003/ Controlling Automatic Experiment-Driven Systems Using Statistics and Machine Learning https://d3s.mff.cuni.cz/publications/batista_controlling_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/batista_controlling_2023/ Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results https://d3s.mff.cuni.cz/publications/gerostathopoulos_costaware_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_costaware_2018/ DEECo - an Ensemble-Based Component System https://d3s.mff.cuni.cz/publications/bures_deeco_report_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_deeco_report_2013/ DEECo – an Ensemble-Based Component System https://d3s.mff.cuni.cz/publications/bures_deeco_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_deeco_2013/ DEECo Computational Model - I https://d3s.mff.cuni.cz/publications/alali_deeco_report_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_deeco_report_2013/ DEECo: An Ecosystem for Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/alali_deeco_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_deeco_2014/ DEECo: Software Engineering for Smart CPS https://d3s.mff.cuni.cz/publications/bures_deeco_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_deeco_2014/ Deploying Heterogeneous Applications using OMG D&C and Software Connectors https://d3s.mff.cuni.cz/publications/bulej_deploying_report_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_deploying_report_2005/ Design of Ensemble-Based Component Systems by Invariant Refinement https://d3s.mff.cuni.cz/publications/keznikl_design_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/keznikl_design_2013/ Development of Smart Cyber-physical Systems https://d3s.mff.cuni.cz/publications/bures_development_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_development_2014/ Dynamic Access Control in Industry 4.0 Systems https://d3s.mff.cuni.cz/publications/heinrich_dynamic_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/heinrich_dynamic_2023/ Dynamic Security Specification Through Autonomic Component Ensembles https://d3s.mff.cuni.cz/publications/alali_dynamic_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_dynamic_2018/ Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations https://d3s.mff.cuni.cz/publications/abdullah_early_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abdullah_early_2023/ Eliminating Execution Overhead of Disabled Optional Features in Connectors https://d3s.mff.cuni.cz/publications/bulej_eliminating_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_eliminating_2006/ Employing Domain Knowledge for Optimizing Component Communication https://d3s.mff.cuni.cz/publications/kit_employing_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kit_employing_2015/ Engineering Autonomous Systems https://d3s.mff.cuni.cz/publications/serbedzija_engineering_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/serbedzija_engineering_2013/ Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems https://d3s.mff.cuni.cz/publications/topfer_ensemblebased_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/topfer_ensemblebased_2022/ ExpEngine: A Tool for Data Analytics Workflow Optimization Through User-Driven Experimentation https://d3s.mff.cuni.cz/publications/rajenthiram_expengine_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/rajenthiram_expengine_2024/ Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed https://d3s.mff.cuni.cz/publications/matena_experimenting_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/matena_experimenting_2019/ Extensible Polyglot Programming Support in Existing Component Frameworks https://d3s.mff.cuni.cz/publications/keznikl_extensible_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/keznikl_extensible_2011/ Fine-grained Entities in Component Architectures https://d3s.mff.cuni.cz/publications/bures_finegrained_report_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_finegrained_report_2009/ FOAM: A Lightweight Method for Verification of Use-Cases https://d3s.mff.cuni.cz/publications/simko_foam_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_foam_2012/ Formal Semantics of Component Ensembles https://d3s.mff.cuni.cz/publications/bures_formal_report_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_formal_report_2019/ Formal Verification of Annotated Textual Use-Cases https://d3s.mff.cuni.cz/publications/simko_formal_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_formal_2015/ Formal Verification of Annotated Use Cases https://d3s.mff.cuni.cz/publications/simko_formal_report_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_formal_report_2012/ Formalization of Invariant Patterns for the Invariant Refinement Method https://d3s.mff.cuni.cz/publications/bures_formalization_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_formalization_2015/ Formalization of Invariant Patterns for the Invariant Refinement Method https://d3s.mff.cuni.cz/publications/bures_formalization_report_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_formalization_report_2013/ Forming Ensembles at Runtime: A Machine Learning Approach https://d3s.mff.cuni.cz/publications/bures_forming_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_forming_2020/ From Textual Use-Cases to Component-Based Applications https://d3s.mff.cuni.cz/publications/simko_from_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_from_2010/ Generating adaptation rule-specific neural network https://d3s.mff.cuni.cz/publications/bures_generating_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_generating_2023/ Generating Connectors for Heterogeneous Deployment https://d3s.mff.cuni.cz/publications/galik_generating_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/galik_generating_2005/ Generating Connectors for Homogeneous and Heterogeneous Deployment https://d3s.mff.cuni.cz/publications/bures_generating_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_generating_2006/ Generator of Connectors for SOFA/DCUP https://d3s.mff.cuni.cz/publications/bures_generator_2002/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_generator_2002/ Gossiping Components for Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/bures_gossiping_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_gossiping_2014/ Handling Environmental Uncertainty in Design Time Access Control Analysis https://d3s.mff.cuni.cz/publications/boltz_handling_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/boltz_handling_2022/ Handling Heterogeneity in Connector Generation https://d3s.mff.cuni.cz/publications/galik_handling_report_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/galik_handling_report_2005/ High-level mission specification for multiple robots https://d3s.mff.cuni.cz/publications/garcia_highlevel_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/garcia_highlevel_2019/ How Well Do LLMs Understand DEECo Ensemble-based Component Architectures https://d3s.mff.cuni.cz/publications/topfer_how_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/topfer_how_2024/ Intelligent Ensembles - A Declarative Group Description Language and Java Framework https://d3s.mff.cuni.cz/publications/krijt_intelligent_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/krijt_intelligent_2017/ Intelligent Ensembles – a Declarative Group Description Language and Java Framework (Artifact) https://d3s.mff.cuni.cz/publications/krijt_intelligent_2017_2/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/krijt_intelligent_2017_2/ Interoperable domain-specific languages families for code generation https://d3s.mff.cuni.cz/publications/malohlava_interoperable_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/malohlava_interoperable_2013/ Interoperable DSL Families for Code Generation https://d3s.mff.cuni.cz/publications/malohlava_interoperable_report_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/malohlava_interoperable_report_2011/ Interpreting Workflow Architectures by LLMs: https://d3s.mff.cuni.cz/publications/topfer_interpreting_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/topfer_interpreting_2025/ Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive Architectures https://d3s.mff.cuni.cz/publications/abdullah_introducing_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abdullah_introducing_2023/ Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned https://d3s.mff.cuni.cz/publications/pop_introducing_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/pop_introducing_2011/ IVIS: Highly customizable framework for visualization and processing of IoT data https://d3s.mff.cuni.cz/publications/bulej_ivis_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_ivis_2020/ Language for reconfiguring runtime infrastructure of component-based systems https://d3s.mff.cuni.cz/publications/malohlava_language_report_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/malohlava_language_report_2008/ Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems https://d3s.mff.cuni.cz/publications/kroiss_logicbased_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kroiss_logicbased_2015/ Logic-based modeling of information transfer in cyber–physical multi-agent systems https://d3s.mff.cuni.cz/publications/kroiss_logicbased_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kroiss_logicbased_2016/ Low-cost IoT, Big Data, and Cloud Platform for Developing Countries https://d3s.mff.cuni.cz/publications/dupont_lowcost_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/dupont_lowcost_2017/ Machine-learning abstractions for component-based self-optimizing systems https://d3s.mff.cuni.cz/publications/topfer_machinelearning_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/topfer_machinelearning_2023/ Managing latency in edge–cloud environment https://d3s.mff.cuni.cz/publications/bulej_managing_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_managing_2021/ Managing Variability in Component-based Software Engineering https://d3s.mff.cuni.cz/publications/bures_managing_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_managing_2013/ Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/gerostathopoulos_metaadaptation_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_metaadaptation_2015/ Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/gerostathopoulos_metaadaptation_report_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_metaadaptation_report_2015/ Microcomponent-Based Component Controllers: A Foundation for Component Aspects https://d3s.mff.cuni.cz/publications/mencl_microcomponentbased_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mencl_microcomponentbased_2005/ ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components https://d3s.mff.cuni.cz/publications/topfer_mldeeco_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/topfer_mldeeco_2022/ MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-adaptive Systems https://d3s.mff.cuni.cz/publications/alberts_mocksas_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alberts_mocksas_2023/ Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments https://d3s.mff.cuni.cz/publications/outly_mode_report_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/outly_mode_report_2011/ Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact) https://d3s.mff.cuni.cz/publications/schmid_model_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/schmid_model_2017/ Model Problem and Testbed for Experiments with Adaptation in Smart Cyber-physical Systems https://d3s.mff.cuni.cz/publications/matena_model_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/matena_model_2016/ Model-based and component-based development of embedded systems https://d3s.mff.cuni.cz/publications/kyusakov_modelbased_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kyusakov_modelbased_2008/ Model-based Confidentiality Analysis under Uncertainty https://d3s.mff.cuni.cz/publications/hahner_modelbased_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hahner_modelbased_2023/ Modeling Data Flow Constraints for Design-Time Confidentiality Analyses https://d3s.mff.cuni.cz/publications/hahner_modeling_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hahner_modeling_2021/ Modeling Machine Learning Concerns in Collective Adaptive Systems: https://d3s.mff.cuni.cz/publications/hnetynka_modeling_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_modeling_2023/ Online ML Self-adaptation in Face of Traps https://d3s.mff.cuni.cz/publications/topfer_online_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/topfer_online_2023/ Patterns for Self-Adaptation in Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/musil_patterns_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/musil_patterns_2017/ Performance Awareness in Component Systems (Vision Paper) https://d3s.mff.cuni.cz/publications/bulej_performance_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_performance_2012/ Performance Modelling of Smart Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/bures_performance_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_performance_2018/ Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems https://d3s.mff.cuni.cz/publications/gerostathopoulos_position_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_position_2013/ Preliminary results of a survey on the use of self-adaptation in industry https://d3s.mff.cuni.cz/publications/weyns_preliminary_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/weyns_preliminary_2022/ Preserving Intentions in SOA Business Process Development https://d3s.mff.cuni.cz/publications/kapova_preserving_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kapova_preserving_2008/ ProCom - the Progress Component Model Reference Manual, version 1.0 https://d3s.mff.cuni.cz/publications/bures_procom_report_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_procom_report_2008/ Progress Component Model Reference Manual - version 0.5 https://d3s.mff.cuni.cz/publications/bures_progress_report_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_progress_report_2008/ PROMISE: high-level mission specification for multiple robots https://d3s.mff.cuni.cz/publications/garcia_promise_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/garcia_promise_2020/ Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components https://d3s.mff.cuni.cz/publications/pop_property_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/pop_property_2012/ Q-ImPrESS project deliverable D2. 1: service architecture meta model (SAMM) https://d3s.mff.cuni.cz/publications/becker_qimpress_report_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/becker_qimpress_report_2008/ QRML: A Component Language and Toolset for Quality and Resource Management https://d3s.mff.cuni.cz/publications/vandenberg_qrml_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/vandenberg_qrml_2020/ Real-life Behavior Specification of Software Components https://d3s.mff.cuni.cz/publications/adamek_reallife_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_reallife_2006/ Reducing Experiment Costs in Automated Software Performance Regression Detection https://d3s.mff.cuni.cz/publications/abdullah_reducing_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abdullah_reducing_2022/ RELATE: A Research Training Network on Engineering and Provisioning of Service-based Cloud Applications https://d3s.mff.cuni.cz/publications/kounev_relate_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kounev_relate_2013/ Requirement Specifications Using Natural Languages https://d3s.mff.cuni.cz/publications/bures_requirement_report_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_requirement_report_2012/ Robin: A Systematic Literature Mapping Management Tool https://d3s.mff.cuni.cz/publications/abdullah_robin_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abdullah_robin_2024/ Runtime Concepts of Hierarchical Software Components https://d3s.mff.cuni.cz/publications/bures_runtime_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_runtime_2007/ Runtime Support for Advanced Component Concepts https://d3s.mff.cuni.cz/publications/bures_runtime_2007_2/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_runtime_2007_2/ Safe Systems with Software Components in SOFA 2 https://d3s.mff.cuni.cz/publications/bures_safe_report_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_safe_report_2008/ Scalable Element-Based Connectors https://d3s.mff.cuni.cz/publications/bures_scalable_2003/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_scalable_2003/ Security and Trust in Data Sharing Smart Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/stumpf_security_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/stumpf_security_2015/ Self-Adaptation 2.0 https://d3s.mff.cuni.cz/publications/bures_selfadaptation_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_selfadaptation_2021/ Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool https://d3s.mff.cuni.cz/publications/schmid_selfadaptation_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/schmid_selfadaptation_2017/ Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations https://d3s.mff.cuni.cz/publications/gerostathopoulos_selfadaptation_report_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_selfadaptation_report_2015/ Self-Adaptation in Industry: A Survey https://d3s.mff.cuni.cz/publications/weyns_selfadaptation_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/weyns_selfadaptation_2023/ Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations https://d3s.mff.cuni.cz/publications/gerostathopoulos_selfadaptation_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_selfadaptation_2016/ Self-adaptive K8S Cloud Controller for Time-sensitive Applications https://d3s.mff.cuni.cz/publications/bulej_selfadaptive_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_selfadaptive_2021/ Service Architecture Meta Model https://d3s.mff.cuni.cz/publications/becker_service_report_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/becker_service_report_2008/ Simdex: a simulator of a real self-adaptive job-dispatching system backend https://d3s.mff.cuni.cz/publications/krulis_simdex_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/krulis_simdex_2022/ Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication https://d3s.mff.cuni.cz/publications/bures_smart_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_smart_2016/ SOFA 2 Component Framework and Its Ecosystem https://d3s.mff.cuni.cz/publications/malohlava_sofa_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/malohlava_sofa_2012/ SOFA 2 Component Framework and Its Ecosystem https://d3s.mff.cuni.cz/publications/malohlava_sofa_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/malohlava_sofa_2013/ SOFA 2.0 metamodel https://d3s.mff.cuni.cz/publications/hnetynka_sofa_report_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_sofa_report_2005/ SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model https://d3s.mff.cuni.cz/publications/bures_sofa_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_sofa_2006/ SOFA High Integrity: Our Approach to SAVOIR https://d3s.mff.cuni.cz/publications/hnetynka_sofa_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_sofa_2009/ Software Abstractions for Component Interaction in the Internet of Things https://d3s.mff.cuni.cz/publications/bures_software_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_software_2016/ Software Components in Computer Assisted Living https://d3s.mff.cuni.cz/publications/plasil_software_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_software_2013/ Software Engineering for Smart Cyber-Physical Systems – Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS https://d3s.mff.cuni.cz/publications/bures_software_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_software_2015/ Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions https://d3s.mff.cuni.cz/publications/bures_software_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_software_2017/ Software Engineering for Software-Intensive Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/gerostathopoulos_software_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_software_2014/ Software Engineering for Software-Intensive Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/gerostathopoulos_software_report_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_software_report_2014/ SPL: Unit Testing Performance https://d3s.mff.cuni.cz/publications/bulej_spl_report_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_spl_report_2014/ Statistical Approach to Architecture Modes in Smart Cyber Physical Systems https://d3s.mff.cuni.cz/publications/bures_statistical_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_statistical_2016/ Statistical Approach to Architecture Modes in Smart Cyber Physical Systems https://d3s.mff.cuni.cz/publications/bures_statistical_report_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_statistical_report_2015/ Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies https://d3s.mff.cuni.cz/publications/gerostathopoulos_strengthening_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_strengthening_2017/ Strengthening Architectures of Smart CPS by Modeling Them As Runtime Product-lines https://d3s.mff.cuni.cz/publications/bures_strengthening_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_strengthening_2014/ Strengthening Component Architectures by Modeling Fine-Grained Entities https://d3s.mff.cuni.cz/publications/bures_strengthening_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_strengthening_2011/ Supporting Performance Awareness in Autonomous Ensembles https://d3s.mff.cuni.cz/publications/bulej_supporting_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_supporting_2015/ Supporting Real-Life Applications in Hierarchical Component Systems https://d3s.mff.cuni.cz/publications/jezek_supporting_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jezek_supporting_2009/ Supporting real-time features in a hierarchical component system https://d3s.mff.cuni.cz/publications/hosek_supporting_report_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hosek_supporting_report_2010/ Targeting uncertainty in smart CPS by confidence-based logic https://d3s.mff.cuni.cz/publications/bures_targeting_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_targeting_2021/ The Autonomic Cloud https://d3s.mff.cuni.cz/publications/mayer_autonomic_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mayer_autonomic_2015/ The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing https://d3s.mff.cuni.cz/publications/mayer_autonomic_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mayer_autonomic_2013/ The E-mobility Case Study https://d3s.mff.cuni.cz/publications/hoch_emobility_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hoch_emobility_2015/ The Invariant Refinement Method https://d3s.mff.cuni.cz/publications/bures_invariant_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_invariant_2015/ The role of ontologies in schema-based program synthesis, Workshop on Ontologies as SofDiare Engineering Artifacts https://d3s.mff.cuni.cz/publications/bures_role_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_role_2004/ The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/nikiforova_twohemisphere_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/nikiforova_twohemisphere_2017/ Toward autonomically composable and context-dependent access control specification through ensembles https://d3s.mff.cuni.cz/publications/alali_toward_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_toward_2020/ Towards a Periodic Table of Component Models https://d3s.mff.cuni.cz/publications/bures_towards_report_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_towards_report_2012/ Towards a Reference Component Model of Edge-Cloud Continuum https://d3s.mff.cuni.cz/publications/khalyeyev_towards_2023_2/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/khalyeyev_towards_2023_2/ Towards Characterization of Edge-Cloud Continuum https://d3s.mff.cuni.cz/publications/khalyeyev_towards_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/khalyeyev_towards_2023/ Towards Component Modelling of Embedded Systems in the Vehicular Domain https://d3s.mff.cuni.cz/publications/bures_towards_report_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_towards_report_2008/ Towards Component-Based Design of Safety-Critical Cyber-Physical Applications https://d3s.mff.cuni.cz/publications/masrur_towards_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/masrur_towards_2014/ Towards Continuous Experiment-Driven MLOps https://d3s.mff.cuni.cz/publications/rajenthiram_towards_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/rajenthiram_towards_2025/ Towards Dependable Emergent Ensembles of Components: The DEECo Component Model https://d3s.mff.cuni.cz/publications/keznikl_towards_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/keznikl_towards_2012/ Towards Intelligent Ensembles https://d3s.mff.cuni.cz/publications/bures_towards_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_towards_2015/ Towards Model-driven Fuzzification of Adaptive Systems Specification: https://d3s.mff.cuni.cz/publications/bures_towards_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_towards_2022/ Towards Performance-Aware Engineering of Autonomic Component Ensembles https://d3s.mff.cuni.cz/publications/bures_towards_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_towards_2014/ Towards Systematic Live Experimentation in Software-intensive Systems of Systems https://d3s.mff.cuni.cz/publications/gerostathopoulos_towards_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_towards_2016/ Towards Verification of Ensemble-Based Component Systems https://d3s.mff.cuni.cz/publications/barnat_towards_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/barnat_towards_2014/ Trait-based Language for Smart Cyber-Physical Systems https://d3s.mff.cuni.cz/publications/bures_traitbased_report_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_traitbased_report_2017/ Tuning Self-Adaptation in Cyber-Physical Systems through Architectural Homeostasis https://d3s.mff.cuni.cz/publications/gerostathopoulos_tuning_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_tuning_2019/ Understanding ensemble-based component architectures by LLMs https://d3s.mff.cuni.cz/publications/topfer_understanding_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/topfer_understanding_2025/ Unit testing performance with Stochastic Performance Logic https://d3s.mff.cuni.cz/publications/bulej_unit_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_unit_2017/ Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems https://d3s.mff.cuni.cz/publications/alali_use_report_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_use_report_2018/ Using a Product Line for Creating Component Systems https://d3s.mff.cuni.cz/publications/bures_using_2009_2/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_using_2009_2/ Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart Farming https://d3s.mff.cuni.cz/publications/hnetynka_using_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_using_2020/ Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification https://d3s.mff.cuni.cz/publications/bulej_using_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_using_2006/ Using Connectors to Address Transparent Distribution in Enterprise Systems – Pitfalls and Options https://d3s.mff.cuni.cz/publications/bures_using_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_using_2009/ Using DSL for Automatic Generation of Software Connectors https://d3s.mff.cuni.cz/publications/bures_using_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_using_2008/ Verifying Temporal Properties of Use-Cases in Natural Language https://d3s.mff.cuni.cz/publications/simko_verifying_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_verifying_2012/