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

2024

FormaliSE

Committee Member in Program Committee within the FormaliSE 2024-track

AST

Committee Member in Program Committee within the AST 2024-track

2023

NWPT

FTSCS

AST

Committee Member in Program Committee within the AST 2023-track

2022

FTSCS

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

SPLASH

Organizer of Formal Techniques for Safety-Critical Systems (FTSCS) within the Workshops-track

ASE

ISSTA

Author of Finding Permission Bugs in Smart Contracts with Role Mining within the Technical Papers-track

ICSE

Committee Member in Program Committee within the Posters-track

2021

Blockchain Software Engineering

Author of Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning within the Second Blockchain Software Engineering Workshop-track

2020

IWCT

Author of Toward an Encoding Approach to Interaction-based Test Suite Minimization within the IWCT 2020-track

ISSTA

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

ICSE

Committee Member in Program Committee within the New Ideas and Emerging Results-track

2019

ASE

JPF

Co-chair in Organizing Committee within the JPF 2019-track

2018

JPF

Committee Member in Program Committee within the JPF-track

VORTEX

Committee Member in Program Committee within the VORTEX-track