Concepedia

Cécile Hardebolle

CH

10

Publications

271

Citations

10

H-Index

2007

Active since

Affiliations

Supélec(Current)

École Polytechnique Fédérale de Lausanne

Cécile Hardebolle is an author at Supélec specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware EngineeringFormal VerificationSystems EngineeringEducationVerificationStem Education

Publications per year

2007–2022

10

Publications

10

Exploring Multi-Paradigm Modeling Techniques

Cécile Hardebolle, Frédéric Boulanger · SIMULATION · 2009 · 67 citations

Engineering, Modeling Method, Computer Architecture +23

Which professional skills do students learn in engineering team-based projects?

Cyril Picard, Cécile Hardebolle, Roland Tormey et al. · European Journal of Engineering Education · 2021 · 55 citations · Full text

Stem Education, Self-efficacy Beliefs, Engineering Team-based Projects +11

Assessing Computational Thinking: Development and Validation of the Algorithmic Thinking Test for Adults

Marc Lafuente Martínez, Olivier Lévêque, Isabel Benítez et al. · Journal of Educational Computing Research · 2022 · 34 citations · Full text

Computational Literacy, Educational Psychology, Education +19

Simulation of Multi-Formalism Models with ModHel'X

Fr Boulanger, Cécile Hardebolle · 2008 · 29 citations

Engineering, Verification, Software Engineering +19

Semantic Adaptation for Models of Computation

Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet et al. · 2011 · 22 citations

Engineering, Semantic Adaptation, Software Engineering +24

Rows per page

1–5 of 10