Cyrille Artho

Cited by

	All	Since 2019
Citations	2896	1014
h-index	27	17
i10-index	54	27

200

100

150

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 45 84 74 87 91 91 115 103 104 156 158 158 142 194 184 170 161 176 172 169 162

Public access

View all

12 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 SuzakiIISEC: Institute of Information Security, Graduate SchoolVerified email at iisec.ac.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
Rudolf RamlerSoftware Competence Center Hagenberg GmbH (SCCH)Verified email at scch.at
Shinichi HonidenNational Institute of Informatics / Waseda UniversityVerified email at nii.ac.jp
Cheng ZhangPost-doctoral research fellow, University of WaterlooVerified email at uwaterloo.ca
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Rich WashingtonGoogleVerified email at google.com
Mojtaba EshghiePhD Student at KTH Royal Institute of TechnologyVerified email at kth.se
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
Ye liuResearch Scientist of Singapore Management University; Nanyang Technological University;Verified email at smu.edu.sg
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
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

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	265	2003
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	234	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	192	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	142	2005
Applying static analysis to large-scale, multi-threaded Java programs C Artho, A Biere Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001	137	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	99	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	79	2005
Iterative delta debugging C Artho International Journal on Software Tools for Technology Transfer 13, 223-246, 2011	78	2011
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	67	2012
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	66	2015
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	62	2016
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
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	60	2004
Finding faults in multi-threaded programs C Artho	60	2001
Dynamic vulnerability detection on smart contracts using machine learning M Eshghie, C Artho, D Gurov Proceedings of the 25th International Conference on Evaluation and …, 2021	58	2021
Oracle-supported dynamic exploit generation for smart contracts H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu IEEE Transactions on Dependable and Secure Computing 19 (3), 1795-1809, 2020	58	2020
Visualization of concurrent program executions C Artho, K Havelund, S Honiden 31st Annual International Computer Software and Applications Conference …, 2007	56	2007
Accurate centralization for applying model checking on networked applications C Artho, PL Garoche 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006	56	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	55	2013

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