Publications
- Pattern-Based Verification for Multithreaded Programs2014 | Faculty of Mathematics and Physics
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- 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
- Extracting Behavior Specification of Components in Legacy Applications2009 | Faculty of Mathematics and Physics
- TBP: Code-Oriented Component Behavior Specification2009 | Faculty of Mathematics and Physics
- Making Components Fit: SPINing2009 | Faculty of Mathematics and Physics
- CoCoME in SOFA +12008 | Faculty of Mathematics and Physics
- CoCoME in Fractal2008 | Faculty of Mathematics and Physics
- Balancing On-the-fly Generation and Pre-generation of State Space2008 | Faculty of Mathematics and Physics
Loading network view...