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
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | 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
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Faculty of Mathematics and Physics, Central Library of Charles University
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Enhancing Component Specification by Behavior Description - the SOFA Experience +12005 | Faculty of Mathematics and Physics
- Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures2023 | Faculty of Mathematics and Physics
Loading network view...