Ludovic Apvrille

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 54

Top Topics

Countermeasures

Design Space Exploration

Security Measures

Embedded Systems

Top Venues

MODELSWARD (Revised Selected Papers)

Publications

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