Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

18 Résultats
authIdHal_s : vincent-ribaud
Page :
triés par
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 et al.
Ludovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse
Communication dans un congrès hal-02911731v1
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

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

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

 Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy et al.
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

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 et al.
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

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

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

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

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

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

 Cécile Plaud , Vincent Ribaud
Conférence Francophone en Environnements Informatiques pour l’Apprentissage Humain, Apr 2018, BESANCON, France
Communication dans un congrès hal-04025380v1
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

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
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
Page :