RIBAUD Vincent

enseignant-chercheur
en ingénierie du logiciel et en vérification formelle par model-checking


Enseignant-chercheur
Etablissement : Université Bretagne Occidentale
Affectation de recherche : LABSTICC (Laboratoire des sciences techniques de l'information, de la communication et de la connaissance)

Equipe(s) : MOCS - Lab-STICC, UMR 6285
Photo
LogoUBO
Logo
Pour la messagerie : prénom.nom@univ-brest.fr
Tél.+33298016971

Page personnelle : https://cv.archives-ouvertes.fr/vincent-ribaud
  • Vincent Ribaud. Scaling up a project-based SQL course. 20120 IEEE 32th Conference on Software Engineering Education and Training (CSEE&T), Nov 2020, Munich, Germany. ⟨hal-02911766⟩. <pdf>
  • Ashwarya Arora, Boulc'H Julie, Caza Céline, Gourvil Magali, Karchaoui Ikhlass, et al.. 6 leçons de robotique pour les sciences. DIDAPRO L'informatique objet d'enseignements, Feb 2020, Lille, France. ⟨hal-02482472⟩. <pdf>
  • Ashwarya Arora, Cassandra Balland, Salomé Brousseau, Morgane Coat, Laurie-May Constantin, et al.. Partenaires informatiques pour la classe. DIDAPRO 8 L'informatique objet d'enseignements, Feb 2020, Lille, France. ⟨hal-02911662⟩. <pdf>
  • Pascale Gautron, Cécile Plaud, Vincent Ribaud. Des dispositifs pédagogiques pour œuvrer à l’égalité femmes hommes dans le numérique. Retours d’expériences des acteurs et actrices.. IMT4ET Innovative Methods and Tools for Educational Technology, May 2020, Rennes, France. ⟨hal-02911755⟩. <pdf>
  • Cécile Plaud, Vincent Ribaud. Quand des étudiantes de licence deviennent enseignantes en informatique: leçons du dispositif «Les filles qui… ». Humanistica 2020, May 2020, Bordeaux, France. ⟨hal-02911760⟩. <pdf>
  • Vincent Ribaud. 6 leçons de robotique et des robolympiades pour les sciences. Forum national "Activons les sciences en classe !, Apr 2020, Paris, France. ⟨hal-02911720⟩. <pdf>
  • Pascale Gautron, Cécile Plaud, Maude Pupin, Vincent Ribaud, Yann Secq. Les filles qui… et L Codent L Créent : constituer un bien commun de médiation en informatique. Ludovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse. ⟨hal-02911731⟩. <pdf>
  • Vincent Ribaud, Cécile Plaud. 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.. AREF, Jul 2019, BORDEAUX, France. ⟨hal-02169755⟩. <pdf>
  • Cassandra Balland, Salomé Brousseau, Morgane Coat, Laurie-May Constantin, Layla Corain, et al.. Enseigner la programmation Scratch en amatrice. EIAH 2019 - Apprentissage de la pensée informatique de la maternelle à l’Université : retours d’expériences et passage à l’échelle, Jun 2019, Paris, France. ⟨hal-02332743⟩. <pdf>
  • Vincent Ribaud, Cyrielle Feron, Vincent Leilde, Ashwarya Arora, Sarah Le Bihan. Engineering projects "Savanturiers de l'ingénierie". HICSS-52 Invited Track: Software Engineering Education and Training, Jan 2019, Wailea (Hawaï), United States. ⟨hal-02332734⟩. <pdf>
  • Vincent Ribaud, Chabha Hireche, Arwa Khannoussi, Vincent Leilde, Cécile Plaud, et al.. Ingénierie des projets Savanturiers de l'ingénierie. Colloque Education par la recherche, Jul 2018, Paris, France. ⟨hal-01839091⟩. <pdf>
  • Vincent Ribaud, Malou Alleno, Cassandra Balland, Esther Bernard, Néné Cissé, et al.. Eduquer en montrant l'exemple : les filles qui .... Didapro 7 – DidaSTIC : De 0 à 1 ou l’heure de l’informatique à l’école, Feb 2018, Lausanne, Suisse. ⟨hal-01756177⟩. <pdf>
  • Cassandra Balland, Esther Bernard, Morgane Coat, Isabelle Fouqué, Louise Hergoualc 'H, et al.. Apprentissage par projets à l'école primaire avec les filles qui. . .. 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. ⟨hal-01756178⟩. <pdf>
  • Cécile Plaud, Vincent Ribaud. When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example. 10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland. ⟨hal-01841830⟩. <pdf>
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support. 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco. ⟨hal-01933792⟩. <pdf>
  • Cécile Plaud, Vincent Ribaud. Quand des étudiantes deviennent des ambassadrices du numérique. Valorisation des Initiatives Pédagogiques en Bretagne et Pays de Loire - VIP 2018, Jun 2018, Rennes, France. ⟨hal-01826018⟩. <pdf>
  • Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud. KriQL: a query language for the diagnosis of transition systems. 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165. ⟨hal-01203649⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. Relating ICT Competencies with Personality Types. EuroSPI 2015, Sep 2015, Ankara, Turkey. pp.1-8, ⟨10.1007/978-3-319-24647-5_24⟩. ⟨hal-01197473⟩. <pdf>
  • Mickaël Kerboeuf, Vincent Ribaud. Un aperçu de l'ingénierie du logiciel en 12 leçons de L1 Informatique. Colloque LMD en informatique: Europe et emploi. Montpellier-France, May 2005, Montpellier, France. ⟨hal-01448447⟩. <pdf>
  • Philippe Saliou, Vincent Ribaud. Production et apprentissage : les deux faces d'un référentiel d'ingénierie du logiciel par immersion. 18e colloque de l'ADMEE Europe - Comment évaluer ? Outils, dispositifs et acteurs, ADMEE, Oct 2005, Reims, France. ⟨hal-01448449⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou, Françoise Le Borgne-Uguen. Observation participante et analyse d'une expérience de formation basée sur la pédagogie par projet. URAFF 2003. Unité de Recherche-Action en Formation de Formateurs (URAFF). Journée d'étude "Enseignants du supérieur: un métier ou des métiers", Jun 2003, Brest, France. ⟨hal-01451143⟩. <pdf>
  • Philippe Saliou, Alain Plantec, Vincent Ribaud. Meta-programming with Express and SQL. International Workshop on Declarative Meta Programming (DMP 02), Sep 2002, Edimbourg, United Kingdom. ⟨hal-01451131⟩. <pdf>
  • Philippe Saliou, Vincent Ribaud. Adding Use Cases to the building of Information Systems with Oracle Designer. International Workshop on Integration and Transformation of UML Models, WITUM'02, ECOOP 2002., Jun 2002, Malaga, Spain. ⟨hal-01450909⟩. <pdf>
  • A Plantec, Vincent Ribaud. Experiences using an Application Generator Builder. 12th IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE'99), Jun 1999, Kaiserlautern, Germany. ⟨hal-01450893⟩. <pdf>