CSDAI

Department of Institut Polytechnique de Paris

Group labsoc

labsoc (System on Chip)

LTCI, Telecom Paris

Themes: digital trust

Our research is on the design, modeling and validation of integrated and embedded systems, as well as on their security.
Part of the group is associated to the ICE department of IP Paris

Contact person: Ludovic Apvrille, https://www.telecom-paris.fr/ludovic-apvrille?l=en

Web site: https://www.telecom-paris.fr/en/research/laboratories/information-processing-and-communication-laboratory-ltci/research-teams/system-on-chip-labsoc

Journal articles

2023

ref_biblio
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino. Dependency Graphs to Boost the Verification of SysML Models. Communications in Computer and Information Science, 2023, 1708, pp.109-134. ⟨10.1007/978-3-031-38821-7_6⟩. ⟨hal-04483413⟩
Accès au bibtex
BibTex
ref_biblio
Yasmine Assioua, Rabea Ameur-Boulifa, Renaud Pacalet, Patricia Guitton-Ouhamou. Early Validation of Functional Requirements. Africa Insight, 2023, 26 (4), pp.30-32. ⟨10.1002/inst.12467⟩. ⟨hal-04370662⟩
Accès au bibtex
BibTex
ref_biblio
Philippe A Martin, Tullio Tanzi. General Knowledge Representation and Sharing, with Illustrations in Risk/Emergency Management. Sustainability, 2023, Special Issue "Disaster Risk Reduction: In Support of the Sendai Framework and Improved Societal Well-being", 15 (14), ⟨10.3390/su151410803⟩. ⟨hal-04220699⟩
Accès au texte intégral et bibtex
https://hal.univ-reunion.fr/hal-04220699/file/sustainability-15-10803-v2.pdf BibTex
ref_biblio
Bastien Sultan, Léon Frénot, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models. ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3624583⟩. ⟨emse-04212653⟩
Accès au bibtex
BibTex
ref_biblio
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert. Execution trace analysis for a precise understanding of latency violations. Software and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩. ⟨hal-03930026⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03930026/file/SoSyMjournal.pdf BibTex

2022

ref_biblio
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional Equivalences Based on Open pNets. Journal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100842. ⟨10.1016/j.jlamp.2022.100842⟩. ⟨hal-03894031v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03894031/file/WeakBisim.pdf BibTex

2021

ref_biblio
Sarah Chabane, Rabéa Ameur Boulifa, Mohamed Mezghiche. Towards Compositional Verification of Synchronous Reactive System. International Journal of Critical Computer-Based Systems, 2021, 10, pp.120-142. ⟨hal-03335671⟩
Accès au bibtex
BibTex
ref_biblio
Rodrigo Cortés porto, Daniela Genius, Ludovic Apvrille. Handling causality and schedulability when designing and prototyping cyber-physical systems. Software and Systems Modeling, 2021, 20 (1), ⟨10.1007/s10270-021-00866-1⟩. ⟨hal-03159402⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03159402/file/causality.pdf BibTex
ref_biblio
Pierre de Saqui-Sannes, Ludovic Apvrille, Rob Vingerhoeds. Checking SysML Models Against Safety and Security Properties. Journal of Aerospace Information Systems, 2021, pp.1 - 13. ⟨10.2514/1.i010950⟩. ⟨hal-03423073⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03423073/file/AIAA_Journal__deSaqui_Apvrille_Vingerhoeds_2022.pdf BibTex
ref_biblio
Renaud Pacalet, Matteo Bertolino, Ludovic Apvrille, Andrea Enrici. Multi-resource scheduling for FPGA systems. Microprocessors and Microsystems: Embedded Hardware Design , 2021, 87, pp.104373. ⟨10.1016/j.micpro.2021.104373⟩. ⟨hal-03483455⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03483455/file/micpro.pdf BibTex

2020

ref_biblio
Petr Mlynek, Radek Fujdiak, Pavel Mrnustik, Bohuslav Krena, Ludovic Apvrille. Co-Engineering Gap Analysis of ANSI/ISA‑62443‑3‑3. International journal of advances in telecommunications, electrotechnics, signals and systems, 2020, 9 (1), pp.1. ⟨10.11601/ijates.v9i1.285⟩. ⟨hal-02933496⟩
Accès au bibtex
BibTex

2019

ref_biblio
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 , 2019, ⟨10.1016/j.micpro.2019.03.006⟩. ⟨hal-02087643⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02087643/file/microproc_geniusapvrilleli_june2019.pdf BibTex
ref_biblio
Tullio Joseph Tanzi, Jean Isnard. Autonomous system for data collection: Location and mapping issues in post-disaster environment. Comptes Rendus. Physique, 2019, 20, pp.204-217. ⟨hal-02364491⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02364491/file/S1631070519300209.pdf BibTex

2018

ref_biblio
Madhu Chandra, Tullio Tanzi. Drone-borne GPR design: Propagation issues. Comptes Rendus. Physique, 2018, 19 (1-2), pp.72-84. ⟨hal-02287833⟩
Accès au bibtex
BibTex
ref_biblio
Florain Lugou, Ludovic Apvrille. ANALYSE D’UN PROBLÈME POSÉ PAR INTEL SGX : LA COMMUNICATION SÉCURISÉE ENTRE UNE ENCLAVE ET UN PÉRIPHÉRIQUE. MISC Multi-System & Internet Cookbook, 2018, 101, pp.74-82. ⟨hal-02288005⟩
Accès au bibtex
BibTex

2017

ref_biblio
Sophie Coudert, Dominique Legros. Modélisation formelle pour l’ingénierie système. Revue REE (Selection Journées scientifiques URSI 2017), 2017. ⟨hal-02287828⟩
Accès au bibtex
BibTex
ref_biblio
Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems. ACM Transactions on Design Automation of Electronic Systems, 2017, 22 (2), pp.34:1-34:25. ⟨10.1145/2999537⟩. ⟨hal-02287468⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi. URSI France 2017 Workshop Radio Science for Humanity. Radio Science Bulletin, 2017, 360, pp.62-68. ⟨hal-02287744⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Joel Hamelin. Foreword to Radio Science for Humanity: URSI-France 2017 Workshop. Radio Science Bulletin, 2017, 360, pp.60-61. ⟨hal-02287743⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Joel Hamelin. François Lefeuvre: A long Way among Waves. Radio Science Bulletin, 2017, 360, pp.69-74. ⟨hal-02287742⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Jean Isnard. Les radiosciences au service de l’humanité. La Revue de l'électricité et de l'électronique, 2017, 2017 (5), pp.67-68. ⟨hal-02287811⟩
Accès au bibtex
BibTex

