User: Guest  Login
Sort by:
and:
More ...

Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias
A Generic Fault Model for Quality Assurance
87-103
Model-Driven Engineering Languages and Systems
Springer Berlin Heidelberg
2013

More ...

Büchler, Matthias
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

More ...

Oudinet, Johan;Denise, Alain;Gaudel, Marie-Claude
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

More ...

Vigano, Luca
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services
OWASP AppSec Research
Institute of Electrical & Electronics Engineers (IEEE)
2013

More ...

Pretschner, Alexander;Holling, Dominik;Eschbach, Robert;Gemmar, Matthias
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

More ...

Oudinet, Johan;Calvi, Alberto;Büchler, Matthias
Evaluation of ASLan Mutation Operators
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Springer Science + Business Media
2013

More ...

Fromm, Alexander;Kelbert, Florian;Pretschner, Alexander
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

More ...

Kumari, Prachi;Pretschner, Alexander
Model-Based Usage Control Policy Derivation
Proceedings of the 5th International Conference on Engineering Secure Software and Systems
Springer Science + Business Media
2013

More ...

Kelbert, Florian;Pretschner, Alexander
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

More ...

Acatech
Internet Privacy
Springer Science + Business Media
2013