Jirí Vinárek

According to our database, Jirí Vinárek authored at least 10 papers between 1977 and 2020.

Collaborative distances:

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

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

Toward autonomically composable and context-dependent access control specification through ensembles.

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

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

2016

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems.

Jirí Vinárek, Petr Hnetynka

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

2015

Verification of Use-Cases with FOAM Tool in Context of Cloud Providers.

Jirí Vinárek, Viliam Simko, Petr Hnetynka

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

A Method for Semi-automated Generation of Test Scenarios Based on Use Cases.

Richard Lipka, Toma Potuak, Premek Brada, Petr Hnetynka, Jirí Vinárek

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Recovering Traceability Links Between Code and Specification Through Domain Model Extraction.

Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

1992

Simultaneous representations of groups.

Jirí Vinárek

Discret. Math., 1992

1981

Extensions of Symmetric Hom-Functors to the Kleisli Category.

Jirí Vinárek

Proceedings of the Fundamentals of Computation Theory, 1981

1977

Productive classes and subdirect irreducibility, in particular for graphs.

Ales Pultr, Jirí Vinárek

Discret. Math., 1977