- Podpora distribuce v komponentovém systému založeném na RTSJ2008 | Matematicko-fyzikální fakulta
- Srovnání komponentových frameworků pro vestavěné systémy reálného času2010 | Matematicko-fyzikální fakulta
- Constructing Domain-Specific Component Frameworks through Architecture Refinement2009 | Matematicko-fyzikální fakulta
- Comparison of Component Frameworks for Real-Time Embedded Systems2014 | Matematicko-fyzikální fakulta
- Extensible Polyglot Programming Support in Existing Component Frameworks2011 | Matematicko-fyzikální fakulta
- CoDIT: Bridging the Gap between System-Level and Component-Level Development2012 | Matematicko-fyzikální fakulta
- An Architecture Framework for Experimentations with Self-Adaptive Cyber-Physical Systems2015 | Matematicko-fyzikální fakulta
- DEECo C++ Framework for Real-Time Embedded SystemsPublikace bez příslušnosti k fakultě
- Automated deployment of hierarchical components2013 | Matematicko-fyzikální fakulta
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
- Od textových use-casů ke komponentovým aplikacím2010 | Matematicko-fyzikální fakulta
- Zavádění podpory pro vývoj vestavěných a real-time zařízení do existujích komponentových systémů2011 | Matematicko-fyzikální fakulta
- Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations2016 | Matematicko-fyzikální fakulta