| The Simpler the Better: Constant Velocity for Pedestrian Motion Prediction. | 1 | 0.35 | 2019 |
| Traceability of Deep Neural Networks. | 1 | 0.34 | 2018 |
| Process-Aware Model-driven Development Environments. | 0 | 0.34 | 2017 |
| Modular Transformation from AF3 to nuXmv. | 0 | 0.34 | 2017 |
| AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems. | 16 | 0.94 | 2015 |
| Textual model-based software/system architecture documentation using MPS. | 0 | 0.34 | 2015 |
| Implicational Rewriting Tactics in HOL. | 0 | 0.34 | 2014 |
