Recherche - ENSTA Bretagne

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 17 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01119571v1 Communication dans un congrès 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-01203649v1 Communication dans un congrès 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-02482472v1 Communication dans un congrès 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-01756186v1 Communication dans un congrès 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-01933792v1 Communication dans un congrès 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-01933794v1 Communication dans un congrès 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-01559688v1 Communication dans un congrès 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-01826018v1 Communication dans un congrès 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-01406604v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12
	hal-01698582v1 Communication dans un congrès 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-01756178v1 Communication dans un congrès 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-01839091v1 Communication dans un congrès 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-02169755v1 Communication dans un congrès 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-01841830v1 Communication dans un congrès 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-02911755v1 Communication dans un congrès 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-02911760v1 Communication dans un congrès 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-02911731v1 Communication dans un congrès 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
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 17 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM