| |
| 2008 | ||
|---|---|---|
| 6 | EE | Florian Kammüller, Sören Preibusch: An industrial application of symbolic model checking. Computer Science - Research and Development 22(2): 95-108 (2008) |
| 2007 | ||
| 5 | EE | Sören Preibusch, Florian Kammüller: Checking the TWIN Elevator System by Translating Object-Z to SMV. FMICS 2007: 38-55 |
| 4 | EE | Sören Preibusch: Spontaneous Privacy Policy Negotiations in Pervasive Environments. OTM Workshops (2) 2007: 814-823 |
| 2006 | ||
| 3 | EE | Sören Preibusch: Implementing Privacy Negotiations in E-Commerce. APWeb 2006: 604-615 |
| 2005 | ||
| 2 | EE | Sören Preibusch: Implementing Privacy Negotiation Techniques in E-Commerce. CEC 2005: 387-390 |
| 2004 | ||
| 1 | EE | Maximilian Teltzrow, Sören Preibusch, Bettina Berendt: SIMT -- A Privacy Preserving Web Metrics Tool. CEC 2004: 263-270 |
| 1 | Bettina Berendt | [1] |
| 2 | Florian Kammüller | [5] [6] |
| 3 | Maximilian Teltzrow | [1] |