Concepedia

Temporal Property Specification

Temporal Property Specification is a formal method used in timing semantics to define and express constraints on the temporal behavior of systems, distinguishing itself by precisely articulating timing relationships and properties that must hold over time within a system's execution.

110

Publications

6.4K

Citations

274

Authors

168

Institutions

Publications per year

2017–2026

14

Parents

Publications

110

Specifying real-time properties with metric temporal logic

Ron Koymans · Real-Time Systems · 1990 · 1.2K citations

, , +12

Synchronization and storage models for multimedia objects

Thomas D. C. Little, Arif Ghafoor · IEEE Journal on Selected Areas in Communications · 1990 · 531 citations

, , +17

Memory-efficient algorithms for the verification of temporal properties

C. Courcoubetis, M. Vardi, Pierre Wolper et al. · Formal Methods in System Design · 1992 · 498 citations · Full text

, , +11

Individual talker differences in voice-onset-time

J. Sean Allen, Joanne L. Miller, David DeSteno · The Journal of the Acoustical Society of America · 2003 · 289 citations

, , +16

Real-time specification patterns

Sascha Konrad, Betty H. C. Cheng · 2005 · 255 citations

, , +15

1–5 of 110

Authors

274

  1. LK
    Laura K. Dillon

    University of California, Santa Barbara, United States

    4 publications · 217 citations

    4

    h-index

  2. LG
    Lars Grunske

    Swinburne University of Technology, Australia

    4 publications · 193 citations

    4

    h-index

  3. MY
    Moshe Y. Vardi

    Rice University, United States

    3 publications · 93 citations

    3

    h-index

  4. PM
    P. M. Melliar‐Smith

    University of California, Santa Barbara, United States

    3 publications · 188 citations

    3

    h-index

  5. HM
    Hervé Marchand

    Institut national de recherche en sciences et technologies du numérique, France

    3 publications · 92 citations

    3

    h-index

1–5 of 274

Institutions

168

  1. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    16 publications

    476 citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    6 h-index

    19 publications

    555 citations

  3. Swinburne University of Technology

    Melbourne, Australia

    4 h-index

    6 publications

    335 citations

  4. Politecnico di Milano

    Milan, Italy

    4 h-index

    6 publications

    133 citations

  5. Centre Inria de l'Université de Rennes

    Rennes, France

    3 h-index

    9 publications

    228 citations

  6. University of California, Santa Barbara

    Santa Barbara, United States

    3 h-index

    9 publications

    711 citations

  7. The University of Queensland

    Brisbane, Australia

    3 h-index

    5 publications

    261 citations

  8. National Institute of Informatics

    Tokyo, Japan

    3 h-index

    4 publications

    86 citations

1–8 of 168

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 6 publications · 285 citations

    6

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 89 citations

    3

    h-index

  3. Formal Methods in System Design

    3 publications · 561 citations

    3

    h-index

  4. Journal of the ACM

    JACM · 2 publications · 191 citations

    2

    h-index

  5. Automated Software Engineering

    2 publications · 141 citations

    2

    h-index

1–5