Gerrit Rothmaier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2004–2005
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FORTE | A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. | Gerrit Rothmaier, Heiko Krumm |
| 2004 | SEC | Analyzing Network Management Effects with SPIN and cTLA. | Gerrit Rothmaier, Andre Pohl, Heiko Krumm |