Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Equipe System on Chip collection
Homepage
Browse by search
Overview
Homepage HAL Télécom Paris
Homepage
Latest publications
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet. SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting. 17th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2020), Oct 2020, Montreal, Canada. ⟨10.1145/1122445.1122456⟩. ⟨hal-02915937⟩
Matteo Bertolino, Andrea Enrici, Renaud Pacalet, Ludovic Apvrille. Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures. Euromicro DSD 2020, Aug 2020, Portorož, Slovenia. ⟨hal-02894662⟩
Amna Gharbi, Andrea Enrici, Bogdan Uscumlic, Ludovic Apvrille, Renaud Pacalet. Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms. Euromicro DSD 2020, Aug 2020, Portorož, Slovenia. ⟨hal-02894654v2⟩
Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille. Combining STPA with SysML Modeling. The 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada. ⟨hal-02933575⟩
Bogdan Uscumlic, Andrea Enrici, Renaud Pacalet, Amna Gharbi, Ludovic Apvrille, et al.. Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures. 2020 IEEE International Conference on Communications (ICC): Communication Software, Services and Multimedia Applications Symposium, Jun 2020, Dublin, Ireland. ⟨hal-02457543⟩
Assioua Yasmine, Ameur-Boulifa Rabea, Guitton-Ouhamou Patricia. Towards Formal Verification of Autonomous Driving Supervisor Functions. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02442221⟩
Daniela Genius, Ludovic Apvrille. Hardware / Software / Analog System Partitioning with SysML and SystemC-AMS. 10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France. ⟨hal-02933667⟩
Hui Zhao, Ludovic Apvrille, Frédéric Mallet. A Model-Based Combination Language for Scheduling Verification. Model-Driven Engineering and Software Development, Springer International Publishing, 2020. ⟨hal-02430903⟩
Hui Zhao, Frédéric Mallet, Ludovic Apvrille. A Language-based Multi-view Approach for Combining Functional and Security Models. APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia. ⟨hal-02337469⟩
Sarah Chabane, Rabéa Ameur-Boulifa, Mezghiche Mohamed. Vers une conception de systèmes réactifs synchrones sûrs. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02431949⟩
Assioua Yasmine, Ameur-Boulifa Rabea, Guitton-Ouhamou Patricia. Requirements to Models of Automotive Software: Application to the Automatic Park Assist function. 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy. ⟨hal-02308453⟩
Benjamin Dauphin, Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications. Euromicro Conference on Digital System Design, Aug 2019, Kalithea, Greece. ⟨hal-02275905⟩
Sahar Berro, Ludovic Apvrille, Guillaume Duc. Optimizing System Architecture Cost and Security Countermeasures. Sixth International Workshop on Graphical Models for Security (GamSec 2019), Jun 2019, Hoboken, NJ, United States. ⟨hal-02337448⟩
Daniela Genius, Ludovic Apvrille, Letitia Li. High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2019, ⟨10.1016/j.micpro.2019.03.006⟩. ⟨hal-02087643⟩
Gabriel Pedroza. Towards Safety and Security Co-engineering: Challenging Aspects for a Consistent Intertwining. Security and Safety Interplay of Intelligent Software Systems, pp.3-16, 2019. ⟨hal-02275365⟩
Maciej Bielski. Novel memory and I/O virtualization techniques for next generation data-centers based on disaggregated hardware. Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT022⟩. ⟨tel-02464021⟩
Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux. A Tool for High-Level Modeling of Analog/Mixed Signal Embedded Systems. MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.435-442, ⟨10.5220/0007520804350442⟩. ⟨hal-01963837⟩
Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Meta-models Combination for Reusing Verification Techniques. MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩. ⟨hal-02080768⟩
Pierre de Saqui-Sannes, Ludovic Apvrille. Test Sequence Generation From Formally Verified SysML Models. Asia-Pacific Software Engineering Conference (APSEC'2019), Feb 2019, Stuttgart, Germany. ⟨hal-02337493⟩
Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille. Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores. RAPIDO 2019 - 11th Workshop on Rapid Simulation and Performance Evaluation, Jan 2019, Valencia, Spain. ⟨10.1145/3300189.3300193⟩. ⟨hal-01963830⟩
Daniela Genius, Marie-Minerve Louërat, François Pêcheux, Ludovic Apvrille, Haralampos-G. Stratigopoulos. Modeling Heterogeneous Embedded Systems with TTool. DUHDe 2018 — 5th Workshop on Design Automation for Understanding Hardware Designs, Mar 2018, Dresden, Germany. ⟨hal-01670534⟩
Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi. Multi-level Latency Evaluation with an MDE Approach. 6th International Conference on Model-Driven Rngineering and Software Development (MODELSWARD 2018), Jan 2018, Funchal, Portugal. ⟨10.5220/0006535902950302⟩. ⟨hal-01670546⟩
Daniela Genius, Ludovic Apvrille. System-Level Design for Communication-Centric Task Farm Applications. 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip , Jul 2017, Madrid, Spain. ⟨hal-01568437⟩
Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Multi-View Design for Cyber-Physical Systems. PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28. ⟨hal-01669918⟩
Daniela Genius, Letitia Li, Ludovic Apvrille. Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design . 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), INSTICC, Feb 2017, Porto, Portugal. ⟨hal-01447148⟩
Ludovic Apvrille, Letitia W. Li. Safe and Secure Support for Public Safety Networks. Daniel Camara, Navid Nikaein. Wireless Public Safety Networks 3, Elsevier, pp.185 - 210, 2017, 978-1-78548-053-9. ⟨10.1016/B978-1-78548-053-9.50009-3⟩. ⟨hal-01533215⟩
Letitia Li, Ludovic Apvrille, Daniela Genius. Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration. Conference on Design and Architectures for Signal and Image Processing, Oct 2016, Rennes, France. 2016. ⟨hal-01365609⟩
Tullio Joseph Tanzi, Madhu Chandra, Jean Isnard, Daniel Camara, Olivier Sébastien, et al.. Towards "drone-borne" disaster management: future application scenarios. XXIII ISPRS Congress, Commission VIII (Volume III-8), Jul 2016, Prague, Czech Republic. pp.181--189, ⟨10.5194/isprs-annals-III-8-181-2016⟩. ⟨hal-01516666⟩
Pierre de Saqui-Sannes, Ludovic Apvrille. Making Modeling Assumptions an Explicit Part of Real-Time Systems Models. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01291947⟩
Daniela Genius, Ludovic Apvrille. Virtual Yet Precise Prototyping: An Automotive Case Study. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.691-700. ⟨hal-01291888⟩