Harald Vogt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
1989–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | BTW | Designing Test Environments for Cyber-Physical Systems. | Harald Vogt |
| 2010 | PERCOM | A client architecture for market-based grid integration of smart environments. | Harald Vogt, Holger Weiss |
| 2005 | GI | Intrusion Detection and Failure Recovery in Sensor Nodes. | Harald Vogt, Matthias Ringwald, Mario Strasser |
| 2005 | WoWMoM | Small Worlds and the Security of Ubiquitous Computing. | Harald Vogt |
| 1999 | CAV | Java Bytecode Verification by Model Checking. | David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt |
| 1998 | CADE | System Description: | Rajeev Gor, Joachim Posegga, Andrew Slater, Harald Vogt |
| 1998 | ESORICS | Byte Code Verification for Java Smart Card Based on Model Checking. | Joachim Posegga, Harald Vogt |
| 1989 | PLDI | Higher-Order Attribute Grammars. | Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper |