Author-Frantisekplasil on D3S https://d3s.mff.cuni.cz/tags/author-frantisekplasil/ Recent content in Author-Frantisekplasil on D3S Hugo en 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/ 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/ Addressing State Explosion in Behavior Protocol Verification. https://d3s.mff.cuni.cz/publications/mach_addressing_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mach_addressing_2004/ An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. https://d3s.mff.cuni.cz/publications/plasil_architectural_1998/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_architectural_1998/ 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 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/ 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/ Assume-guarantee verification of software components in SOFA 2 framework. https://d3s.mff.cuni.cz/publications/parizek_assumeguarantee_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_assumeguarantee_2010/ 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 Online Experiment-Driven Adaptation–Mechanics and Cost Aspects https://d3s.mff.cuni.cz/publications/gerostathopoulos_automated_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/gerostathopoulos_automated_2021/ 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/ Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. https://d3s.mff.cuni.cz/publications/mencl_behavior_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mencl_behavior_2005/ Behavior Protocols for Software Components. https://d3s.mff.cuni.cz/publications/plasil_behavior_2002/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_behavior_2002/ Behavior Protocols Verification: Fighting State Explosion https://d3s.mff.cuni.cz/publications/mach_behavior_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mach_behavior_2005/ Bounding Component Behavior via Protocols. https://d3s.mff.cuni.cz/publications/plasil_bounding_1999/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_bounding_1999/ 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/ CoCoTA - Common Component Task. https://d3s.mff.cuni.cz/publications/mirandola_cocota_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/mirandola_cocota_2007/ 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/hosek_comparison_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hosek_comparison_2010/ Component composition errors and update atomicity: static analysis. https://d3s.mff.cuni.cz/publications/adamek_component_2005/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_component_2005/ 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 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/ Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings https://d3s.mff.cuni.cz/publications/grunske_componentbased_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/grunske_componentbased_2010/ 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/ CORBA and Object Services (Invited Paper) https://d3s.mff.cuni.cz/publications/kleindienst_corba_1996/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kleindienst_corba_1996/ CORBA Benchmarking https://d3s.mff.cuni.cz/publications/plasil_corba_report_1998/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_corba_report_1998/ 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 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 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/ 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/ Erroneous architecture is a relative concept. https://d3s.mff.cuni.cz/publications/adamek_erroneous_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_erroneous_2004/ Evolving SOA in the Q-ImPrESS Project. https://d3s.mff.cuni.cz/publications/kofron_evolving_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_evolving_2010/ Exceptions in Component Interaction Protocols - Necessity. https://d3s.mff.cuni.cz/publications/plasil_exceptions_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_exceptions_2004/ Extracting Behavior Specification of Components in Legacy Applications. https://d3s.mff.cuni.cz/publications/poch_extracting_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/poch_extracting_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 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/ 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/ Getting 'whole Picture' Behavior in a Use Case Model. https://d3s.mff.cuni.cz/publications/plasil_getting_2003/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_getting_2003/ 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/ 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/ Inheriting Synchronization Protocols via Sound Enrichment Rules. https://d3s.mff.cuni.cz/publications/plasil_inheriting_1997/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_inheriting_1997/ 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/ Lessons Learned from Implementing the CORBA Persistent Object Service https://d3s.mff.cuni.cz/publications/kleindienst_lessons_1996/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kleindienst_lessons_1996/ 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/ Model Checking of Component Behavior Specification: A Real Life Experience https://d3s.mff.cuni.cz/publications/jezek_model_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jezek_model_2006/ Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker https://d3s.mff.cuni.cz/publications/parizek_model_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_model_2006/ Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker https://d3s.mff.cuni.cz/publications/parizek_model_report_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_model_report_2006/ Modeling Environment for Component Model Checking from Hierarchical Architecture. https://d3s.mff.cuni.cz/publications/parizek_modeling_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_modeling_2007/ Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. https://d3s.mff.cuni.cz/publications/parizek_modeling_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_modeling_2008/ Modes in component behavior specification via EBP and their application in product lines https://d3s.mff.cuni.cz/publications/kofron_modes_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_modes_2009/ OMG Benchmark PSIG White Paper on Benchmarking https://d3s.mff.cuni.cz/publications/kahkipuro_omg_report_1999/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kahkipuro_omg_report_1999/ 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/ Partial Bindings of Components - Any Harm?. https://d3s.mff.cuni.cz/publications/adamek_partial_2004/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_partial_2004/ Partial Verification of Software Components: Heuristics for Environment Construction. https://d3s.mff.cuni.cz/publications/parizek_partial_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_partial_2007/ 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/ 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 https://d3s.mff.cuni.cz/publications/becker_quality_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/becker_quality_2008/ 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 Component Systems' Behavior Specification. https://d3s.mff.cuni.cz/publications/holub_reducing_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/holub_reducing_2007/ 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 https://d3s.mff.cuni.cz/publications/heineman_research_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/heineman_research_2010/ 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/ 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/ 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/ Slicing of Component Behavior Specification with Respect to Their Composition. https://d3s.mff.cuni.cz/publications/sery_slicing_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/sery_slicing_2007/ 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.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/DCUP: architecture for component trading and dynamic updating. https://d3s.mff.cuni.cz/publications/plasil_sofadcup_1998/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_sofadcup_1998/ 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 https://d3s.mff.cuni.cz/publications/plasil_sofsem_1997/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/plasil_sofsem_1997/ 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 https://d3s.mff.cuni.cz/publications/grosky_sofsem_2002/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/grosky_sofsem_2002/ 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 https://d3s.mff.cuni.cz/publications/leeuwen_sofsem_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/leeuwen_sofsem_2007/ 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 Connectors and their Role in Component Deployment. https://d3s.mff.cuni.cz/publications/balek_software_2001/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/balek_software_2001/ 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/ Specification and Generation of Environment for Model Checking of Software Components. https://d3s.mff.cuni.cz/publications/parizek_specification_2007/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_specification_2007/ 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/ 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 Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007] https://d3s.mff.cuni.cz/publications/rausch_common_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/rausch_common_2008/ 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/ Threaded behavior protocols https://d3s.mff.cuni.cz/publications/poch_threaded_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/poch_threaded_2013/ 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 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 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/ 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/ Validating Model-Driven Performance Predictions on Random Software Systems https://d3s.mff.cuni.cz/publications/babka_validating_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/babka_validating_2010/ 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/ What characterizes a (software) component? https://d3s.mff.cuni.cz/publications/broy_what_1998/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/broy_what_1998/ What We Are Missing in the Persistent Object Service Specification https://d3s.mff.cuni.cz/publications/kleindienst_what_report_1996/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kleindienst_what_report_1996/