Search - Département STIC Access content directly

Filter your results

26 Results
Domains : shs

Sporting Performances and the Volatility of Listed English Football Clubs

Ramzi Benkraiem , Waël Louhichi , Frédéric Le Roy
la 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 industriel

Amine Raji , Philippe Dhaussy
IDM'11, Jun 2011, Lille, France
Conference papers hal-00635763v1
Image document

Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts

Laurène Mazeau , Jordan Ninin
Marie-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
Image document

Les filles qui… et L Codent L Créent : constituer un bien commun de médiation en informatique

Pascale Gautron , Cécile Plaud , Maude Pupin , Vincent Ribaud , Yann Secq et al.
Ludovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse
Conference papers hal-02911731v1

Innovation pédagogique ou accélération temporelle ?

Olivier Reynet
Colloque QPES. Questions de pédagogie dans l'enseignement supérieur, Jun 2015, Brest, France
Conference papers hal-01205991v1
Image document

Actes du VIIIème colloque Questions de Pédagogie dans l'Enseignement Supérieur : Innover : Comment ? Pourquoi ?

Olivier Reynet
2015
Books hal-02473913v1

User context models : a framework to ease software formal verifications

Amine Raji , Philippe Dhaussy
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
Conference papers hal-00635904v1
Image document

De l'Ingénierie système à l'Apprentissage système

Olivier Reynet
Questions 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 stables

Alain Bertholom , Nathan FOURNIOL , Luc Jaulin , Fabrice Le Bars , Morgan Louédec et al.
Journées Drones & Capteurs embarqués 2021, Drones & Cap', Sep 2021, Saint-Pierre-d’Oléron, France
Conference papers hal-03637280v1
Image document

Des dispositifs pédagogiques pour œuvrer à l’égalité femmes hommes dans le numérique. Retours d’expériences des acteurs et actrices.

Pascale Gautron , Cécile Plaud , Vincent Ribaud
IMT4ET Innovative Methods and Tools for Educational Technology, May 2020, Rennes, France
Conference papers hal-02911755v1

Use Cases Modeling for Scalable Model-Checking

Amine Raji , Philippe Dhaussy
APSEC'11, Dec 2011, Minh City, Vietnam
Conference papers hal-00636875v1

Model Based Engineering for the support of Models of Computation: The Cometa Approach

Papa Issa Diallo , Joël Champeau , Vincent Leilde
International 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 systems

Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
SAC'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 System

Bourdon Benoit , Descours Quentin , Drouot Bastien , Olivier Reynet , Thibault Viravau et al.
International Robotic Sailing Conference, Aug 2015, Åland, Finland. ⟨10.1007/978-3-319-23335-2⟩
Conference papers hal-01206069v1

TRANSFORMATIONS DES PROJETS TECHNIQUES LONGS

Helene Thomas , Olivier Reynet
QPES - 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
Image document

Quand des étudiantes de licence deviennent enseignantes en informatique: leçons du dispositif «Les filles qui… »

Cécile Plaud , Vincent Ribaud
Humanistica 2020, May 2020, Bordeaux, France
Conference papers hal-02911760v1

Formal Extension of Use Cases for Context-Aware Verification

Amine Raji , Philippe Dhaussy , Benoît Baudry
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
Conference papers hal-00635555v1
Image document

Le robot comme outil pédagogique dans la formation scientifique des ingénieurs

Ludovic Collin , Denis Lemaître
QPES 2007, Jan 2007, Louvain-La-Neuve, Belgique. pp. 651-660
Conference papers hal-00489457v1
Image document

La recherche opérationnelle: De quelques enjeux juridiques des mécanismes d'aide à la décision

Jordan Ninin , Laurène Mazeau
Lex Electronica, 2017, 22, pp.57-79
Journal articles hal-01538135v1

Reducing State Explosion with Context Modeling for Model-Checking

Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger
HASE'11, Nov 2011, Boca Ranton, United States
Conference papers hal-00636878v1

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems

Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
IEEE 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 Validation

Philippe Dhaussy , Frédéric Boniol , Pierre-Yves Pillain , Xavier Dumas
Topcased days, Feb 2011, Toulouse, France
Conference papers hal-00635653v1
Image document

Bidirectional Interactions With Humpback Whale Singer Using Concrete Sound Elements

Aline Pénitot , Diemo Schwarz , Paul Nguyen Hong Duc , Dorian Cazau , Olivier Adam et al.
Frontiers 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 software

Silvia I. Lozano , Elizabeth Suescún , Paola Vallejo , Raúl Mazo , Daniel Correa et al.
Ingeniare : 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 components

Jean-Philippe Babau , Philippe Dhaussy , Pierre-Yves Pillain
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
Book sections hal-00635969v1
Image document

(Faire) coopérer pour (faire) apprendre ? Actes de QPES 2019

Olivier Reynet
Xème colloque Questions de Pédagogie dans l'Enseignement Supérieur, QPES 2019, Jun 2019, Brest, France. , 2019
Proceedings hal-02473897v1