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
|
|||
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
|
|||
|
|
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
|
||
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
|
|||
DIPLODOCUS : Un environnement pour le partitionnement logiciel/matériel des systèmes embarqués et intégrés complexesÉcole d’Été Temps Réel (ETR 2013), Aug 2013, Toulouse, France
Communication dans un congrès
hal-02286794v1
|
|||
Sécurite des véhicules connectés et/ou autonomes MISC Multi-System & Internet Cookbook, 2016, 87, pp.56-65
Article dans une revue
hal-02287436v1
|
|||
Verifying service continuity in a satellite reconfiguration procedureAutomated Software Engineering, 2004, 11, pp.167--192
Article dans une revue
hal-01674637v1
|
|||
Impact of Security Measures on Performance Aspects in SysML Models8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, France. pp.373-380, ⟨10.5220/0008970203730380⟩
Communication dans un congrès
hal-02933602v1
|
|||
|
|
Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus PlatformsEuromicro DSD 2020, Aug 2020, Portorož, Slovenia
Communication dans un congrès
hal-02894654v2
|
||
|
|
Execution trace analysis for a precise understanding of latency violationsSoftware and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩
Article dans une revue
hal-03930026v1
|
||
Modeling the trade-off between security and performance to support the product life cycle8th Mediterranean Conference on Embedded Computing MECO2019, Jun 2019, Budva, Montenegro
Communication dans un congrès
hal-02275984v1
|
|||
Formal system-level design space explorationConcurrency and Computation: Practice and Experience, 2012, 25 (2), pp.250-264. ⟨10.1002/cpe.2802⟩
Article dans une revue
istex
hal-02893082v1
|
|||
|
|
Fast Simulation Techniques for Design Space ExplorationInternational Conference on Objects, Components, Models and Patterns (TOOLS EUROPE 2009), 2009, Zurich, Switzerland
Communication dans un congrès
hal-02893190v1
|
||
Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-Software Systems7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Feb 2019, Prague, Czech Republic. ⟨10.5220/0007377900840095⟩
Communication dans un congrès
hal-02288551v1
|
|||
A UML Model-Driven Approach to Efficiently Allocate Complex Communication SchemesMODELS 2014, Sep 2014, Valencia, Spain
Communication dans un congrès
hal-02288403v1
|
|||
|
|
W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security CountermeasuresModel-Driven Engineering and Software Development, 1708, Springer Nature Switzerland, pp.203-229, 2023, Communications in Computer and Information Science, 978-3-031-38821-7. ⟨10.1007/978-3-031-38821-7_10⟩
Chapitre d'ouvrage
hal-04177250v1
|
||
|
|
Efficient Scheduling of FPGAs for Cloud Data Center InfrastructuresEuromicro DSD 2020, Aug 2020, Portorož, Slovenia
Communication dans un congrès
hal-02894662v1
|
||
|
|
Meta-models Combination for Reusing Verification TechniquesMODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
Communication dans un congrès
hal-02080768v1
|