Publications
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics
- jPapaBenchPublication without faculty affiliation
- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Faculty of Mathematics and Physics
- Component-Oriented Development for Real-Time Java2012 | Faculty of Mathematics and Physics
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Faculty of Mathematics and Physics
- CoDIT: Bridging the Gap between System-Level and Component-Level Development2012 | Faculty of Mathematics and Physics
- Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned2011 | Faculty of Mathematics and Physics
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Faculty of Mathematics and Physics
- Extensible Polyglot Programming Support in Existing Component Frameworks2011 | Faculty of Mathematics and Physics
Loading network view...