Keywords: Modeling of real-time systems, Modeling of system-on-chip, Formal Description Techniques, Formal validation, Real-time embedded applications, Communication protocols, Distributed Systems

Publications are tagged to better indicate their main content:
  • [EMB]: Embedded systems.
  • [SAFE]: Safety in systems. This includes both formal models and methods for proving safety properties.
  • [SEC]: Computer security.
  • [EXPLO]: Design space exploration, partitioning, e.g., The DIPLODOCUS UML/SysML profile.
  • [MDE]: Model driven engineering, e.g., The TURTLE, AVATAR and SysML-Sec UML/SysML profiles. Can be derived in [MDE AVATAR] etc.
  • [SDR]: Software-Defined Radio, e.g., The embb project.
  • [CLASS]: Classification, machine learning, e.g., the alligator.
  • [AUTO]: Automotive systems.
  • [DRONE]: UAVs / Drones -related technologies, e.g., the Drone4U project.
  • [AI]: AI-related contributions (e.g., in relation with MDE) project.

Research: Publications

List also available in hal




Keynote

  • Ludovic Apvrille, "Automated System Engineering with Artificial Intelligence", Keynote at The ESM'2023 (The 37th annual European Simulation and Modelling Conference), Toulouse, France, Oct. 24-26, 2023. Slides


International journals, books, and book Chapters

  • [MDE] B. Sultan, L. Frénot, L. Apvrille, P. Jaillon, S. Coudert, "AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models", ACM Transactions on Embedded Computing Systems, Sept. 2023. online paper author version (pdf) bibtex

  • [SAFE] L. Apvrille, P. de Saqui-Sannes, O. Hotescu, A.T. Calvino, A.T. Dependency Graphs to Boost the Verification of SysML Models. In: Pires, L.F., Hammoudi, S., Seidewitz, E. (eds) Model-Driven Engineering and Software Development. MODELSWARD MODELSWARD 2021 2022. Communications in Computer and Information Science, vol 1708. Springer, Cham. 2023. online paper paper (author version) bibtex

  • [MDE] B. Sultan, L. Apvrille, P. Jaillon, S. Coudert, "W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures". In: Pires, L.F., Hammoudi, S., Seidewitz, E. (eds) Model-Driven Engineering and Software Development. MODELSWARD MODELSWARD 2021 2022. Communications in Computer and Information Science, vol 1708. Springer, Cham, 2023. https://doi.org/10.1007/978-3-031-38821-7_10. online paper paper (author version) bibtex

  • [MDE] M. Zoor, L. Apvrille, R. Pacalet, S. Coudert, "Execution trace analysis for a precise understanding of latency violations", Software and Systems Modeling (2023), Springer Nature. https://doi.org/10.1007/s10270-022-01076-z online version author version bibtex

  • Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici, "Multi-resource scheduling for FPGA systems", Microprocessors and Microsystems, Volume 87, 2021, 104373, ISSN 0141-9331, https://doi.org/10.1016/j.micpro.2021.104373. online paper paper (author version) bibtex

  • [MDE] Pierre de Saqui-Sannes, Ludovic Apvrille, Rob Vingerhoeds, "Checking SysML Models Against Safety and Security Properties". Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2021, pp.1 - 13. online paper paper (author version) bibtex

  • [MDE] Rodrigo Cortés porto, Daniela Genius, Ludovic Apvrille. "Handling causality and schedulability when designing and prototyping cyber-physical systems Software and Systems Modeling", Springer Verlag, 2021, 20 (1), DOI:10.1007/s10270-021-00866-1. online paper paper (author version) bibtex

  • [MDE] 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, online version bibtex

  • [MDE] H. Zhao, L. Apvrille, F. Mallet, "A Model-Based Combination Language for Scheduling Verification". In: Hammoudi S., Pires L., Selic B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2019. Communications in Computer and Information Science, vol 1161. Springer, Cham. online paper (author version) bibtex

  • [MDE] L. Apvrille, P. de Saqui-Sannes and R. Vingerhoeds, "An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design," in IEEE Journal on Miniaturization for Air and Space Systems, vol. 1, no. 2, pp. 117-129, Sept. 2020, doi: 10.1109/JMASS.2020.3013325. online version author version (pdf) bibtex

  • [EMB SEC] Mlynek, P., Fujdiak, R., Mrnustik, P., Krena, B., & Apvrille, L. (2020). Co-Engineering Gap Analysis of ANSI/ISA-62443-3-3. International Journal of Advances in Telecommunications, Electrotechnics, Signals and Systems, 9(1), 1-9. online version

  • [MDE SysML-Sec] R. Ameur-Boulifa, F. Lugou, L. Apvrille, "SysML Model Transformation for Safety and Security Analysis". In: Hamid B., Gallina B., Shabtai A., Elovici Y., Garcia-Alfaro J. (eds) Security and Safety Interplay of Intelligent Software Systems. CSITS 2018, ISSA 2018. Lecture Notes in Computer Science, vol 11552. Springer, Cham. 2019. online paper

  • [MDE] A. Enrici, J. Lallet, R. Pacalet, L. Apvrille, K. Desnos, I. Latif, "Model-Based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC", Model-Driven Engineering and Software Development, Spinger Communications in Computer and Information Science (CCIS), pp 56-81, Revised Selected Papers of the 6th International Conference MODELSWARD 2018, Editors: S. Hammoudi, L. F. Pires, B. Selic, March 2019. online book paper (author version) bibtex

  • [EMB] D. Genius, L. Apvrille and Letitia W. Li, "High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool", Journal on Microprocessors and Microsystems, Elsevier, Volume 67, June 2019, Pages 117-130. online paper paper bibtex

  • [EXPLO] [EMB] [SDR] A. Enrici, L. Apvrille, R. Pacalet, "A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems", ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 22 Issue 2, January 2017. online version bibtex

  • [EXPLO] [EMB] [MDE AVATAR] Letitia W. Li, Daniela Genius, Ludovic Apvrille, "Formal and Virtual Multi-level Design Space Exploration", book chapter in Pires L., Hammoudi S., Selic B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2017. Communications in Computer and Information Science, vol 880. Springer, July 2018. DOI: 10.1007/978-3-319-94764-8_3. paper (author version) bibtex

  • [EMB] [MDE SYSML-SEC] Ludovic Apvrille, Letitia W. Li, "Safe and Secure Support for Public Safety Networks", Wireless Public Safety Networks 3, Elsevier, ed. Daniel Camara and Navid Nikaein, pp 185 - 210, 2017. online paper paper (author version) bibtex

  • [SEC] [EMB] Florian Lugou, Ludovic Apvrille, Aurélien Francillon,"Toward a Methodology for Unified Verification of Hardware/Software Co-designs", Journal of Cryptographic Engineering, p.1--12, Springer, 2016. pre-print paper bibtex Paper on HAL

  • [MDE SYSML-SEC] [SEC] [SAFE] Ludovic Apvrille, Yves Roudier, "Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec", Chapter in Model-Driven Engineering and Software Development, p293--308, Springer International Publishing, 2016. online bib

  • [DRONE] [SAFE] [SEC] [MDE] T. J. Tanzi, Y. Roudier, and L. Apvrille, "Towards a new Architecture for Autonomous Data Collection", Int. Arch. Photogramm. Remote Sens. Spatial Inf. Sci., XL-3/W3, 363-369, doi:10.5194/isprsarchives-XL-3-W3-363-2015, 2015. paper bibtex

  • [SEC] [CLASS] [EMB] A. Apvrille, L. Apvrille, "SherlockDroid: a research assistant to spot unknown malware in Android marketplaces", Journal of Computer Virology and Hacking Techniques, vol. 11, No. 39, pages 1-11, pub. Springer, july 2015. paper bibtex online

  • [EMB] [MDE AVATAR] [SAFE] L. Apvrille, P. de Saqui-Sannes, "Requirements Analysis", Book chapter in Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Edited by F. Kordon, J. Hugues, A. Canals and A. Dohet, Ed. ISTE / Wiley, May 20, 2013, ISBN-13: 978-1848215009.

  • [EMB] [MDE] [SAFE] L. Apvrille, P. de Saqui-Sannes, "Vérification d'exigences d'un modèle SysML", Book chapter in Modélisation et analyse de systèmes embarqués, Edited by F. Kordon, J. Hugues, A. Canals and A. Dohet, Ed. Lavoisier, Hermès Science, April 2013 (In French). Draft of our chapter (in French)

  • [EMB] [EXPLO] D. Knorreck, L. Apvrille, R. Pacalet, "Formal System-level Design Space Exploration", Concurrency and Computation: Practice and Experience, John Wiley & Sons, Ltd, DOI, 2012.paper

  • [MDE TEPE] [SAFE] Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes, "TEPE: A SysML Language for Time-Constrained Property Modeling and Formal Verification", ACM SIGSOFT Software Engineering Notes, Vol. 36, No 1, pp. 1-8, January 2011. online version

  • [MDE TURTLE] [SAFE] L. Apvrille, A. Mifdaoui, P. de Saqui-Sannes, "Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method", In Studia Informatica Universalis, pp.47-69, Volume 8, Number 3, ISBN 978 27056 80299, Hermann eds. 2010. (online version)

  • [MDE TURTLE] [SAFE] L. Apvrille, P. de Saqui-Sannes, R. Pacalet and A. Apvrille, "Un environnement de conception de systèmes distribués basé sur UML", Annals of Telecommunications, Vol. 61, n 11/12, pp. 1347-1368, Nov. 2006.

  • [MDE TURTLE] [SAFE] L. Apvrille, P de Saqui-Sannes , F. Khendek "TURTLE-P: A UML Profile for the Formal Validation of critical and Distributed Systems", SoSym (Software and System Modeling) Journal, Springer, ISSN 1619-1366, DOI: 10.1007/s10270-006-0029-5, Pages: 1-18, July 2006. (online version)

  • [EMB] [MDE] L. Apvrille, K. Drira, P. de Saqui-Sannes and T. Villemur, "NOTERE'2006, Nouvelles Technologies de la Répartition / New Technologies for Distributed Systems", Hermès, Lavoisier, ISBN: 2-7462-1588-X, 2006. Both in French and English.

  • [MDE TURTLE] [SAFE] L. Apvrille, J.-P. Courtiat, C. Lohr, P de Saqui-Sannes , "TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit", IEEE Transactions on Software Engineering, Vol. 30, No. 7, pp. 473-487, July 2004. (online version)

  • [MDE TURTLE] [SAFE] L. Apvrille, P de Saqui-Sannes, P. Senac , C. Lohr, "Verifying Service Continuity in a Satellite Reconfiguration Procedure", Journal of Automated Software Engineering, Kluver, issue 11:2, 2004. (online version)

  • [MDE TURTLE] [SAFE] P. de Saqui-Sannes, L. Apvrille, C. Lohr , P. Sénac, J.-P. Courtiat, "UML and RT-LOTOS: An Integration for Real-Time System Validation", European Journal of Automation (JESA), Vol. 36, p. 1029-1042, Ed. Hermès, 2002.

