Search - Archive ouverte HAL Access content directly

Filter your results

50 Results
Structure: Internal structure identifier : 1067623
Image document

An analysis of software design understanding & motivation of engineering students

Jean-Christophe Bach , Antoine Beugnard , Jean-Loup Castaigne , Julien Mallet , Salvador Martínez et al.
MODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada
Conference papers hal-03801001v1

Prototyping FPGA through overlays

Theotime Bollengier , Loïc Lagadec , Ciprian Teodorov
2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
Conference papers hal-03761788v1

Detecting human vulnerably in socio-technical systems: a naval case study

Paul Perrotin , Salah Sadou , David Hairion , Antoine Beugnard
MoDELS 2020: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3420045⟩
Conference papers hal-03589159v1
Image document

Guidelines for the Specification of IoT Requirements: A Smart Cars Case

Asmaa Achtaich , Camille Salinesi , Nissrine Souissi , Ounsa Roudies , Raul Mazo et al.
IoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
Journal articles hal-03566030v1

Unified verification and monitoring of executable UML specifications. A transformation-free approach

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy et al.
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Journal articles hal-03463358v1
Image document

HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability Identification

Paul Perrotin , Nicolas Belloir , Salah Sadou , David Hairion , Antoine Beugnard et al.
26th International Conference on Engineering of Complex Computer Systems ( ICECCS 2022), Mar 2022, Hiroshima, Japan
Conference papers hal-03637271v1
Image document

La dimension interpersonnelle en situations complexes et incertaines

Siegfried Rouvrais , Gilles Jacovetti , Roger Waldeck
32ème Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU), May 2022, Rennes, France
Conference papers hal-03683586v1
Image document

Déploiement dirigé par les modèles de jumeaux numériques dans les environnements intelligents

Gaëlic Bechu , Antoine Beugnard , Caroline Gl Cao , Quentin Perez , Christelle Urtado et al.
HUT LaConf 2022 - L'interdisciplinarité au service des environnements intelligents, Nov 2022, Montpellier, France
Conference papers hal-03862279v1
Image document

Euro-Asian Collaboration for Enhancing STEM Education

Siegfried Rouvrais , Gilles Jacovetti , Charlotte Langlais , Philippe Lenca , Doan Van Dien et al.
[Research Report] IMT ATLANTIQUE; Lab-STICC. 2022
Reports hal-03727580v1

Dolmen: FPGA Swarm for Safety and Liveness Verification

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Conference papers hal-03708237v1

“Snapshot” of the State of Software Reuse in Colombia

Luisa-Fernanda Restrepo-Gutiérrez , Elizabeth Suescún-Monsalve , Raúl Mazo , Paola-Andrea Vallejo-Correa , Daniel Correa et al.
Revista Científica de la Universidad Distrital, 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
Journal articles hal-03865842v1

Practical multiverse debugging through user-defined reductions

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux et al.
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Conference papers hal-03891589v1
Image document

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach et al.
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Journal articles hal-03217126v1
Image document

Fouille de Processus de Configuration dans les Lignes de Produits

Camille Salinesi , Houssem Chemingui , Ines Gam , Raul Mazo , Henda Benghezala et al.
INFORSID, Jun 2021, Dijon, France
Conference papers hal-03252121v1

Carnac: Algorithm Variability for Fast Swarm Model-Checking on FPGA

Émilien Fournier , Ciprian Teodorov , Loïc Lagadec
FPL (Field Programmable Logic), Aug 2021, Dresden, Germany
Conference papers hal-03429008v1
Image document

Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case

Anne-Laure Wozniak , Sergio Segura , Raúl Mazo , Sarah Leroy
1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
Conference papers hal-03647680v1

A flexible and robust framework for the secure systems engineering of space missions

Tom Leclerc , Soumya Paul , Jussi Roberts , Fabien Dagnat , Florian Ledoux et al.
17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Conference papers hal-04045293v1

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
Conference papers hal-03550389v1
Image document

A Two-Level Highlighting technique based on gaze direction to improve targets pointing and selection on a touch screen

