Concepedia

Liveness Analysis

Liveness Analysis is a static analysis method that determines, for each point in a program, whether a given variable will be used in any future execution path, thereby distinguishing it from other data-flow analyses by focusing on the eventual use of values to optimize code and detect dead code in the context of abstract interpretation and Petri net-based modeling.

251

Publications

13.4K

Citations

679

Authors

284

Institutions

Publications per year

2017–2026

64

Parents

Publications

251

Symbolic model checking for sequential circuit verification

Jerry R. Burch, E. M. Clarke, David E. Long et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994 · 552 citations

, , +17

Sequential circuit verification using symbolic model checking

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 1990 · 413 citations · Full text

, , +17

A Data Flow Oriented Program Testing Strategy

Bogdan Korel · IEEE Transactions on Software Engineering · 1983 · 353 citations

, , +12

Fingerprint Liveness Detection Using Convolutional Neural Networks

Rodrigo Nogueira, Roberto Lotufo, Rubens Machado · IEEE Transactions on Information Forensics and Security · 2016 · 353 citations

, , +14

Design of a live and maximally permissive petri net controller using the theory of regions

A. Ghaffari, Xiaolan Xie · IEEE Transactions on Robotics and Automation · 2003 · 349 citations

, , +11

1–5 of 251

Authors

679

  1. MZ
    MengChu Zhou

    New Jersey Institute of Technology, United States

    11 publications · 589 citations

    11

    h-index

  2. ZL
    Zhiwu Li

    Xidian University, China

    8 publications · 492 citations

    8

    h-index

  3. FR
    Fabio Roli

    University of Cagliari, Italy

    6 publications · 707 citations

    6

    h-index

  4. BC
    Byron Cook

    Microsoft Research (United Kingdom), United Kingdom

    6 publications · 380 citations

    6

    h-index

  5. SS
    Stephanie Schuckers

    Clarkson University, United States

    6 publications · 658 citations

    6

    h-index

1–5 of 679

Institutions

284

  1. New Jersey Institute of Technology

    Newark, United States

    12 h-index

    12 publications

    692 citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    9 h-index

    26 publications

    3.5K citations

  3. Xidian University

    Xi'an, China

    9 h-index

    17 publications

    684 citations

  4. Clarkson University

    Potsdam, United States

    8 h-index

    16 publications

    1.7K citations

  5. University of Cagliari

    Cagliari, Italy

    7 h-index

    24 publications

    2.8K citations

  6. University of Cambridge

    Cambridge, United Kingdom

    6 h-index

    8 publications

    460 citations

  7. Chinese Academy of Sciences

    Beijing, China

    6 h-index

    22 publications

    2.9K citations

  8. The University of Texas at Austin

    Austin, United States

    6 h-index

    21 publications

    2.2K citations

1–8 of 284

Venues

  1. ACM SIGPLAN Notices

    6 publications · 308 citations

    6

    h-index

  2. 5

    h-index

  3. arXiv (Cornell University)

    Repository · 4 publications · 123 citations

    4

    h-index

  4. IEEE Transactions on Automatic Control

    4 publications · 107 citations

    4

    h-index

  5. 4

    h-index

1–5