Cyrille Artho -

Registered user since Wed 28 Feb 2018

Name:Cyrille Artho

Affiliation:KTH Royal Institute of Technology, Sweden

Personal website:https://people.kth.se/~artho/

Contributions

FTSCS 2022	Committee Member in Organizing Committee within the Formal Techniques for Safety-Critical Systems-track Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
ISSTA 2022	Author of Finding Permission Bugs in Smart Contracts with Role Mining within the Technical Papers-track
Second Blockchain Software Engineering Workshop	Author of Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning within the Second Blockchain Software Engineering Workshop-track
SPLASH 2022	Organizer of Formal Techniques for Safety-Critical Systems (FTSCS) within the Workshops-track
ICSE 2022	Committee Member in Program Committee within the Posters-track
IWCT 2020	Author of Toward an Encoding Approach to Interaction-based Test Suite Minimization within the IWCT 2020-track
ISSTA 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
JPF 2019	Co-chair in Organizing Committee within the JPF 2019-track
ASE 2019	Author of Visual Analytics for Concurrent Java Executions within the Demonstrations-track Session Chair of Refactoring and Software Production (part of Papers) Committee Member in Program Committee within the Research Papers-track
JPF 2018	Committee Member in Program Committee within the JPF-track
VORTEX 2018	Committee Member in Program Committee within the VORTEX-track
ICSE 2020	Committee Member in Program Committee within the New Ideas and Emerging Results-track