Jaroslav Keznikl

According to our database1, Jaroslav Keznikl authored at least 23 papers between 2011 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.
Journal of Systems and Software, 2016

2015
The Autonomic Cloud.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The Invariant Refinement Method.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Supporting Performance Awareness in Autonomous Ensembles.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015


Formalization of Invariant Patterns for the Invariant Refinement Method.
Proceedings of the Software, 2015

2014
Automated resolution of connector architectures using constraint solving (ARCAS method).
Software and Systems Modeling, 2014

Architecture Adaptation Based on Belief Inaccuracy Estimation.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

DEECo: an ecosystem for cyber-physical systems.
Proceedings of the 36th International Conference on Software Engineering, 2014

Software Engineering for Software-Intensive Cyber-Physical Systems.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

Gossiping Components for Cyber-Physical Systems.
Proceedings of the Software Architecture - 8th European Conference, 2014

2013
Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paper.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.
Proceedings of the Software Engineering Research, 2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Engineering autonomous systems.
Proceedings of the 17th Panhellenic Conference on Informatics, 2013

Towards Verification of Ensemble-Based Component Systems.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Design of ensemble-based component systems by invariant refinement.
Proceedings of the CBSE'13, 2013

DEECO: an ensemble-based component system.
Proceedings of the CBSE'13, 2013

2012
Capturing performance assumptions using stochastic performance logic.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Performance Awareness in Component Systems: Vision Paper.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned.
Proceedings of the 9th International Conference on Software Engineering Research, 2011

Extensible Polyglot Programming Support in Existing Component Frameworks.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011


  Loading...