2016

ref_biblio
Ludovic Apvrille, Letitia W. Li. Sécurite des véhicules connectés et/ou autonomes. MISC Multi-System & Internet Cookbook, 2016, 87, pp.56-65. ⟨hal-02287436⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Axelle Apvrille. Ventilation contrôlée par des framboises (Une du magazine). Hackable, 2016, 11. ⟨hal-02287503⟩
Accès au bibtex
BibTex

2015

ref_biblio
Ludovic Apvrille. Drones civils : vers plus d’autonomie. Le Journal des Grandes Ecoles et Universités, 2015, 73. ⟨hal-02287130⟩
Accès au bibtex
BibTex
ref_biblio
Axelle Apvrille, Ludovic Apvrille. SherlockDroid: a research assistant to spot unknown malware in Android marketplaces. Journal of Computer Virology and Hacking Techniques, 2015, 11 (39), pp.1-11. ⟨10.1007/s11416-015-0245-z⟩. ⟨hal-02287146⟩
Accès au bibtex
BibTex
ref_biblio
Axelle Apvrille, Ludovic Apvrille. Contrôler sa chaudière à distance avec un Raspberry Pi. Hackable, 2015, 8, pp.60-67. ⟨hal-02287199⟩
Accès au bibtex
BibTex
ref_biblio
Florian Lugou, Ludovic Apvrille. Quelques épreuve du challenge sécurité Trust the Future. MISC Multi-System & Internet Cookbook, 2015, 79, pp.62-66. ⟨hal-02287129⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi. Some Thoughts on Disaster Management. Radio Science Bulletin, 2015, 355, pp.13-17. ⟨hal-02287793⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi. The Radio Science Bulletin. Special issue "Disaster Management. Radio Science Bulletin, 2015, 355, pp.136. ⟨hal-02287794⟩
Accès au bibtex
BibTex

2014

ref_biblio
Ludovic Apvrille, Axelle Apvrille, Pierre Bogossian. Retour d'expérience sur quelques épreuves de Hack.Lu 2013. MISC - Multi-System & Internet Security Cookbook, 2014, 73, pp.50-55. ⟨hal-02286880⟩
Accès au bibtex
BibTex
ref_biblio
François Lefeuvre, Tullio Tanzi. Impact des phénomènes de météorologie spatiale sur la gestion des tremblements de Terre. Grand dossier REE. La Revue de l'électricité et de l'électronique, 2014, 12/2014, pp.108-114. ⟨hal-02287796⟩
Accès au bibtex
BibTex

2013

ref_biblio
Ludovic Apvrille, Pierre de Saqui-Sannes. Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.40-44. ⟨hal-02286741⟩
Accès au bibtex
BibTex

2010

ref_biblio
Sylvain Guilley, Laurent Sauvage, Florent Flament, Vinh-Nga Vong, Philippe Hoogvorst, et al.. Evaluation of Power Constant Dual-Rail Logics Countermeasures against DPA with Design Time Security Metrics. IEEE Transactions on Computers, 2010, 59 (9), pp.1250-1263. ⟨10.1109/TC.2010.104⟩. ⟨hal-02893100⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02893100/file/TC-2008-12-0640.R1.pdf BibTex
ref_biblio
Raymond Knopp, Carina Schmidt-Knorreck, Renaud Pacalet. Hardware Optimized Sample Rate Conversion for Software Defined Radio. Frequenz Journal of RF-Engineering and Telecommunications, 2010. ⟨hal-02893096⟩
Accès au bibtex
BibTex

2006

ref_biblio
Ludovic Apvrille, Pierre Saqui-Sannes, Renaud Pacalet, Axelle Apvrille. Un environnement de conception de systèmes distribués basé sur UML. Annals of Telecommunications - annales des télécommunications, 2006, 61 (11-12), pp.1347-1368. ⟨10.1007/BF03219900⟩. ⟨hal-02893108⟩
Accès au bibtex
BibTex

2004

ref_biblio
Bernadette Dorizzi, Jean Leroux Les Jardins, Philippe Lamadelaine, Claudine Guerrier. La biométrie - Techniques et usages. Techniques de l'Ingénieur. Sécurité des systèmes d'information, 2004, H5530, pp.1-24. ⟨10.51257/a-v1-h5530⟩. ⟨hal-04120100⟩
Accès au bibtex
BibTex
ref_biblio
Sylvain Guilley, Renaud Pacalet. SoC security: a war against side-channels. Annals of Telecommunications - annales des télécommunications, 2004. ⟨hal-02893115⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02893115/file/10.1.1.106.5114.pdf.pdf BibTex

Conference papers

2024

ref_biblio
Ludovic Apvrille, Bastien Sultan. System Architects Are not Alone Anymore: Automatic System Modeling with AI. MODELSWARD 2024 : 12th International Conference on Model-Based Software and Systems Engineering, INSTICC, Feb 2024, Rome, Italy. pp.27-38, ⟨10.5220/0012320100003645⟩. ⟨hal-04483279⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-04483279/file/apvrille_modelsward2024.pdf BibTex
ref_biblio
Daniela Genius, Ludovic Apvrille. Cycle-Accurate Virtual Prototyping with Multiplicity. MODELSWARD 2024 : 12th International Conference on Model-Based Software and Systems Engineering, INSTICC, Feb 2024, Rome, Italy. pp.187-194, ⟨10.5220/0012386100003645⟩. ⟨hal-04483274⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-04483274/file/genius_modelsward2024.pdf BibTex

2023

ref_biblio
Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine. Refinements for Open Automata. SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.11-29, ⟨10.1007/978-3-031-47115-5_2⟩. ⟨hal-04271300⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04271300/file/refinementarticleV2.pdf BibTex
ref_biblio
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert. Mutation of Formally Verified SysML Models. 11th internationl conference on Model-Based Software and Systems Engineering (Modelsward'2023), Feb 2023, Lisbonne, Portugal. ⟨hal-04002298⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-04002298/file/modelward2023.pdf BibTex
ref_biblio
Dominik Eisl, Fabian Herzog, Jean-Luc Dugelay, Ludovic Apvrille, Gerhard Rigoll. Introducing A Framework for Single-Human Tracking Using Event-Based Cameras. 2023 IEEE International Conference on Image Processing (ICIP), Oct 2023, Kuala Lumpur, Malaysia. pp.3269-3273, ⟨10.1109/ICIP49359.2023.10222777⟩. ⟨hal-04255949⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-04255949/file/publi-7427.pdf BibTex
ref_biblio
Daniela Genius, Ludovic Apvrille. Hierarchical Design of Cyber-Physical Systems. 11th International Conference on Model-Based Software and Systems Engineering - MODELSWARD, INSTICC, Feb 2023, Lisbon (virtual ), Portugal. pp.117-124, ⟨10.5220/0011654400003402⟩. ⟨hal-04001693⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-04001693/file/Hierarchical_Design_of_Cyber_Physical_Systems_preprint.pdf BibTex
ref_biblio
Jawher Jerray, Rabea Ameur-Boulifa, Ludovic Apvrille. Integration of Heterogeneous Components for Co-Simulation. 18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩. ⟨hal-04176025⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04176025/file/ICSOFT23.pdf BibTex

2022

ref_biblio
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino. SysML Models Verification Relying on Dependency Graphs. 10th International Conference on Model-Driven Engineering and Software Development, Feb 2022, Vienna, Austria. pp.174-181, ⟨10.5220/0010792900003119⟩. ⟨hal-03575960⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03575960/file/ApvrilleEtAll_DG_modelsward2022.pdf BibTex
ref_biblio
Philippe Jaillon, Ludovic Apvrille. Influence des mises à jour de sécurité sur le comportement d'un système critique. Gestion de crise et numérique : nouvelles menaces et nouvelles solutions, Mar 2022, Palaiseau, France. ⟨emse-03624165⟩
Accès au bibtex
BibTex
ref_biblio
Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji. Security Vulnerabilities Detection Through Assertion-Based Approach. Theoretical Aspects of Software Engineering. 16th International Symposium, TASE 2022, Jul 2022, Cluj-Napoca, Romania. ⟨hal-03715420⟩
Accès au bibtex
BibTex
ref_biblio
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa. Detection of leaks through exception mechanisms. 2022 International Conference on Advanced Aspects of Software Engineering (ICAASE), Sep 2022, Constantine, Algeria. pp.1-8, ⟨10.1109/ICAASE56196.2022.9931592⟩. ⟨hal-03860083⟩
Accès au bibtex
BibTex
ref_biblio
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon. Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. 10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010832300003119⟩. ⟨hal-03575972⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03575972/file/SultanApvrilleJaillon_WSec_modelsward2022.pdf BibTex
ref_biblio
Tullio Tanzi, Ludovic Apvrille. 3D Simulation for Disaster Management: toward a new approach. 3rd URSI Atlantic Radio Science Meeting, May 2022, Maspalomas, Spain. ⟨hal-03689438⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03689438/file/URSI_ATAPRASC_Summary_Paper_Tanzi.pdf BibTex
ref_biblio
Assioua Yasmine, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou, Renaud Pacalet. Automatic Support for Requirements Validation. 11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France. ⟨hal-03689243⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03689243/file/ERTS2022_paper_33.pdf BibTex

2021

ref_biblio
Sophie Coudert. Proving the Safety of a Sliding Window Protocol with Event-B. International Conference on Rigorous State-Based Methods, ABZ 2021, Jun 2021, Ulm, Germany. ⟨hal-03322370⟩
Accès au bibtex
BibTex
ref_biblio
Daniela Genius, Ludovic Apvrille. Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping. 9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.224-231, ⟨10.5220/0010257202240231⟩. ⟨hal-03349284⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03349284/file/Modelsward2021_Genius_Apvrille.pdf BibTex
ref_biblio
Salim Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa. Detection of Security Vulnerabilities Induced by Integer Errors. 16th International Conference on Software Technologies ICSOFT, Jul 2021, Online Streaming, Portugal. pp.177-184, ⟨10.5220/0010551301770184⟩. ⟨hal-03318675⟩
Accès au bibtex
BibTex
ref_biblio
Alessandro Tempia Calvino, Ludovic Apvrille. Direct Model-checking of SysML Models. 9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.216-223, ⟨10.5220/0010256302160223⟩. ⟨hal-03349263⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03349263/file/Modelsward2021_TempiaCalvino_Apvrille.pdf BibTex
ref_biblio
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet. Execution Trace Analysis for a Precise Understanding of Latency Violations. International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka (virtual), Japan. ⟨hal-03349254⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03349254/file/MODELS2021.pdf BibTex

2020

ref_biblio
Yasmine Assioua, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou. 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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02442221/file/paper-extend.pdf BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02894662/file/Efficient%20Scheduling%20of%20FPGAs%20for%20Cloud%20Data%20Center%20Infrastructures.pdf BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02933667/file/ertss2020.pdf BibTex
ref_biblio
Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin. High-level Partitioning and Design Space Exploration for Cyber Physical Systems. Modelsward 2020 - 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.84-91, ⟨10.5220/0009171600840091⟩. ⟨hal-02953962⟩
Accès au bibtex
BibTex
ref_biblio
Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin. Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices. MODELSWARD 2020: Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.74-96, ⟨10.1007/978-3-030-67445-8_4⟩. ⟨hal-03161772⟩
Accès au bibtex
BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02894654/file/dsd_gharbi.pdf BibTex
ref_biblio
Philippe Martin, Tullio Tanzi. General Knowledge Representation and Sharing for Disaster Management. 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⟩. ⟨hal-03450395v2⟩
Accès au texte intégral et bibtex
https://hal.univ-reunion.fr/hal-03450395/file/risk_article.pdf BibTex
ref_biblio
Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki 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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02933575/file/SysCon2020_STPA_TTOOL.pdf BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02457543/file/ICC20.pdf BibTex
ref_biblio
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet. Impact of Security Measures on Performance Aspects in SysML Models. 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, France. pp.373-380, ⟨10.5220/0008970203730380⟩. ⟨hal-02933602⟩
Accès au bibtex
BibTex
ref_biblio
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. ⟨hal-02915937⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02915937/file/Studying%20Safety%20and%20Security%20Measures%20Impact%20on%20Performance%20Using%20Graph%20Tainting.pdf BibTex

2019

ref_biblio
Ludovic Apvrille, Letitia W. Li. Harmonizing Safety, Security and Performance Requirements in Embedded Systems. Design Automation and Test in Europe conference (DATE, Mar 2019, Firenze, Italy. ⟨hal-02288550⟩
Accès au bibtex
BibTex
ref_biblio
Yasmine Assioua, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou. 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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02308453/file/CARS_2019_paper_5.pdf BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02337448/file/gramsec19paper10.pdf BibTex
ref_biblio
Matteo Bertolino, Tullio Joseph Tanzi. Advanced Robot 3D Simulation Interface for Disaster Management. Kleinheubacher Tagung 2019, URSI Germany, Sep 2019, Miltinberg, Germany. ⟨hal-02364501⟩
Accès au bibtex
BibTex
ref_biblio
Maciej Bielski, Renaud Pacalet, Alvise Rigo. Dynamic guest memory resizing – paravirtualized approach. 27th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2019), Feb 2019, Pavia, Italy. ⟨10.1109/PDP.2019.00032⟩. ⟨hal-02288553⟩
Accès au bibtex
BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02431949/file/MSR19_paper_3.pdf BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02275905/file/dsd2019.pdf BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02337493/file/AvioSE2019_DeSaquiSannes_Apvrille.pdf BibTex
ref_biblio
Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-Software Systems. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Feb 2019, Prague, Czech Republic. ⟨10.5220/0007377900840095⟩. ⟨hal-02288551⟩
Accès au bibtex
BibTex
ref_biblio
Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pécheux. A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems. 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, Feb 2019, Prague, Czech Republic. pp.201-224, ⟨10.1007/978-3-030-37873-8_9⟩. ⟨hal-02981768⟩
Accès au bibtex
BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01963837/file/modelsward2019.pdf BibTex
ref_biblio
Tullio Tanzi, Matteo Bertolino. 3D Simulation to Validate Autonomous Intervention Systems Architecture for Disaster Management. 4th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2019, Kyiv, Ukraine. pp.196-211, ⟨10.1007/978-3-030-48939-7_17⟩. ⟨hal-03374239⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03374239/file/498236_1_En_17_Chapter.pdf BibTex
ref_biblio
Tullio Joseph Tanzi, Madhu Chandra. Autonomous data collection for Disaster management: location aspects. 2019 URSI Asia-Pacific Radio Science Conference (AP-RASC 2019), URSI, Mar 2019, New Delhi, India. ⟨hal-02364494⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Joseph Tanzi, Matteo Bertolini. Towards 3D Simulation to Validate Autonomous Systems Intervention in Disaster Management Environment. 4th IFIP Conferenceon Information Technology in Disaster Risk Reduction. ITDRR 2019, Oct 2019, Kiew, Ukraine. ⟨hal-02364504⟩
Accès au bibtex
BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02080768/file/libre%20%281%29.pdf BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02337469/file/main.pdf BibTex

2018

ref_biblio
Madhu Chandra, Tullio Tanzi. On the Design of a side-looking Drone-borne GPR and its Physical Basis. URSI. AT-RASC 2018. Second URSI Atlantic Radio Science Meeting - 2018., May 2018, Gran Canarian, Spain. ⟨hal-02287920⟩
Accès au bibtex
BibTex
ref_biblio
Pierre de Saqui-Sannes, Rob Vingerhoeds, Ludovic Apvrille. Early Checking of SysML Models Applied to Protocols. 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France. ⟨hal-02287860⟩
Accès au bibtex
BibTex
ref_biblio
Letitia W. Li, Florian Lugou, Ludovic Apvrille. Evolving Attacker Perspectives for Secure Embedded System Design. 6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Jan 2018, Funchal, Portugal. ⟨hal-02287726⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Jean Isnard. Autonomous system for data collection: from signal to information. Jourenées scientifiqsues URSI France JS'18, Mar 2018, Meudon, France. ⟨hal-02412355⟩
Accès au bibtex
BibTex

2017

ref_biblio
Ludovic Apvrille, Letitia W. Li, Annie Bracquemond. Design and Verification of Secure Autonomous Vehicles. 12th European ITS Congress, Jun 2017, Strasbourg, France. ⟨hal-02287582⟩
Accès au bibtex
BibTex
ref_biblio
Lilia Belabed, Tullio Tanzi, Sophie Coudert, Dominique Legros. Formal Methods for Safe Design and Verification of Transportation Systems. 1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France. ⟨hal-02412315⟩
Accès au bibtex
BibTex
ref_biblio
Lilia Belabed, Tullio Tanzi, Sophie Coudert. Formal methode for safe and Verification of RailWay Signaling Sustems. Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria. ⟨hal-02412316⟩
Accès au bibtex
BibTex
ref_biblio
Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche. Rethinking of I/O-Automata Composition. Forum on specification & Design Languages (FDL 2017), Sep 2017, Verona, Italy. ⟨hal-01666415⟩
Accès au bibtex
BibTex
ref_biblio
Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche. Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications. International conference on Embedded & Distributed Systems (EDiS 2017), Dec 2017, Oran, Algeria. ⟨hal-01666413⟩
Accès au bibtex
BibTex
ref_biblio
Letitia W. Li, Florian Lugou, Ludovic Apvrille. Security Modeling for Embedded System Design. Fourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara, CA, United States. ⟨hal-02287725⟩
Accès au bibtex
BibTex
ref_biblio
Letitia W. Li, Florian Lugou, Ludovic Apvrille. Security-Aware Modeling and Analysis for HW/SW Partitioning. 5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Feb 2017, Porto, Portugal. ⟨hal-02287507⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Madhu Chandra. Propagation modelling towards the design of drone-borne GPR for humanitarian applications. in XXXII General Assembly of the International Union of Radio Science, Aug 2017, Montréal, Canada. ⟨hal-02287741⟩
Accès au bibtex
BibTex

2016

ref_biblio
Maciej Bielski, Christian Pinto, Daniel Raho, Renaud Pacalet. Survey on memory and devices disaggregation solutions for HPC systems. 19th IEEE International Conference on Computational Science and Engineering - CSE 2016, Aug 2016, Paris, France. ⟨hal-02287406⟩
Accès au bibtex
BibTex
ref_biblio
Madhu Chandra, Tullio Tanzi. Propagation Issues Relevant to the Design of a Drone-Borne GPR (Ground Penetrating Radars). Kleinheubacher Tagung 2016 (KHB-2016)., Sep 2016, Miltenberg, Germany. ⟨hal-02412252⟩
Accès au bibtex
BibTex
ref_biblio
Sophie Coudert, Tullio Tanzi. Formal Methods for Safe Design of Autonomous Systems dedicated to risk management. First IFIP conference on information technology in disaster risk reduction (ITDRR 2016), Nov 2016, Sofia, Bulgaria. ⟨hal-02412253⟩
Accès au bibtex
BibTex
ref_biblio
Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa. SysML Models and Model Transformation for Security. Conferénce on Model-Driven Engineering and Software Development (Modelsward'2016), Feb 2016, Rome, Italy. ⟨hal-02287286⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Yves Roudier. Post-Disaster Robotic System: Architectural and Energetic aspects. Journées Scientifiques de l'URSI France 2016, Mar 2016, Rennes, France. ⟨hal-02412247⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi. Needs and Requirements for the RADAR Remote Sensing Community in the Context of Disaster Management for Humanitarian Missions. Kleinheubacher Tagung 2016 (KHB-2016), Sep 2016, Miltenberg, Germany. ⟨hal-02287792⟩
Accès au bibtex
BibTex

2015

ref_biblio
Ludovic Apvrille, Axelle Apvrille. Identifying Unknown Android Malware with Feature Extractions and Classification Techniques. The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland. ⟨hal-02287142⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Yves Roudier, Tullio Tanzi. Autonomous Drones for Disasters Management: Safety and Security Verifications. URSI AT-RASC, May 2015, Las Palma, Gran Canaria, Spain. ⟨hal-02287131⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Yves Roudier. SysML-Sec Attack Graphs: Compact Representations for Complex Attacks. The Second International Workshop on Graphical Models for Security (GraMSec 2015), Jul 2015, Verona, Italy. pp.35-49. ⟨hal-02287141⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Yves Roudier. SysML-Sec: A Model Driven Approach for Designing Safe and Secure Systems. 3rd International Conference on Model-Driven Engineering and Software Development, Special session on Security and Privacy in Model Based Engineering, Feb 2015, Angers, France. ⟨hal-02287013⟩
Accès au bibtex
BibTex
ref_biblio
Madhu Chandra, Tullio Tanzi. Feasibility-Assessment of a Drone-borne Ground Penetrating Radar Sensor for Humanitarian Applications in the context of Disaster Management. 1st URSI Atlantic Radio Science Conference (URSI AT-RASC), Jan 2015, Gran Canaria, Spain. ⟨hal-02412486⟩
Accès au bibtex
BibTex
ref_biblio
Madhu Chandra, A Danklmayer, Thomas Rommel, Tullio Tanzi. Polarization and Waveform Diversity Radar Methods And their Application in Disaster Management. URSI AT-RASC 2015. URSI Atlantic Radio Science Conference, Feb 2015, Gran Canaria, Spain. ⟨hal-02287795⟩
Accès au bibtex
BibTex
ref_biblio
Neslihan Kose, Jean-Luc Dugelay, Ludovic Apvrille. Facial Makeup Detection Technique Based on Texture and Shape Analysis. 11th IEEE Conference on Automatic Face and Gesture RecognitionFG'2015, May 2015, Ljubljana, Slovenia. ⟨hal-02287132⟩
Accès au bibtex
BibTex
ref_biblio
François Lefeuvre, Tullio Tanzi. Identification de Précurseurs de Séismes Majeurs. Le rôle des orages géomagnétiques. Journées scientifiques de l'URSI France, Mar 2015, Paris, France. ⟨hal-02412248⟩
Accès au bibtex
BibTex
ref_biblio
Florian Lugou, Ludovic Apvrille, Aurélien Francillon. Toward a Methodology for Unified Verification of Hardware/Software Co-designs. PROOFS, Sep 2015, Saint Malo, France. ⟨hal-02287183⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Yves Roudier, Ludovic Apvrille. Towards a new architecture for autonomous data collection. ISPRS Geospatial Week 2015, GeoUAV track, Oct 2015, La grande Motte, France. ⟨hal-02287198⟩
Accès au bibtex
BibTex

2014

ref_biblio
Ludovic Apvrille, Yves Roudier, Tullio Tanzi, Franck Guarnieri. Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties". Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", Mar 2014, Paris, France. ⟨hal-02286918⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Yves Roudier. Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems. The First International Workshop on Graphical Models for Security (GramSec'2014), Apr 2014, Grenoble, France. ⟨hal-02412043⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Tullio Tanzi, Jean-Luc Dugelay. Drone autonome pour l'intervention humanitaire. Journée scientifiques URSI 2014: L'homme Connecté, Mar 2014, Paris, France. ⟨hal-02412055⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Tullio Tanzi, Jean-Luc Dugelay. Autonomous Drones for Humanitarians Operations. Journées scientifiques URSI France, Mar 2014, Paris, France. pp.15-21. ⟨hal-02286914⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Tullio Tanzi, Jean-Luc Dugelay. Autonomous Drones for Assisting Rescue Services within the context of Natural Disasters. 31st URSI General Assembly and Scientific Symposium, Aug 2014, Beijing, China. ⟨hal-02286916⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille. Prototypage virtuel depuis des modèles SysML. Journée SysML France, Mar 2014, Toulouse, France. ⟨hal-02286858⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Tullio Tanzi, Jean-Luc Dugelay, Yves Roudier. Drone humanitaire : état de l'art et réflexions. Actes du colloque scientifique francophone "Drones et moyens légers téléporté d'observation : recherche, développement, applications : l'état de l'art", Jun 2014, Montpellier, France. ⟨hal-02286913⟩
Accès au bibtex
BibTex
ref_biblio
Axelle Apvrille, Ludovic Apvrille. SherlockDroid, an Inspector for Android Marketplaces. Hack.lu, Oct 2014, Luxembourg, Luxembourg. ⟨hal-02412084⟩
Accès au bibtex
BibTex
ref_biblio
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Designing Sequence Diagram Models for Robustness to Attacks. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩. ⟨hal-01812124⟩
Accès au bibtex
BibTex
ref_biblio
Jérémie Brunel, Salaheddine Ouaarab, Renaud Pacalet, Guillaume Duc. SecBus, a software/hardware architecture for securing external memories. The 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, IEEE MobileCloud 2014, Apr 2014, Oxford, United Kingdom. ⟨hal-02286951⟩
Accès au bibtex
BibTex
ref_biblio
Madhu Chandra, Tullio Tanzi. Design Considerations for a “Drone-borne” GPR for humanitarian Applications. Kleinheubacher Tagung, Sep 2014, Miltenberg, Germany. ⟨hal-02412251⟩
Accès au bibtex
BibTex
ref_biblio
Madhu Chandra, Tullio Tanzi. Wave Propagation and Radar System. Aspects for Designing a "Drone borne" GPR for Humanitarian Application. IEEE Conference on Antenna Measurements & Applications (CAMA), Oct 2014, Antibes, France. ⟨hal-02412250⟩
Accès au bibtex
BibTex
ref_biblio
Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. DiplodocusDF: Analyzing Hardware/Software Interactions with a Dinosaur. DUHDe, 1st Workshop on Design Automation for Understanding Hardware Designs, Workshop at DATE 2014, Mar 2014, Dresde, Germany. ⟨hal-02412044⟩
Accès au bibtex
BibTex
ref_biblio
Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille. Model the System from Adversary Viewpoint: Threats Identification & Modeling. AIDP workshop, IFIP-SEC conference, Jun 2014, Marrakech, Morocco. ⟨hal-02286972⟩
Accès au bibtex
BibTex
ref_biblio
François Lefeuvre, Tullio Tanzi. About Radio Science Contribution to Emergency Management. XXXI General Assembly of the International Union of Radio Science, Feb 2014, Beijing, China. ⟨10.1109/URSIGASS.2014.6929379⟩. ⟨hal-02287797⟩
Accès au bibtex
BibTex
ref_biblio
François Lefeuvre, Tullio Tanzi. Disaster Risk Reduction – Availability of radio communications services at the time of space weather events. IEEE Conference on Antenna Measurements & Applications (CAMA), Oct 2014, Antibes, France. ⟨10.1109/CAMA.2014.7003443⟩. ⟨hal-02412249⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02412249/file/flefeuvre_2014.pdf BibTex
ref_biblio
Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille. Improved Security Requirements Engineering using Knowledge Representation. 9ème conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, May 2014, Lyon, France. ⟨hal-02412085⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Ludovic Apvrille, Jean-Luc Dugelay, Yves Roudier. UAVs for Humanitarian Missions: Autonomy and Reliability. IEEE Global Humanitarian Technology Conference (GHTC), Oct 2014, Silicon Valley, United States. ⟨hal-02288415⟩
Accès au bibtex
BibTex

2013

ref_biblio
Ludovic Apvrille. DIPLODOCUS : Un environnement pour le partitionnement logiciel/matériel des systèmes embarqués et intégrés complexes. École d’Été Temps Réel (ETR 2013), Aug 2013, Toulouse, France. ⟨hal-02286794⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Pierre de Saqui-Sannes. System Architecture using SysML and Avatar. Tutorial at 1st Summer School on Critical Embedded Systems, Jul 2013, Toulouse, France. ⟨hal-02412007⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Yves Roudier. SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded Systems. APCOSEC 2013, Aug 2013, Yokohama, Japan. ⟨hal-02288385⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Yves Roudier. SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems. 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France. ⟨hal-02286744⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Axelle Apvrille. Pre-filtering Mobile Malware with Heuristic Techniques. GreHaCk'2013, Nov 2013, Grenoble, France. ⟨hal-02286857⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Pierre de Saqui-Sannes. Static analysis techniques to verify mutual exclusion situations within SysML models. 16th International System Design Languages Forum, Jun 2013, Montreal, Canada. ⟨hal-02411981⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Jean-Luc Dugelay, Benjamin Ranft. Indoor Autonomous Navigation of Low-Cost MAVs Using Landmarks and 3D Perception. OCOSS 2013, Oct 2013, Nice, France. ⟨hal-02412032⟩
Accès au bibtex
BibTex
ref_biblio
Ludovic Apvrille, Pierre de Saqui-Sannes. Real-Time Systems Development with the SysML toolkit TTool. Tutorial at the 16th International System Design Languages Forum, Jun 2013, Montreal, Canada. ⟨hal-02286743⟩
Accès au bibtex
BibTex
ref_biblio
Fériel Ben Abdallah, Ludovic Apvrille. Fast Evaluation of Power Consumption of Embedded Systems using DIPLODOCUS. 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. ⟨hal-02412008⟩
Accès au bibtex
BibTex
ref_biblio
Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. Taming Control Exchange for Software Defined Radio in System Level Models. 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia-Antipolis, France. ⟨hal-02286812⟩
Accès au bibtex
BibTex
ref_biblio
Benjamin Ranft, Jean-Luc Dugelay, Ludovic Apvrille. 3D Perception for Autonomous Navigation of a Low-Cost MAV using Minimal Landmarks. International Micro Air Vehicle Conference and Flight Competition, Sep 2013, Toulouse, France. ⟨hal-02286795⟩
Accès au bibtex
BibTex
ref_biblio
Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille. Towards the Model-Driven Engineering of Security Requirements for Embedded Systems. Model-Driven Requirements Engineering Workshop (MoDRE), Jul 2013, Rio de Janeiro, Brazil. ⟨hal-02286742⟩
Accès au bibtex
BibTex

2012

ref_biblio
Ludovic Apvrille, Alexandre Bécoulet. Prototyping an Embedded Automotive System from its UML/SysML Models. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02191862⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02191862/file/3C-1.pdf BibTex
ref_biblio
Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphene. Une approche de raffinement et de vérification formels des communications SOC. GDR SOC-SIP'12, Jun 2012, Paris, France. ⟨hal-02411880⟩
Accès au bibtex
BibTex
ref_biblio
Carina Schmidt-Knorreck, Renaud Pacalet, Andreas Minwegen, Uwe Deidersen, Torsten Kempf, et al.. Flexible Front-End Processing for Software Defined Radio Applications using Application Specific Instruction-Set Processors. Conference on Design and Architectures for Signal and Image Processing, DASIP'2012, Oct 2012, Karlsruhe, Germany. ⟨hal-02288327⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02288327/file/asip_paper.pdf BibTex

2011

ref_biblio
Atso Hekkala, Ilkka Harjula, Dorin Panaitopol, Tapio Rautio, Renaud Pacalet. Cooperative spectrum sensing study using Welch periodogram. 11th International Conference on Telecommunications - ConTEL 2011, Jun 2011, Graz, Austria. pp.67-74. ⟨hal-02286520⟩
Accès au bibtex
BibTex

2010

ref_biblio
Oscar Gustafsson, Kiarash Amiri, Dennis Andersson, Anton Blad, Christian Bonnet, et al.. Architectures for cognitive radio testbeds and demonstrators - An overview. 5th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, Jun 2010, Cannes, France. ⟨10.4108/ICST.CROWNCOM2010.9290⟩. ⟨hal-02893153⟩
Accès au bibtex
BibTex
ref_biblio
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet. Formal system-level design space exploration. 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), May 2010, Tozeur, France. pp.1-8, ⟨10.1109/NOTERE.2010.5536852⟩. ⟨hal-02893147⟩
Accès au bibtex
BibTex
ref_biblio
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet. Demonstration of an Interactive System Level Simulation Environment for Systems-on-Chip. 10th annual international conference on New Technologies of Distributed Systems (NOTERE'2010), Jun 2010, Tozeur, Tunisia. ⟨hal-02893150⟩
Accès au bibtex
BibTex
ref_biblio
Carina Schmidt-Knorreck, Raymond Knopp, Renaud Pacalet. Hardware Optimized Sample Rate Conversion for Software Defined Radio. WSR 2010, 6th Karlsruhe Workshop on Software Radios, Mar 2010, Karlsruhe, Germany. ⟨hal-02893158⟩
Accès au bibtex
BibTex

2009

ref_biblio
Ludovic Apvrille, Pierre De Saqui-Sannes, Ahlem Mifdaoui. A UML framework for the dimensioning and formal verification of embedded systems. SAFA Annual Workshop on Formal Methods (SAFA 2009), Sep 2009, Sophia-Antipolis, France. pp.0. ⟨hal-04088272⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04088272/file/De_Saqui_Sannes_3214.pdf BibTex
ref_biblio
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet. Fast Simulation Techniques for Design Space Exploration. International Conference on Objects, Components, Models and Patterns (TOOLS EUROPE 2009), 2009, Zurich, Switzerland. ⟨hal-02893190⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02893190/file/TOOLs2009_KnorreckApvrillePacalet_Paper.pdf.pdf BibTex
ref_biblio
Waseem Muhammad, Sophie Coudert, Rabéa Ameur-Boulifa, Renaud Pacalet. Assisting abstraction and verification of IP modules by control-data slicing. TENCON 2009. 2009 IEEE Region 10 Conference, Jan 2009, Singapore, France. pp.1-6, ⟨10.1109/TENCON.2009.5395936⟩. ⟨hal-02893162⟩
Accès au bibtex
BibTex

2008

ref_biblio
Rashid Muhammad, Ludovic Apvrille, Renaud Pacalet. Evaluation of ASIPs Design with LISATek. 8th International Workshop SAMOS, Jul 2008, Samos, Greece. pp.177-186, ⟨10.1007/978-3-540-70550-5_20⟩. ⟨hal-02893215⟩
Accès au bibtex
BibTex
ref_biblio
Muhammad Rashid, Ludovic Apvrille, Renaud Pacalet. Application Specific Processors for Multimedia Applications. 2008 IEEE 11th International Conference on Computational Science and Engineering (CSE), Jul 2008, Sao Paulo, France. pp.109-116, ⟨10.1109/CSE.2008.26⟩. ⟨hal-02893218⟩
Accès au bibtex
BibTex

2007

ref_biblio
A. Hayar, Renaud Pacalet, Raymond Knopp. Cognitive radio Research and Implementation Challenges. 2007 41st Asilomar conference on Signals, Systems and Computers (ACSSC), Nov 2007, Pacific Grove, France. pp.782-786, ⟨10.1109/ACSSC.2007.4487323⟩. ⟨hal-02893226⟩
Accès au bibtex
BibTex
ref_biblio
Waseem Muhammad, Sophie Coudert, Rabéa Ameur-Boulifa, Renaud Pacalet. Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs. 2007 IEEE International Multitopic Conference (INMIC), Dec 2007, Lahore, France. pp.1-6, ⟨10.1109/INMIC.2007.4557700⟩. ⟨hal-02893223⟩
Accès au bibtex
BibTex

2006

ref_biblio
Benjamin Fontan, Ludovic Apvrille, Pierre De Saqui-Sannes, Jean-Pierre Courtiat. Real-time and embedded system verification based on formal requirements. IEEE Symposium on Industrial Embedded Systems (IES'2006), Oct 2006, Antibes, France. pp.1-10. ⟨hal-04090328⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04090328/file/De_Saqui_Sannes_2150.pdf BibTex
ref_biblio
Sébastien Mazaré, Jean-Luc Dugelay, Renaud Pacalet. USING GPU FOR FAST BLOCK-MATCHING. 14th European Signal Processing Conference / EUSIPCO'06, Sep 2006, Florence, Italy. ⟨hal-02893252⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02893252/file/1568982026.pdf.pdf BibTex

2005

ref_biblio
Rizwan Rasheed, Aawatif Menouni Hayar, Renaud Pacalet. Reconfigurable Viterbi Decoder for Mobile Platform Reconfigurable Viterbi Decoder for Mobile Platform. 7th IFIP International Conference on Mobile and Wireless Communications Networks (MWCN), Sep 2005, Marrakech, Morocco. ⟨hal-02893256⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02893256/file/904d540a630c97720641601fb459f6163161.pdf.pdf BibTex

Book sections

2020

ref_biblio
Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag. From formal test objectives to TTCN-3 for verifying ETCS complex software control systems. Communications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩. ⟨hal-02904831⟩
Accès au bibtex
BibTex
ref_biblio
Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, Minh Hiep Pham. Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications. Model-Driven Engineering and Software Development, pp.101-126, 2020, ⟨10.1007/978-3-030-37873-8_5⟩. ⟨hal-02894635⟩
Accès au bibtex
BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02430903/file/main.pdf BibTex

2019

ref_biblio
Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille. SysML Model Transformation for Safety and Security Analysis. Security and Safety Interplay of Intelligent Software Systems -, pp.35-49, 2019. ⟨hal-02269655⟩
Accès au bibtex
BibTex
ref_biblio
Lilia Belabed, Tullio Joseph Tanzi, Sophie Coudert. Formal Method for RailWays Disasters prevention. Murayama Y., Velev D., Zlateva P. (eds). Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology, 516, Springer, pp.161-170, 2019. ⟨hal-02364487⟩
Accès au bibtex
BibTex
ref_biblio
Andrea Enrici, Julien Lallet, Renaud Pacalet, Ludovic Apvrille, Karol Desnos, et al.. Model-Based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC. Communications in Computer and Information Science, Model-Driven Engineering and Software Development, Springer, pp.56_81, 2019, ⟨10.1007/978-3-030-11030-7_4⟩. ⟨hal-02288056⟩
Accès au bibtex
BibTex
ref_biblio
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02275365/file/Issa_SS_2018.pdf BibTex

2015

ref_biblio
Ludovic Apvrille, Yves Roudier. Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. Model-Driven Engineering and Software Development: Third International Conference, Revised Selected Papers, Springer International Publishing, pp.293-308, 2015, ⟨10.1007/978-3-319-27869-8_17⟩. ⟨hal-02287305⟩
Accès au bibtex
BibTex
ref_biblio
Tullio Tanzi, Jean Isnard. Public Safety Network: an Overview. Public Safety Networks Volume 1: Overview and Challenges, ISTE Press - Elsevier, pp.1-20, 2015. ⟨hal-02287522⟩
Accès au bibtex
BibTex

2013

ref_biblio
Ludovic Apvrille, Pierre de Saqui-Sannes. 6 : Vérification d'exigences d'un modèle SysML. Modélisation et analyse de systèmes embarqués, Lavoisier, Hermès Sciences, 2013. ⟨hal-02286565⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

2023

ref_biblio
Rabéa Ameur Boulifa. Contributions to the Design of Safe Complex Systems. Computer Science [cs]. Université Côte d'Azur, 2023. ⟨tel-04337474v1⟩
Accès au texte intégral et bibtex
https://hal.science/tel-04337474/file/main.pdf BibTex

Special issue

2019

ref_biblio
Orhan Altan, Madhu Chandra, F Sunar, Tullio Tanzi. •Intelligent Systems for Crisis Management: Gi4DM 2018. Lecture Notes in Geoinformation and Cartography, 2019, 978-3-030-05329-1. ⟨10.1007/978-3-030-05330-72019⟩. ⟨hal-02364477⟩
Accès au bibtex
BibTex

Poster communications

2022

ref_biblio
Yasmine Assioua, Rabea Ameur-Boulifa, Patricia Guitton-Ouhamou, Renaud Pacalet. Approach for Early Validation of System Requirements Application to software architecture of autonomous vehicles. Séminaire Doctoral, Rencontres Académie -Industrie AFIS, Dec 2022, Toulouse, France. ⟨hal-04341749⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04341749/file/PosterAFIS.pdf BibTex

2021

ref_biblio
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur Boulifa. Detection of Security Vulnerabilities induced by Integer errors. ICSOFT 2021, Jul 2021, Online Streaming, France. ⟨hal-03860231⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03860231/file/ICSOFT_2021_41.pdf BibTex

Reports

2023

ref_biblio
Ludovic Henrio, Eric Madelaine, Rabéa Ameur-Boulifa, Quentin Corradi. Refinements for Open Automata (Extended Version). RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023. ⟨hal-04193421⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04193421/file/RR-9517.pdf BibTex

2012

ref_biblio
Gabriel Pedroza, Ludovic Apvrille. LLD Modeling, Verification, and Automatic C-Code Generation, Deliverable D4.2.3. [Contract] EVITA, Telecom ParisTech. 2012. ⟨hal-02286282⟩
Accès au bibtex
BibTex
ref_biblio
Yves Roudier, Hendrik Schweppe, Muhammad Sabir Idrees, Ludovic Apvrille, Gabriel Pedroza. Tests Results, Deliverable D4.4.2. [Contract] Projet EVITA, Eurecom, Telecom ParisTech. 2012. ⟨hal-02286279⟩
Accès au bibtex
BibTex

2011

ref_biblio
Andreas Fuchs, Sigi Gurgens, Ludovic Apvrille, Gabriel Pedroza. On-Board Architecture and Protocols Attack Analysis, Deliverable D3.4.4. [Contract] EVITA, Telecom ParisTech. 2011. ⟨hal-02286283⟩
Accès au bibtex
BibTex
ref_biblio
Andreas Fuchs, Sigi Gurgens, Ludovic Apvrille, Gabriel Pedroza. On-Board Architecture and Protocols Verification, Deliverable D3.4.3. [Contract] EVITA, Telecom ParisTech. 2011. ⟨hal-02286284⟩
Accès au bibtex
BibTex
ref_biblio
Yves Roudier, Hendrik Schweppe, Ludovic Apvrille. Test Specification, Deliverable D4.4.1. [Contract] EVITA, GTelecom ParisTech. 2011. ⟨hal-02286280⟩
Accès au bibtex
BibTex

2010

ref_biblio
Andreas Fuchs, Sigi Gurgens, Rieke Roland, Ludovic Apvrille. Architecture and Protocol Verification and Attack Analysis, Deliverable D3.4.1. [Contract] EVITA, Telecom ParisTech. 2010. ⟨hal-02286285⟩
Accès au bibtex
BibTex
ref_biblio
Alastair Ruddle, David Ward, Benjamin Weyl, Muhammad Sabir Idrees, Yves Roudier, et al.. Security requirements for automotive on-board networks based on dark-side scenarios, Deliverable D2.3. [Contract] EVITA, Telecom ParisTech. 2010. ⟨hal-02286288⟩
Accès au bibtex
BibTex
ref_biblio
Hendrik Schweppe, Muhammad Sabir Idrees, Yves Roudier, Benjamin Weyl, Rachid El Khayari, et al.. Secure on-board protocols specification", Deliverable D3.3. [Contract] EVITA, Telecom ParisTech. 2010. ⟨hal-02286286⟩
Accès au bibtex
BibTex
ref_biblio
Hervé Seudié, Jamshid Shokrollahi, Benjamin Weyl, Anselm Keil, Marko Wolf, et al.. Secure On-board Architecture Specification, Deliverable D3.2. [Contrat] EVITA, Telecom ParisTech. 2010. ⟨hal-02286287⟩
Accès au bibtex
BibTex

Theses

2013

ref_biblio
Gabriel Pedroza. Assisting the Design of Secured Applications for Embedded Systems. Computer Aided Engineering. Télécom ParisTech, 2013. English. ⟨NNT : 2013-ENST-001⟩. ⟨tel-01185312⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/tel-01185312/file/thesis_gp%20%281%29.pdf BibTex

Preprints, Working Papers, ...

2023

ref_biblio
Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille. Integration of heterogeneous components for co-simulation. 2023. ⟨hal-04104340⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04104340/file/ICSOFT23.pdf BibTex