Author-Petrhnetynka on D3S https://d3s.mff.cuni.cz/tags/author-petrhnetynka/ Recent content in Author-Petrhnetynka on D3S Hugo en A Component-Oriented Framework for Spacecraft On-Board Software https://d3s.mff.cuni.cz/publications/prochazka_componentoriented_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/prochazka_componentoriented_2008/ 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 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 model-driven environment for component deployment https://d3s.mff.cuni.cz/publications/hnetynka_modeldriven_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_modeldriven_2005/ 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/ 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/ 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-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 Deployment of Hierarchical Components https://d3s.mff.cuni.cz/publications/kucera_automated_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kucera_automated_2012/ 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/ 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/ 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/ 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/ 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-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/ 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/ 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/ 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/ 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 Reconfiguration and Access to Services in Hierarchical Component Models. https://d3s.mff.cuni.cz/publications/hnetynka_dynamic_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_dynamic_2006/ Dynamic security rules for legacy systems https://d3s.mff.cuni.cz/publications/alali_dynamic_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_dynamic_2019/ 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/ Efficient reconfigurable system for home monitoring of the elderly via action recognition https://d3s.mff.cuni.cz/publications/deniz_efficient_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/deniz_efficient_2025/ 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/ Fighting Class Name Clashes in Java Component Systems (Short Paper) https://d3s.mff.cuni.cz/publications/hnetynka_fighting_2003/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_fighting_2003/ 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/ 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/ Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems https://d3s.mff.cuni.cz/publications/pacovsky_generalization_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/pacovsky_generalization_2023/ 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/ 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/ Guaranteed Latency Applications in Edge-Cloud Environment https://d3s.mff.cuni.cz/publications/hnetynka_guaranteed_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_guaranteed_2018/ Hand-written vs. MOF-based metadata repositories: The SOFA experience https://d3s.mff.cuni.cz/publications/hnetynka_handwritten_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_handwritten_2004/ 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/ 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/ 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/ 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/ 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/ 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 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/ Modeling of dynamic trust contracts for industry 4.0 systems https://d3s.mff.cuni.cz/publications/alali_modeling_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alali_modeling_2018/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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 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/ 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/ 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/ Temporal Harmonization of Heterogeneous Software Logs: A Unified Model for Time-Series Analysis https://d3s.mff.cuni.cz/publications/abdullah_temporal_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abdullah_temporal_2025/ 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/ 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 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 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/ 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/ 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/ 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 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/ Using meta-modeling in design and implementation of component-based systems: the SOFA case study. https://d3s.mff.cuni.cz/publications/hnetynka_using_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hnetynka_using_2011/ 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/