Peter Ochsenschlger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1996–2012
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | PDP | Security Requirements for Uniformly Parameterised Cooperations. | Peter Ochsenschlger, Roland Rieke |
| 2011 | PDP | Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations. | Peter Ochsenschlger, Roland Rieke |
| 2005 | ESORICS | Abstractions Preserving Parameter Confidentiality. | Sigrid Grgens, Peter Ochsenschlger, Carsten Rudolph |
| 2003 | GI | Parameter-Confidentiality. | Sigrid Grgens, Peter Ochsenschlger, Carsten Rudolph |
| 2000 | FlAIRS | The SH-Verification Tool. | Peter Ochsenschlger, Jrgen Repp, Roland Rieke |
| 2000 | FlAIRS | Verification of Cooperating Systems - An Approach Based on Formal Languages. | Peter Ochsenschlger, Jrgen Repp, Roland Rieke |
| 1997 | DLT | Deterministic omega-regular liveness properties. | Frank Niener, Ulrich Nitsche, Peter Ochsenschlger |
| 1996 | CAV | Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. | Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschlger |