Search - LAAS-Informatique Critique Access content directly

Filter your results

54 Results
Deposit type : Notice

Modelado de los Procesos para el Seguimiento y Control de Proyectos de Investigación, en el Sector Educativo, utilizando redes de Petri

Claude Baron , Citlalih Y. A. Gutierrez Estrada , Sergio Díaz-Tendero , I. Reyes , R. Bartolo , et al.
Revista de Sistemas y Gestión Educativa, 2015
Journal articles hal-03001343v1

Using Leading Indicators to Improve Project Performance Measurement

Li Zheng , Claude Baron , Philippe Esteban , Rui Xue , Zhang Qiang , et al.
Journal of Systems Science and Systems Engineering, 2019, 28, pp.529-554. ⟨10.1007/s11518-019-5414-z⟩
Journal articles hal-02267734v1

A method to help monitoring engineering projects

Rui Xue , Claude Baron , Philippe Esteban , Li Zheng
IEEE International Symposium on Systems Engineering (ISSE 2016), Oct 2016, Edinburgh, United Kingdom. 6p
Conference papers hal-01887388v1

Process modeling of innovative design using Systems Engineering

Qiang Zhang , Ioana Deniaud , Christophe Lerch , Claude Baron , Emmanuel Caillaud
IFIP/MIM 2016, 8th IFAC Conference on Manufacturing Modelling, Management and Control, Jun 2016, Troyes, France. pp.1579-1584, ⟨10.1016/j.ifacol.2016.07.805⟩
Conference papers hal-00992377v1

Towards a unified tool for collaborative software engineering projects

Amal Rochd , Zrikem Maria , Abdeslam Jakjoud , Claude Baron
IEEE World conference on complex systems (WCCS), Nov 2015, Marrakech, Morocco. 8p., ⟨10.1109/ICoCS.2015.7483250⟩
Conference papers hal-01883731v1

Combining Machine Learning and Behavior Analysis Techniques for Network Security

Maria Laura Brzezinski Meyer , Yann Labit
2020 International Conference on Information Networking (ICOIN), Jan 2020, Barcelona, Spain. pp.580-583, ⟨10.1109/icoin48656.2020.9016500⟩
Conference papers hal-03190484v1

CyberFactory#1 — Securing the industry 4.0 with cyber-ranges and digital twins

Adrien Becue , Yannick Fourastier , Isabel Praça , Adrien Savarit , Claude Baron , et al.
14th IEEE International Workshop on Factory Communication Systems, 2018, Imperia, Italy
Conference papers hal-03001241v1

An implicit opinion analysis model based on feature-based implicit opinion patterns

Fang Zhao , Zhang Qiang , Xiaoan Tang , Anning Wang , Claude Baron
Artificial Intelligence Review, 2020, 53, pp.4547-4574. ⟨10.1007/s10462-019-09801-9⟩
Journal articles hal-03001147v1

Test Languages for In-the-Loop Avionics Tests

Alexandru-Robert Guduvan , Hélène Waeselynck , Virginie Wiels , Guy Durrieu , Yann Fusero , et al.
Journal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles hal-01953487v1

Synchronous t-Resilient Consensus in Arbitrary Graphs

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy , et al.
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Conference papers hal-02433524v1

On the Petri Nets with a Single Shared Place and Beyond

Thomas Hujsa , Bernard Berthomieu , Silvano Dal Zilio , Didier Le Botlan
Preprints, Working Papers, ... hal-02992541v1

Graphical program transformations for embedded systems

Robert Stewart , Bernard Berthomieu , Paulo Garcia , Idris Ibrahim , Greg Michaelson , et al.
34th ACM/SIGAPP Symposium on Applied Computing (SAC), Apr 2019, Limassol, Cyprus. pp.647-649, ⟨10.1145/3297280.3297555⟩
Conference papers hal-02305621v1

On the Infringement upon Natural Persons’ Data Protection Rights by Natural Persons — An EU-centred Analysis

Céline Castets-Renard , Kévin Huguenin , Mathias Humbert , Thibault Brunel
Preprints, Working Papers, ... hal-01583786v1


Diego Armando Diaz Vargas , Claude Baron , Philippe Esteban , Citlalih Yollohtli Alejandra Gutierrez Estrada
INSIGHT - International Council on Systems Engineering (INCOSE), 2017, 20 (4), pp.11 - 14. ⟨10.1002/inst.12173⟩
Journal articles hal-01702878v1

