Jaroslav Keznikl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ECSA | Gossiping Components for Cyber-Physical Systems. | Toms Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plsil |
| 2014 | GI | Software Engineering for Software-Intensive Cyber-Physical Systems. | Ilias Gerostathopoulos, Jaroslav Keznikl, Toms Bures, Michal Kit, Frantisek Plsil |
| 2014 | ICSE | DEECo: an ecosystem for cyber-physical systems. | Rima Al Ali, Toms Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plsil |
| 2013 | SERA | Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas. | Martin Babka, Toms Balyo, Jaroslav Keznikl |
| 2012 | COMPSAC | Performance Awareness in Component Systems: Vision Paper. | Lubomr Bulej, Toms Bures, Vojtech Hork, Jaroslav Keznikl, Petr Tuma |
| 2011 | SERA | Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned. | Toms Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Toms Bures, Petr Hnetynka |