Filter your results
- 15
- 10
- 1
- 19
- 3
- 2
- 1
- 1
- 26
- 17
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 4
- 1
- 7
- 4
- 1
- 13
- 12
- 1
- 14
- 11
- 10
- 6
- 5
- 4
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 6
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Sporting Performances and the Volatility of Listed English Football Clubsla 19ème conférence annuelle de l'EFMA, Jun 2010, Aarhus, Denmark. 25 p
Conference papers
halshs-00601473v1
|
|||
Modèles orientés utilisateurs pour la vérification formelle en contexte industrielIDM'11, Jun 2011, Lille, France
Conference papers
hal-00635763v1
|
|||
|
Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal ConceptsMarie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
Book sections
hal-02565053v1
|
||
|
Les filles qui… et L Codent L Créent : constituer un bien commun de médiation en informatiqueLudovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse
Conference papers
hal-02911731v1
|
||
Innovation pédagogique ou accélération temporelle ?Colloque QPES. Questions de pédagogie dans l'enseignement supérieur, Jun 2015, Brest, France
Conference papers
hal-01205991v1
|
|||
|
Actes du VIIIème colloque Questions de Pédagogie dans l'Enseignement Supérieur : Innover : Comment ? Pourquoi ?2015
Books
hal-02473913v1
|
||
User context models : a framework to ease software formal verificationsICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
Conference papers
hal-00635904v1
|
|||
|
De l'Ingénierie système à l'Apprentissage systèmeQuestions de pédagogies dans l'enseignement supérieur, Jun 2013, Sherbrooke, Canada. pp.38
Conference papers
hal-00854786v1
|
||
Navigation sous-marine par la méthode des cycles stablesJournées Drones & Capteurs embarqués 2021, Drones & Cap', Sep 2021, Saint-Pierre-d’Oléron, France
Conference papers
hal-03637280v1
|
|||
|
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
Conference papers
hal-02911755v1
|
||
Use Cases Modeling for Scalable Model-CheckingAPSEC'11, Dec 2011, Minh City, Vietnam
Conference papers
hal-00636875v1
|
|||
Model Based Engineering for the support of Models of Computation: The Cometa ApproachInternational Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
Conference papers
hal-00635594v1
|
|||
Application of partial-order methods for the verification of closed-loop SDL systemsSAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
Conference papers
hal-00635533v1
|
|||
SWARMON—Real-Time Localization SystemInternational Robotic Sailing Conference, Aug 2015, Åland, Finland. ⟨10.1007/978-3-319-23335-2⟩
Conference papers
hal-01206069v1
|
|||
TRANSFORMATIONS DES PROJETS TECHNIQUES LONGSQPES - Questions de Pédagogie dans l'Enseignement Supérieur, Ensta Bretagne, Telecom Bretagne, UBO, Jun 2015, Brest, France. pp.236-242
Conference papers
hal-01203464v1
|
|||
|
Quand des étudiantes de licence deviennent enseignantes en informatique: leçons du dispositif «Les filles qui… »Humanistica 2020, May 2020, Bordeaux, France
Conference papers
hal-02911760v1
|
||
Formal Extension of Use Cases for Context-Aware VerificationMoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
Conference papers
hal-00635555v1
|
|||
|
Le robot comme outil pédagogique dans la formation scientifique des ingénieursQPES 2007, Jan 2007, Louvain-La-Neuve, Belgique. pp. 651-660
Conference papers
hal-00489457v1
|
||
|
La recherche opérationnelle: De quelques enjeux juridiques des mécanismes d'aide à la décisionLex Electronica, 2017, 22, pp.57-79
Journal articles
hal-01538135v1
|
||
Reducing State Explosion with Context Modeling for Model-CheckingHASE'11, Nov 2011, Boca Ranton, United States
Conference papers
hal-00636878v1
|
|||
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded SystemsIEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
Conference papers
hal-00635897v1
|
|||
Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationTopcased days, Feb 2011, Toulouse, France
Conference papers
hal-00635653v1
|
|||
|
Bidirectional Interactions With Humpback Whale Singer Using Concrete Sound ElementsFrontiers in Psychology, 2021, 12, pp.654314. ⟨10.3389/fpsyg.2021.654314⟩
Journal articles
hal-03290337v1
|
||
|
Comparando dos estrategias de aprendizaje activo para enseñar Scrum en un curso introductorio de ingeniería de softwareIngeniare : Revista Chilena de Ingeniería, 2020, 28 (1), pp.83-94. ⟨10.4067/S0718-33052020000100083⟩
Journal articles
hal-02924096v1
|
||
Model integration for formal qualification of timing-aware software data acquisition componentsModel Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
Book sections
hal-00635969v1
|
|||
|
(Faire) coopérer pour (faire) apprendre ? Actes de QPES 2019Xème colloque Questions de Pédagogie dans l'Enseignement Supérieur, QPES 2019, Jun 2019, Brest, France. , 2019
Proceedings
hal-02473897v1
|