- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta
- PROMISE: high-level mission specification for multiple robots2020 | Matematicko-fyzikální fakulta
- High-level mission specification for multiple robots2019 | Matematicko-fyzikální fakulta
- Challenges for Refinement and Composition of Instrumentations: Position Paper2012 | Matematicko-fyzikální fakulta
- Introduction to dynamic program analysis with DiSL +12013 | Matematicko-fyzikální fakulta
- Trait-based Coalition Formation FrameworkPublikace bez příslušnosti k fakultě
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Matematicko-fyzikální fakulta
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Matematicko-fyzikální fakulta
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta
- Physiological Model Creation and Sharing2011 | 1. lékařská fakulta
- Modeling Data Flow Constraints for Design-Time Confidentiality Analyses2021 | Matematicko-fyzikální fakulta
- Towards Intelligent Ensembles2015 | Matematicko-fyzikální fakulta
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Matematicko-fyzikální fakulta
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Matematicko-fyzikální fakulta
- LSDN - Manage complex (virtual) networks in cloud environment with Linux kernel facilities2018 | Matematicko-fyzikální fakulta