Cyrille Artho

Cited by

	All	Since 2018
Citations	2680	994
h-index	26	17
i10-index	53	26

200

100

150

20032004200520062007200820092010201120122013201420152016201720182019202020212022202326 47 84 78 86 88 87 116 101 105 153 160 158 147 190 180 170 161 166 161 155

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

Co-authors

Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaVerified email at acm.org
Kuniyasu SuzakiAIST: National Institute of Advanced Industrial Science and TechnologyVerified email at aist.go.jp
Takashi KitamuraAISTVerified email at aist.go.jp
Eun-Hye ChoiAISTVerified email at aist.go.jp
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Shinichi HonidenNational Institute of Informatics / Waseda UniversityVerified email at nii.ac.jp
Rudolf RamlerSoftware Competence Center Hagenberg GmbH (SCCH)Verified email at scch.at
Akihisa YamadaNational Institute of Advanced Industrial Science and Technology (AIST), JapanVerified email at aist.go.jp
Cheng ZhangPost-doctoral research fellow, University of WaterlooVerified email at uwaterloo.ca
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Rich WashingtonGoogleVerified email at google.com
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Mojtaba EshghiePhD Student at KTH Royal Institute of TechnologyVerified email at kth.se
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerified email at dicosmo.org

Cyrille Artho

KTH Royal Institute of Technology, Sweden

Verified email at kth.se - Homepage

Software Verification Software Security Software Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	263	2003
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	224	2002
Memory deduplication as a threat to the guest OS K Suzaki, K Iijima, T Yagi, C Artho Proceedings of the Fourth European Workshop on System Security, 1-6, 2011	180	2011
Combining test case generation and runtime verification C Artho, H Barringer, A Goldberg, K Havelund, S Khurshid, M Lowry, ... Theoretical Computer Science 336 (2-3), 209-234, 2005	138	2005
Applying static analysis to large-scale, multi-threaded Java programs C Artho, A Biere Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001	138	2001
GRT: Program-analysis-guided random testing L Ma, C Artho, C Zhang, H Sato, J Gmeiner, R Rudolf IEEE/ACM Int. Conference on Automated Software Engineering, ASE 15, 2015	87	2015
Experiments with test case generation and runtime analysis C Artho, D Drusinksy, A Goldberg, K Havelund, M Lowry, C Pasareanu, ... International Workshop on Abstract State Machines, 87-108, 2003	83	2003
Combined static and dynamic analysis C Artho, A Biere Electronic Notes in Theoretical Computer Science 131, 3-14, 2005	76	2005
Iterative delta debugging C Artho International Journal on Software Tools for Technology Transfer 13, 223-246, 2011	69	2011
Optimization of combinatorial testing by incremental SAT solving A Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A Biere 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015	61	2015
Using block-local atomicity to detect stale-value concurrency errors C Artho, K Havelund, A Biere International Symposium on Automated Technology for Verification and …, 2004	61	2004
Why do software packages conflict? C Artho, K Suzaki, R Di Cosmo, R Treinen, S Zacchiroli 2012 9th IEEE Working Conference on Mining Software Repositories (MSR), 141-150, 2012	60	2012
Finding faults in multi-threaded programs C Artho	60	2001
Greedy combinatorial test case generation using unsatisfiable cores A Yamada, A Biere, C Artho, T Kitamura, EH Choi Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	58	2016
JNuke: Efficient dynamic analysis for Java C Artho, V Schuppan, A Biere, P Eugster, M Baur, B Zweimüller Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	58	2004
Visualization of concurrent program executions C Artho, K Havelund, S Honiden 31st Annual International Computer Software and Applications Conference …, 2007	54	2007
Accurate centralization for applying model checking on networked applications C Artho, PL Garoche 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006	53	2006
Modbat: A model-based API tester for event-driven systems CV Artho, A Biere, M Hagiya, E Platon, M Seidl, Y Tanabe, M Yamamoto Hardware and Software: Verification and Testing: 9th International Haifa …, 2013	51	2013
Model-based testing for verification back-ends C Artho, A Biere, M Seidl International Conference on Tests and Proofs, 39-55, 2013	45	2013
Software side channel attack on memory deduplication K Suzaki, K Iijima, T Yagi, C Artho ACM Symposium on Operating Systems Principles (SOSP 2011), Poster session, 2011	43	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors