Homepage

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⟩
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⟩
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⟩
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⟩

Equipe System on Chip collection

Homepage

Latest publications