Michal Kit

15 papers B 1C 1Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Component-based design of cyber-physical applications with safety-critical requirements.
Microprocess. Microsystems
Alejandro Masrur, Michal Kit, Vladimír Matena, Tomás Bures, Wolfram Hardt
2016 J jnl
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.
J. Syst. Softw.
Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil, Noël Plouzeau
2016 J jnl
Software Abstractions for Component Interaction in the Internet of Things.
Computer
Tomás Bures, Frantisek Plásil, Michal Kit, Petr Tuma, Nicklas Hoch
2015 — conf
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems.
SEAMS@ICSE
Michal Kit, Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2015 — conf
Employing Domain Knowledge for Optimizing Component Communication.
CBSE
Michal Kit, Frantisek Plásil, Vladimír Matena, Tomás Bures, Ondrej Kovác
2015 — ch.
The Invariant Refinement Method.
The ASCENS Approach
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2014 — conf
An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments.
HotTopiCS@ICPE
Rima Al Ali, Ilias Gerostathopoulos, Inti Y. Gonzalez-Herrera, Adrian Juan Verdejo, Michal Kit, Bholanathsingh Surajbali
2014 — conf
DEECo: an ecosystem for cyber-physical systems.
ICSE Companion
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2014 B conf
Gossiping Components for Cyber-Physical Systems.
ECSA
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2014 — conf
Software Engineering for Software-Intensive Cyber-Physical Systems.
GI-Jahrestagung
Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil
2014 C conf
Towards Component-Based Design of Safety-Critical Cyber-Physical Applications.
DSD
Alejandro Masrur, Michal Kit, Tomás Bures, Wolfram Hardt
2014 — conf
Towards Performance-Aware Engineering of Autonomic Component Ensembles.
ISoLA (1)
Tomás Bures, Vojtech Horký, Michal Kit, Lukás Marek, Petr Tuma
2013 — conf
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
SASO Workshops
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
2013 — conf
DEECO: an ensemble-based component system.
CBSE
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2012 — conf
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.
WICSA/ECSA
Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Michal Kit