Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Harald Vogt

dblp:01/1773 · DBLP profile ↗
← Back
5ranked-venue papers
2as first author
0since 2021 · last 2005
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 1 first-authorTheory of computation · 2Artificial intelligence and machine learning · 1Computer networks · 1 · 1 first-authorSecurity and privacy · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Programming languages and type systems · 83% Compilers and program optimization · 17%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems
bytecode verification
0.011999
Java Bytecode Verification by Model Checking · CAV 1999
Automated reasoning and model checking
model checking
0.011999
Java Bytecode Verification by Model Checking · CAV 1999
Programming languages and type systems › grammar formalisms
attribute grammars
0.011989
Higher-Order Attribute Grammars · PLDI 1989
Compilers and program optimization
attribute grammar evaluation
0.011989
Higher-Order Attribute Grammars · PLDI 1989

Methods — techniques the papers use, named apart from their topics

model checking · 0.0visit sequences · 0.0ordered attribute grammars · 0.0
YearPublicationVenuePosition
2005 Small Worlds and the Security of Ubiquitous Computing
abstract
The paper considers the small-world phenomenon in two contexts, ubiquitous computing and security. We argue that small-world properties emerge in ubicomp systems due to their natural occurrence in human-centered networks and their meaning as a system design principle. The relationship of small worlds and security is examined from two viewpoints. First, results on the security of small-world networks are reviewed. Second, we look into how small-world properties are obstacles to, or can be helpful in maintaining security guarantees. We then give an example of how to improve the communication security in large-scale, self-organizing networks.
Harald Vogt
WOWMOM1
1999 Java Bytecode Verification by Model Checking
David A. Basin, Stefan Friedrich 0001, Joachim Posegga, Harald Vogt
CAV4
1998 System Description: card TAP: The First Theorem Prover on a Smart Card
Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
CADE4
1998 Byte Code Verification for Java Smart Card Based on Model Checking
Joachim Posegga, Harald Vogt
ESORICS2
1989 Higher-Order Attribute Grammars
abstract
A new kind of attribute grammars, called higher order attribute grammars, is defined. In higher order attribute grammars the structure tree can be expanded as a result of attribute computation. A structure tree may be stored in an attribute. The term higher order is used because of the analogy with higher order functions, where a function can be the result or parameter of another function. A relatively simple method, using OAGs, is described to derive an evaluation order on the defining attribute occurrences which comprises all possible direct and indirect attribute dependencies. As in OAGs, visit-sequences are computed from which an efficient algorithm for attribute evaluation can be derived.
Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
PLDI1