Cyrille Artho

Registered user since Wed 28 Feb 2018

Name:Cyrille Artho
Affiliation:KTH Royal Institute of Technology, Sweden

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