Cyrille Artho

Citado por

	Todos	Desde 2016
Citações	2141	818
Índice h	24	16
Índice i10	45	24

200

100

150

200320042005200620072008200920102011201220132014201520162017201820192020202128 50 85 80 82 88 87 115 100 99 148 148 157 141 186 176 161 146 7

Coautores

Armin BiereJohannes Kepler University LinzE-mail confirmado em jku.at
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryE-mail confirmado em jpl.nasa.gov
Kuniyasu SuzakiAIST: National Institute of Advanced Industrial Science and TechnologyE-mail confirmado em aist.go.jp
Lei MaAssociate Professor, Kyushu UniversityE-mail confirmado em ait.kyushu-u.ac.jp
Takashi KitamuraAISTE-mail confirmado em aist.go.jp
Eun-Hye ChoiAISTE-mail confirmado em aist.go.jp
Willem VisserComputer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
Corina PasareanuCMU/NASA AmesE-mail confirmado em nasa.gov
Rudolf RamlerSoftware Competence Center Hagenberg GmbHE-mail confirmado em scch.at
Grigore RosuUniversity of Illinois at Urbana ChampaignE-mail confirmado em illinois.edu
Cheng ZhangPost-doctoral research fellow, University of WaterlooE-mail confirmado em uwaterloo.ca
Akihisa YamadaNational Institute of Informatics, JapanE-mail confirmado em trs.cm.is.nagoya-u.ac.jp
Martina SeidlUniv.-Prof., JKU LinzE-mail confirmado em jku.at
Rich WashingtonGoogleE-mail confirmado em google.com
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)E-mail confirmado em aist.go.jp
Koushik SenProfessor of Computer Science, University of California, BerkeleyE-mail confirmado em cs.berkeley.edu
Doron DrusinskyNaval Postgraduate School, Maya Software, Inc., Aerendir, Inc.E-mail confirmado em nps.edu
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotE-mail confirmado em dicosmo.org
Stefano ZacchiroliUniversité de Paris and Inria, FranceE-mail confirmado em irif.fr
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloE-mail confirmado em ifi.uio.no

Cyrille Artho

KTH Royal Institute of Technology, Sweden

E-mail confirmado em kth.se - Página inicial

Software Verification Software Security Software Testing


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	243	2003
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	191	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	146	2011
Applying static analysis to large-scale, multi-threaded Java programs C Artho, A Biere Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001	126	2001
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	125	2005
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	60	2005
JNuke: Efficient dynamic analysis for Java C Artho, V Schuppan, A Biere, P Eugster, M Baur, B Zweimüller International Conference on Computer Aided Verification, 462-465, 2004	59	2004
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	58	2015
Finding faults in multi-threaded programs C Artho	57	2001
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	56	2004
Iterative delta debugging C Artho International Journal on Software Tools for Technology Transfer 13 (3), 223-246, 2011	51	2011
Accurate centralization for applying model checking on networked applications C Artho, PL Garoche 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006	50	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 Haifa Verification Conference, 112-128, 2013	40	2013
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	39	2012
Efficient model checking of networked applications C Artho, W Leungwattanakit, M Hagiya, Y Tanabe International Conference on Objects, Components, Models and Patterns, 22-40, 2008	38	2008
Visualization of concurrent program executions C Artho, K Havelund, S Honiden 31st Annual International Computer Software and Applications Conference …, 2007	38	2007
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	35	2015
Model-based testing for verification back-ends C Artho, A Biere, M Seidl International Conference on Tests and Proofs, 39-55, 2013	31	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	31	2011

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Fazer upload de PDF

Seguir este autor

Citado por

Coautores