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
Secure on-board protocols specification", Deliverable D3.3[Contract] EVITA, Telecom ParisTech. 2010
Rapport
hal-02286286v1
|
|||
Design and Verification of Secure Autonomous Vehicles12th European ITS Congress, Jun 2017, Strasbourg, France
Communication dans un congrès
hal-02287582v1
|
|||
SherlockDroid, an Inspector for Android MarketplacesHack.lu, Oct 2014, Luxembourg, Luxembourg
Communication dans un congrès
hal-02412084v1
|
|||
Real-Time Systems Development with the SysML toolkit TToolTutorial at the 16th International System Design Languages Forum, Jun 2013, Montreal, Canada
Communication dans un congrès
hal-02286743v1
|
|||
|
3D Simulation for Disaster Management: toward a new approach3rd URSI Atlantic Radio Science Meeting, May 2022, Maspalomas, Spain
Communication dans un congrès
hal-03689438v1
|
||
|
Optimizing System Architecture Cost and Security CountermeasuresSixth International Workshop on Graphical Models for Security (GamSec 2019), Jun 2019, Hoboken, NJ, United States
Communication dans un congrès
hal-02337448v1
|
||
|
Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.224-231, ⟨10.5220/0010257202240231⟩
Communication dans un congrès
hal-03349284v1
|
||
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical DevicesMODELSWARD 2020: Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.74-96, ⟨10.1007/978-3-030-67445-8_4⟩
Communication dans un congrès
hal-03161772v1
|
|||
|
Real-time and embedded system verification based on formal requirementsIEEE Symposium on Industrial Embedded Systems (IES'2006), Oct 2006, Antibes, France. pp.1-10
Communication dans un congrès
hal-04090328v1
|
||
Model-based programming for multi-processor platforms with TTool/DIPLODOCUS and OMC6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Jan 2018, Funchal, Portugal. pp.56-81, ⟨10.1007/978-3-030-11030-7_4⟩
Communication dans un congrès
hal-02050594v1
|
|||
Taming Control Exchange for Software Defined Radio in System Level Models7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia-Antipolis, France
Communication dans un congrès
hal-02286812v1
|
|||
Security requirements for automotive on-board networks based on dark-side scenarios, Deliverable D2.3[Contract] EVITA, Telecom ParisTech. 2010
Rapport
hal-02286288v1
|
|||
Software Stack for Code Generation of Software-Defined RadioJournées Scientifiques de l'URSI, Mar 2017, Sophia-Antipolis, France
Communication dans un congrès
hal-02287563v1
|
|||
La programmation orientée modèles au service des télécommunications mobilesProgrammez !, 2018, pp.36-44
Article dans une revue
hal-02288006v1
|
|||
TURTLE : un pont entre UML et RT‐LOTOSConference AFADL'2004. Approches Formelles dans l'Assistance au Développement de Logiciels, 2004, Unknown, Région indéterminée. pp.--4
Communication dans un congrès
hal-01674636v1
|
|||
A UML-based Environment for System Design Space ExplorationIEEE International Conference on Electronics, Circuits and Systems (ICECS 2006), Dec 2006, Nice, France. pp.1272-1275
Communication dans un congrès
hal-00525101v1
|
|||
|
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
|
|||
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
|
|||
|
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
|