- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Faculty of Mathematics and Physics
- PROMISE: high-level mission specification for multiple robots2020 | Faculty of Mathematics and Physics
- High-level mission specification for multiple robots2019 | Faculty of Mathematics and Physics
- Challenges for Refinement and Composition of Instrumentations: Position Paper2012 | Faculty of Mathematics and Physics
- Introduction to dynamic program analysis with DiSL +12013 | Faculty of Mathematics and Physics
- Trait-based Coalition Formation FrameworkPublication without faculty affiliation
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Faculty of Mathematics and Physics
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Faculty of Mathematics and Physics
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Faculty of Mathematics and Physics
- Physiological Model Creation and Sharing2011 | First Faculty of Medicine
- Modeling Data Flow Constraints for Design-Time Confidentiality Analyses2021 | Faculty of Mathematics and Physics
- Towards Intelligent Ensembles2015 | Faculty of Mathematics and Physics
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Faculty of Mathematics and Physics
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Faculty of Mathematics and Physics
- LSDN - Manage complex (virtual) networks in cloud environment with Linux kernel facilities2018 | Faculty of Mathematics and Physics