Ludovic Apvrille

113 papers A 4B 2C 38Misc 1Journal 20Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Continuous AI Assistance for Model-Driven Engineering. MODELSWARD Ludovic Apvrille, Bastien Sultan
2026	—	`conf`	Microarchitectural Espionage: FPGA-Based Security Analysis of Branch Prediction in RISC-V Out-of-Order Cores. ISDFS Mahreen Khan, Muhammad Emir Bin Mohd Shahfie, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2026	J	`jnl`	Toward Secure RISC-V Microarchitecture: Vulnerability Classes and Defenses. IEEE Access Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	J	`jnl`	AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models. ACM Trans. Embed. Comput. Syst. Bastien Sultan, Léon Frénot, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
2025	C	`conf`	Assessing Security RISC: Analyzing Flush+Fault Attack on RISC-V Using gem5 Simulator. SECRYPT Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	—	`conf`	Bypass Synchronization Primitives: GhostRace Attack and Mitigation on RISC-V. ComComAP Mahreen Khan, Maria Priscilla Lima Medeiros, Matheus Victor de Freitas Rodrigues, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille, Lirida Naviner
2025	C	`conf`	Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case. FDL Hagen Heermann, Johannes Koch, Christoph Grimm, Daniela Genius, Ludovic Apvrille, Ahlem Mifdaoui, Klaus Schneider
2025	C	`conf`	Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction. MODELSWARD Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes
2025	—	`conf`	Evaluating KASLR Break on RISC-V Using Gem5: Microarchitectural Side-Channel Analysis of Page-Table Walks. EICC Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	C	`conf`	Evict+Spec+Time on RISC-V: Gem5-Based Implementation and Microarchitectural Analysis. DSD Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	—	`conf`	Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems. MODELS-C Jawher Jerray, Bastien Sultan, Ludovic Apvrille
2025	—	`conf`	Opcode Analysis of Real Encryption-Based Microarchitectural Attacks Using gem5. ComComAP Muhammad Awais, Mahreen Khan, Maria Mushtaq, Lirida Naviner, Jawad Haj-Yahya, Florent Bruguier, Renaud Pacalet, Ludovic Apvrille
2025	C	`conf`	Side-Channel Attack Detection Using gem5 and Machine Learning: A Case Study on Fault-Based Attacks in RISC-V. IOLTS Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	Misc	`conf`	SpectreShield: Design and Analysis of Spectre Countermeasures on RISC-V Using gem5. CSR Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	J	`jnl`	TTool-AI: A Large Language Model-Based Assistant for Model Driven Engineering. SN Comput. Sci. Bastien Sultan, Ludovic Apvrille
2024	A	`conf`	AI-Driven Consistency of SysML Diagrams. MODELS Bastien Sultan, Ludovic Apvrille
2024	C	`conf`	Automated Attack Tree Generation Using Artificial Intelligence and Natural Language Processing. CRiSIS Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille
2024	C	`conf`	Cycle-Accurate Virtual Prototyping with Multiplicity. MODELSWARD Daniela Genius, Ludovic Apvrille
2024	—	`conf`	From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing. MoDELS (Companion) Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille
2024	J	`jnl`	Incremental and Formal Verification of SysML Models. SN Comput. Sci. Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes
2024	C	`conf`	System Architects Are not Alone Anymore: Automatic System Modeling with AI. MODELSWARD Ludovic Apvrille, Bastien Sultan
2023	—	`conf`	A Hierarchical Design Tool for SystemC AMS. MODELSWARD (Revised Selected Papers) Daniela Genius, Ludovic Apvrille
2023	J	`jnl`	Execution trace analysis for a precise understanding of latency violations. Softw. Syst. Model. Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert
2023	C	`conf`	Hierarchical Design of Cyber-Physical Systems. MODELSWARD Daniela Genius, Ludovic Apvrille
2023	C	`conf`	Integration of Heterogeneous Components for Co-Simulation. ICSOFT Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille
2023	B	`conf`	Introducing A Framework for Single-Human Tracking Using Event-Based Cameras. ICIP Dominik Eisl, Fabian Herzog, Jean-Luc Dugelay, Ludovic Apvrille, Gerhard Rigoll
2023	C	`conf`	Mutation of Formally Verified SysML Models. MODELSWARD Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert
2022	—	`conf`	Dependency Graphs to Boost the Verification of SysML Models. MODELSWARD (Revised Selected Papers) Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
2022	C	`conf`	Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. MODELSWARD Bastien Sultan, Ludovic Apvrille, Philippe Jaillon
2022	C	`conf`	SysML Models Verification Relying on Dependency Graphs. MODELSWARD Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
2022	—	`conf`	W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. MODELSWARD (Revised Selected Papers) Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
2021	J	`jnl`	Checking SysML Models Against Safety and Security Properties. J. Aerosp. Inf. Syst. Pierre de Saqui-Sannes, Ludovic Apvrille, Rob A. Vingerhoeds
2021	C	`conf`	Direct Model-checking of SysML Models. MODELSWARD Alessandro Tempia Calvino, Ludovic Apvrille
2021	A	`conf`	Execution Trace Analysis for a Precise Understanding of Latency Violations. MoDELS Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
2021	J	`jnl`	Handling causality and schedulability when designing and prototyping cyber-physical systems. Softw. Syst. Model. Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille
2021	C	`conf`	Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping. MODELSWARD Daniela Genius, Ludovic Apvrille
2021	J	`jnl`	Multi-resource scheduling for FPGA systems. Microprocess. Microsystems Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici
2020	—	`conf`	Combining STPA with SysML Modeling. SysCon Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille
2020	—	`conf`	Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures. ICC Bogdan Uscumlic, Andrea Enrici, Renaud Pacalet, Amna Gharbi, Ludovic Apvrille, Lionel Natarianni, Laurent Roullet
2020	C	`conf`	Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures. DSD Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici
2020	C	`conf`	Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms. DSD Amna Gharbi, Andrea Enrici, Bogdan Uscumlic, Ludovic Apvrille, Renaud Pacalet
2020	C	`conf`	High-level Partitioning and Design Space Exploration for Cyber Physical Systems. MODELSWARD Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin
2020	C	`conf`	Impact of Security Measures on Performance Aspects in SysML Models. MODELSWARD Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
2020	—	`conf`	Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices. MODELSWARD (Revised Selected Papers) Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin
2020	—	`conf`	SysML models: studying safety and security measures impact on performance using graph tainting. MoDELS (Companion) Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
2019	—	`conf`	A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems. MODELSWARD (Revised Selected Papers) Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux
2019	C	`conf`	A Language-Based Multi-View Approach for Combining Functional and Security Models. APSEC Hui Zhao, Frédéric Mallet, Ludovic Apvrille
2019	—	`conf`	A Model-Based Combination Language for Scheduling Verification. MODELSWARD (Revised Selected Papers) Hui Zhao, Ludovic Apvrille, Frédéric Mallet
2019	C	`conf`	A Tool for High-level Modeling of Analog/Mixed Signal Embedded Systems. MODELSWARD Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux
2019	C	`conf`	Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems. MODELSWARD Andrea Enrici, Ludovic Apvrille, Renaud Pacalet
2019	A	`conf`	Harmonizing Safety, Security and Performance Requirements in Embedded Systems. DATE Ludovic Apvrille, Letitia W. Li
2019	J	`jnl`	High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool. Microprocess. Microsystems Daniela Genius, Ludovic Apvrille, Letitia W. Li
2019	C	`conf`	Meta-models Combination for Reusing Verification Techniques. MODELSWARD Hui Zhao, Ludovic Apvrille, Frédéric Mallet
2019	—	`conf`	Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores. RAPIDO Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille
2019	—	`conf`	Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle. MECO Radek Fujdiak, Petr Blazek, Ludovic Apvrille, Zdenek Martinasek, Petr Mlynek, Renaud Pacalet, David Smekal, Pavel Mrnustik, Maros Barabas, Maysam Zoor
2019	C	`conf`	Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications. DSD Benjamin Dauphin, Renaud Pacalet, Andrea Enrici, Ludovic Apvrille
2019	—	`conf`	Optimizing System Architecture Cost and Security Countermeasures. GraMSec Sahar Berro, Ludovic Apvrille, Guillaume Duc
2019	—	`conf`	Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications. MODELSWARD (Revised Selected Papers) Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, Minh Hiep Pham
2019	C	`conf`	Test Sequence Generation From Formally Verified SysML Models. Software Engineering (Workshops) Pierre de Saqui-Sannes, Ludovic Apvrille
2018	C	`conf`	A Model Compilation Approach for Optimized Implementations of Signal-processing Systems. MODELSWARD Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, Adrien Canuel
2018	C	`conf`	Evolving Attacker Perspectives for Secure Embedded System Design. MODELSWARD Letitia W. Li, Florian Lugou, Ludovic Apvrille
2018	—	`conf`	Model-Based Programming for Multi-processor Platforms with TTool/DIPLODOCUS and OMC. MODELSWARD (Revised Selected Papers) Andrea Enrici, Julien Lallet, Renaud Pacalet, Ludovic Apvrille, Karol Desnos, Imran Latif
2018	C	`conf`	Multi-level Latency Evaluation with an MDE Approach. MODELSWARD Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi
2018	—	`conf`	SysML Model Transformation for Safety and Security Analysis. ISSA/CSITS@ESORICS Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille
2018	—	`conf`	System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform. ReCoSoC Daniela Genius, Ludovic Apvrille
2017	J	`jnl`	A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems. ACM Trans. Design Autom. Electr. Syst. Andrea Enrici, Ludovic Apvrille, Renaud Pacalet
2017	—	`conf`	Formal and Virtual Multi-level Design Space Exploration. MODELSWARD (Revised Selected Papers) Letitia W. Li, Daniela Genius, Ludovic Apvrille
2017	C	`conf`	Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design. MODELSWARD Daniela Genius, Letitia W. Li, Ludovic Apvrille
2017	J	`jnl`	SMASHUP: a toolchain for unified verification of hardware/software co-designs. J. Cryptogr. Eng. Florian Lugou, Ludovic Apvrille, Aurélien Francillon
2017	—	`conf`	Security Modeling for Embedded System Design. GraMSec Letitia W. Li, Florian Lugou, Ludovic Apvrille
2017	C	`conf`	Security-aware Modeling and Analysis for HW/SW Partitioning. MODELSWARD Letitia W. Li, Florian Lugou, Ludovic Apvrille
2017	—	`conf`	System-level design for communication-centric task farm applications. ReCoSoC Daniela Genius, Ludovic Apvrille
2016	C	`conf`	SysML Models and Model Transformation for Security. MODELSWARD Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa
2015	—	`conf`	Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. MODELSWARD (Revised Selected Papers) Ludovic Apvrille, Yves Roudier
2015	B	`conf`	Facial makeup detection technique based on texture and shape analysis. FG Neslihan Kose, Ludovic Apvrille, Jean-Luc Dugelay
2015	—	`conf`	Identifying Unknown Android Malware with Feature Extractions and Classification Techniques. TrustCom/BigDataSE/ISPA (1) Ludovic Apvrille, Axelle Apvrille
2015	J	`jnl`	SherlockDroid: a research assistant to spot unknown malware in Android marketplaces. J. Comput. Virol. Hacking Tech. Axelle Apvrille, Ludovic Apvrille
2015	C	`conf`	SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems. MODELSWARD Yves Roudier, Ludovic Apvrille
2015	—	`conf`	SysML-Sec Attack Graphs: Compact Representations for Complex Attacks. GraMSec Ludovic Apvrille, Yves Roudier
2014	A	`conf`	A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes. MoDELS Andrea Enrici, Ludovic Apvrille, Renaud Pacalet
2014	—	`conf`	Model the System from Adversary Viewpoint: Threats Identification and Modeling. AIDP Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille
2014	C	`conf`	Safety properties modelling. HSI Tullio J. Tanzi, Raoul Textoris, Ludovic Apvrille
2014	—	`conf`	Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems. GraMSec Ludovic Apvrille, Yves Roudier
2014	—	`conf`	UAVs for humanitarian missions: Autonomy and reliability. GHTC Tullio Tanzi, Ludovic Apvrille, Jean-Luc Dugelay, Yves Roudier
2013	—	`conf`	Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUS. EUROMICRO-SEAA Feriel Ben Abdallah, Ludovic Apvrille
2013	J	`jnl`	Formal system-level design space exploration. Concurr. Comput. Pract. Exp. Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
2013	—	`conf`	Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. SDL Forum Ludovic Apvrille, Pierre de Saqui-Sannes
2013	—	`conf`	Towards the model-driven engineering of security requirements for embedded systems. MoDRE Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille
2011	—	`conf`	A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. VTC Fall Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier
2011	—	`conf`	AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. NOTERE Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck
2011	—	`conf`	Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography. VTC Fall Hendrik Schweppe, Yves Roudier, Benjamin Weyl, Ludovic Apvrille, Dirk Scheuermann
2011	J	`jnl`	TEPE: a SysML language for time-constrained property modeling and formal verification. ACM SIGSOFT Softw. Eng. Notes Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes
2011	J	`jnl`	Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. Tech. Sci. Informatiques Ludovic Apvrille, Pierre de Saqui-Sannes
2010	—	`conf`	Formal System-level Design Space Exploration. NOTERE Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
2010	J	`jnl`	Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method. Stud. Inform. Univ. Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes
2009	—	`conf`	Fast Simulation Techniques for Design Space Exploration. TOOLS (47) Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
2009	C	`conf`	High-Level System Modeling for Rapid HW/SW Architecture Exploration. IEEE International Workshop on Rapid System Prototyping Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi, Patricia Le Moenner, Renaud Pacalet
2008	—	`conf`	Adding a methodological assistant to a protocol modeling environment. NOTERE Ludovic Apvrille, Pierre de Saqui-Sannes
2008	—	`conf`	Application Specific Processors for Multimedia Applications. CSE Muhammad Rashid, Ludovic Apvrille, Renaud Pacalet
2008	—	`conf`	Evaluation of ASIPs Design with LISATek. SAMOS Muhammad Rashid, Ludovic Apvrille, Renaud Pacalet
2008	—	`conf`	Synthèse d'observateurs à partir d'exigences temporelles. LMO Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille
2008	—	`conf`	TTool for DIPLODOCUS: an environment for design space exploration. NOTERE Ludovic Apvrille
2007	—	`conf`	Specifying Fractal and GCM Components with UML. SCCC Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu
2006	—	`conf`	A UML-based Environment for System Design Space Exploration. ICECS Ludovic Apvrille, Waseem Muhammad, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
2006	C	`conf`	Abstract Application Modeling for System Design Space Exploration. DSD Waseem Muhammad, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
2006	C	`conf`	Real-Time and Embedded System Verification Based on Formal Requirements. IES Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2006	J	`jnl`	TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Softw. Syst. Model. Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek
2006	J	`jnl`	Un environnement de conception de systèmes distribués basé sur UML. Ann. des Télécommunications Ludovic Apvrille, Pierre de Saqui-Sannes, Renaud Pacalet, Axelle Apvrille
2004	J	`jnl`	TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Trans. Software Eng. Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
2004	J	`jnl`	Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. Autom. Softw. Eng. Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
2003	—	`conf`	New Operators for the TURTLE Real-Time UML Profile. FMOODS Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2001	—	`conf`	A New UML Profile for Real-Time System Formal Design and Validation. UML Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
2000	C	`conf`	Implementing a User Level Multimedia Transport Protocol in Java. ISCC Ludovic Apvrille, Laurent Dairaine, Patrick Sénac, Luis Rojas-Cardenas, Michel Diaz