Filter your results
- 54
- 276
- 27
- 18
- 3
- 3
- 1
- 1
- 1
- 47
- 9
- 2
- 1
- 12
- 13
- 7
- 4
- 10
- 8
- 52
- 2
- 54
- 3
- 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
- 27
- 11
- 8
- 7
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 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
|
Modelado de los Procesos para el Seguimiento y Control de Proyectos de Investigación, en el Sector Educativo, utilizando redes de PetriRevista de Sistemas y Gestión Educativa, 2015
Journal articles
hal-03001343v1
|
|||
Using Leading Indicators to Improve Project Performance MeasurementJournal 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 projectsIEEE International Symposium on Systems Engineering (ISSE 2016), Oct 2016, Edinburgh, United Kingdom. 6p
Conference papers
hal-01887388v1
|
|||
|
Process modeling of innovative design using Systems EngineeringIFIP/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 projectsIEEE 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 Security2020 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 twins14th 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 patternsArtificial Intelligence Review, 2020, 53, pp.4547-4574. ⟨10.1007/s10462-019-09801-9⟩
Journal articles
hal-03001147v1
|
|||
Test Languages for In-the-Loop Avionics TestsJournal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles
hal-01953487v1
|
|||
Synchronous t-Resilient Consensus in Arbitrary Graphs21st 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 Beyond2020
Preprints, Working Papers, ...
hal-02992541v1
|
||
Graphical program transformations for embedded systems34th 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 Analysis2017
Preprints, Working Papers, ...
hal-01583786v1
|
|||
IS THERE ANY AGILITY IN SYSTEMS ENGINEERING?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 TraceabilityInternational 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?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-NFLlibInternational 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 ?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 ApproachTransactions 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 approachInternational 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 systemsJournal 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 makingInternational 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 designInternational Transactions in Operational Research, 2017, 24 (4), pp.821-838. ⟨10.1111/itor.12299⟩
Journal articles
hal-01888176v1
|
|||
Quaternions réels duaux et complexesEllipses Marketing, 2016, 978-2340010468
Books
hal-01587436v1
|
|||
|
Toward Requirements and Design Traceability Using Natural Language ProcessingEuropean 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 ProjectsIEEE 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 applicationsAdvances 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és12e 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 problemTMCE 2020, Jun 2020, Delft, Netherlands
Conference papers
hal-03217982v1
|
|||
Dealing with Faults During Operations: Beyond Classical Use of Formal MethodsWeyers, 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
|
- 1
- 2