Jirí Vinárek

Publication Activity (10 Years)

Years Active: 1977-2020
Publications (10 Years): 6

Top Topics

Security Policies

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Rima Al Ali, Tomás Bures, Petr Hnetynka, Jan Matejek, Frantisek Plasil, Jirí Vinárek
Toward autonomically composable and context-dependent access control specification through ensembles. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plasil, Filip Krijt, Jirí Vinárek, Jan Kofron
A language and framework for dynamic component ensembles in smart systems. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plasil, Jirí Vinárek
Dynamic Security Specification Through Autonomic Component Ensembles. ISoLA (3) (2018)
Jirí Vinárek, Petr Hnetynka
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems. FESCA@ETAPS (2016)
Richard Lipka, Toma Potuak, Premek Brada, Petr Hnetynka, Jirí Vinárek
A Method for Semi-automated Generation of Test Scenarios Based on Use Cases. EUROMICRO-SEAA (2015)
Jirí Vinárek, Viliam Simko, Petr Hnetynka
Verification of Use-Cases with FOAM Tool in Context of Cloud Providers. EUROMICRO-SEAA (2015)
Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha
Recovering Traceability Links Between Code and Specification Through Domain Model Extraction. EOMAS@CAiSE (2014)
Jirí Vinárek
Simultaneous representations of groups. Discret. Math. 108 (1-3) (1992)
Jirí Vinárek
Extensions of Symmetric Hom-Functors to the Kleisli Category. FCT (1981)
Ales Pultr, Jirí Vinárek
Productive classes and subdirect irreducibility, in particular for graphs. Discret. Math. 20 (1977)