Filip Krijt

According to our database, Filip Krijt authored at least 7 papers between 2015 and 2020.

Collaborative distances:

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

2020

A language and framework for dynamic component ensembles in smart systems.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plásil, Filip Krijt, Jirí Vinárek, Jan Kofron

Int. J. Softw. Tools Technol. Transf., 2020

2018

Dynamic Security Specification Through Autonomic Component Ensembles.

Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plásil, Jirí Vinárek

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact).

Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos

Dagstuhl Artifacts Ser., 2017

Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality.

Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Intelligent Ensembles - A Declarative Group Description Language and Java Framework.

Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos

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

2016

Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication.

Tomás Bures, Petr Hnetynka, Filip Krijt, Vladimír Matena, Frantisek Plásil

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Towards Intelligent Ensembles.

Tomás Bures, Filip Krijt, Frantisek Plásil, Petr Hnetynka, Zbynek Jirácek

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015