Tools for High Performance Computing 2014: Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany计算机与互联网
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015计算机与互联网
Patterns of HCI Design and HCI Design of Patterns: Bridging HCI Design and Model-Driven Software Engineering计算机与互联网