Concepedia

Timed Model Checking

Timed Model Checking is a formal verification technique within model checking that specifically analyzes real-time systems by incorporating time constraints into the models and verifying temporal properties expressed over timed automata or similar timed computational structures.

507

Publications

21.4K

Citations

963

Authors

386

Institutions

Publications per year

2017–2026

49

Parents

Publications

507

Model-checking for real-time systems

Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations

, , +15

Model-Checking in Dense Real-Time

Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation · 1993 · 829 citations

, , +10

KRONOS: a verification tool for real-time systems

Sergio Yovine · International Journal on Software Tools for Technology Transfer · 1997 · 584 citations

, , +14

Runtime Verification for LTL and TLTL

Andreas Bauer, Martin Leucker, Christian Schallhart · ACM Transactions on Software Engineering and Methodology · 2011 · 540 citations

, , +16

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

1–5 of 507

Authors

963

  1. KG
    Kim G. Larsen

    Aalborg University, Denmark

    27 publications · 1.6K citations

    19

    h-index

  2. PP
    Paul Pettersson

    Uppsala University, Sweden

    15 publications · 1.1K citations

    14

    h-index

  3. PB
    Patricia Bouyer

    Centre National de la Recherche Scientifique, France

    11 publications · 447 citations

    11

    h-index

  4. HH
    Holger Hermanns

    Saarland University, Germany

    8 publications · 481 citations

    8

    h-index

  5. JO
    Joël Ouaknine

    University of Oxford, United Kingdom

    8 publications · 402 citations

    8

    h-index

1–5 of 963

Institutions

386

  1. Centre National de la Recherche Scientifique

    Paris, France

    24 h-index

    67 publications

    2.1K citations

  2. Aalborg University

    Aalborg, Denmark

    20 h-index

    81 publications

    4.4K citations

  3. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    18 h-index

    42 publications

    1.4K citations

  4. Uppsala University

    Uppsala, Sweden

    18 h-index

    50 publications

    3.6K citations

  5. University of Oxford

    Oxford, United Kingdom

    13 h-index

    23 publications

    1.5K citations

  6. Saarland University

    Saarbrücken, Germany

    13 h-index

    38 publications

    1.5K citations

  7. Laboratoire Spécification et Vérification

    Cachan, France

    13 h-index

    21 publications

    973 citations

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

    Le Chesnay-Rocquencourt, France

    11 h-index

    25 publications

    693 citations

1–8 of 386

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 34 publications · 913 citations

    19

    h-index

  2. BRICS Report Series

    18 publications · 626 citations

    13

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 12 publications · 538 citations

    11

    h-index

  4. Theoretical Computer Science

    11 publications · 777 citations

    11

    h-index

  5. Formal Methods in System Design

    10 publications · 992 citations

    10

    h-index

1–5