Michal Kit

According to our database, Michal Kit authored at least 15 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Component-based design of cyber-physical applications with safety-critical requirements.

Alejandro Masrur, Michal Kit, Vladimír Matena, Tomás Bures, Wolfram Hardt

Microprocess. Microsystems, 2016

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.

Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil, Noël Plouzeau

J. Syst. Softw., 2016

Software Abstractions for Component Interaction in the Internet of Things.

Tomás Bures, Frantisek Plásil, Michal Kit, Petr Tuma, Nicklas Hoch

Computer, 2016

2015

The Invariant Refinement Method.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems.

Michal Kit, Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Employing Domain Knowledge for Optimizing Component Communication.

Michal Kit, Frantisek Plásil, Vladimír Matena, Tomás Bures, Ondrej Kovac

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014

An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments.

Rima Al Ali, Ilias Gerostathopoulos, Inti Y. Gonzalez-Herrera, Adrian Juan Verdejo, Michal Kit, Bholanathsingh Surajbali

Proceedings of the 2nd International Workshop on Hot Topics in Cloud service Scalability, 2014

Towards Performance-Aware Engineering of Autonomic Component Ensembles.

Tomás Bures, Vojtech Horký, Michal Kit, Lukás Marek, Petr Tuma

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

DEECo: an ecosystem for cyber-physical systems.

Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the 36th International Conference on Software Engineering, 2014

Software Engineering for Software-Intensive Cyber-Physical Systems.

Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Gossiping Components for Cyber-Physical Systems.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Architecture - 8th European Conference, 2014

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications.

Alejandro Masrur, Michal Kit, Tomás Bures, Wolfram Hardt

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.

Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

DEECO: an ensemble-based component system.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the CBSE'13, 2013

2012

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Michal Kit

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012