Publications
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Faculty of Mathematics and Physics
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- DEECo - an Ensemble-Based Component System2013 | Faculty of Mathematics and Physics
- Design of ensemble-based component systems by invariant refinement2013 | Faculty of Mathematics and Physics
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model +22006 | Faculty of Mathematics and Physics
- Behavior Protocol Verification: Fighting State Explosion +22005 | Faculty of Mathematics and Physics
Loading network view...