A Methodology for Requirement Volatility and Traceability

Abd-El-Kader Sahraoui , Abdelaziz Babiker
International Journal of Computer Science and Software Engineering, 2019, 8 (4), pp.86-98
Journal articles hal-02186948v1

Edge Computing at Smart Manufacturing: AI explicability for safety, how to achieve it?

Claude Baron , Yannick Fourastier
Intelligence artificielle et industrie du futur, Feb 2019, Grenoble, France
Conference papers hal-03001315v1

A Comparison of the Homomorphic Encryption Libraries HElib, SEAL and FV-NFLlib

Carlos Aguilar Melchor , Marc-Olivier Killijian , Cédric Lefebvre , Thomas Ricosset
International Conference on Security for Information Technology and Communications (SECITC 2018), Nov 2018, Bucharest, Romania. pp.425-442, ⟨10.1007/978-3-030-12942-2_32⟩
Conference papers hal-02381395v1

Edge Computing at Smart Manufacturing : AI explicability for safety, how to achieve it ?

Yannick Fourastier , Claude Baron , Philippe Esteban , Carsten Thomas
International Conference on Industry 4.0 and Artificial Intelligence Technologies, Aug 2019, Cambridge, United Kingdom
Conference papers hal-03001271v1

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

Raymond Devillers , Evgeny Erofeev , Thomas Hujsa
Transactions on Petri Nets and Other Models of Concurrency XIV, Springer, pp.172-191, 2019, 978-3-662-60650-6. ⟨10.1007/978-3-662-60651-3_7⟩
Book sections hal-02348962v1

Towards a research road map for assessment of e-learning systems: a system engineering approach

A.Al Shagran , Abd-El-Kader Sahraoui
International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government ( EEE ), Jul 2016, las Vegas, United States. 6p
Conference papers hal-01918377v1

Emerging high assurance solutions for safe, secure, and reliable software systems

Radu Babiceanu , Hélène Waeselynck
Journal of Software: Evolution and Process, 30 (3), pp.e1950, 2018, ⟨10.1002/smr.1950⟩
Special issue hal-01954953v1

A framework for data-driven design in a product innovation process: data analysis and visualisation for model-based decision making

Alessandro Bertoni , Xin Yi , Claude Baron , Philippe Esteban , Rob Vingerhoeds
International Journal of Product Development, 2020, 24 (1), pp.68. ⟨10.1504/IJPD.2020.106464⟩
Journal articles hal-02998114v1

A new method for measuring process flexibility of product design

Qiang Zhang , Desheng Wu , Chaoying Fu , Claude Baron , Zhanglin Peng
International Transactions in Operational Research, 2017, 24 (4), pp.821-838. ⟨10.1111/itor.12299⟩
Journal articles hal-01888176v1

Quaternions réels duaux et complexes

Jean Hladik , Pierre-Emmanuel Hladik
Ellipses Marketing, 2016, 978-2340010468
Books hal-01587436v1

Toward Requirements and Design Traceability Using Natural Language Processing

Abd-El-Kader Sahraoui , Omer Salih Dawood
European Journal of Engineering Research and Science, 2018, 7 (3), ⟨10.24018/ejers.2018.3.7.807⟩
Journal articles hal-02005396v1

Toward an Improved Monitoring of Engineering Projects

Rui Xue , Claude Baron , Philippe Esteban , Jian-Bo Yang , Li Zheng
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2020, 50 (10), pp.3541 - 3553. ⟨10.1109/TSMC.2018.2884196⟩
Journal articles hal-02267726v1

AI-assisted distributed applications

Yannick Fourastier , Claude Baron
Advances in artificial intelligence: reviews, Vol.1, IFSA Publishing, 2019, Book Series, 978-8409090167
Book sections hal-03001107v1

Appproche systémique pour le développement de systèmes embarqués connectés

Claude Baron , Brigitte Daniel-Allegro
12e Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM), 2018, toulouse, France
Conference papers hal-03001261v1

Comparison of evolution algorithms coupled with a* search for solving facility layout problem

Mariem Besbes , Zolghadri Marc , Roberta Costa Affonso
TMCE 2020, Jun 2020, Delft, Netherlands
Conference papers hal-03217982v1

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

Fayollas Camille , Philippe Palanque , Jean-Charles Fabre , Célia Martinie de Almeida , Yannick Deleris
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
Book sections hal-03131879v1