Jirí Vinárek

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A language and framework for dynamic component ensembles in smart systems.
Int. J. Softw. Tools Technol. Transf., 2020

Toward autonomically composable and context-dependent access control specification through ensembles.
Int. J. Softw. Tools Technol. Transf., 2020

2018
Dynamic Security Specification Through Autonomic Component Ensembles.
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.
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.
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.
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.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

1992
Simultaneous representations of groups.
Discret. Math., 1992

1981
Extensions of Symmetric Hom-Functors to the Kleisli Category.
Proceedings of the Fundamentals of Computation Theory, 1981

1977
Productive classes and subdirect irreducibility, in particular for graphs.
Discret. Math., 1977


  Loading...