Publications
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Faculty of Mathematics and Physics
- AI Level of Detail for Really Large Worlds2010 | Faculty of Mathematics and Physics
- TBP: Code-Oriented Component Behavior Specification2009 | Faculty of Mathematics and Physics
- Simulation Level of Detail for Virtual Humans2007 | Faculty of Mathematics and Physics
- Level-of-Detail in Behaviour of Virtual Humans2006 | Faculty of Mathematics and Physics
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- eVolCheck: Incremental Upgrade Checker for C2013 | Faculty of Mathematics and Physics
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Faculty of Mathematics and Physics
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Faculty of Mathematics and Physics
Loading network view...