 | 2006 |
|---|
| 8 |       | Norbert Lehmann,
Reinhard Schwarz,
Jörg Keller:
FireCrocodile: A Checker for Static Firewall Configurations.
Security and Management 2006: 193-199 |
| 2003 |
|---|
| 7 |  | Holger Peine,
Reinhard Schwarz:
A Multi-View Tool for Checking the Security Semantics of Router Configurations.
ACSAC 2003: 56-65 |
| 6 | | Holger Peine,
Reinhard Schwarz:
CROCODILE - Ein Werkzeug zur sichtenbasierten Sicherheitsprüfung von Router-Konfigurationen.
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 103-114 |
| 1994 |
|---|
| 5 | | Holger Assenmacher,
Thomas Breitbach,
Peter Buhler,
Volker Hübsch,
Holger Peine,
Reinhard Schwarz:
Meeting the Application in User Space.
ACM SIGOPS European Workshop 1994: 82-87 |
| 4 | | Reinhard Schwarz:
Speedup Limits for Tighly-Coupled Parallel Computations.
Dagstuhl Seminar on Distributed Systems 1994: 242-259 |
| 3 | | Reinhard Schwarz,
Friedemann Mattern:
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail.
Distributed Computing 7(3): 149-174 (1994) |
| 1993 |
|---|
| 2 | | Holger Assenmacher,
Thomas Breitbach,
Peter Buhler,
Volker Hübsch,
Reinhard Schwarz:
PANDA - Supporting Distributed Programming in C++.
ECOOP 1993: 361-383 |
| 1992 |
|---|
| 1 | | Reinhard Schwarz:
Causality in distributed systems.
ACM SIGOPS European Workshop 1992 |
