Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

18 Résultats
authIdHal_s : vincent-ribaud
Image document

When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example

Cécile Plaud , Vincent Ribaud
10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
Communication dans un congrès hal-01841830v1
Image document

Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project

Vincent Ribaud , Vincent Leilde
International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
Communication dans un congrès hal-01698582v1
Image document

Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project

Vincent Leilde , Vincent Ribaud
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
Communication dans un congrès hal-01756186v1
Image document

KriQL: a query language for the diagnosis of transition systems

Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov , Zoé Drey , Vincent Ribaud
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès hal-01203649v1
Image document

Techniques and Challenges for Trace Processing from a Model-Checking Perspective

Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès hal-01119571v1
Image document

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès hal-01933792v1
Image document

Des dispositifs pédagogiques pour œuvrer à l’égalité femmes hommes dans le numérique. Retours d’expériences des acteurs et actrices.

Pascale Gautron , Cécile Plaud , Vincent Ribaud
IMT4ET Innovative Methods and Tools for Educational Technology, May 2020, Rennes, France
Communication dans un congrès hal-02911755v1
Image document

Model-based Diagnosis Patterns for Model Checking

Vincent Leilde , Vincent Ribaud , Philippe Dhaussy
PAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès hal-01406604v1
Image document

Les filles qui… et L Codent L Créent : constituer un bien commun de médiation en informatique

Pascale Gautron , Cécile Plaud , Maude Pupin , Vincent Ribaud , Yann Secq
Ludovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse
Communication dans un congrès hal-02911731v1
Image document

6 leçons de robotique pour les sciences

Ashwarya Arora , Boulc'H Julie , Caza Céline , Gourvil Magali , Karchaoui Ikhlass , et al.
DIDAPRO L'informatique objet d'enseignements, Feb 2020, Lille, France
Communication dans un congrès hal-02482472v1
Image document

Domain-oriented Verification Management

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Communication dans un congrès hal-01933794v1
Image document

Quand des étudiantes de licence deviennent enseignantes en informatique: leçons du dispositif «Les filles qui… »

Cécile Plaud , Vincent Ribaud
Humanistica 2020, May 2020, Bordeaux, France
Communication dans un congrès hal-02911760v1
Image document

Apprentissage par projets à l'école primaire avec les filles qui. . .

Cassandra Balland , Esther Bernard , Morgane Coat , Isabelle Fouqué , Louise Hergoualc 'H , et al.
RJC-EIAH 2018 - Atelier "Organisation et suivi des activités d’apprentissage de l’informatique : outils, modèles et expériences", Apr 2018, Besançon, France
Communication dans un congrès hal-01756178v1
Image document

Quand des étudiantes deviennent des ambassadrices du numérique

Cécile Plaud , Vincent Ribaud
Valorisation des Initiatives Pédagogiques en Bretagne et Pays de Loire - VIP 2018, Jun 2018, Rennes, France
Communication dans un congrès hal-01826018v1
Image document

Ingénierie des projets Savanturiers de l'ingénierie

Vincent Ribaud , Chabha Hireche , Arwa Khannoussi , Vincent Leilde , Cécile Plaud , et al.
Colloque Education par la recherche, Jul 2018, Paris, France
Communication dans un congrès hal-01839091v1
Image document

A Diagnosis Framework for Critical Systems Verification

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Communication dans un congrès hal-01559688v1
Image document

La pédagogie par l'exemple : une stratégie pour lutter contre les stéréotypes de genre? Le cas de la filière informatique.

Vincent Ribaud , Cécile Plaud
AREF, Jul 2019, BORDEAUX, France
Communication dans un congrès hal-02169755v1

Les filles qui, l codent l créent et équilibre : des dispositifs pour valoriser le numérique et les sciences au féminin du primaire au lycée

Cécile Plaud , Vincent Ribaud
Forum Recherche et Education #07, Région académique de Bretagne, May 2023, Morlaix, France
Communication dans un congrès hal-04123239v1