Concepedia

Temporal Verification

Temporal Verification is a formal method within model checking that uses temporal logic to specify and verify the correctness of dynamic system behaviors over time, distinguishing itself by focusing on the temporal ordering and timing constraints of system states and transitions.

333

Publications

22K

Citations

706

Authors

326

Institutions

Publications per year

2017–2026

59

Parents

Publications

333

1–5 of 333

Authors

706

  1. GF
    Georgios Fainekos

    Arizona State University, United States

    12 publications · 523 citations

    12

    h-index

  2. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    11 publications · 6.6K citations

    11

    h-index

  3. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    13 publications · 736 citations

    11

    h-index

  4. YY
    Yun Yang

    Swinburne University of Technology, Australia

    9 publications · 412 citations

    9

    h-index

  5. VV
    Victor Vianu

    University of California San Diego, United States

    8 publications · 380 citations

    8

    h-index

1–5 of 706

Institutions

326

  1. Arizona State University

    Tempe, United States

    11 h-index

    30 publications

    1.1K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    11 h-index

    23 publications

    957 citations

  3. Stanford University

    Stanford, United States

    10 h-index

    17 publications

    2.4K citations

  4. Imperial College London

    London, United Kingdom

    10 h-index

    13 publications

    480 citations

  5. Institute of Computer Science

    Warsaw, Poland

    9 h-index

    15 publications

    740 citations

  6. Swinburne University of Technology

    Melbourne, Australia

    9 h-index

    21 publications

    955 citations

  7. University of Liverpool

    Liverpool, United Kingdom

    8 h-index

    23 publications

    613 citations

  8. Weizmann Institute of Science

    Rehovot, Israel

    8 h-index

    17 publications

    1.7K citations

1–8 of 326

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 12 publications · 484 citations

    12

    h-index

  2. EPiC series in computing

    8 publications · 237 citations

    8

    h-index

  3. Formal Methods in System Design

    7 publications · 1K citations

    7

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 6 publications · 266 citations

    6

    h-index

  5. Fundamenta Informaticae

    6 publications · 225 citations

    6

    h-index

1–5