Author-J.keznikl on D3S https://d3s.mff.cuni.cz/tags/author-j.keznikl/ Recent content in Author-J.keznikl on D3S Hugo en 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/