Scholar
Cyrille Artho
Google Scholar ID: wrWmPRQAAAAJ
KTH Royal Institute of Technology, Sweden
Software Verification
Software Security
Software Testing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,071
H-index
27
i10-index
59
Publications
20
Co-authors
52
list available
Publications
6 items
Where did we fail? -- Reproducing build failures in embedded open source software
2026
Cited
0
PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
2026
Cited
0
Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code
2025
Cited
0
SoliDiffy: AST Differencing for Solidity Smart Contracts
arXiv.org · 2024
Cited
0
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
arXiv.org · 2024
Cited
0
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
International Conference on Automated Software Engineering · 2023
Cited
1
Co-authors
9 total
Armin Biere
Professor of Computer Science, University of Freiburg
Lei Ma
Associate Professor, The University of Tokyo, Japan & University of Alberta, Canada
Corina Pasareanu
CMU/NASA Ames
Rudolf Ramler
Software Competence Center Hagenberg GmbH (SCCH)
Cheng Zhang
Post-doctoral research fellow, University of Waterloo
Martina Seidl
Univ.-Prof., JKU Linz
Grigore Rosu
University of Illinois at Urbana Champaign
Yi Li
Nanyang Technological University
