Filter your results
- 26
- 21
- 3
- 34
- 11
- 2
- 1
- 1
- 1
- 44
- 7
- 4
- 2
- 2
- 29
- 16
- 3
- 46
- 4
- 50
- 6
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 12
- 9
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
|
An analysis of software design understanding & motivation of engineering studentsMODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada
Conference papers
hal-03801001v1
|
||
Prototyping FPGA through overlays2021 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 studyMoDELS 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
|
|||
|
Guidelines for the Specification of IoT Requirements: A Smart Cars CaseIoT 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 approachSoftware and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Journal articles
hal-03463358v1
|
|||
|
HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability Identification26th International Conference on Engineering of Complex Computer Systems ( ICECCS 2022), Mar 2022, Hiroshima, Japan
Conference papers
hal-03637271v1
|
||
|
La dimension interpersonnelle en situations complexes et incertaines32ème Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU), May 2022, Rennes, France
Conference papers
hal-03683586v1
|
||
|
Déploiement dirigé par les modèles de jumeaux numériques dans les environnements intelligentsHUT LaConf 2022 - L'interdisciplinarité au service des environnements intelligents, Nov 2022, Montpellier, France
Conference papers
hal-03862279v1
|
||
|
Euro-Asian Collaboration for Enhancing STEM Education[Research Report] IMT ATLANTIQUE; Lab-STICC. 2022
Reports
hal-03727580v1
|
||
Dolmen: FPGA Swarm for Safety and Liveness Verification2022 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 ColombiaRevista 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 reductionsMODELS '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
|
|||
|
PAMELA: an annotation-based Java Modeling FrameworkScience of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Journal articles
hal-03217126v1
|
||
|
Fouille de Processus de Configuration dans les Lignes de ProduitsINFORSID, Jun 2021, Dijon, France
Conference papers
hal-03252121v1
|
||
Carnac: Algorithm Variability for Fast Swarm Model-Checking on FPGAFPL (Field Programmable Logic), Aug 2021, Dresden, Germany
Conference papers
hal-03429008v1
|
|||
|
Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case1st 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 missions17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Conference papers
hal-04045293v1
|
|||
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA2021 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
|
|||
|
A Two-Level Highlighting technique based on gaze direction to improve targets pointing and selection on a touch screen2020
Preprints, Working Papers, ...
hal-03993653v1
|
||
|
Euro-Asia Collaboration for Enhancing STEM Education5th 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
|
||
|
SDN Intent-based conformance checking: application to security policies7th IEEE International Conference on Network Softwarization (IEEE NetSoft 2021), Jun 2021, Tokyo (virtual), Japan
Conference papers
hal-03207525v1
|
||
|
A software engineering point of view on digital twin architectureETFA 2022 - IEEE 27th International Conference on Emerging Technologies and Factory Automation, Sep 2022, Stuttgart, Germany. ⟨10.1109/ETFA52439.2022.9921617⟩
Conference papers
hal-03832378v1
|
||
|
Does a master's program in engineering require a final project?CDIO 2022: 18th CDIO International Conference, Jun 2022, Reykjavik, Iceland
Conference papers
hal-03683564v1
|
||
|
If you please, draw me a resilient curriculum!CDIO 2022: 18th CDIO International Conference, Jun 2022, Reykjavik, Iceland
Conference papers
hal-03683550v1
|
||
|
How IT Infrastructures Break: Better Modeling for Better Risk Management17th 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.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
|
|||
|
How long does it take to learn trimanual coordination?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
|
||
|
Analysing Student Engagement in an Online Course in the Context of Hybrid Learning Environment. An Empirical StudyCSEDU 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éFrance, N° de brevet: FR3115134. 2022
Patents
hal-04032489v1
|
|||
|
Model-driven deployment of Digital Twins for Smart Environments - The HUman at home projecT case studyJournées nationales du GDR GPL 2022, Jun 2022, Vannes, France. , 13, 2022, Actes des journées du GDR GPL 2022
Conference poster
hal-03701748v1
|
- 1
- 2