Keznikl J.
35
Coauthors
5
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2012 | 2 |
| 2015 | 3 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Proceso estocástico | 3 |
| Optimización matemática | 3 |
| Ciencias de la computación | 2 |
| Inteligencia artificial | 1 |
| Ingeniería de software | 1 |
| Software | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 3 |
| Funcionamiento de bibliotecas y archivos | 1 |
| Métodos informáticos especiales | 1 |
| Instrumentos de precisión y otros dispositivos | 1 |
| Artes decorativas | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 5 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Petr Tůma | 5 |
| Bures T. | 4 |
| Bulej L. | 3 |
| Horký V. | 3 |
| Gerostathopoulos I. | 2 |
| Koubková A. | 1 |
| Podzimek A. | 1 |
| Plášil F. | 1 |
| Tschaikowski M. | 1 |
| Tribastone M. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Formalization of invariant patterns for the invariant refinement method
ArticleAbstract: Refining high-level system invariants into lower-level software obligations has been successfully emPalabras claves:Architecture refinement, Assume-guarantee, requirementsAutores:Bures T., Gerostathopoulos I., Keznikl J., Petr Tůma, Plášil F.Fuentes:scopusPerformance awareness in component systems: Vision paper
Conference ObjectAbstract: Resource awareness is a key requirement for dynamic adaptation in resource-constrained systems. AchiPalabras claves:Dynamic adaptation, Performance awareness, Resource-constrained component systemsAutores:Bulej L., Bures T., Horký V., Keznikl J., Petr TůmaFuentes:scopusCapturing performance assumptions using stochastic performance logic
Conference ObjectAbstract: Compared to functional unit testing, automated performance testing is difficult, partially because cPalabras claves:performance testing, Regression benchmarkingAutores:Bulej L., Bures T., Keznikl J., Koubková A., Petr Tůma, Podzimek A.Fuentes:scopusSupporting performance awareness in autonomous ensembles
ArticleAbstract: The ASCENS project works with systems of self-aware, selfadaptive and self-expressive ensembles. PerPalabras claves:Adaptive systems, Autonomic Systems, Modeling, Monitoring, performanceAutores:Bulej L., Bures T., Gerostathopoulos I., Horký V., Keznikl J., Marek L., Petr Tůma, Tribastone M., Tschaikowski M.Fuentes:scopusTools for ensemble design and runtime
ArticleAbstract: The ASCENS project deals with designing systems as ensembles of adaptive components. Among the outpuPalabras claves:Adaptive systems, Autonomic Systems, Software development, toolsAutores:Abeywickrama D.B., Combaz J., Horký V., Keznikl J., Kofroň J., Lafuente A.L., Loreti M., Margheri A., Mayer P., Monreale V., Montanari U., Petr Tůma, Pinciroli C., Vandin A., Vassev E.Fuentes:scopus