Harald Vogt

Publication Activity (10 Years)

Years Active: 1989-2017
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Harald Vogt
Designing Test Environments for Cyber-Physical Systems. BTW (2017)
Maryam Ramezani, Mario Graf, Harald Vogt
A Simulation Environment for Smart Charging of Electric Vehicles Using a Multi-objective Evolutionary Algorithm. ICT-GLOW (2011)
Harald Vogt, Holger Weiss
A client architecture for market-based grid integration of smart environments. PerCom Workshops (2010)
Anke Weidlich, Harald Vogt, Stamatis Karnouskos
Wenn der Windpark mit der Waschmaschine redet... Wirtschaftsinformatik Manag. 1 (4) (2009)
Mario Strasser, Harald Vogt
Autonomous and distributed node recovery in wireless sensor networks. SASN (2006)
Harald Vogt
Increasing Attack Resiliency of Wireless Ad Hoc and Sensor Networks. ICDCS Workshops (2005)
Harald Vogt, Matthias Ringwald, Mario Strasser
Intrusion Detection and Failure Recovery in Sensor Nodes. GI Jahrestagung (2) (2005)
Harald Vogt
Small Worlds and the Security of Ubiquitous Computing. WOWMOM (2005)
Harald Vogt
Exploring Message Authentication in Sensor Networks. ESAS (2004)
Frank Siegemund, Christian Floerkemeier, Harald Vogt
The Value of Handhelds in Smart Environments. ARCS (2004)
Jürgen Bohn, Felix C. Gärtner, Harald Vogt
Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC (2003)
Harald Vogt
Efficient Object Identification with Passive RFID Tags. Pervasive (2002)
Roger Kehr, Michael Rohs, Harald Vogt
Issues in Smartcard Middleware. Java Card Workshop (2000)
Roger Kehr, Michael Rohs, Harald Vogt
Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware. DOA (2000)
David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
Java Bytecode Verification by Model Checking. CAV (1999)
Roger Kehr, Joachim Posegga, Harald Vogt
PCA: Jini-based Personal Card Assistant. CQRE (1999)
Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
: The First Theorem Prover on a Smart Card. CADE (1998)
Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt
P: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence (1998)
Joachim Posegga, Harald Vogt
Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS (1998)
Maarten Pennings, S. Doaitse Swierstra, Harald Vogt
Using Cached Functions and Constructors for Incremental Attribute Evaluation. PLILP (1992)
Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
Efficient Incremental Evaluation of Higher order Attribute Grammars. PLILP (1991)
S. Doaitse Swierstra, Harald Vogt
Higher Order Attribute Grammars. Attribute Grammars, Applications and Systems (1991)
Harald Vogt, Aswin van den Berg, Arend Freije
Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations. WAGA (1990)
Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
Higher-Order Attribute Grammars. PLDI (1989)