CSDAI

Journal articles

2024

ref_biblio

Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes. Incremental and Formal Verification of SysML Models. SN Computer Science, 2024, 5 (6), pp.714. ⟨10.1007/s42979-024-03027-5⟩. ⟨hal-04652175⟩

Accès au texte intégral et bibtex

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

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

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

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, pp.1-28. ⟨10.1145/3624583⟩. ⟨emse-04212653⟩

Accès au texte intégral et 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

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

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

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

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

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

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

ref_biblio

Tullio Tanzi, Matteo Bertolino. Autonomous Systems for Rescue Missions: Design, Architecture and Configuration Validation. Information Systems Frontiers, 2020, Special Issue on Heuristic Acquisition for Data Science, 23 (5), pp.1189-1202. ⟨10.1007/s10796-020-10085-6⟩. ⟨hal-04568796⟩

Accès au 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

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

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

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

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

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

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

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

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

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

2016

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

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

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

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

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

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

ref_biblio

Tullio Tanzi. Some Thoughts on Disaster Management. Radio Science Bulletin, 2015, 355, pp.13-17. ⟨hal-02287793⟩

Accès au 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

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

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

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

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

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

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

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

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

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

ref_biblio

Alan Birchler de Allende, Bastien Sultan, Ludovic Apvrille. From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing. MODELS Companion '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz (AUSTRIA), Australia. pp.561-569, ⟨10.1145/3652620.3687804⟩. ⟨hal-04770307⟩

Accès au 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

ref_biblio

Bastien Sultan, Ludovic Apvrille. AI-Driven Consistency of SysML Diagrams. MODELS '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz (AUSTRIA), Australia. pp.149-159, ⟨10.1145/3640310.3674079⟩. ⟨hal-04770297⟩

Accès au 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

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

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

ref_biblio

Daniela Genius, Ludovic Apvrille. A Tool for Investigating Cyber-Physical Systems via SystemC AMS Virtual Prototypes Derived from SysML Models. DVCon Europe, Accellera, Nov 2023, Munich (Germany), Germany. pp.1-6. ⟨hal-04499955⟩

Accès au texte intégral et 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

ref_biblio

Daniela Genius, Ludovic Apvrille. A Hierarchical Design Tool for SystemC AMS. MODELSWARD 2023 - 11th International Conference on Model-Based Software and Systems Engineering, Feb 2023, Lisbon, Portugal. pp.3-28, ⟨https://doi.org/10.1007/978-3-031-66339-0_1⟩. ⟨hal-04729003⟩

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio

Tullio Joseph Tanzi, Matteo Bertolino. 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

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

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

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

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

ref_biblio

Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, et al.. A Model Compilation Approach for Optimized Implementations of Signal-Processing Systems. 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD 2018, Jan 2018, Funchal Madeira, Portugal. pp.25-35, ⟨10.5220/0006534800250035⟩. ⟨hal-02287718⟩

Accès au texte intégral et bibtex

ref_biblio

Daniela Genius, Ludovic Apvrille. System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform. 2018 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2018, Lille, France. pp.1-8, ⟨10.1109/ReCoSoC.2018.8449375⟩. ⟨hal-01900182⟩

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio

Axelle Apvrille, Ludovic Apvrille. SherlockDroid, an Inspector for Android Marketplaces. Hack.lu, Oct 2014, Luxembourg, Luxembourg. ⟨hal-02412084⟩

Accès au 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

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

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

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

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

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

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

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

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

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

2013

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

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

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

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

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

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

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

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

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

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

ref_biblio

Renaud Pacalet, Gunnar Schomaker, Andreas Herrholz, Guillaume Duc, Salvatore Raho, et al.. TRESCCA - Trustworthy Embedded Systems for Secure Cloud Computing. 2013 Eighth International Conference on Availability, Reliability and Security (ARES), Sep 2013, Regensburg, Germany. pp.844-845, ⟨10.1109/ARES.2013.113⟩. ⟨hal-03576432⟩

Accès au 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

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

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

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

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

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

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

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

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

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

2009

ref_biblio

Erick Amador, Vincent Rezard, Renaud Pacalet. Energy efficiency of SISO algorithms for turbo-decoding message-passing LDPC decoders. 2009 17th IFIP International Conference on Very Large Scale Integration (VLSI-SoC), Oct 2009, Florianopolis, Brazil. pp.95-100, ⟨10.1109/VLSISOC.2009.6041337⟩. ⟨hal-02893164⟩

Accès au texte intégral et bibtex

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

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

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

2008

ref_biblio

Sylvain Guilley, Sumanta Chaudhuri, Laurent Sauvage, Tarik Graba, Jean-Luc Danger, et al.. Place-and-route impact on the security of DPL designs in FPGAs. 2008 IEEE International Workshop on Hardware-Oriented Security and Trust (HOST), Jun 2008, Anaheim, United States. pp.26-32, ⟨10.1109/HST.2008.4559042⟩. ⟨hal-04510621⟩

Accès au bibtex

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

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

2007

ref_biblio

Taha Beyrouthy, Alin Razafindraibe, Laurent Fesquet, Marc Renaudin, Sumanta Chaudhuri, et al.. A Novel Asynchronous e-FPGA Architecture for Security Applications. ICFPT 2007 - IEEE International Conference on Field-Programmable Technology, Dec 2007, Kitakyusyu, Japan. pp.369-372, ⟨10.1109/FPT.2007.4439288⟩. ⟨hal-04510604⟩

Accès au texte intégral et bibtex

ref_biblio

Sumanta Chaudhuri, Jean-Luc Danger, Sylvain Guilley. Efficient Modeling and Floorplanning of Embedded-FPGA Fabric. 2007 International Conference on Field Programmable Logic and Applications, Aug 2007, Amsterdam, Netherlands. pp.665-669, ⟨10.1109/FPL.2007.4380741⟩. ⟨hal-04510607⟩

Accès au bibtex

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

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

2006

ref_biblio

Sumanta Chaudhuri, Jean-Luc Danger, Sylvain Guilley, Philippe Hoogvorst. FASE: An Open Run-Time Reconfigurable FPGA Architecture for Tamper-Resistant and Secure Embedded Systems. 2006 IEEE International Conference on Reconfigurable Computing and FPGA's, Sep 2006, San Luis Potosi, France. pp.1-9, ⟨10.1109/RECONF.2006.307752⟩. ⟨hal-04510600⟩

Accès au bibtex

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

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

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

Book sections

2023

ref_biblio

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. 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⟩. ⟨hal-04177250⟩

Accès au texte intégral et bibtex

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

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

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

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

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

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

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

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

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

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

Habilitation à diriger des recherches

2023

ref_biblio

Rabéa Ameur Boulifa. Contributions to the Design of Safe Complex Systems. Computer Science [cs]. UCA, 2023. ⟨tel-04337474v2⟩

Accès au texte intégral et 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

Other publications

2024

ref_biblio

Ludovic Apvrille. Communication cachée via le champ magnétique émis par un ordinateur. 2024. ⟨hal-04606533⟩

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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