ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "redo"
redo
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Ondřej Šerý Ph.D.
Externí akademický pracovník na Matematicko-fyzikální fakulta
26 publikací
Publikace
publication
Threaded Behavior Protocols
2013 |
Matematicko-fyzikální fakulta
publication
eVolCheck: Incremental Upgrade Checker for C
2013 |
Matematicko-fyzikální fakulta
publication
Leveraging Interpolant Strength in Model Checking
2012 |
Matematicko-fyzikální fakulta
publication
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
2012 |
Matematicko-fyzikální fakulta
publication
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries
2012 |
Matematicko-fyzikální fakulta
publication
Strengthening Component Architectures by Modeling Fine-Grained Entities
2011 |
Matematicko-fyzikální fakulta
publication
Použitelnost model checkeru BLAST: průmyslová případová studie
2010 |
Matematicko-fyzikální fakulta
publication
Level-of detail AI pro veliké virutální světy
2010 |
Matematicko-fyzikální fakulta