Filter your results
- 190
- 86
- 190
- 50
- 12
- 11
- 6
- 4
- 1
- 1
- 1
- 9
- 2
- 248
- 110
- 5
- 1
- 1
- 24
- 21
- 3
- 7
- 14
- 16
- 30
- 13
- 24
- 16
- 21
- 25
- 16
- 10
- 11
- 21
- 16
- 8
- 6
- 5
- 3
- 3
- 1
- 3
- 1
- 2
- 1
- 247
- 29
- 221
- 27
- 18
- 12
- 12
- 11
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 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
- 139
- 87
- 46
- 32
- 27
- 19
- 17
- 15
- 14
- 13
- 12
- 11
- 11
- 11
- 10
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
276 Results
|
Hierarchical Design of Cyber-Physical Systems11th International Conference on Model-Based Software and Systems Engineering - MODELSWARD, INSTICC, Feb 2023, Lisbon (virtual ), Portugal. pp.117-124, ⟨10.5220/0011654400003402⟩
Conference papers
hal-04001693v1
|
||
|
Mutation of Formally Verified SysML Models11th internationl conference on Model-Based Software and Systems Engineering (Modelsward'2023), Feb 2023, Lisbonne, Portugal
Conference papers
hal-04002298v1
|
||
|
Execution trace analysis for a precise understanding of latency violationsSoftware and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩
Journal articles
hal-03930026v1
|
||
Detection of leaks through exception mechanisms2022 International Conference on Advanced Aspects of Software Engineering (ICAASE), Sep 2022, Constantine, Algeria. pp.1-8, ⟨10.1109/ICAASE56196.2022.9931592⟩
Conference papers
hal-03860083v1
|
|||
|
Automatic Support for Requirements Validation11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France
Conference papers
hal-03689243v1
|
||
|
3D Simulation for Disaster Management: toward a new approach3rd URSI Atlantic Radio Science Meeting, May 2022, Maspalomas, Spain
Conference papers
hal-03689438v1
|
||
Influence des mises à jour de sécurité sur le comportement d'un système critiqueGestion de crise et numérique : nouvelles menaces et nouvelles solutions, Mar 2022, Palaiseau, France
Conference papers
emse-03624165v1
|
|||
|
Compositional Equivalences Based on Open pNetsJournal of Logical and Algebraic Methods in Programming, In press
Journal articles
hal-03894031v1
|
||
|
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010832300003119⟩
Conference papers
hal-03575972v1
|
||
|
SysML Models Verification Relying on Dependency Graphs10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010792900003119⟩
Conference papers
hal-03575960v1
|
||
|
Latency verification in execution traces of HW/SW partitioning modelEmbedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT037⟩
Theses
tel-03576841v1
|
||
|
Constraint programming for design space exploration of dataflow applications on multi-bus architecturesHardware Architecture [cs.AR]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT018⟩
Theses
tel-03515492v1
|
||
|
Checking SysML Models Against Safety and Security PropertiesJournal of Aerospace Information Systems, 2021, pp.1 - 13. ⟨10.2514/1.i010950⟩
Journal articles
hal-03423073v1
|
||
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
|
|||
|
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
|
||
|
Detection of Security Vulnerabilities Induced by Integer Errors16th International Conference on Software Technologies, Jul 2021, Online Streaming, Portugal. pp.177-184, ⟨10.5220/0010551301770184⟩
Conference papers
hal-03318675v1
|
||
|
Detection of Security Vulnerabilities induced by Integer errorsICSOFT 2021, Jul 2021, Online Streaming, France
Conference poster
hal-03860231v1
|
||
Proving the Safety of a Sliding Window Protocol with Event-BInternational Conference on Rigorous State-Based Methods, ABZ 2021, Jun 2021, Ulm, Germany
Conference papers
hal-03322370v1
|
|||
|
Liveness analysis techniques and run-time environment for memory management of dataflow applicationsEmbedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT004⟩
Theses
tel-03682675v1
|
||
|
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
|
||
|
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⟩
Conference papers
hal-03349284v1
|
||
|
Handling causality and schedulability when designing and prototyping cyber-physical systemsSoftware and Systems Modeling, 2021, 20 (1), ⟨10.1007/s10270-021-00866-1⟩
Journal articles
hal-03159402v1
|
||
|
Efficient scheduling of applications onto cloud FPGAsModeling and Simulation. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT001⟩
Theses
tel-03276708v1
|
||
|
Compositional equivalences based on open pNets2021
Preprints, Working Papers, ...
hal-03103607v1
|
||
|
General Knowledge Representation and Sharing for Disaster Management5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.116-131, ⟨10.1007/978-3-030-81469-4_10⟩
Conference papers
hal-03450395v2
|
||
|
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. ⟨10.1145/1122445.1122456⟩
Conference papers
hal-02915937v1
|
||
|
Efficient Scheduling of FPGAs for Cloud Data Center InfrastructuresEuromicro DSD 2020, Aug 2020, Portorož, Slovenia
Conference papers
hal-02894662v1
|
||
|
Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus PlatformsEuromicro DSD 2020, Aug 2020, Portorož, Slovenia
Conference papers
hal-02894654v2
|
||
|
Combining STPA with SysML ModelingThe 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada
Conference papers
hal-02933575v1
|
||
|
Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures2020 IEEE International Conference on Communications (ICC): Communication Software, Services and Multimedia Applications Symposium, Jun 2020, Dublin, Ireland
Conference papers
hal-02457543v1
|