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

Articles dans des revues

  • Cécile Plaud, Vincent Ribaud. Médiation dans le numérique, une pédagogie gagnante?. Spirale - Revue de Recherches en Éducation , 2024, 73. ⟨hal-04448680⟩
  • Glenn Cavarlé, Alain Plantec, Steven Costiou, Vincent Ribaud. A feature-oriented model-driven engineering approach for the early validation of feature-based applications. Science of Computer Programming, 2018, 161, pp.18 - 33. ⟨10.1016/j.scico.2018.01.001⟩. ⟨hal-01701593⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou, Claude Laporte. Towards Experience Management for Very Small Entities. International Journal On Advances in Software, 2011, 4 (1), pp.218-230. ⟨hal-00630359⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou, Claude Laporte. Un assistant de mémoire pour les très petits projets d'ingénierie du logiciel. Études de communication - Langages, information, médiations, 2011, 36, pp.67-86. ⟨hal-00630358⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. Equipping Software Engineering Apprentices with a Repertoire of Practices. International Journal On Advances in Software, 2010, 3 (1), pp.201-212. ⟨hal-00630577⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. Towards an abitlity model for software engineering apprenticeship. Journal ITALICS : Innovation in Teaching And Learning in Information and Computer Sciences, 2007, pp.97-107. ⟨hal-00504457⟩. <pdf>
  • Philippe Saliou, Vincent Ribaud. Ingénierie du logiciel par immersion. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2005, 74, pp.28 - 36. ⟨hal-01448491⟩. <pdf>
  • Alain Plantec, Vincent Ribaud. Data Management: From EXPRESS Schemata to User Interface. International Journal of Computing and Information Sciences (IJCIS), 1996, 2 (1), pp.1243-1264. ⟨hal-01450872⟩. <pdf>

Communications dans un congrès

  • Oregan Segalen, Vincent Ribaud, Natacha Caouren. Des métaphores pour la programmation de robots. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.157-157. ⟨hal-04482125⟩
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-oriented Verification Management. 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39. ⟨hal-01933794⟩. <pdf>
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Diagnosis Framework for Critical Systems Verification. 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6. ⟨hal-01559688⟩. <pdf>
  • Cassandra Balland, Néné Satorou Cissé, Louise Hergoualc’h, Gwendoline Kervot, Audrey Lidec, et al.. Girls Who . . . Do Scratch a First Round with the Essence Kernel. 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.48⟩. ⟨hal-01756185⟩. <pdf>
  • Vincent Ribaud, Vincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project. International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506. ⟨hal-01698582⟩. <pdf>
  • Vincent Leilde, Vincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project. 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩. ⟨hal-01756186⟩. <pdf>
  • Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking. PAME 2016, Oct 2016, St Malo, France. pp.7-12. ⟨hal-01406604⟩. <pdf>
  • Glenn Cavarlé, Alain Plantec, Steven Costiou, Vincent Ribaud. Dynamic Round-Trip Engineering in the context of FOMDD. 11th International Workshop on Smalltalk Technologies, Aug 2016, Prague, Czech Republic. pp.1 - 7, ⟨10.1145/2991041.2991056⟩. ⟨hal-01448784⟩. <pdf>
  • Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. An Organizing System to Perform and Enable Verification and Diagnosis Activities. Intelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587. ⟨hal-01472718⟩. <pdf>
  • Vincent Ribaud, Alexandre Bescond, Matthieu Gourvenec, Joël Gueguen, Victorien Lamour, et al.. Process Assessment Issues in a Bachelor Capstone Project. Software Process Education, Training and Professionalism, Jun 2015, Göteborg, Sweden. pp.25-33. ⟨hal-01167361⟩. <pdf>
  • Vincent Ribaud, Rory V O 'Connor. Blending Process Assessment and Employees Competencies Assessment in Very Small Entities. 22nd European Conference on Systems, Software and Services Process Improvement (EuroSPI 2015), Sep 2015, Ankara, Turkey. pp.206 - 219, ⟨10.1007/978-3-319-24647-5_17⟩. ⟨hal-01450744⟩. <pdf>
  • Lily Blanleuil, Amandine Grosjean, Pierre Laot, Jean-Baptiste Lauté, Jimmy Tournemaine, et al.. Un exemple de dispositif constructiviste en Licence 2 Informatique. Questions de Pédagogie dans l’Enseignement Supérieur, Jun 2015, Brest, France. pp.802-808. ⟨hal-01167366⟩. <pdf>
  • Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov. Relational and graph queries over a transition system. International Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩. ⟨hal-01203662⟩. <pdf>
  • Glenn Cavarlé, Alain Plantec, Vincent Ribaud, Christophe Touzé. Towards agile cross-platform application development with Smalltalk and Model Driven Engineering. International Workshop on Smalltalk Technologies - IWST 2014, ESUG, Aug 2014, Cambridge, United Kingdom. ⟨hal-01078437⟩. <pdf>
  • Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective. International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States. ⟨hal-01119571⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. APPRENTISSAGE SITUE DE L'INGENIERIE DES SYSTEMES D'INFORMATION -LA METHODE DU SAUMON. Questions de Pédagogies dans l'Enseignement Supérieur, Jun 2013, Sherbrooke, Canada. pp.279-289. ⟨hal-01078439⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. The Cost of Problem-Based Learning: An Example in Information Systems Engineering. 2013 IEEE 26th Conference on Software Engineering Education and Training (CSEE&T), IEEE, May 2013, San Fransisco, United States. pp.259-263, ⟨10.1109/CSEET.2013.6595257⟩. ⟨hal-01078435⟩. <pdf>
  • Philippe Saliou, Vincent Ribaud. Cultural immersion aimed at improving professional integration in the Moroccan offshore industry. The 10th PASCAL International Observatory conference : The role of Higher Education in local and regional social and economic development, Oct 2012, Brest, France. http://www.univ-brest.fr/conferencepascal2012/. ⟨hal-00769842⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. Introducing Problem-Based Learning in a Joint Masters Degree: Offshoring Information Technologies. International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 12), Dec 2012, Bridgeport, United States. pp.311-319, ⟨10.1007/978-3-319-06773-5_42⟩. ⟨hal-00769847⟩. <pdf>
  • Mark Fichtner, Vincent Ribaud. Paths and shortcuts in an event-oriented ontology. 6th Metadata and Semantics Research Conference 2012, Nov 2012, Cadiz, Spain. pp.214-226, ⟨10.1007/978-3-642-35233-1_22⟩. ⟨hal-00769832⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. An experience of young software engineers' employability in the Moroccan offshore industry. IEEE EDUCON2012 Collaborative Learning & New Pedagogic Approaches in Engineering Education, Apr 2012, Marrakech, Morocco. pp.1-7, ⟨10.1109/EDUCON.2012.6201187⟩. ⟨hal-00769821⟩. <pdf>
  • Alain Plantec, Frank Singhoff, V Gaudel, Vincent Ribaud. Forward engineering and early model validation with Smalltalk. 5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina. ⟨hal-00664435⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou, Claude Laporte. Experience Management for Very Small Entities: Improving the Copy-paste Model. ICSEA 2010, Aug 2010, France. pp.x-y. ⟨hal-00504445⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. Process Assessment Issues of the ISO/IEC 29110 emerging standard. PROFES 2010, Jun 2010, Ireland. pp.28-31. ⟨hal-00504446⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou, Rory O'Connor, Claude Laporte. Software Engineering Support Activities for Very Small Entities. EuroSPI 2010, Sep 2010, Grenoble, France. pp.165-176. ⟨hal-00504444⟩. <pdf>
  • Vincent Ribaud, Philippe Saliou. Using a Semantic Wiki for Documentation Management in Very Small Projects. Fourth Metadata and Semantics Conference (MTSR 2010), Oct 2010, Alcala de Henares, Espagne. pp.119-130. ⟨hal-00630578⟩. <pdf>
  • Vincent Ribaud. End-user storytelling with a CIDOC CRM - based semantic wiki. 22th General Conference - International Council of Museums (CIDOC 2010), Nov 2010, Shanghai, China. pp.1 -22. ⟨hal-00630580⟩. <pdf>
  • Philippe Saliou, Vincent Ribaud. ISO-Standardized Requirements Activities for Very Small Entities. RESC 2010 - REFSQ 2010, Jun 2010, Germany. pp.16-28. ⟨hal-00504338⟩. <pdf>
  • Vincent Ribaud, Patrick Le Boeuf. Un wiki sémantique basé sur le CIDOC CRM. Sixième colloque Veille Stratégique Scientifique et Technologique (VSST 2010), Oct 2010, Toulouse, France. pp.1-12. ⟨hal-00630579⟩. <pdf>
  • Alain Plantec, Vincent Ribaud. Building a Semantic Virtual Museum: from Wiki to Semantic Wiki using Named Entity Recognition. OOPSLA 2009, Oct 2009, United States. pp.769-770. ⟨hal-00504321⟩. <pdf>

