Concepedia

Driver Verification

Driver Verification is a formal method within the domain of device driver development that systematically validates the correctness and reliability of driver code by rigorously checking compliance with specified behavioral, functional, and safety-critical properties to ensure robust interaction between operating systems and hardware peripherals.

33

Publications

2.6K

Citations

111

Authors

42

Institutions

Publications per year

2017–2026

9

Parents

Publications

33

The S <scp>LAM</scp> project

Thomas Ball, Sriram K. Rajamani · 2002 · 926 citations

, , +17

Thorough static analysis of device drivers

Thomas Ball, Ella Bounimova, Byron Cook et al. · 2006 · 378 citations

, , +13

Know your master: Driver profiling-based anti-theft method

Byung Il Kwak, Jiyoung Woo, Huy Kang Kim · 2016 · 156 citations

, , +16

Modeling and Recognizing Driver Behavior Based on Driving Data: A Survey

Wenshuo Wang, Junqiang Xi, Huiyan Chen · Mathematical Problems in Engineering · 2014 · 130 citations · Full text

, , +17

Human-Factors-in-Driving-Loop: Driver Identification and Verification via a Deep Learning Approach using Psychological Behavioral Data

Jiawei Xu, Sicheng Pan, Poly Z. H. Sun et al. · IEEE Transactions on Intelligent Transportation Systems · 2022 · 117 citations · Full text

, , +15

1–5 of 33

Authors

111

  1. TB
    Thomas Ball

    Microsoft (United States), United States

    4 publications · 1.5K citations

    4

    h-index

  2. EB
    Ella Bounimova

    Microsoft (United States), United States

    3 publications · 548 citations

    3

    h-index

  3. SK
    Sriram K. Rajamani

    Microsoft (United States), United States

    3 publications · 1.4K citations

    3

    h-index

  4. VL
    Vladimir Levin

    Microsoft (United States), United States

    3 publications · 548 citations

    3

    h-index

  5. AW
    Abdul Wahab

    Nanyang Technological University, Singapore

    2 publications · 33 citations

    2

    h-index

1–5 of 111

Institutions

42

  1. Microsoft (United States)

    Redmond, United States

    3 h-index

    15 publications

    5.5K citations

  2. Data61

    Sydney, Australia

    2 h-index

    4 publications

    71 citations

  3. Microsoft (Finland)

    Espoo, Finland

    2 h-index

    18 publications

    4.3K citations

  4. ETH Zurich

    Zurich, Switzerland

    2 h-index

    4 publications

    343 citations

  5. Nanyang Technological University

    Singapore, Singapore

    2 h-index

    5 publications

    83 citations

  6. University of Ottawa

    Ottawa, Canada

    1 h-index

    2 publications

    68 citations

  7. Karlsruhe Institute of Technology

    Karlsruhe, Germany

    1 h-index

    1 publications

    10 citations

  8. Lenovo (China)

    Beijing, China

    1 h-index

    1 publications

    34 citations

1–8 of 42

Venues

  1. 3

    h-index

  2. at - Automatisierungstechnik

    1 publications · 10 citations

    1

    h-index

  3. 1

    h-index

  4. Information and Software Technology

    1 publications · 12 citations

    1

    h-index

  5. ACM SIGOPS Operating Systems Review

    1 publications · 96 citations

    1

    h-index

1–5