Cyrille Artho

Statistics

Publications

Citations

1.4K

H-Index

Active since

2001

Affiliations

National Institute of Advanced Industrial Science and Technology(Current)

The University of Tokyo

ETH Zurich

National Institute of Informatics

Chiba University

Cyrille Artho is an author at National Institute of Advanced Industrial Science and Technology specializing in computer science, computing, and computer engineering.

ORCID

Publications per year

2001–2022

Publications

High‐level data races

Cyrille Artho, Klaus Havelund, Armin Biere · Software Testing Verification and Reliability · 2003 · 191 citations · Full text

Computing, Computer Science, Computer Architecture +10

Liveness Checking as Safety Checking

Armin Biere, Cyrille Artho, Viktor Schuppan · Electronic Notes in Theoretical Computer Science · 2002 · 169 citations · Full text

Computing, Computer Engineering, Computer Science +12

Memory deduplication as a threat to the guest OS

Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi et al. · 2011 · 141 citations · Full text

Computing, Computer Systems, Cybersecurity +16

Combining test case generation and runtime verification

Cyrille Artho, Howard Barringer, Allen Goldberg et al. · Theoretical Computer Science · 2004 · 91 citations

Computing, Computer Engineering, Computer Science +12

Applying static analysis to large-scale, multi-threaded Java programs

Cyrille Artho, Armin Biere · 2002 · 82 citations · Full text

Computing, Computer Science, Formal Methods +11

1–5 of 28