Posters

  • Vincent Ribaud. Les filles qui …. DIDAPRO 8 L'informatique objet d'enseignements, Feb 2020, Lille, France. ⟨hal-02912821⟩. <pdf>
  • Malou Alleno, Cassandra Balland, Esther Bernard, Néné Satorou Cissé, Morgane Coat, et al.. Éduquer en montrant l'exemple: les filles qui… (descriptif de poster). Didapro 7 – DidaSTIC. De 0 à 1 ou l’heure de l’informatique à l’école, Feb 2018, Lausanne, Suisse. ⟨hal-01753227⟩. <pdf>
  • Vincent Ribaud. Eduquer en montrant l’exemple : les filles qui... - Poster Réfléchir. Didapro 7 – DidaSTIC : De 0 à 1 ou l’heure de l’informatique à l’école, Feb 2018, Lausanne, Suisse. ⟨hal-02912577⟩. <pdf>
  • Alain Plantec, Vincent Ribaud, Vasudeva Varma. Building a Semantic Virtual Museum: from Wiki to Semantic Wiki using Named Entity Recognition. Symposium on wikis - Wikisym colocated with 24th ACM SIGPLAN Object oriented programming systems languages and applications 2009, Oct 2009, Orlando, United States. ⟨hal-02912811⟩. <pdf>

Rapports

  • Vincent Ribaud, Philippe Saliou. Position paper: the use of retro-construction tools. [Research Report] Lab-STICC_UBO_CACS_MOCS. 2020. ⟨hal-02912889⟩. <pdf>
  • Vincent Ribaud, Alain Plantec, Philippe Saliou. Meta-level architectures : a conceptual tool or a banana skin ?. [Research Report] LIBr-1998-1, Université de Bretagne Occidentale; Faculté des Sciences et Techniques. 1998, pp.1-10. ⟨hal-01573863⟩. <pdf>