Author-Jaroslavkeznikl on D3S https://d3s.mff.cuni.cz/tags/author-jaroslavkeznikl/ Recent content in Author-Jaroslavkeznikl on D3S Hugo en 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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 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/ Tools for Ensemble Design and Runtime https://d3s.mff.cuni.cz/publications/abeywickrama_tools_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/abeywickrama_tools_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/