- DEECo C++ Framework for Real-Time Embedded SystemsPublikace bez příslušnosti k fakultě
- Komponentový model pro distribuované vestavěné řídící systémy2008 | Matematicko-fyzikální fakulta
- Comparison of Component Frameworks for Real-Time Embedded Systems2014 | Matematicko-fyzikální fakulta
- Rodina komponentových modelů pro vestavěné systémy v automobilech +12008 | Matematicko-fyzikální fakulta
- Srovnání komponentových frameworků pro vestavěné systémy reálného času2010 | Matematicko-fyzikální fakulta
- SOFA High IntegrityPublikace bez příslušnosti k fakultě
- SOFA pro JMEPublikace bez příslušnosti k fakultě
- 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
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Matematicko-fyzikální fakulta
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Matematicko-fyzikální fakulta
- SOFA 2 release 0.8.1Publikace bez příslušnosti k fakultě
- Evolving Controllers for Electric Vehicle Charging2018 | Matematicko-fyzikální fakulta
- Oddělení zájmů a konzistentní integrace v modelování požadavků.2007 | Publikace bez příslušnosti k fakultě
- Role of Environmental Dynamic Polarizability in Static Excited State Properties of Embedded Molecular Systems: Application to Disordered Fluorographene Systems2023 | Matematicko-fyzikální fakulta