Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 56 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is B  [Clear All Filters]
2012
B. Beckert and Bruns, D., “Formal Semantics of Model Fields in Annotation-based Specifications”, in {KI 2012}: Advances in Artificial Intelligence, 2012.
B. Beckert and Bruns, D., “Formal Semantics of Model Fields in Annotation-based Specifications”, in {KI 2012}: Advances in Artificial Intelligence, 2012.
B. Beckert, Bruns, D., and Grebing, S., “Mind the Gap: Formal Verification and the Common Criteria”, in Proceedings of the 6th International Verification Workshop (VERIFY 2010), 2012.
B. Beckert, Bruns, D., and Grebing, S., “Mind the Gap: Formal Verification and the Common Criteria”, in Proceedings of the 6th International Verification Workshop (VERIFY 2010), 2012.
J. C. Blanchette, Popescu, A., Wand, D., and Weidenbach, C., “More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification”, in Proceedings of the 3rd Conference on Interactive Theorem Proving (ITP 2012), 2012.
2011
A. Pretschner, Lovat, E., and Buechler, M., “Representation-Independent Data Usage Control”, in 6th International Workshop on Data Privacy Management (DPM 2011), 2011.

Pages