Filtrer vos résultats
- 99
- 59
- 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
|
||
ANALYSE D’UN PROBLÈME POSÉ PAR INTEL SGX : LA COMMUNICATION SÉCURISÉE ENTRE UNE ENCLAVE ET UN PÉRIPHÉRIQUEMISC Multi-System & Internet Cookbook, 2018, 101, pp.74-82
Article dans une revue
hal-02288005v1
|
|||
UAVs for Humanitarian Missions: Autonomy and ReliabilityIEEE Global Humanitarian Technology Conference (GHTC), Oct 2014, Silicon Valley, United States
Communication dans un congrès
hal-02288415v1
|
|||
DiplodocusDF: Analyzing Hardware/Software Interactions with a DinosaurDUHDe, 1st Workshop on Design Automation for Understanding Hardware Designs, Workshop at DATE 2014, Mar 2014, Dresde, Germany
Communication dans un congrès
hal-02412044v1
|
|||
|
A Model Compilation Approach for Optimized Implementations of Signal-Processing SystemsMODELSWARD 2018, Jan 2018, Funchal Madeira, Portugal. ⟨10.5220/0006534800250035⟩
Communication dans un congrès
hal-02287718v1
|
||
SysML Models and Model Transformation for SecurityConferénce on Model-Driven Engineering and Software Development (Modelsward'2016), Feb 2016, Rome, Italy
Communication dans un congrès
hal-02287286v1
|
|||
|
Integration of Heterogeneous Components for Co-Simulation18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩
Communication dans un congrès
hal-04176025v1
|
||
Towards the Model-Driven Engineering of Security Requirements for Embedded SystemsModel-Driven Requirements Engineering Workshop (MoDRE), Jul 2013, Rio de Janeiro, Brazil
Communication dans un congrès
hal-02286742v1
|
|||
SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France
Communication dans un congrès
hal-02286744v1
|
|||
Pre-filtering Mobile Malware with Heuristic TechniquesGreHaCk'2013, Nov 2013, Grenoble, France
Communication dans un congrès
hal-02286857v1
|
|||
SysML-Sec: A Model Driven Approach for Designing Safe and Secure Systems3rd International Conference on Model-Driven Engineering and Software Development, Special session on Security and Privacy in Model Based Engineering, Feb 2015, Angers, France
Communication dans un congrès
hal-02287013v1
|
|||
SherlockDroid: a research assistant to spot unknown malware in Android marketplacesJournal of Computer Virology and Hacking Techniques, 2015, 11 (39), pp.1-11. ⟨10.1007/s11416-015-0245-z⟩
Article dans une revue
hal-02287146v1
|
|||
Towards a new architecture for autonomous data collectionISPRS Geospatial Week 2015, GeoUAV track, Oct 2015, La grande Motte, France
Communication dans un congrès
hal-02287198v1
|
|||
Contrôler sa chaudière à distance avec un Raspberry PiHackable, 2015, 8, pp.60-67
Article dans une revue
hal-02287199v1
|