Login
A Generic Fault Model for Quality Assurance
87-103
Model-Driven Engineering Languages and Systems
Springer Berlin Heidelberg
2013
Security Testing with Fault-Models and Properties
Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
Institute of Electrical & Electronics Engineers (IEEE)
2013
A new dichotomic algorithm for the uniform random generation of words in regular languages
165-176
Theoretical Computer Science 502:165-176, August 2013
Elsevier BV
2013
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services
OWASP AppSec Research
Institute of Electrical & Electronics Engineers (IEEE)
2013
A Generic Fault Model for Quality Assurance
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Springer Science + Business Media
2013
Evaluation of ASLan Mutation Operators
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Springer Science + Business Media
2013
Data Protection in a Cloud-Enabled Smart Grid
First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Springer Science + Business Media
2013
Model-Based Usage Control Policy Derivation
Proceedings of the 5th International Conference on Engineering Secure Software and Systems
Springer Science + Business Media
2013
Data usage control enforcement in distributed systems
Proceedings of the Third ACM Conference on Data and Application Security and Privacy
Association for Computing Machinery (ACM)
2013