Harald Vogt

According to our database, Harald Vogt authored at least 25 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Designing Test Environments for Cyber-Physical Systems.

Harald Vogt

Proceedings of the Datenbanksysteme für Business, 2017

2011

A Simulation Environment for Smart Charging of Electric Vehicles Using a Multi-objective Evolutionary Algorithm.

Maryam Ramezani, Mario Graf, Harald Vogt

Proceedings of the Information and Communication on Technology for the Fight against Global Warming, 2011

2010

A client architecture for market-based grid integration of smart environments.

Harald Vogt, Holger Weiss

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

2009

Protocols for Secure Communication in Wireless Sensor Networks.

Harald Vogt

PhD thesis, 2009

Wenn der Windpark mit der Waschmaschine redet...

Anke Weidlich, Harald Vogt, Stamatis Karnouskos

Wirtschaftsinformatik Manag., 2009

2006

Autonomous and distributed node recovery in wireless sensor networks.

Mario Strasser, Harald Vogt

Proceedings of the 4th ACM Workshop on Security of ad hoc and Sensor Networks, 2006

2005

Small Worlds and the Security of Ubiquitous Computing.

Harald Vogt

Proceedings of the 2005 International Conference on a World of Wireless, 2005

Increasing Attack Resiliency of Wireless Ad Hoc and Sensor Networks.

Harald Vogt

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Intrusion Detection and Failure Recovery in Sensor Nodes.

Harald Vogt, Matthias Ringwald, Mario Strasser

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Exploring Message Authentication in Sensor Networks.

Harald Vogt

Proceedings of the Security in Ad-hoc and Sensor Networks, First European Workshop, 2004

The Value of Handhelds in Smart Environments.

Frank Siegemund, Christian Floerkemeier, Harald Vogt

Proceedings of the Organic and Pervasive Computing, 2004

2003

Dependability Issues of Pervasive Computing in a Healthcare Environment.

Jürgen Bohn, Felix C. Gärtner, Harald Vogt

Proceedings of the Security in Pervasive Computing, 2003

2002

Efficient Object Identification with Passive RFID Tags.

Harald Vogt

Proceedings of the Pervasive Computing, 2002

2000

Issues in Smartcard Middleware.

Roger Kehr, Michael Rohs, Harald Vogt

Proceedings of the Java on Smart Cards: Programming and Security, 2000

Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware.

Roger Kehr, Michael Rohs, Harald Vogt

Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999

PCA: Jini-based Personal Card Assistant.

Roger Kehr, Joachim Posegga, Harald Vogt

Proceedings of the Secure Networking - CQRE (Secure) '99, International Exhibition and Congress Düsseldorf, Germany, November 30, 1999

Java Bytecode Verification by Model Checking.

David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Byte Code Verification for Java Smart Card Based on Model Checking.

Joachim Posegga, Harald Vogt

Proceedings of the Computer Security, 1998

System Description: <i>card</i> <i>T</i>^<i>A</i><i>P</i>: The First Theorem Prover on a Smart Card.

Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt

Proceedings of the Automated Deduction, 1998

cardT^AP: Automated Deduction on a Smart Card.

Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1992

Using Cached Functions and Constructors for Incremental Attribute Evaluation.

Maarten Pennings, S. Doaitse Swierstra, Harald Vogt

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Higher Order Attribute Grammars.

S. Doaitse Swierstra, Harald Vogt

Proceedings of the Attribute Grammars, 1991

Efficient Incremental Evaluation of Higher order Attribute Grammars.

Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1990

Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations.

Harald Vogt, Aswin van den Berg, Arend Freije

Proceedings of the Attribute Grammars and their Applications, 1990

1989

Higher-Order Attribute Grammars.

Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989