Valéry M. Monthé , Thierry Duval
2020
Preprints, Working Papers, ... hal-03993653v1
Image document

Euro-Asia Collaboration for Enhancing STEM Education

Anders Berglund , Valentina Dagiene , Vladimiras Dolgopolovas , Siegfried Rouvrais , Miriam Tardell et al.
5th APSCE International Conference on Computational Thinking and STEM Education 2021 (CTE-STEM 2021), National Institute of Education, Nanyang Technological University, Jun 2021, Hong Kong (virtual conference), China. pp.136-140
Conference papers hal-03242570v1
Image document

SDN Intent-based conformance checking: application to security policies

Nicolas Herbaut , Camilo Correa , Jacques Robin , Raul Mazo
7th IEEE International Conference on Network Softwarization (IEEE NetSoft 2021), Jun 2021, Tokyo (virtual), Japan
Conference papers hal-03207525v1
Image document

A software engineering point of view on digital twin architecture

Gaëlic Bechu , Antoine Beugnard , Caroline Gl Cao , Quentin Perez , Christelle Urtado et al.
ETFA 2022 - IEEE 27th International Conference on Emerging Technologies and Factory Automation, Sep 2022, Stuttgart, Germany. ⟨10.1109/ETFA52439.2022.9921617⟩
Conference papers hal-03832378v1
Image document

Does a master's program in engineering require a final project?

Haraldur Audunsson , Siegfried Rouvrais , Ralph Rudd , Ragnar Kristjánsson , Olivier Matthieu Moschetta et al.
CDIO 2022: 18th CDIO International Conference, Jun 2022, Reykjavik, Iceland
Conference papers hal-03683564v1
Image document

If you please, draw me a resilient curriculum!

Siegfried Rouvrais , Inggriani Liem , Haraldur Audunsson , Cecile Gerwel Proches
CDIO 2022: 18th CDIO International Conference, Jun 2022, Reykjavik, Iceland
Conference papers hal-03683550v1
Image document

How IT Infrastructures Break: Better Modeling for Better Risk Management

Benjamin Somers , Fabien Dagnat , Jean-Christophe Bach
17th International Conference on Risks and Security of Internet and Systems ( CRiSIS 2022 )), Dec 2022, Sousse, Tunisia
Conference papers hal-03801086v1

HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability Identification.

Paul Perrotin , Nicolas Belloir , Salah Sadou , David Hairion , Antoine Beugnard et al.
ICECCS 2022: 26th International Conference on Engineering of Complex Computer Systems, Mar 2022, Hiroshima, Japan. pp.1-6, ⟨10.1109/ICECCS54210.2022.00010⟩
Conference papers hal-03980301v1
Image document

How long does it take to learn trimanual coordination?

Arnaud Allemang--Trivalle , Jonathan Eden , Ekaterina Ivanova , Yanpei Huang , Etienne Burdet et al.
RO-MAN 2022: 31st IEEE International Conference on Robot and Human Interactive Communication, Aug 2022, Napoli, Italy. pp.211-216, ⟨10.1109/RO-MAN53752.2022.9900646⟩
Conference papers hal-03846460v1
Image document

Analysing Student Engagement in an Online Course in the Context of Hybrid Learning Environment. An Empirical Study

Michael Wahiu , Fahima Djelil , Laurent Brisson , Jean-Marie Gilliot , Antoine Beugnard et al.
CSEDU 2021 - 13th International Conference on Computer Supported Education, Apr 2021, On line, Czech Republic. ⟨10.5220/0010396901560162⟩
Conference papers hal-03208393v1

Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé

Loïc Lagadec , Ciprian Teodorov , Jean-Christophe Le Lann , Théotime Bollengier
France, N° de brevet: FR3115134. 2022
Patents hal-04032489v1
Image document

Model-driven deployment of Digital Twins for Smart Environments - The HUman at home projecT case study

Alireza Asvadi , Gaëlic Bechu , Antoine Beugnard , Caroline G. L. Cao , Christophe Lohr et al.
Journées nationales du GDR GPL 2022, Jun 2022, Vannes, France. , 13, 2022, Actes des journées du GDR GPL 2022
Conference poster hal-03701748v1