|
||
---|---|---|
hal-01119571v1
Communication dans un congrès
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
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
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
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
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
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
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
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
Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12 |
||
hal-01698582v1
Communication dans un congrès
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
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
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
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
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
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
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
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 |
||
|