Articles in National Journals and Magazines

  • [SEC] F. Lugou, L. Apvrille, "Analyse d'un problème posé par Intel SGX : la communication sécurisée entre une enclave et un périphérique" (In English: Analysis of an issue raised by Intel SGX: secure communication between an enclave and a peripheral"), MISC Multi-System & Internet Cookbook, MISC n. 108, Nov-Dec 2018. (in French). paper (authors version)

  • [MDE] A. Enrici, L. Apvrille, R. Pacalet, L. Roullet, "La programmation orientée modèles au service des télécommunications mobiles". Programmez! Magazine, pp. 36-44, Nov 2018. (In French)

  • [DRONE] L. Apvrille, T. Tanzi, Y. Roudier, J.-L. Dugelay, "Drone humanitaire: état de l'art et réflexions", Revue Française de la Photogrammétrie et de la Télédétection, n. 213-124, pp 63-71, jan.-fev. 2017. (In French).

  • [SEC] [EMB] L. Apvrille, Letitia Li, "Security of connected or/and autonomous vehicles", MISC Multi-System & Internet Cookbook, pp.56-65, Ed. Diamond, No 87, Sept. 2016 (in French). paper bibtex

  • [EMB] L. Apvrille, A. Apvrille, "Home ventilation controlled with raspberries", Hackable magazine, Vol. 11, Mar-Apr 2016. (In French: "Ventilation contrôlée par des framboises"). paper bib

  • [EMB] A. Apvrille, L. Apvrille, "Remotely controlling a boiler with a Rapsberry Pi", Hackable magazine, Vol. 8, pp. 60-67, Sept-Oct. 2015. (In French: "Contrôler sa chaudière à distance avec un Raspberry Pi.").

  • [SEC] F. Lugou, L. Apvrille, "Quelques épreuves du challenge sécurité Trust the Future", MISC Multi-System & Internet Cookbook, pp.62-66, Ed. Diamond, No 79, May/June 2015. pre-print version (license: CC BY-NC-ND) challenges (in tar.gz)

  • [DRONE] L. Apvrille, "Civil UAVs: Towards more autonomy", Journal des grandes écoles et université, p32, march 2015 (in French).

  • [EMB] [SAFE] [SEC] L. Apvrille, Y. Roudier, "Enhancing systems security and safety with model driven engineering" (In French: Améliorer la sécurité et la sûreté de fonctionnement par l'ingénierie de système dirigée par les modèles), Revue de l'Electricité et de l'Electronique (REE), Jan. 2015. paper

  • [SEC] L. Apvrille, A. Apvrille, P. Bogossian, "Retour d'expériences sur quelques épreuves de Hack.lu 2013", MISC Multi-System & Internet Cookbook, pp.50-55, Ed. Diamond, No 73, May/June 2014.

  • [MDE] [SAFE] L. Apvrille, P. de Saqui-Sannes, "Vérifications d'exclusions mutuelles par analyse statique de modèles SysML", Revue Génie Logiciel, Vol. 105, pp.40-44, éditeur GL&IS, June 2013. paper (pre-print version)

  • [AUTO] [SEC] [EMB] L. Apvrille, "Vers des véhicules (enfin) plus sécurisés", MISC Multi-system & Internet Security Cookbook, Ed. Diamond, No 64, Nov./Dec. 2012. online version

  • [MDE AVATAR] L. Apvrille, P. de Saqui-Sannes, "AVATAR/TTool : un environnement en mode libre pour SysML temps réel", Revue Génie Logiciel, Vol. 58, pp.22-26, Sept. 2011 (in French). paper (pre-print version)

  • [MDE AVATAR] [SAFE] L. Apvrille, P. de Saqui-Sannes, "Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons", Technique et Science Informatiques, Vol. 30/3 - 2011 - pp.309-337 - doi:10.3166/tsi.30.309-337. (online version)


Refereed Conference Publications

[2024]
  • [MDE] [AI] L. Apvrille, B. Sultan, "System Architects are not alone Anymore: Automatic System Modeling with AI", Proceedings of the 12th international conference on Model-Based Software and Systems Engineering (Modelsward'2024), Rome, Italy, Feb. 21-23, 2024. online paper paper (author version) slides Best paper award! bibtex
  • [MDE] D. Genius, L. Apvrille, "Cycle-Accurate Virtual Prototyping with Multiplicity", Proceedings of the 12th international conference on Model-Based Software and Systems Engineering (Modelsward'2024), Rome, Italy, Feb. 21-23, 2024. online paper paper (author version) slides bibtex
[2023]
  • [MDE] D. Genius, L. Apvrille, "A tool for Investigating Cyber-Physical Systems via SystemC AMS Virtual Prototypes Derived from SysML Models", 10th DVCon Europe conference, Munich, Germany, November 14-15, 2023. (To appear).
  • [CLASS] D. Eisl, F. Herzog, J.-L. Dugelay, L. Apvrille, G. Rigoll, "Introducing a Framework for Single-Human Tracking using Event-based Cameras", 20th IEEE Conference on Image Processing (ICIP'23), pp.3269-3273, Kuala Lumpur, Malaysia, Oct. 2023. online paper author paper bibtex
  • [MDE] J. Jerray, R. Ameur-Boulifa, L. Apvrille, "Integration of Heterogeneous Components for Co-Simulation", 18th International Confererence on Software Technologie ICSOFT'23, 10-12 july 2023, Rome, Italy. online version paper (author version) bibtex
  • [MDE] [SAFE] L. Apvrile, B. Sultan, O. Hotescu, P. de Saqui-Sannes, S. Coudert, "Mutation of Formally Verified SysML Models", Proceedings of the 11th international conference on Model-Based Software and Systems Engineering (Modelsward'2023), Lisbon, Portual, Feb. 19-21, 2023. paper (author version) slides
  • [MDE] D. Genius, L. Apvrille, "Hierarchical Design of Cyber-Physical Systems", Proceedings of the 11th international conference on Model-Based Software and Systems Engineering (Modelsward'2023), Lisbon, Portual, Feb. 19-21, 2023. paper (author version)
[2022]
  • [EMB] T. Tanzi, L. Apvrille, "3D Simulation for Disaster Management: toward a new approach", Proceedings of the 3rd URSI Atlantic / Asia-Pacific Radio Science Meeting, Maspalomas, Spain, May-June 2022. online paper (IEEE) paper (author version) slides
  • [MDE] [SEC] B. Sultan, L. Apvrille, P. Jaillon, "Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec", in the Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2022). online version paper (author version) bibtex
  • [MDE] L. Apvrille, P. De Saqui-Sannes, O. Hotescu. and A. Calvino, "SysML Models Verification Relying on Dependency Graphs", In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, ISBN 978-989-758-550-0, ISSN 2184-4348, pages 174-181. online version paper (author version) bibtex slides
[2021]
  • [MDE] M. Zoor, L. Apvrille, R. Pacalet, "Execution Trace Analysis for a Precise Understanding of Latency Violations", Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (Models'2021), Fukuoka , Japan, Oct. 2021. paper (author version) bibtex
  • [MDE] A. Tempia Calvino, L. Apvrille, "Direct Model-Checking of SysML Models", Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (Modelsward'2021), Vienna, Autrichia (online). paper (author version) bibtex poster Best Poster Award!
  • [MDE] D. Genius, L. Apvrille, "Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping", Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (Modelsward'2021), Vienna, Autrichia (online). paper (author version) bibtex
[2020]
  • [SysML-Sec] M. Zoor, L. Apvrille, and R. Pacalet, "SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting." In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20 Companion), October 18-23, 2020, Virtual Event, Canada. ACM, New York, NY, USA, 10 pages. online version paper (author version)
  • [Explo] A. Gharbi, A. Enrici, B. Uscumlic, L. Apvrille, R. Pacalet, "Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms", Euromicro DSD 2020, Aug 2020, Portorož, Slovenia. paper bibtex
  • [EMB] M. Bertolino, A. Enrici, R.Pacalet, L. Apvrille, "Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures", Proceedings of the Euromicro DSD 2020, Aug 2020, Portorož, Slovenia, 2020. paper bibtex
  • [MDE] B. Uscumlic, A. Enrici, R. Pacalet, A. Gharbi, L. Apvrille, L. Natarianni and L. Roullet, "Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures", Proceedings of the IEEE ICC 2020, June 7 - 11, Dublin, Ireland, 2020. online paper (ieee site) paper bibtex
  • [MDE] F. Guilherme Rey de Souza, J. de Melo Bezerra, C. Massaki Hirata, P de Saqui-Sannes, L. Apvrille, "Combining STPA with SysML Modeling", Proceedings of the 14th annual IEEE international Systems conference SysCon'2020, 24-27 Aug. Montreal, 2020. paper
  • [MDE] D. Genius, I. Bournias, L. Apvrille, R., "High-level Partitioning and Design Space Exploration for Cyber Physical Systems", Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 84-91, 2020, Valletta, Malta. online version paper bibtex
  • [MDE SysML-Sec] M. Zoor, L. Apvrille and R. Pacalet, "Impact of Security Measures on Performance Aspects in SysML Models", Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 373-380, 2020, Valletta, Malta. online version paper bibtex
  • [MDE] D. Genius, L. Apvrille, "Hardware/software/analog system partitioning with SysML and SystemC-AMS". Proceedings of the 10th European Congress on Embedded Real Time Systems, Toulouse, Jan. 2020.
[2019]
  • [MDE SysML-Sec] H. Zhao, F. Mallet, L. Apvrille, "A Language-based Multi-view Approach for Combining Functional and Security Models", proceedings of the IEEE Asia-Pacific Software Engineering Conference (APSEC'2019), Putrajaya, Malaysia, Dec. 2-5, 2019. paper bibtex.
  • [RT Dataflow] R. Pacalet, B. Dauphin, A.Enrici, L. Apvrille, "Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications", Euromicro Conference on Digital System Design, Aug 2019, Kalithea, Greece. paper bibtex
  • [SEC] [MDE] S. Berro, L. Apvrille, G. Duc, "Optimizing System Architecture Cost and Security Countermeasures ", Proceedings of the Sixth International Workshop on Graphical Models for Security, Hoboken, NJ, USA - June 24, 2019. paper bibtex
  • [MDE] R. Fujdiak, P. Blazek, L. Apvrille, Z. Martinasek, P. Mlynek, R. Pacalet, D. Smekal, P. Mrnustik, M. Barabas and M. Zoor, "Modeling the trade-off between security and performance to support the product life cycle", proceedings of the the 8th Mediterranean Conference on Embedded Computing - MECO/ECYPS'2019, Budva, Montenegro, June 2019. online paper paper (author version) bibtex
  • [MDE SysMLSec] [SAFE] [SEC] L. Apvrille, L. W. Li, "Harmonizing Safety, Security and Performance Requirements in Embedded Systems", Proceedings of the Design Automation and Test in Europe conference (DATE), March 25-29, Firenze, Italy. paper bibtex slides
  • [MDE] D. Genius, R. C. Porto, L. Apvrille, F. Pêcheux, "A Tool for High-Level Modeling of Analog/Mixed Signal Embedded Systems", Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Prague, Czech Republic, 20-22 Feb. 2019. online paper paper bibtex
  • [MDE] A. Enrici, L. Apvrille, R. Pacalet, "Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-Software Systems", Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Prague, Czech Republic, 20-22 Feb. 2019. online paper paper bibtex
  • [MDE] H. Zhao, L. Apvrille, F. Mallet, "Meta-models Combination for Reusing Verification Techniques", Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Prague, Czech Republic, 20-22 Feb. 2019. online paper paper bibtex slides
  • [MDE] P. de Saqui-Sannes, L. Apvrille, "Test Sequence Generation From Formally Verified SysML Models", Proceedings of the 1st Workshop on Avionics Systems and Software Engineering (AvioSE'2019), February 19, 2019, Stuttgart, Germany. paper bibtex
  • [EMB] [MDE] R. C. Porto, D. Genius, L. Apvrille, "Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores", Proceedings of the 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (Rapido'2019), January 21-23, 2019, Valencia, Spain. paper bibtex
[2018]
  • [SysML-Sec] Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille, "SysML model transformation for safety and security analysis", Proceedings of the ACM International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA), help in conjunction with ESORICS, Barcelona, Spain, Sept. 2018. paper bibtex slides
  • [MDE] [EXPLO] Daniela Genius, Ludovic Apvrille, "System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform", Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), July 9th-11th, 2018, Lille, France. paper bibtex
  • [MDE AVATAR] Pierre de Saqui-Sannes, Rob Vingerhoeds, Ludovic Apvrille,"Early Checking of SysML Models Applied to Protocols", Proceedings of the 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), 27 - 29 June 2018, Toulouse, France. paper bibtex
  • [MDE] [EXPLO] Daniela Genius, Marie-Minerve Louërat, François Pêcheux, Ludovic Apvrille, Haralampos Stratigopoulos, "Modeling Heterogeneous Embedded Systems with TTool", Proceedings of the 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe'2018), Workshop of the DATE'2018 conference, Dresden, Germany, March 2018. paper bibtex
  • [MDE] [EXPLO] [SDR] Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet et Adrien Canuel, "A Model Compilation Approach for Optimized Implementations of Signal-Processing Systems", Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Funchal, Portugal, 22-24 Jan. 2018..
  • [MDE SysML-Sec] Letitia W. Li, Florian Lugou and Ludovic Apvrille, "Evolving Attacker Perspectives for Secure Embedded System Design", Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Funchal, Portugal, 22-24 Jan. 2018. paper bibtex
  • [EMB] [MDE] Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi, "Multi-level Latency Evaluation with an MDE Approach", Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Funchal, Portugal, 22-24 Jan. 2018. bibtex
[2017]
  • [MDE SysML-SEC] Letitia W. Li, Florian Lugou, Ludovic Apvrille, "Security Modeling for Embedded System Design", Proceedings of the Fourth International Workshop on Graphical Models for Security, Santa Barbara, CA, USA, Aug. 2017. paper bibtex slides
  • [EMB] [MDE AVATAR] Daniela Genius, Ludovic Apvrille, "System-Level Design for Communication-Centric Task Farm Applications", Proceedings of the 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2017), Madrid, Spain, July 2017. paper bibtex slides
  • [EMB] [MDE SYSML-SEC] Ludovic Apvrille, Letitia LI, Annie Bracquemond, "Design and Verification of Secure Autonomous Vehicles", Proceedings of the 12th European ITS Congress, Strasbourg, France, June 2017. paper slides
  • [MDE] Hui Zhao, Ludovic Apvrille, Frédéric Mallet, "Multi-View Design for Cyber-Physical Systems", Proc. of ICTERI PhD Symposium 2017, Kyiv, Ukraine, May 16-17, 2017, CEUR-WS.org. online version paper bibtex
  • [EXPLO] [EMB] [MDE AVATAR] Daniela Genius, Letitia W. Li, Ludovic Apvrille, "Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design", Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Porto, Portugal, 19-21 Feb. 2017. paper bibtex slides Best paper award!
  • [MDE SysML-SEC] [EXPLO] Letitia W. Li, Florian Lugou and Ludovic Apvrille, "Security-Aware Modeling and Analysis for HW/SW Partitioning", Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Porto, Portugal, 19-21 Feb. 2017. paper bibtex slides
  • [SDR] Adrien Canuel, Renaud Pacalet, Ludovic Apvrille, "Software Stack for Code Generation of Software-Defined Radio", Proceedings of the Journée scientifiques de l'URSI, Sophia-Antipolis, France, Feb. 2017. paper bibtex
[2016]
  • [EXPLO] [EMB] Letitia W. Li, Ludovic Apvrille, Daniela Genius, "Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration", Proceedings of the Conference on Design & Architectures for Signal & Image Processing (DASIP'2016), October 12-14, 2016 Rennes, France. paper bibtex
  • [MDE SYSML-SEC] [SEC] [SAFE] Ludovic Apvrille, Letitia Li, Yves Roudier, "Model-Driven Engineering for Designing Safe and Secure Embedded Systems", Proceedings of the IEEE workshop on Architecture Centric Virtual Integration, Venize, Italy, April 2016. paper bibtex
  • [MDE SYSML-SEC] [SEC] [SAFE] Florian Lugou, Letitia Li, Ludovic Apvrille, Rabéa Ameur-Boulifa, "SysML Models and Model Transformation for Security", Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), Rome, Italy, 19-21 Feb. 2016. paper bibtex.
  • [MDE AVATAR] [EMB] [EXPLO] Daniela Genius, Ludovic Apvrille, "Virtual Yet Precise Prototyping: An Automotive Case Study", 8th European Congress on Embedded Real Time Software and Systems (ERTS). Toulouse, France 27-29 Jan. 2016. paper bibtex slides
  • [MDE AVATAR] Pierre de Saqui-Sannes, Ludovic Apvrille, "Making Modeling Assumptions an Explicit Part of Real-Time Systems Models", 8th European Congress on Embedded Real Time Software and Systems (ERTS). Toulouse, France 27-29 Jan. 2016. paper bibtex slides
[2015]
  • [DRONE] [SAFE] [SEC] [MDE] T. J. Tanzi, Y. Roudier, and L. Apvrille, "Towards a new Architecture for Autonomous Data Collection", Proceedings of the ISPRS Geospatial Week, La Grande Motte, France, 2015. Extended paper bibtex (of the extended version)
  • [SEC] [EMB] Florian Lugou, Ludovic Apvrille, Aurélien Francillon, "Toward a Methodology for Unified Verification of Hardware/Software Co-designs", PROOFS: Security Proofs for Embedded Systems, St Malo, France, Sept. 2015. paper bibtex
  • [SEC] [CLASS] [EMB] 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), Helsinki, Finland, 20-22 August, 2015. paper bibtex slides
  • [SEC] [MDE SysML-SEC] Ludovic Apvrille, Yves Roudier, "SysML-Sec Attack Graphs: Compact Representations for Complex Attacks", The Second International Workshop on Graphical Models for Security (GramSec'2015), Springer LNCS, Vol. 9390, pp 35-49, Verona, Italy - July 13, 2015. paper bibtex slides
  • [DRONE] [SAFE] [SEC] [MDE] Ludovic Apvrille, Yves Roudier, Tullio Tanzi, "Autonomous Drones for Disasters Management: Safety and Security Verifications", Proceedings of the URSI AT-RASC conference, May 2015. bibtex slides
  • [CLASS] [SEC] Neslihan Kose, Ludovic Apvrille, Jean-Luc Dugelay, "Facial Makeup Detection Technique Based on Texture and Shape Analysis", Proceedings of the The Eleventh IEEE International Conference on Automatic Face and Gesture Recognition (FG 2015), May 2015, Slovenia. paper (short) slides
  • [SEC] [MDE SYSML-SEC] Ludovic Apvrille, Yves Roudier, "SysML-Sec: A Model Driven Approach for Designing Safe and Secure Systems", Special session on Security and Privacy in Model Based Engineering, 3rd International Conference on Model-Driven Engineering and Software Development (Modelsward), Angers, France, Feb. 2015. paper bibtex slides
[2014]
  • [CLASS] [SEC] Axelle Apvrille, Ludovic Apvrille, "SherlockDroid, an Inspector for Android Marketplaces", Proceedings of the 10th Hack.lu conference, Oct. 2014, Luxembourg. paper bibtex slides
  • [DRONE] [SAFE] Tullio Tanzi, Ludovic Apvrille, Jean-Luc Dugelay, Yves Roudier, "UAVs for Humanitarian Missions: Autonomy and Reliability". Proceedings of the IEEE Global Humanitarian Technology Conference (GHTC), Oct. 2014, California, USA. bibtex slides
  • [EXPLO] [EMB] [SDR] Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, "A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes". Proceedings of the MODELS 2014 conference, Sept.Oct 2014, Valencia, Spain. paper bibtex slides
  • [DRONE] [SEC] Ludovic Apvrille, Tullio J. Tanzi and Jean-Luc Dugelay, "Autonomous Drones for Assisting Rescue Services within the context of Natural Disasters". Proceedings of the XXXIst General Assembly and Scientific Symposium (GASS) of the International Union of Radio Science (Internation Union on Radio Science). August 17-23, 2014, Beijing, China.
  • [DRONE] [SEC] Ludovic Apvrille, Tullio J. Tanzi, Jean-Luc Dugelay et 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". Montpellier, 24-26 juin 2014. (in French).
  • [DRONE] [SEC] Tullio J. Tanzi, Raoul Textoris and Ludovic Apvrille, "Safety properties modelling". Proceedings of the 7th IEEE International Conference on Human System Interaction (HSI 2014). June 16-18, Lisbon, Portugal. IEEE paper bibtex
  • [SEC] [MDE] Muhammad Sabir Idrees, Yves Roudier, and Ludovic Apvrille, "Model the System from Adversary Viewpoint: Threats Identification and Modeling", EPCTS Proceedings of the AIDP'2014 Workshop, IFIP-Sec conference, June 2014, Marrakech, Morocco.
  • [MDE] [SEC] Yves Roudier, Muhammad Sabir Idrees and Ludovic Apvrille, "Improved Security Requirements Engineering using Knowledge Representation", Proceedings of the 9th conference on the security of network architecture and information systems, May 2014, Lyon, France. paper
  • [MDE SYSML-SEC] [SEC] [SAFE] 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), April, 2014, Grenoble, France. paper bibtex
  • [EXPLO] [EMB] [SDR] Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, "DiplodocusDF: Analyzing Hardware/Software Interactions with a Dinosaur", DUHDe, 1st Workshop on Design Automation for Understanding Hardware Designs, March 28, 2014, Friday Workshop at DATE'2014, Dresden, Germany. (no proceedings). paper poster
  • [DRONE] L. Apvrille, T. Tanzi, Jean-Luc Dugelay, "Autonomous Drones for Humanitarians Operations". Proceedings of the scientific days of URSI France (theme: "connected human"), pp 15-21, March 2014, Paris, France. [paper]
  • [EXPLO] [EMB] [SDR] Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, "Communication Patterns: a Novel Modeling Approach for Software Defined Radio Systems". Proceedings of the Fourth International Conference on Advances in Cognitive Radio (COCORA'2014), February 23 - 27, 2014 - Nice, France. paper slides
[2013]
  • [CLASS] [SEC] Ludovic Apvrille, Axelle Apvrille, "Pre-filtering Mobile Malware with Heuristic Techniques". Proceedings of GreHack'2013, Grenoble, France, Nov. 2013. paper bibtex slides
  • [DRONE] Ludovic Apvrille, Jean-Luc Dugelay, Benjamin Ranft, "Indoor Autonomous Navigation of Low-Cost MAVs Using Landmarks and 3D Perception", Proceedings of OCOSS'2013, 28-31 Oct., 2013. paper poster
  • [EXPLO] [EMB] [SDR] Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, "Taming Control Exchange for Software Defined Radio in System Level Models", Proceedings of the 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Sophia-Antipolis, 16-18 Oct., 2013.
  • [DRONE] Benjamin Ranft, Jean-Luc Dugelay, Ludovic Apvrille, "3D Perception for Autonomous Navigation of a Low-Cost MAV using Minimal Landmarks", Proceedings of the International Micro Air Vehicle Conference and Flight Competition (IMAV'2013), Toulouse, France, 17-20 Sept. 2013.
  • [MDE SYSML-SEC] [SEC] [SAFE] Ludovic Apvrille, Yves Roudier, "SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems", Proceedings of the 8th conference on the security of network architecture and information systems (SARSSI'2013), Mont de Marsan, France, 16-18 sept. 2013. paper
  • [MDE SYSML-SEC] [SEC] [SAFE] Ludovic Apvrille, Yves Roudier, "SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded Systems", Proceedings of the INCOSE/APCOSEC 2013 Conference on system engineering, Yokohama, Japan, September 8-11, 2013. paper
  • [EXPLO] [MDE] Fériel Ben Abdallah, Ludovic Apvrille, "Fast Evaluation of Power Consumption of Embedded Systems using DIPLODOCUS", Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'2013), Santander, Spain September 4-6, 2013. paper
  • [EXPLO] [MDE] Ludovic Apvrille, "DIPLODOCUS : Un environnement pour le partitionnement logiciel/matériel des systèmes embarqués et intégrés complexes", Invited paper, Proceedings of Ecole d'été Temps Réel (ETR'2013), pp.60-65, Toulouse, France, August 2013.
  • [EXPLO] [MDE] [SDR] Andrea Enrici, Jair Gonzalez-pina, Ludovic Apvrille, Renaud Pacalet, "Analyse de placement mémoire et d'ordonnancement temps-réel pour les plates-formes radio logicielles", Proceedings of Ecole d'été Temps Réel (ETR'2013), pp.142-145, Toulouse, France, August 2013.
  • [MDE] [SEC] [EMB] Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille, "Towards the Model-Driven Engineering of Security Requirements for Embedded Systems", Proceedings of the Model-Driven Requirements Engineering Workshop (MoDRE'13), Rio de Janeiro, Brazil, July 2013. paper
  • [MDE AVATAR] [SAFE] Ludovic Apvrille, Pierre de Saqui-Sannes, "Static analysis techniques to verify mutual exclusion situations within SysML models", 16th International System Design Languages Forum (SDL'2013), Montreal, Canada, Juin 2013. paper slides
[2012]
  • [MDE AVATAR] [EMB]: Ludovic Apvrille, Alexandre Becoulet, "Prototyping an Embedded Automotive System from its UML/SysML Models", Proceedings of Embedded Real Time Systems and Software (ERTSS'2012), France, Feb. 1-3, 2012. paper slides
[2011]
  • [MDE AVATAR] [EMB]Ludovic Apvrille, Alexandre Becoulet, "Fast and Multi-platform Prototyping of Embedded Systems from UML/SysML Models", The 14th edition of the Sophia Antipolis MicroElectronics Forum (SAME'2011), Sophia Antipolis, France, Oct. 12-13, 2011.
  • [MDE AVATAR] [AUTO] [SEC] Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier, "A Formal Methodology Applied to Secure Over-the-Air Automotive Applications", Proceedings of the 74th IEEE Vehicular Technology Conference: VTC2011-Fall, San Francisco, United States, 5-8 September 2011. paper
  • [AUTO] [SEC] Hendrik Schweppe, Yves Roudier, Benjamin Weyl, Ludovic Apvrille, Dirk Scheuermann, "C2X Communication: Securing the Last Meter", Proceedings of the 4th IEEE International Symposium on Wireless Vehicular Communications: WIVEC2011, San Francisco, United States, 5-6 September 2011. paper bibtex
  • [MDE AVATAR] Ludovic Apvrille, Pierre de Saqui-Sannes, "An Open-Source Simulator for Real-Time SysML Models", the IEEE Workshop on Simulation in Aerospace 2011, Toulouse, France, 8 June, 2011. slides
  • [MDE AVATAR] [SAFE] [SEC] [AUTO] Gabriel Pedroza, Daniel Knorreck, Ludovic Apvrille, "AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties", The 11th IEEE Conference on Distributed Systems and New Technologies (NOTERE'2011), Paris, France, May 2011. paper slides
[2010]
  • [MDE TEPE] [SAFE] Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes, "TEPE: A SysML Language for Time-Constrained Property Modeling and Formal Verification", Proceedings of the Third IEEE International Workshop UML and Formal Methods (UMLFM'2010), Shanghai, China, November, 2010.
  • [EXPLO] [AUTO] Daniel Knorreck, Ludovic Apvrille and Renaud Pacalet, "Partitioning of in-vehicle Systems-on-Chip: a Methodology based on DIPLODOCUS", Proceedings of the 13th Sophia-Antipolis MicroElectronics Forum (SAME 2010), Sophia-Antipolis, France, October, 2010.
  • [MDE] [SEC] [AUTO] Gabriel Pedroza, Ludovic Apvrille et Renaud Pacalet, "Formal Security Model for Verification of Automotive Embedded Applications", The 3nd Annual SAFA Workshop (SAFA'2010), Sophia-Antipolis, France, Oct. 2010.
  • [EXPLO] [SAFE] Daniel Knorreck, Ludovic Apvrille and Renaud Pacalet, "Interactive System Level Debugging of Systems-on-Chip", Proceedings of the System, Software, SoC and Silicon Debug Conference (S4D'2010), Poster session, Southampton, UK, September, 2010.
  • [AUTO] [SEC] L. Apvrille, R. El Khayari, O. Henniger, Y. Roudier, H. Schweppe, H. Seudié, B. Weyl, M. Wolf, "Secure automotive on-board electronics network architecture". In: FISITA 2010 World Automotive Congress, Budapest, Hungary, May/June 2010.
  • [EXPLO] [SAFE] Daniel Knorreck, Ludovic Apvrille and Renaud Pacalet, "Demonstration of an Interactive System Level Simulation Environment for Systems-on-Chip", the 10th annual IEEE international conference on New Technologies of Distributed Systems (NOTERE'2010), Tozeur, Tunisia, June 2010.
  • [EXPLO] [SAFE] Daniel Knorreck, Ludovic Apvrille and Renaud Pacalet, "Formal System-level Design Space Exploration", the 10th annual IEEE international conference on New Technologies of Distributed Systems (NOTERE'2010), Tozeur, Tunisia, June 2010.
  • [MDE] [SEC] [AUTO] M.S. Idrees, Y. Roudier, L. Apvrille, "A Framework Towards the Efficient Identification and Modelling of Security Requirements.", Proceedings of the 5th conference on Network Architecture and Information Systems (SAR-SSI'2010), Menton, France, May 2010
  • [MDE TURTLE] [SAFE] Ludovic Apvrille and Pierre De Saqui-Sannes, "TURTLE: Four Weddings and a Tutorial", Proceedings of Embedded Real Time Software and Systems (ERTS2'2010), Toulouse, France, May 2010.
  • [EXPLO] [SAFE] Daniel Knorreck, Ludovic Apvrille and Renaud Pacalet, "An Interactive System Level Simulation Environment for Systems- on-Chip", Proceedings of Embedded Real Time Software and Systems (ERTS2'2010), Toulouse, France, May 2010.
[2009]
  • [AUTO] [SEC] Olaf Henniger, Ludovic Apvrille, Andreas Fuchs, Yves Roudier, Alastair Ruddle et Benjamin Weyl, "Security requirements for automotive on-board networks", Proceedings of the 9th International Conference on ITS Telecommunication (ITST'2009), Lille, France, Oct. 2009
  • [EXPLO] [SAFE] Daniel Knorreck, Ludovic Apvrille et Renaud Pacalet, "An Interactive System Level Simulation Environment for Systems on Chip", The 2nd Annual SAFA Workshop, Sophia-Antipolis, France, Sept. 2009
  • [MDE TURTLE] [SAFE] Ludovic Apvrille, Pierre De Saqui-Sannes et Ahlem Mifdaoui, "A UML Framework for the Dimensioning and Formal Verification of Embedded Systems", the 2nd Annual SAFA Workshop, Sophia-Antipolis, France, Sept. 2009
  • [MDE TURTLE] [SAFE] Ludovic Apvrille, Ahlem Mifdaoui et Pierre De Saqui-Sannes, "Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel", the 9th annual international conference on New Technologies of Distributed Systems (NOTERE'2009), Montreal, Canada, Jul. 2009 (in French)
  • [EXPLO] [SAFE] Daniel Knorreck, Ludovic Apvrille et Renaud Pacalet, "Fast Simulation Techniques for Design Space Exploration", Proceedings of the 47th International Conference Objects, Models, Components, vol. 33, pp. 308-327, Patterns, DOI: 978-3-642-02571-6, Zurich, Switzerland, June 2009. paper bib
  • [EXPLO] Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi, Patricia Le Moenner et Renaud Pacalet, "High-Level System Modeling for Rapid HW/SW Architecture Exploration", Proceedings of the 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'2009), Paris, France, June 2009. paper
  • [EXPLO] Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi et Renaud Pacalet, "Shared Resources High-Level Modeling in Embedded Systems Using Virtual Nodes", Proceedings of NEWCAS-TAISA, Toulouse, France, June 2009.
  • [MDE TURTLE] [SAFE] Ludovic Apvrille and Pierre De Saqui-Sannes, "Making Formal Verification Amenable to Real-Time UML Practitioners", Proceedings of the 12th European Workshop on Dependable Computing, Toulouse, France, May 2009.
[2008]
  • [EMB] R. Muhammad, L. Apvrille and R. Pacalet, "Evaluation of ASIPs Design with LISATek", Proceedings of the 8th International Workshop SAMOS, vol. 5114/2008, pp. 177-186, DOI: 10.1007/978-3-540-70550-5, Samos, Greece, July 2008
  • [EMB] R. Muhammad, L. Apvrille and R. Pacalet, "Application Specific Processors for Multimedia Applications", Proceedings of the 11th IEEE International Conference on Computational Science and Engineering (CSE 2008), pp. 109-116, DOI: 10.1109/CSE.2008.26, Sao Paulo, Brazil, July 2008
  • [MDE TURTLE] [SAFE] L. Apvrille and P. de Saqui-Sannes, "Adding a Methodological Assistant to a Protocol Modeling Environment", Proceedings of the 8th Annual International Conference on New Technologies of Distributed Systems (NOTERE'2008), Lyon, France, June 2008
  • [EXPLO] [SAFE] L. Apvrille, "TTool for DIPLODOCUS: An Environment for Design Space Exploration", Proceedings of the 8th Annual International Conference on New Technologies of Distributed Systems (NOTERE'2008), Lyon, France, June 2008
  • [MDE TURTLE] [SAFE] B. Fontan, P. de Saqui-Sannes and L. Apvrille, "Synthèse d'observateurs à partir d'exigences temporelles", 14ème colloque International sur les Langages et Modèles à Objets (LMO 2008), Revue des Nouvelles Technologies de l'Information (RNTI-L-1), pp. 187-203, Montreal, Canada, February 2008
  • [MDE TURTLE] [SAFE] B. Fontan, P. de Saqui-Sannes and L. Apvrille, "Timing Requirement Description Diagrams for Real-Time Systems", Proceedings of the 4th International Conference on Embedded and Real Time Software (ERTS 2008), Toulouse, France, January 2008
[2007]
  • S. Ahumada, L. Apvrille, T. Barros, A. Cansado, E. Madelaine and E. Salageanu, "Specifying Fractal and GCM Components With UML", Proccedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC'07), Iquique, Chile, November 2007
  • L. Apvrille, S. Coudert and C. Leduc, "A Framework for the Formal Verification of Infinite Systems", Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007), Trollhättan, Sweden, November 2007
  • M.K. Bhatti and L. Apvrille, "Modeling and simulation of SoC Hardware Architecture for Design Space Exploration", Proceedings of the Sophia-Antipolis MicroElectronics Forum (SAME 2007), Sophia-Antipolis, France, October 2007
  • B. Fontan, P. de Saqui-Sannes and L. Apvrille, "Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles" Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), pp. 541-542, DOI: ISBN 9981-9704-7-6, Marrakech, Marocco, June 2007
  • B. Fontan, P. de Saqui-Sannes and L. Apvrille, "Vérification formelle d'exigences temporelles avec génération automatique d'observateurs", Formalisation des Activités Concurrentes (FAC 2007), Toulouse, March 2007
[2006]
  • L. Apvrille, W. Muhammad, R. Ameur-Boulifa, S. Coudert and R. Pacalet, "A UML-based Environment for System Design Space Exploration", 13th IEEE International Conference on Electronics, Circuits and Systems (ICECS'2006), Nice, France, December 2006
  • B. Fontan, L. Apvrille, P. de Saqui-Sannes and J.-P. Courtiat, "Real-Time and Embedded System Verification Based on Formal Requirements", Industrial Embedded Systems 2006 (IES'2006), Antibes, France, October 2006
  • W. Muhammad, L. Apvrille, R. Ameur-Boulifa, S. Coudert and R. Pacalet, "Abstract Application Modeling for System Design Space Exploration", Euromicro Conference on Digital System Design (DSD'06), Dubrovnik, Croatia, August 2006
[2005]
  • L. Apvrille, P. de Saqui-Sannes, "TURTLE: a UML-based Environment for the Codesign of Embedded Systems", Proceedings of the 8th Sophia-Antipolis MicroElectronics Forum (SAME 2005), Sophia-Antipolis, France, October 5th-6th, 2005
  • L. Apvrille, P. de Saqui-Sannes, A. Apvrille, "Une méthodologie de conception des systèmes distribués basée sur UML", Actes de la 5ème conférence sur les nouvelles technologies de la répartition (NOTERE'05), p 217-214, Gatineau, QC, Canada, 29 aout - 1er septembre 2005
  • L. Apvrille, P. de Saqui-Sannes, F. Khendek, "Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences", Actes du Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'05), Bordeaux, France, 29 mars - 1er avril 2005 (in French)
[2004]
  • P. de Saqui-Sannes, L. Apvrille , C. Lohr, J.-P.Courtiat, "TURTLE : un pont entre UML et RT-LOTOS", Actes de la conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2004), LIFC, BESANCON, 16-18 Juin 2004. Full paper available at http://lifc.univ-fcomte.fr/afadl2004/textes/actes/Outils/o08.pdf (in French)
  • P de Saqui-Sannes, L. Apvrille , C. Lohr, J.-P. Courtiat , "Derniers développements autours du profil UML temps-réel TURTLE", Actes des journées sur la Formalisation des Activités Concurrentes (FAC'2004), Toulouse, France, Mars 2004. Asbtract, full paper and slides are available at http://www.cert.fr/feria/svf/FAC/2004/actes.html (in French)
[2003]
  • C. Lohr, L. Apvrille, P de Saqui-Sannes, J.-P. Courtiat , "New Operators for the TURTLE Profile", 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03), LNCS, Springer, Paris, France, November 2003
  • L. Apvrille, P de Saqui-Sannes, F. Khendek, "TURTLE-P: un profil UML pour la validation d'architectures", 10ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2003), Paris (France), 7-10 Octobre 2003, pp.17-32 (in French)
[2002]
  • L. Apvrille, P. de Saqui-Sannes, P. Sénac, C. Lohr, "Reconfiguration dynamique de protocoles embarqués à bord de satellites", Actes du Colloque Francophone sur l?Ingéniérie des Protocoles (CFIP'2002), Montréal, Mai 2002 (in French)
  • L. Apvrille, L. Dairaine, P. Sénac, M. Diaz, "Satellite Telecom Software Dynamic Upgrade with QoS Continuity", Proceedings of the 20th International AIAA Communications Satellite Systems Conference (ICSSC'2002), May 12 - 15, Montréal, Canada, 2002
[2001]
  • P. de Saqui-Sannes, L. Apvrille , C. Lohr, P. Sénac, j.-P. Courtiat, "UML et RT-LOTOS : Vers une intégration informel/formel au service de la validation de systèmes temps réel", Actes du colloque francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), Toulouse, France, Octobre 2001 (in French)
  • L. Apvrille, P. de Saqui-Sannes, C. Lohr, P. Sénac, J.-P. Courtiat, "A New UML Profile for Real-time System Formal Design and Validation", Proceedings of the Fourth International Conference on the Unified Modeling Language (UML'2001), Toronto, Canada, October 2001
  • L. Apvrille, P. de Saqui-Sannes, P. Sénac, M. Diaz, "Formal Modeling of Space-Based Software in the Context of Dynamic Reconfiguration", DAta Systems In Aerospace (DASIA'2001), May 28 - June 1st, Nice, France, 2001
  • L. Apvrille, L. Dairaine, P. Sénac, M. Diaz, "Dynamic Reconfiguration Architecture of Satellite Network Software Services", Proceedings of the 19th International AIAA Communications Satellite Systems Conference (ICSSC'2001 ), Toulouse, France, April 17-20, 2001
[2000]
  • L. Apvrille, L. Dairaine, L. Rojas-cardenas, P. Sénac, M. Diaz, "Implementing a User Level Multimedia Transport Protocol in Java", The Fifth IEEE International Symposium on Computers and Communication (ISCC'2000), Antibes-Juan les Pins, France, July 4-6, 2000
  • L. Apvrille, P. Sénac, F. Richard, M. Diaz, "Java Face to Small Satellites", The 5th International Symposium on Small Satellite systems and Services, La Baule, France, June 19-23, 2000
[1999]
  • L. Apvrille, P. Sénac, M. Diaz, "A Java Framework for Spatial Embedded Systems", Proceedings of the 13th Annual AIAA/USU International Conference on Small Satellites, Logan, Utah, USA, August 23-26, 1999

Patents

  • L. Apvrille, "Procédé de mise à jour d'au moins un espace personnel de publication, terminal de communication, serveur intermédiaire et produit programme d'ordinateur correspondants", Dec. 2006. (Pending in France, ref 06/11345)
  • L. Apvrille, "Procédé de contrôle de l'installation d'un programme par un utilisateur d'un système informatique local en vue d'éviter l'installation non autorisée d'un logiciel", June 2004 (France, ref 04/51844)

HDR

I was authorized by the University of Nice to defend my HDR in July 2012, and I defended my HDR the 29th of November, 2012.

Seminars, posters and invited talks

  • Ludovic Apvrille, "Model-Driven Engineering for Safety, Security and Performance: SysML-Sec", Invited talk at ISAE / Supaero, Toulouse, France, July. 2018. slides
  • Ludovic Apvrille, "Model-Driven Engineering for Safety, Security and Performance: SysML-Sec", Invited talk at City University, London, UK, Jun. 2018. slides
  • Ludovic Apvrille, "Model-Driven Engineering for Safety, Security and Performance: SysML-Sec", Invited talk at InSP3CT workshop, Dec. 2017. slides
  • Ludovic Apvrille, "Multi-level Embedded System Design", Presentation for the LTCI research day. slides
  • Ludovic Apvrille, "Design and Verification of Secure Autonomous Vehicles", Presentation accepted at Autonomous Vehicle Test & Development Symposium 2017, Stuttgart, Germany, June 2017. slides
  • [SEC] [CLASS] [EMB] L. Apvrille, "Identifying Unknown Android Malware with Feature Extractions and Classification Techniques", Seminar AT SAP Research, Nov. 2015. slides
  • [DRONE] Ludovic Apvrille, "Safety and Security Checking of Real-Time Systems Modeled in SysML", Tutorial at JDEV'2015, Bordeaux, France, July. 2015.
  • [SEC] [EMB] Ludovic Apvrille, Renaud Pacalet, Sécurité des objetés connectés : modèles, preuves et architectures, invited presentation at the CIM Paca meeting, May 2015.
  • Ludovic Apvrille, Autonomous Drones, Journée GDR Robotique UAV Paris, May 2015.
  • [DRONE] Ludovic Apvrille, "Safety and Security Checking of Real-Time Systems Modeled in SysML", Tutorial at ModelsWard'2015, Angers, France, Feb. 2015. slides
  • [DRONE] Tullio J. Tanzi, Ludovic Apvrille, Jean-Luc Dugelay, Claire Migliaccio, Julien Morel and Franck Guarnieri, "Drone for Humanitarian Operations". Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", 26 et 27 mars 2014, Institut Mines-Telecom, Paris. [poster]
  • [MDE SysML-SEC] [SEC] [SAFE] Ludovic Apvrille, Yves Roudier, Tullio J. Tanzi, and Franck Guarnieri, "SysML-Sec: Capturing and Formally Proving Safety and Security Properties". Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", 26 et 27 mars 2014, Institut Mines-Telecom, Paris. [poster]
  • [MDE] [EMB] L. Apvrille, "Prototypage virtuel depuis des modèles SysML", invited talk at the SysML France day, Feb. 2014, Toulouse, France.
  • [MDE AVATAR] L. Apvrille, P. de Saqui-Sannes, "System Architecture using SysML and AVATAR", Seminar at the 1st Summer School on Critical Embedded Systems, Toulouse, France, July 2013.
  • L. Apvrille, P. de Saqui-Sannes, "Real-time Systems Development with the SysML toolkit TTool", Tutorial at the 16th International System Design Languages Forum, Montreal, Canada, June 2013.
  • L. Apvrille, "AVATAR-TTool: A SysML Environment for the Proof of Safety and Security Properties", ISAE, April 2011
  • P. de Saqui-Sannes, L. Apvrlle, "AVATAR : un profil SysML temps réel outillé", SysML Days organized by the SysML France organization, and Telecom ParisTech, Paris, France, December, 2010
  • [AUTO] [EXPLO] [SEC] L. Apvrille, "Architecture and protocols verification and attack analysis", CAST-Workshop on Mobile Security for Intelligent Cars, Darmstatd, Germany, July, 2010
  • P. de Saqui-Sannes, L. Apvrille, "TURTLE: a UML 2.0 Profile and Toolkit for Real-Time and Distributed System Development", tutorial of the annual international conference on New Technologies of Distributed Systems (NOTERE'2005), Gatineau, Canada, August 2005

Demonstrations

  • Ludovic APVRILLE, "Modeling security with TTool and SysML-Sec", 4th international Conference on Model-Driven Engineering and Software Development, 19-21 Feb., Roma, Italy, 2016. Model used for the demonstration with the TTool toolkit
  • Andrea ENRICI, Adrien CANUEL, Ludovic APVRILLE, Daniel CAMARA, Renaud PACALET, "Hw/Sw Co-Design of Data-Dominated Systems-on-Chip. The Psi-chart Approach in TTool/DIPLODOCUS", Demonstration at DATE'2015, Grenoble, France, March 2015. paper poster
  • Andrea Enrici, L. Apvrille, R. Pacalet, "TTool/DiplodocusDF: a UML Environment for Hardware/Software Co-Design of Data-Dominated Systems-on-Chip", Demonstration at DATE'2014, Dresden, Germany. paper poster
  • D. Knorreck, L. Apvrille, R. Pacalet, "Demonstration of a Coverage Driven Verification Environment for UML Models of Systems-on-Chip", Design, Automation and Test in Europe (DATE'2011), University Booth, Grenoble, France, March 2011. paper poster
  • D. Knorreck, L. Apvrille, R. Pacalet, "Demonstration of an Interactive System Level Simulation Environment for Systems-On-Chip", Design, Automation and Test in Europe (DATE'2010), University Booth, Dresden, Germany, March 2010

Technical Reports

    [EVITA Project]
  • Y. Roudier and H. Schweppe and S. Idrees and L. Apvrille and G. Pedroza, "Test Results", Deliverable D4.4.2, EVITA Project, 2012.
  • G. Pedroza and L. Apvrille, "LLD Modeling, Verification, and Automatic C-Code Generation", Deliverable 4.2.3, EVITA Project, 2012.
  • Y. Roudier and H. Schweppe and L. Apvrille, "Test Specification", Deliverable D4.4.1, EVITA Project, 2011.
  • A. Fuchs and S. Gurgens and L. Apvrille and G. Pedroza, "On-Board Architecture and Protocols Attack Analysis", Deliverable D3.4.4, EVITA Project, 2010.
  • A. Fuchs and S. Gurgens and L. Apvrille and G. Pedroza, "On-Board Architecture and Protocols Verification", Deliverable D3.4.3, EVITA Project, 2010.
  • A. Fuchs and S. Gurgens and R. Rieke and L. Apvrille, "Architecture and Protocol Verification and Attack Analysis", Deliverable D3.4.1, EVITA Project, 2010.
  • H. Schweppe and M. S. Idrees and Y. Roudier and B. Weyl and R. El Khayari and O. Henniger and D. Scheuermann and G. Pedroza and L. Apvrille and H. Seudié and H. Platzdasch and M. Sall, "Secure on-board protocols specification", Deliverable D3.3, EVITA Project, 2010.
  • H. Seudié and J. Shokrollahi and B. Weyl and A. Keil and M. Wolf and F. Zweers and T. Gendrullis and M. S. Idrees and Y. Roudier and H. Schweppe and H. Platzdasch and R. El Khayari and O. Henniger and D. Scheuermann and L. Apvrille and G. Pedroza, "Secure On-board Architecture Specification", Deliverable D3.2, EVITA Project, 2010
  • A. Ruddle and D. Ward and B. Weyl and S. Idrees and Y. Roudier and M. Friedewald and T. Leimbach and A. Fuchs and S. Gurgens and O. Henniger and R. Rieke and M. Ritscher and H. Broberg and L. Apvrille and R. Pacalet and G. Pedroza, "Security requirements for automotive on-board networks based on dark-side scenarios", Deliverable D2.3, EVITA Project, 2009.

  • [Projects with Texas Instruments]
  • Daniel Knorreck and Ludovic Apvrille and Renaud Pacalet, "Multimedia Application Modeling for the OMAP Platform", TI contract, Final report, 2008
  • Muhammad Khurram Bhatti and Ludovic Apvrille and Renaud Pacalet, "Designing Soc with Data Abstraction in Mind", TI contract, Final report, 2007
  • Rashid Muhammad and Stephane Paris and Ludovic Apvrille and Renaud Pacalet, "Comparative Study for the Fast Design of ASICs and ASIPs", TI contract, Final report, 2006
  • Stephane Paris and Fayrouz Haddad and Ludovic Apvrille and Renaud Pacalet, "Comparative Study for the Fast Design of ASICs and ASIPs", TI contract, Final report, 2005
  • Michael Fillinger and Yoann Lopez and Ludovic Apvrille and Renaud Pacalet, "Comparative Study of Electronic Architectures Obtained from Automatic Synthesis", TI contract, Final report, 2004

  • [Projects with Alcatel Space (now: Thales Alenia Space)]
  • L. Apvrille, "Reconfiguration dynamique de modules logiciels au sein d'un système à commutation embarquée : définition de l'architecture logicielle embarquée", contract report ENSICA/Alcatel Space , August 2001 (in French)
  • L. Apvrille, "Reconfiguration dynamique de modules logiciels au sein d'un système à commutation embarquée : modélisation et analyse des performances", contract report ENSICA/Alcatel Space, April 2001 (in French)
  • L. Apvrille, "Reconfiguration dynamique de modules logiciels au sein d'un système à commutation embarquée : modélisation et analyse des performances", contract report ENSICA/Alcatel Space, October 2000 (in French)
  • L. Apvrille, "Reconfiguration dynamique de modules logiciels au sein d'un système à commutation embarquée : définition et justification des mécanismes logiciels", contract report ENSICA/Alcatel Space, April 2000 (in French)
  • L. Apvrille, "Les technologies Objet et la distribution d'applications logicielles sur les constellations de satellites", contract report ENSICA/Alcatel Space, April 2000 (in French)

Miscellaneous

  • The drone4u is mentionned by the "Electroniques" magazine, May 2015. article

  • L. Apvrille, "Dynamic reconfiguration of real-time software", 10-minute movie presented at summer school Réseaux Haut Débit et Multimedia (RHDM'2001) and at 19th International AIAA Communications Satellite Systems Conference (ICSSC'2001), 2001

  • L. Apvrille, Sénac P., Dufaut P., Richard F., Diaz M., "Poster: Java Face to Small Satellites", The 5th International Symposium on Small Satellite systems and Services, La Baule, France, June 19-23, 2000