Frank Koob
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1996–2008
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | KI | Automating Interactive Protocol Verification. | Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock |
| 2000 | SAFECOMP | Formal Methods Diffusion: Past Lessons and Future Prospects. | Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1998 | FM | The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. | Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1996 | SAFECOMP | Application of Formal Methods in the Scope of IT-Security. | Frank Koob, Markus Ullmann, Stefan Wittmann |