Filtrer vos résultats
- 98
- 60
- 110
- 27
- 9
- 9
- 2
- 1
- 9
- 141
- 54
- 1
- 23
- 2
- 10
- 4
- 7
- 12
- 14
- 9
- 9
- 8
- 12
- 17
- 14
- 4
- 5
- 10
- 5
- 3
- 4
- 4
- 1
- 2
- 2
- 136
- 22
- 134
- 26
- 16
- 15
- 9
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 158
- 37
- 20
- 19
- 18
- 15
- 10
- 10
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
158 résultats
|
Making Formal Verification Amenable to Real-Time UML Practitioners12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Communication dans un congrès
hal-00381949v1
|
||
|
Prototyping an Embedded Automotive System from its UML/SysML ModelsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02191862v1
|
||
Early Checking of SysML Models Applied to Protocols12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France
Communication dans un congrès
hal-02287860v1
|
|||
6 : Vérification d'exigences d'un modèle SysMLModélisation et analyse de systèmes embarqués, Lavoisier, Hermès Sciences, 2013
Chapitre d'ouvrage
hal-02286565v1
|
|||
3D Perception for Autonomous Navigation of a Low-Cost MAV using Minimal LandmarksInternational Micro Air Vehicle Conference and Flight Competition, Sep 2013, Toulouse, France
Communication dans un congrès
hal-02286795v1
|
|||
Retour d'expérience sur quelques épreuves de Hack.Lu 2013MISC - Multi-System & Internet Security Cookbook, 2014, 73, pp.50-55
Article dans une revue
hal-02286880v1
|
|||
SysML-Sec Attack Graphs: Compact Representations for Complex AttacksThe Second International Workshop on Graphical Models for Security (GraMSec 2015), Jul 2015, Verona, Italy. pp.35-49
Communication dans un congrès
hal-02287141v1
|
|||
Security Modeling for Embedded System DesignFourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara, CA, United States
Communication dans un congrès
hal-02287725v1
|
|||
|
Checking SysML Models Against Safety and Security PropertiesJournal of Aerospace Information Systems, 2021, pp.1 - 13. ⟨10.2514/1.i010950⟩
Article dans une revue
hal-03423073v1
|
||
|
Introducing A Framework for Single-Human Tracking Using Event-Based Cameras2023 IEEE International Conference on Image Processing (ICIP), Oct 2023, Kuala Lumpur, Malaysia. pp.3269-3273, ⟨10.1109/ICIP49359.2023.10222777⟩
Communication dans un congrès
hal-04255949v1
|
||
|
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), INSTICC, Feb 2017, Porto, Portugal
Communication dans un congrès
hal-01447148v1
|
||
Improved Security Requirements Engineering using Knowledge Representation9ème conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, May 2014, Lyon, France
Communication dans un congrès
hal-02412085v1
|
|||
Formal and Virtual Multi-level Design Space Exploration.International Conference on Model-Driven Engineering and Software Development., Springer, pp.47-71, 2018, ⟨10.1007/978-3-319-94764-8_3⟩
Chapitre d'ouvrage
hal-01900180v1
|
|||
A new UML profile for real‐time system formal design and validation4th International Conference on the Unified Modeling Language (UML'2001), 2001, Unknown, Unknown Region
Communication dans un congrès
hal-01674643v1
|
|||
Drone for Humanitarian Operations3rd Institut Mines-Télécom symposium - , Mar 2014, Paris, France. Topic Digital technologies scale and complexity
Communication dans un congrès
hal-01262836v1
|
|||
|
High-level system modeling for rapid HW/SW architecture explorationIEEE/IFIP International Symposium on Rapid System Prototyping (RSP '09), Jun 2009, Paris, France. pp.88-94, ⟨10.1109/RSP.2009.27⟩
Communication dans un congrès
hal-02124754v1
|
||
|
An Interactive System Level Simulation Environment for Systems- on-ChipERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Communication dans un congrès
hal-02264383v1
|
||
Derniers développements autour du profil UML temps réel TURTLEJournées "Formalisation des Activités Concurrentes" (FAC'2004), 2004, Unknown, Région indéterminée. pp.--12
Communication dans un congrès
hal-01674635v1
|
|||
Reconfiguration dynamique de protocoles embarqués à bord de satellites9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 2002, Unknown, Région indéterminée. pp.441--454
Communication dans un congrès
hal-01674639v1
|
|||
Fast Evaluation of Power Consumption of Embedded Systems using DIPLODOCUS39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain
Communication dans un congrès
hal-02412008v1
|
|||
|
Modeling Heterogeneous Embedded Systems with TToolDUHDe 2018 — 5th Workshop on Design Automation for Understanding Hardware Designs, Mar 2018, Dresden, Germany
Communication dans un congrès
hal-01670534v1
|
||
Security-Aware Modeling and Analysis for HW/SW Partitioning5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Feb 2017, Porto, Portugal
Communication dans un congrès
hal-02287507v1
|
|||
Evolving Attacker Perspectives for Secure Embedded System Design6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Jan 2018, Funchal, Portugal
Communication dans un congrès
hal-02287726v1
|
|||
|
A Tool for High-Level Modeling of Analog/Mixed Signal Embedded SystemsMODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.435-442, ⟨10.5220/0007520804350442⟩
Communication dans un congrès
hal-01963837v1
|
||
On-Board Architecture and Protocols Verification, Deliverable D3.4.3[Contract] EVITA, Telecom ParisTech. 2011
Rapport
hal-02286284v1
|
|||
Static analysis techniques to verify mutual exclusion situations within SysML models16th International System Design Languages Forum, Jun 2013, Montreal, Canada
Communication dans un congrès
hal-02411981v1
|
|||
Indoor Autonomous Navigation of Low-Cost MAVs Using Landmarks and 3D PerceptionOCOSS 2013, Oct 2013, Nice, France
Communication dans un congrès
hal-02412032v1
|
|||
Prototypage virtuel depuis des modèles SysMLJournée SysML France, Mar 2014, Toulouse, France
Communication dans un congrès
hal-02286858v1
|
|||
Drone humanitaire : état de l'art et réflexionsActes du colloque scientifique francophone "Drones et moyens légers téléporté d'observation : recherche, développement, applications : l'état de l'art", Jun 2014, Montpellier, France
Communication dans un congrès
hal-02286913v1
|
|||
|
SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting17th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2020), Oct 2020, Montreal, Canada
Communication dans un congrès
hal-02915937v1
|