Search - Equipe System on Chip Access content directly

Filter your results

282 Results

AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models

Bastien Sultan , Léon Frénot , Ludovic Apvrille , Philippe Jaillon , Sophie Coudert
ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3624583⟩
Journal articles emse-04212653v1
Image document

Refinements for Open Automata (Extended Version)

Ludovic Henrio , Eric Madelaine , Rabéa Ameur-Boulifa , Quentin Corradi
RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023
Reports hal-04193421v1
Image document

W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

Bastien Sultan , Ludovic Apvrille , Philippe Jaillon , Sophie Coudert
Model-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
Image document

Integration of Heterogeneous Components for Co-Simulation

Jawher Jerray , Rabea Ameur-Boulifa , Ludovic Apvrille
18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩
Conference papers hal-04176025v1
Image document

Integration of heterogeneous components for co-simulation

Jawher Jerray , Ameur-Boulifa Rabea , Ludovic Apvrille
Preprints, Working Papers, ... hal-04104340v1
Image document

Evaluation of Power Constant Dual-Rail Logics Countermeasures against DPA with Design Time Security Metrics

Sylvain Guilley , Laurent Sauvage , Florent Flament , Vinh-Nga Vong , Philippe Hoogvorst , et al.
IEEE Transactions on Computers, 2010, 59 (9), pp.1250-1263. ⟨10.1109/TC.2010.104⟩
Journal articles hal-02893100v1
Image document

Real-time and embedded system verification based on formal requirements

Benjamin Fontan , Ludovic Apvrille , Pierre De Saqui-Sannes , Jean-Pierre Courtiat
IEEE Symposium on Industrial Embedded Systems (IES'2006), Oct 2006, Antibes, France. pp.1-10
Conference papers hal-04090328v1
Image document

A UML framework for the dimensioning and formal verification of embedded systems

Ludovic Apvrille , Pierre De Saqui-Sannes , Ahlem Mifdaoui
SAFA Annual Workshop on Formal Methods (SAFA 2009), Sep 2009, Sophia-Antipolis, France. pp.0
Conference papers hal-04088272v1
Image document

Handling causality and schedulability when designing and prototyping cyber-physical systems

Rodrigo Cortés porto , Daniela Genius , Ludovic Apvrille
Software and Systems Modeling, 2021, 20 (1), ⟨10.1007/s10270-021-00866-1⟩
Journal articles hal-03159402v1
Image document

Security Evaluation of WDDL and SecLib Countermeasures against Power Attacks

Sylvain Guilley , Laurent Sauvage , Philippe Hoogvorst , Renaud Pacalet , Guido Marco Bertoni , et al.
IEEE Transactions on Computers, 2008, 57 (11), pp.1482-1497. ⟨10.1109/TC.2008.109⟩
Journal articles hal-02893103v1
Image document

Mutation of Formally Verified SysML Models

Ludovic Apvrille , Bastien Sultan , Oana Hotescu , Pierre de Saqui-Sannes , Sophie Coudert
11th internationl conference on Model-Based Software and Systems Engineering (Modelsward'2023), Feb 2023, Lisbonne, Portugal
Conference papers hal-04002298v1
Image document

Hierarchical Design of Cyber-Physical Systems

Daniela Genius , Ludovic Apvrille
11th 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
Image document

Execution trace analysis for a precise understanding of latency violations

Maysam Zoor , Ludovic Apvrille , Renaud Pacalet , Sophie Coudert
Software and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩
Journal articles hal-03930026v1
Image document

Detection of Security Vulnerabilities induced by Integer errors

Salim Yahia Kissi , Yassamine Seladji , Rabéa Ameur Boulifa
ICSOFT 2021, Jul 2021, Online Streaming, France
Conference poster hal-03860231v1
Image document

Compositional Equivalences Based on Open pNets

Rabéa Ameur-Boulifa , Ludovic Henrio , Eric Madelaine
Journal 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 mechanisms

Salim Yahia Kissi , Yassamine Seladji , Ameur-Boulifa Rabea
2022 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
Image document

High-level system modeling for rapid HW/SW architecture exploration

Chafic Jaber , Andreas Kanstein , Ludovic Apvrille , Amer Baghdadi , Patricia Le Moënner , et al.
IEEE/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
Image document

3D Simulation for Disaster Management: toward a new approach

Tullio Tanzi , Ludovic Apvrille
3rd URSI Atlantic Radio Science Meeting, May 2022, Maspalomas, Spain
Conference papers hal-03689438v1
Image document

Automatic Support for Requirements Validation

Assioua Yasmine , Rabéa Ameur-Boulifa , Patricia Guitton-Ouhamou , Renaud Pacalet
11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France
Conference papers hal-03689243v1
Image document

Liveness analysis techniques and run-time environment for memory management of dataflow applications

Benjamin Dauphin
Embedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT004⟩
Theses tel-03682675v1
Image document

Shared resources high-level modeling in embedded systems using virtual nodes

Chafic Jaber , Andreas Kanstein , Ludovic Apvrille , Amer Baghdadi , Renaud Pacalet
Joint 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
Image document

General Knowledge Representation and Sharing for Disaster Management

Philippe Martin , Tullio Tanzi
5th 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 critique

Philippe Jaillon , Ludovic Apvrille
Gestion de crise et numérique : nouvelles menaces et nouvelles solutions, Mar 2022, Palaiseau, France
Conference papers emse-03624165v1
Image document

Latency verification in execution traces of HW/SW partitioning model

Maysam Zoor
Embedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT037⟩
Theses tel-03576841v1
Image document

A Formal Security Model for Verification of Automotive Embedded Applications

Renaud Pacalet , Gabriel Pedroza , Ludovic Apvrille
SAFA Annual Workshop on Formal Techniques (SAFA’2010), Oct 2010, Sophia-Antipolis, France
Conference papers hal-03576507v1
Image document

Application-Specific Instruction-Set Processor for Digital Front-End Processing in Wireless Communications

Carina Schmidt-Knorreck , Renaud Pacalet , Andreas Minwegen , Uwe Deidersen , Torsten Kempf , et al.
ACROPOLIS 2011, 1st Annual Workshop on Advanced coexistence technologies for radio resource usage optimisation, Oct 2011, Barcelona, Spain
Conference papers hal-03576456v1
Image document

Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec

Bastien Sultan , Ludovic Apvrille , Philippe Jaillon
10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010832300003119⟩
Conference papers hal-03575972v1
Image document

SysML Models Verification Relying on Dependency Graphs

Ludovic Apvrille , Pierre de Saqui-Sannes , Oana Hotescu , Alessandro Tempia Calvino
10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010792900003119⟩
Conference papers hal-03575960v1
Image document

Constraint programming for design space exploration of dataflow applications on multi-bus architectures

Amna Gharbi
Hardware Architecture [cs.AR]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT018⟩
Theses tel-03515492v1

Multi-resource scheduling for FPGA systems

Renaud Pacalet , Matteo Bertolino , Ludovic Apvrille , Andrea Enrici
Microprocessors and Microsystems: Embedded Hardware Design , 2021, 87, pp.104373. ⟨10.1016/j.micpro.2021.104373⟩
Journal articles hal-03483455v1