Filter your results
- 190
- 92
- 193
- 51
- 13
- 12
- 6
- 4
- 1
- 1
- 1
- 9
- 3
- 254
- 110
- 5
- 1
- 1
- 25
- 22
- 8
- 7
- 13
- 16
- 30
- 13
- 24
- 16
- 21
- 25
- 16
- 10
- 11
- 21
- 17
- 8
- 6
- 6
- 3
- 3
- 1
- 3
- 1
- 2
- 1
- 253
- 29
- 227
- 27
- 18
- 12
- 12
- 11
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 145
- 87
- 46
- 34
- 27
- 19
- 17
- 15
- 15
- 14
- 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
282 Results
|
AMULET: a Mutation Language Enabling Automatic Enrichment of SysML ModelsACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3624583⟩
Journal articles
emse-04212653v1
|
||
|
Refinements for Open Automata (Extended Version)RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023
Reports
hal-04193421v1
|
||
|
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⟩
Book sections
hal-04177250v1
|
||
|
Integration of Heterogeneous Components for Co-Simulation18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩
Conference papers
hal-04176025v1
|
||
|
Integration of heterogeneous components for co-simulation2023
Preprints, Working Papers, ...
hal-04104340v1
|
||
|
Evaluation of Power Constant Dual-Rail Logics Countermeasures against DPA with Design Time Security MetricsIEEE Transactions on Computers, 2010, 59 (9), pp.1250-1263. ⟨10.1109/TC.2010.104⟩
Journal articles
hal-02893100v1
|
||
|
Real-time and embedded system verification based on formal requirementsIEEE Symposium on Industrial Embedded Systems (IES'2006), Oct 2006, Antibes, France. pp.1-10
Conference papers
hal-04090328v1
|
||
|
A UML framework for the dimensioning and formal verification of embedded systemsSAFA Annual Workshop on Formal Methods (SAFA 2009), Sep 2009, Sophia-Antipolis, France. pp.0
Conference papers
hal-04088272v1
|
||
|
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
|
||
|
Security Evaluation of WDDL and SecLib Countermeasures against Power AttacksIEEE Transactions on Computers, 2008, 57 (11), pp.1482-1497. ⟨10.1109/TC.2008.109⟩
Journal articles
hal-02893103v1
|
||
|
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
|
||
|
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
|
||
|
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 Security Vulnerabilities induced by Integer errorsICSOFT 2021, Jul 2021, Online Streaming, France
Conference poster
hal-03860231v1
|
||
|
Compositional Equivalences Based on Open pNetsJournal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100842. ⟨10.1016/j.jlamp.2022.100842⟩
Journal articles
hal-03894031v2
|
||
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
|
|||
|
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⟩
Conference papers
hal-02124754v1
|
||
|
3D Simulation for Disaster Management: toward a new approach3rd URSI Atlantic Radio Science Meeting, May 2022, Maspalomas, Spain
Conference papers
hal-03689438v1
|
||
|
Automatic Support for Requirements Validation11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France
Conference papers
hal-03689243v1
|
||
|
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
|
||
|
Shared resources high-level modeling in embedded systems using virtual nodesJoint IEEE North-East Workshop on Circuits and Systems and TAISA Conference 2009, Jun 2009, Toulouse, France. ⟨10.1109/NEWCAS.2009.5290506⟩
Conference papers
hal-00423997v1
|
||
|
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
|
||
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
|
|||
|
Latency verification in execution traces of HW/SW partitioning modelEmbedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT037⟩
Theses
tel-03576841v1
|
||
|
A Formal Security Model for Verification of Automotive Embedded ApplicationsSAFA Annual Workshop on Formal Techniques (SAFA’2010), Oct 2010, Sophia-Antipolis, France
Conference papers
hal-03576507v1
|
||
|
Application-Specific Instruction-Set Processor for Digital Front-End Processing in Wireless CommunicationsACROPOLIS 2011, 1st Annual Workshop on Advanced coexistence technologies for radio resource usage optimisation, Oct 2011, Barcelona, Spain
Conference papers
hal-03576456v1
|
||
|
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
|
||
|
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
|
||
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
|