Cyrille Artho

Citata da

	Tutte	Dal 2020
Citazioni	2980	931
Indice H	27	15
i10-index	55	24

240

120

180

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 45 84 74 87 91 91 115 103 105 157 157 158 143 195 184 169 160 176 169 171 229 25

Accesso pubblico

Visualizza tutto

13 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Armin BiereProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryEmail verificata su jpl.nasa.gov
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaEmail verificata su acm.org
Takashi KitamuraAISTEmail verificata su aist.go.jp
Kuniyasu SuzakiIISEC: Institute of Information Security, Graduate SchoolEmail verificata su iisec.ac.jp
Eun-Hye ChoiAISTEmail verificata su aist.go.jp
Shinichi HonidenNational Institute of Informatics / Waseda UniversityEmail verificata su nii.ac.jp
Willem VisserComputer Science Division, Stellenbosch UniversityEmail verificata su cs.sun.ac.za
Corina PasareanuCMU/NASA AmesEmail verificata su nasa.gov
Rudolf RamlerSoftware Competence Center Hagenberg GmbH (SCCH)Email verificata su scch.at
Mojtaba EshghiePhD Student at KTH Royal Institute of TechnologyEmail verificata su kth.se
Cheng ZhangPost-doctoral research fellow, University of WaterlooEmail verificata su uwaterloo.ca
Martina SeidlUniv.-Prof., JKU LinzEmail verificata su jku.at
Grigore RosuUniversity of Illinois at Urbana ChampaignEmail verificata su illinois.edu
Rich WashingtonGoogleEmail verificata su google.com
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Email verificata su aist.go.jp
Ye LIUResearch Scientist of Singapore Management University; Nanyang Technological University;Email verificata su smu.edu.sg
Yi LiNanyang Technological UniversityEmail verificata su ntu.edu.sg
Koushik SenProfessor of Computer Science, University of California, BerkeleyEmail verificata su cs.berkeley.edu
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyEmail verificata su chalmers.se

Segui

Cyrille Artho

KTH Royal Institute of Technology, Sweden

Email verificata su kth.se - Home page

Software Verification Software Security Software Testing


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	242	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	198	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	103	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	80	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	73	2012
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	72	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	69	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
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	63	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
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
Visualization of concurrent program executions C Artho, K Havelund, S Honiden 31st Annual International Computer Software and Applications Conference …, 2007	57	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori