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 engineering, computer science, and software analysis.

ORCID

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisSoftware TestingFormal VerificationFormal MethodsVerificationSoftware EngineeringSystem Software

Publications per year

2001–2022

Publications

High‐level data races

Cyrille Artho, Klaus Havelund, Armin Biere · Software Testing Verification and Reliability · 2003 · 190 citations

Engineering, Software Systems, Concurrent System +20

Liveness Checking as Safety Checking

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

Engineering, Verification, Safety Science +25

Memory deduplication as a threat to the guest OS

Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi et al. · 2011 · 139 citations

Physical Memory, Engineering, Operating Systems +14

Combining test case generation and runtime verification

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

Engineering, Computational Testing, Runtime Verification +10

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

Cyrille Artho, Armin Biere · 2002 · 82 citations

Software Maintenance, Program Checking, Engineering +19

1–5 of 28