Concepedia

Friedrich H. Vogt

FH

Statistics

Publications

5

Citations

200

H-Index

5

Active since

1982

Affiliations

Hamburg University of Technology(Current)

Universität Hamburg

Friedrich H. Vogt is an author at Hamburg University of Technology specializing in verification, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationComputer ScienceSoftware DesignSystems EngineeringTemporal ReasoningAutomated ReasoningFormal Specification

Publications per year

1982–2006

5

Publications

5

An interval logic for higher-level temporal reasoning

Richard L. Schwartz, P. M. Melliar‐Smith, Friedrich H. Vogt · 1983 · 112 citations · Full text

Engineering, Automated Reasoning, System Specification +12

Formal Specification of a Web Services Protocol

James E. Johnson, David E. Langworthy, Leslie Lamport et al. · Electronic Notes in Theoretical Computer Science · 2004 · 46 citations · Full text

Web Service Specification, Formal Specification, Engineering +15

Formal specification of a Web services protocol

James E. Johnson, David E. Langworthy, Leslie Lamport et al. · The Journal of Logic and Algebraic Programming · 2006 · 16 citations

Web Service Specification, Formal Specification, Engineering +7

Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity

Friedrich H. Vogt, S. Zambrovski, B. Gruschko et al. · 2005 · 16 citations

Web Service Specification, Engineering, Information Security +16

Event-Based Temporal Logic Specifications of Services and Protocols

Friedrich H. Vogt · 1982 · 10 citations

Event-driven Architecture, Engineering, Automated Reasoning +8

1–5 of 5