Publications
] .
2014. Towards Rigorously Faking Bidirectional Model Transformations. Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014, Valencia, Spain. 1277:70–75.
The TREsPASS Project
Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
This project receives funding from the European Commission's Seventh Framework Programme under Grant Agreement No. 318003 (TREsPASS) (click here for information from CORDIS).