Search - Equipe System on Chip Access content directly

Filter your results

276 Results
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

Mutation of Formally Verified SysML Models

Ludovic Apvrille , Bastien Sultan , Oana Hotescu , Pierre de Saqui-Sannes , Sophie Coudert et al.
11th internationl conference on Model-Based Software and Systems Engineering (Modelsward'2023), Feb 2023, Lisbonne, Portugal
Conference papers hal-04002298v1
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

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

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

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

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

Compositional Equivalences Based on Open pNets

Rabéa Ameur-Boulifa , Ludovic Henrio , Eric Madelaine
Journal of Logical and Algebraic Methods in Programming, In press
Journal articles hal-03894031v1
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

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

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
Image document

Checking SysML Models Against Safety and Security Properties

Pierre de Saqui-Sannes , Ludovic Apvrille , Rob Vingerhoeds
Journal of Aerospace Information Systems, 2021, pp.1 - 13. ⟨10.2514/1.i010950⟩
Journal articles hal-03423073v1

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
Image document

Execution Trace Analysis for a Precise Understanding of Latency Violations

Maysam Zoor , Ludovic Apvrille , Renaud Pacalet
International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka (virtual), Japan
Conference papers hal-03349254v1

Detection of Security Vulnerabilities Induced by Integer Errors

Salim Kissi , Yassamine Seladji , Ameur-Boulifa Rabea
16th International Conference on Software Technologies, Jul 2021, Online Streaming, Portugal. pp.177-184, ⟨10.5220/0010551301770184⟩
Conference papers hal-03318675v1
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

Proving the Safety of a Sliding Window Protocol with Event-B

Sophie Coudert
International Conference on Rigorous State-Based Methods, ABZ 2021, Jun 2021, Ulm, Germany
Conference papers hal-03322370v1
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

Direct Model-checking of SysML Models

Alessandro Tempia Calvino , Ludovic Apvrille
9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.216-223, ⟨10.5220/0010256302160223⟩
Conference papers hal-03349263v1
Image document

Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping

Daniela Genius , Ludovic Apvrille
9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.224-231, ⟨10.5220/0010257202240231⟩
Conference papers hal-03349284v1
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

Efficient scheduling of applications onto cloud FPGAs

Matteo Bertolino
Modeling and Simulation. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT001⟩
Theses tel-03276708v1
Image document

Compositional equivalences based on open pNets

Rabea Ameur-Boulifa , Ludovic Henrio , Eric Madelaine
2021
Preprints, Working Papers, ... hal-03103607v1
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
Image document

SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting

Maysam Zoor , Ludovic Apvrille , Renaud Pacalet
17th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2020), Oct 2020, Montreal, Canada. ⟨10.1145/1122445.1122456⟩
Conference papers hal-02915937v1
Image document

Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures

Matteo Bertolino , Andrea Enrici , Renaud Pacalet , Ludovic Apvrille
Euromicro DSD 2020, Aug 2020, Portorož, Slovenia
Conference papers hal-02894662v1
Image document

Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms

Amna Gharbi , Andrea Enrici , Bogdan Uscumlic , Ludovic Apvrille , Renaud Pacalet et al.
Euromicro DSD 2020, Aug 2020, Portorož, Slovenia
Conference papers hal-02894654v2
Image document

Combining STPA with SysML Modeling

Fellipe Guilherme Rey de Souza , Juliana de Melo Bezerra , Celso Massaki Hirata , Pierre de Saqui-Sannes , Ludovic Apvrille et al.
The 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada
Conference papers hal-02933575v1
Image document

Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures

Bogdan Uscumlic , Andrea Enrici , Renaud Pacalet , Amna Gharbi , Ludovic Apvrille et al.
2020 IEEE International Conference on Communications (ICC): Communication Software, Services and Multimedia Applications Symposium, Jun 2020, Dublin, Ireland
Conference papers hal-02457543v1