Cyrille Artho

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	2955	912
H-index	27	15
i10-index	56	23

240

120

180

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202529 44 84 77 87 91 90 116 103 104 156 151 154 142 194 186 172 160 171 160 170 224 26

גישה ציבורית

הצג הכל

13 מאמרים

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Armin BiereProfessor of Computer Science, University of Freiburgכתובת אימייל מאומתת בדומיין informatik.uni-freiburg.de
Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratoryכתובת אימייל מאומתת בדומיין jpl.nasa.gov
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, Canadaכתובת אימייל מאומתת בדומיין acm.org
Takashi KitamuraAISTכתובת אימייל מאומתת בדומיין aist.go.jp
Kuniyasu SuzakiIISEC: Institute of Information Security, Graduate Schoolכתובת אימייל מאומתת בדומיין iisec.ac.jp
Eun-Hye ChoiAISTכתובת אימייל מאומתת בדומיין aist.go.jp
Shinichi HonidenNational Institute of Informatics / Waseda Universityכתובת אימייל מאומתת בדומיין nii.ac.jp
Willem VisserComputer Science Division, Stellenbosch Universityכתובת אימייל מאומתת בדומיין cs.sun.ac.za
Corina PasareanuCMU/NASA Amesכתובת אימייל מאומתת בדומיין nasa.gov
Rudolf RamlerSoftware Competence Center Hagenberg GmbH (SCCH)כתובת אימייל מאומתת בדומיין scch.at
Mojtaba EshghiePhD Student at KTH Royal Institute of Technologyכתובת אימייל מאומתת בדומיין kth.se
Cheng ZhangPost-doctoral research fellow, University of Waterlooכתובת אימייל מאומתת בדומיין uwaterloo.ca
Martina SeidlUniv.-Prof., JKU Linzכתובת אימייל מאומתת בדומיין jku.at
Grigore RosuUniversity of Illinois at Urbana Champaignכתובת אימייל מאומתת בדומיין illinois.edu
Rich WashingtonGoogleכתובת אימייל מאומתת בדומיין google.com
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)כתובת אימייל מאומתת בדומיין aist.go.jp
Ye LIUResearch Scientist of Singapore Management University; Nanyang Technological University;כתובת אימייל מאומתת בדומיין smu.edu.sg
Yi LiNanyang Technological Universityכתובת אימייל מאומתת בדומיין ntu.edu.sg
Koushik SenProfessor of Computer Science, University of California, Berkeleyכתובת אימייל מאומתת בדומיין cs.berkeley.edu
Shang-Wei LINAssociate Professor, Singapore Institute of Technology (SIT)כתובת אימייל מאומתת בדומיין singaporetech.edu.sg

עקוב אחר

Cyrille Artho

KTH Royal Institute of Technology, Sweden

כתובת אימייל מאומתת בדומיין kth.se - דף הבית

Software Verification Software Security Software Testing


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	245	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‏	195	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‏	141	2005
Applying static analysis to large-scale, multi-threaded Java programs‏ C Artho, A Biere‏ Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001‏	135	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‏	84	2003
Iterative delta debugging‏ C Artho‏ International Journal on Software Tools for Technology Transfer 13, 223-246, 2011‏	77	2011
Combined static and dynamic analysis‏ C Artho, A Biere‏ Electronic Notes in Theoretical Computer Science 131, 3-14, 2005‏	75	2005
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‏	74	2020
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‏	72	2021
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‏	67	2015
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
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‏	64	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‏	62	2004
Finding faults in multi-threaded programs‏ C Artho‏	61	2001
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
Visualization of concurrent program executions‏ C Artho, K Havelund, S Honiden‏ 31st Annual International Computer Software and Applications Conference …, 2007‏	57	2007
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
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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים