Filter your results
- 168
- 87
- 176
- 51
- 12
- 6
- 4
- 3
- 1
- 1
- 1
- 3
- 255
- 86
- 1
- 1
- 25
- 22
- 9
- 7
- 13
- 16
- 30
- 12
- 24
- 16
- 21
- 23
- 14
- 4
- 6
- 17
- 14
- 8
- 6
- 4
- 3
- 3
- 1
- 1
- 2
- 1
- 229
- 26
- 207
- 25
- 18
- 12
- 12
- 8
- 7
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 128
- 75
- 47
- 30
- 22
- 17
- 15
- 13
- 13
- 13
- 12
- 11
- 11
- 10
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Designing Sequence Diagram Models for Robustness to Attacks2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Conference papers
hal-01812124v1
|
|||
A VLSI architecture for image geometrical transformations using an embedded core based processorIEEE International Conference on Application-Specific Systems, Architectures and Processors, Jul 1997, Zurich, France. pp.86-95, ⟨10.1109/ASAP.1997.606815⟩
Conference papers
hal-02893298v1
|
|||
URSI France 2017 Workshop Radio Science for HumanityRadio Science Bulletin, 2017, 360, pp.62-68
Journal articles
hal-02287744v1
|
|||
Some Thoughts on Disaster ManagementRadio Science Bulletin, 2015, 355, pp.13-17
Journal articles
hal-02287793v1
|
|||
SecBus, a software/hardware architecture for securing external memoriesThe 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, IEEE MobileCloud 2014, Apr 2014, Oxford, United Kingdom
Conference papers
hal-02286951v1
|
|||
|
Full-Reconfigurable Interleaver Architecture for High-performance SDR applications(SDR'10), Nov 2010, Washington, DC, United States. pp.509-514
Conference papers
hal-00739834v1
|
||
|
3D Simulation to Validate Autonomous Intervention Systems Architecture for Disaster Management4th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2019, Kyiv, Ukraine. pp.196-211, ⟨10.1007/978-3-030-48939-7_17⟩
Conference papers
hal-03374239v1
|
||
|
The “Backend Duplication” MethodWorkshop on Cryptographic Hardware and Embedded Systems (CHES), Aug 2005, Edinburgh, United Kingdom. pp.383-397, ⟨10.1007/11545262_28⟩
Conference papers
hal-02893271v1
|
||
Radio sciences and disaster managementComptes Rendus. Physique, 2010, 11 (1), pp.Pages 114-124. ⟨10.1016/j.crhy.2010.02.002⟩
Journal articles
istex
hal-00762220v1
|
|||
Flexible Baseband Architectures for Future Wireless Systems2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, Sep 2008, Parma, France. pp.39-46, ⟨10.1109/DSD.2008.87⟩
Conference papers
hal-02893212v1
|
|||
|
Tracking Dependent Information FlowsProceedings of the 3rd International Conference on Information Systems Security and Privacy (ICISSP'17), Feb 2017, Porto, Portugal. pp.179-189, ⟨10.5220/0006209301790189⟩
Conference papers
hal-01974727v1
|
||
|
TURTLE: Four Weddings and a TutorialERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Conference papers
hal-02267837v1
|
||
|
SMASHUP: a toolchain for unified verification of hardware/software co-designsJournal of Cryptographic Engineering, 2016, pp.1-12. ⟨10.1007/s13389-016-0145-2⟩
Journal articles
hal-01403136v2
|
||
|
Hardware / Software / Analog System Partitioning with SysML and SystemC-AMS10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France
Conference papers
hal-02933667v1
|
||
Communication Patterns: a Novel Modeling Approach for Software Defined Radio SystemsThe Fourth International Conference on Advances in Cognitive Radio (COCORA'2014), Feb 2014, Nice, France
Conference papers
hal-02288394v1
|
|||
|
Un environnement de conception de systèmes distribués basé sur UMLAnnals of Telecommunications - annales des télécommunications, 2006, 61 (11-12), pp.1347-1368. ⟨10.1007/BF03219900⟩
Journal articles
hal-02893108v1
|
||
Identifying Unknown Android Malware with Feature Extractions and Classification TechniquesThe 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland
Conference papers
hal-02287142v1
|
|||
Autonomous Drones for Disasters Management: Safety and Security VerificationsURSI AT-RASC, May 2015, Las Palma, Gran Canaria, Spain
Conference papers
hal-02287131v1
|
|||
|
Test Sequence Generation From Formally Verified SysML ModelsAsia-Pacific Software Engineering Conference (APSEC'2019), Feb 2019, Stuttgart, Germany
Conference papers
hal-02337493v1
|
||
Harmonizing Safety, Security and Performance Requirements in Embedded SystemsDesign Automation and Test in Europe conference (DATE, Mar 2019, Firenze, Italy
Conference papers
hal-02288550v1
|
|||
|
Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal MulticoresRAPIDO 2019 - 11th Workshop on Rapid Simulation and Performance Evaluation, Jan 2019, Valencia, Spain. ⟨10.1145/3300189.3300193⟩
Conference papers
hal-01963830v1
|
||
Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security PropertiesColloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", Mar 2014, Paris, France
Conference papers
hal-02286918v1
|
|||
Quelques épreuve du challenge sécurité Trust the FutureMISC Multi-System & Internet Cookbook, 2015, 79, pp.62-66
Journal articles
hal-02287129v1
|
|||
|
Execution Trace Analysis for a Precise Understanding of Latency ViolationsInternational Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka (virtual), Japan
Conference papers
hal-03349254v1
|
||
|
Direct Model-checking of SysML Models9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.216-223, ⟨10.5220/0010256302160223⟩
Conference papers
hal-03349263v1
|
||
Multi-resource scheduling for FPGA systemsMicroprocessors and Microsystems: Embedded Hardware Design , 2021, 87, pp.104373. ⟨10.1016/j.micpro.2021.104373⟩
Journal articles
hal-03483455v1
|
|||
|
AMULET: a Mutation Language Enabling Automatic Enrichment of SysML ModelsACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3624583⟩
Journal articles
emse-04212653v1
|
||
|
Combining STPA with SysML ModelingThe 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada
Conference papers
hal-02933575v1
|
||
|
Virtual Yet Precise Prototyping: An Automotive Case Study8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.691-700
Conference papers
hal-01291888v1
|
||
A dedicated circuit for real time motion estimationEuro ASIC '91, May 1991, Paris, France. pp.96-99, ⟨10.1109/EUASIC.1991.212886⟩
Conference papers
hal-02893305v1
|