Ludovic Apvrille

According to our database, Ludovic Apvrille authored at least 96 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Incremental and Formal Verification of SysML Models.

Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes

SN Comput. Sci., August, 2024

Cycle-Accurate Virtual Prototyping with Multiplicity.

Daniela Genius, Ludovic Apvrille

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

System Architects Are not Alone Anymore: Automatic System Modeling with AI.

Ludovic Apvrille, Bastien Sultan

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

AI-Driven Consistency of SysML Diagrams.

Bastien Sultan, Ludovic Apvrille

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing.

Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

Execution trace analysis for a precise understanding of latency violations.

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert

Softw. Syst. Model., October, 2023

A Hierarchical Design Tool for SystemC AMS.

Daniela Genius, Ludovic Apvrille

Proceedings of the Model-Driven Engineering and Software Development, 2023

Hierarchical Design of Cyber-Physical Systems.

Daniela Genius, Ludovic Apvrille

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Mutation of Formally Verified SysML Models.

Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Integration of Heterogeneous Components for Co-Simulation.

Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille

Proceedings of the 18th International Conference on Software Technologies, 2023

Introducing A Framework for Single-Human Tracking Using Event-Based Cameras.

Dominik Eisl, Fabian Herzog, Jean-Luc Dugelay, Ludovic Apvrille, Gerhard Rigoll

Proceedings of the IEEE International Conference on Image Processing, 2023

2022

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert

Proceedings of the Model-Driven Engineering and Software Development, 2022

Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec.

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Dependency Graphs to Boost the Verification of SysML Models.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the Model-Driven Engineering and Software Development, 2022

SysML Models Verification Relying on Dependency Graphs.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Checking SysML Models Against Safety and Security Properties.

Pierre de Saqui-Sannes, Ludovic Apvrille, Rob A. Vingerhoeds

J. Aerosp. Inf. Syst., December, 2021

Multi-resource scheduling for FPGA systems.

Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici

Microprocess. Microsystems, November, 2021

Handling causality and schedulability when designing and prototyping cyber-physical systems.

Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille

Softw. Syst. Model., 2021

Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping.

Daniela Genius, Ludovic Apvrille

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Direct Model-checking of SysML Models.

Alessandro Tempia Calvino, Ludovic Apvrille

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Execution Trace Analysis for a Precise Understanding of Latency Violations.

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

Combining STPA with SysML Modeling.

Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille

Proceedings of the IEEE International Systems Conference, 2020

Impact of Security Measures on Performance Aspects in SysML Models.

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices.

Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin

Proceedings of the Model-Driven Engineering and Software Development, 2020

High-level Partitioning and Design Space Exploration for Cyber Physical Systems.

Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

SysML models: studying safety and security measures impact on performance using graph tainting.

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures.

Bogdan Uscumlic, Andrea Enrici, Renaud Pacalet, Amna Gharbi, Ludovic Apvrille, Lionel Natarianni, Laurent Roullet

Proceedings of the 2020 IEEE International Conference on Communications, 2020

Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms.

Amna Gharbi, Andrea Enrici, Bogdan Uscumlic, Ludovic Apvrille, Renaud Pacalet

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures.

Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool.

Daniela Genius, Ludovic Apvrille, Letitia W. Li

Microprocess. Microsystems, 2019

Test Sequence Generation From Formally Verified SysML Models.

Pierre de Saqui-Sannes, Ludovic Apvrille

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores.

Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille

Proceedings of the Rapid Simulation and Performance Evaluation: Methods and Tools, 2019

A Model-Based Combination Language for Scheduling Verification.

Hui Zhao, Ludovic Apvrille, Frédéric Mallet

Proceedings of the Model-Driven Engineering and Software Development, 2019

Meta-models Combination for Reusing Verification Techniques.

Hui Zhao, Ludovic Apvrille, Frédéric Mallet

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems.

Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux

Proceedings of the Model-Driven Engineering and Software Development, 2019

A Tool for High-level Modeling of Analog/Mixed Signal Embedded Systems.

Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications.

Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, Minh Hiep Pham

Proceedings of the Model-Driven Engineering and Software Development, 2019

Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems.

Andrea Enrici, Ludovic Apvrille, Renaud Pacalet

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle.

Radek Fujdiak, Petr Blazek, Ludovic Apvrille, Zdenek Martinasek, Petr Mlynek, Renaud Pacalet, David Smekal, Pavel Mrnustik, Maros Barabas, Maysam Zoor

Proceedings of the 8th Mediterranean Conference on Embedded Computing, 2019

Optimizing System Architecture Cost and Security Countermeasures.

Sahar Berro, Ludovic Apvrille, Guillaume Duc

Proceedings of the Graphical Models for Security - 6th International Workshop, 2019

Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications.

Benjamin Dauphin, Renaud Pacalet, Andrea Enrici, Ludovic Apvrille

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Harmonizing Safety, Security and Performance Requirements in Embedded Systems.

Ludovic Apvrille, Letitia W. Li

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

A Language-Based Multi-View Approach for Combining Functional and Security Models.

Hui Zhao, Frédéric Mallet, Ludovic Apvrille

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform.

Daniela Genius, Ludovic Apvrille

Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2018

Evolving Attacker Perspectives for Secure Embedded System Design.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Multi-level Latency Evaluation with an MDE Approach.

Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Model-Based Programming for Multi-processor Platforms with TTool/DIPLODOCUS and OMC.

Andrea Enrici, Julien Lallet, Renaud Pacalet, Ludovic Apvrille, Karol Desnos, Imran Latif

Proceedings of the Model-Driven Engineering and Software Development, 2018

A Model Compilation Approach for Optimized Implementations of Signal-processing Systems.

Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, Adrien Canuel

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

SysML Model Transformation for Safety and Security Analysis.

Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille

Proceedings of the Security and Safety Interplay of Intelligent Software Systems, 2018

2017

A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems.

Andrea Enrici, Ludovic Apvrille, Renaud Pacalet

ACM Trans. Design Autom. Electr. Syst., 2017

SMASHUP: a toolchain for unified verification of hardware/software co-designs.

Florian Lugou, Ludovic Apvrille, Aurélien Francillon

J. Cryptogr. Eng., 2017

System-level design for communication-centric task farm applications.

Daniela Genius, Ludovic Apvrille

Proceedings of the 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2017

Security-aware Modeling and Analysis for HW/SW Partitioning.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Formal and Virtual Multi-level Design Space Exploration.

Letitia W. Li, Daniela Genius, Ludovic Apvrille

Proceedings of the Model-Driven Engineering and Software Development, 2017

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design.

Daniela Genius, Letitia W. Li, Ludovic Apvrille

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Security Modeling for Embedded System Design.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

2016

SysML Models and Model Transformation for Security.

Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa

Proceedings of the MODELSWARD 2016, 2016

2015

SherlockDroid: a research assistant to spot unknown malware in Android marketplaces.

Axelle Apvrille, Ludovic Apvrille

J. Comput. Virol. Hacking Tech., 2015

Identifying Unknown Android Malware with Feature Extractions and Classification Techniques.

Ludovic Apvrille, Axelle Apvrille

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems.

Yves Roudier, Ludovic Apvrille

Proceedings of the MODELSWARD 2015, 2015

Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec.

Ludovic Apvrille, Yves Roudier

Proceedings of the Model-Driven Engineering and Software Development, 2015

Facial makeup detection technique based on texture and shape analysis.

Neslihan Kose, Ludovic Apvrille, Jean-Luc Dugelay

Proceedings of the 11th IEEE International Conference and Workshops on Automatic Face and Gesture Recognition, 2015

SysML-Sec Attack Graphs: Compact Representations for Complex Attacks.

Ludovic Apvrille, Yves Roudier

Proceedings of the Graphical Models for Security - Second International Workshop, 2015

2014

Model the System from Adversary Viewpoint: Threats Identification and Modeling.

Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille

Proceedings of the Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention, 2014

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems.

Ludovic Apvrille, Yves Roudier

Proceedings of the Proceedings First International Workshop on Graphical Models for Security, 2014

A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes.

Andrea Enrici, Ludovic Apvrille, Renaud Pacalet

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Safety properties modelling.

Tullio J. Tanzi, Raoul Textoris, Ludovic Apvrille

Proceedings of the 7th International Conference on Human System Interactions, 2014

UAVs for humanitarian missions: Autonomy and reliability.

Tullio Tanzi, Ludovic Apvrille, Jean-Luc Dugelay, Yves Roudier

Proceedings of the IEEE Global Humanitarian Technology Conference, 2014

2013

Formal system-level design space exploration.

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet

Concurr. Comput. Pract. Exp., 2013

Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.

Ludovic Apvrille, Pierre de Saqui-Sannes

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

Towards the model-driven engineering of security requirements for embedded systems.

Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille

Proceedings of the International Workshop on Model-Driven Requirements Engineering, 2013

Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUS.

Feriel Ben Abdallah, Ludovic Apvrille

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2011

Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons.

Ludovic Apvrille, Pierre de Saqui-Sannes

Tech. Sci. Informatiques, 2011

TEPE: a SysML language for time-constrained property modeling and formal verification.

Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes

ACM SIGSOFT Softw. Eng. Notes, 2011

Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography.

Hendrik Schweppe, Yves Roudier, Benjamin Weyl, Ludovic Apvrille, Dirk Scheuermann

Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

A Formal Methodology Applied to Secure Over-the-Air Automotive Applications.

Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier

Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.

Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

2010

Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method.

Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes

Stud. Inform. Univ., 2010

2009

Fast Simulation Techniques for Design Space Exploration.

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

High-Level System Modeling for Rapid HW/SW Architecture Exploration.

Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi, Patricia Le Moenner, Renaud Pacalet

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

2008

Evaluation of ASIPs Design with LISATek.

Muhammad Rashid, Ludovic Apvrille, Renaud Pacalet

Proceedings of the Embedded Computer Systems: Architectures, 2008

Adding a methodological assistant to a protocol modeling environment.

Ludovic Apvrille, Pierre de Saqui-Sannes

Proceedings of the 8th international conference on New technologies in distributed systems, 2008

TTool for DIPLODOCUS: an environment for design space exploration.

Ludovic Apvrille

Proceedings of the 8th international conference on New technologies in distributed systems, 2008

Synthèse d'observateurs à partir d'exigences temporelles.

Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille

Proceedings of the Langages et Modèles à Objets, 2008

Application Specific Processors for Multimedia Applications.

Muhammad Rashid, Ludovic Apvrille, Renaud Pacalet

Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, 2008

2007

Specifying Fractal and GCM Components with UML.

Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

2006

TURTLE-P: a UML profile for the formal validation of critical and distributed systems.

Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek

Softw. Syst. Model., 2006

Un environnement de conception de systèmes distribués basé sur UML.

Ludovic Apvrille, Pierre de Saqui-Sannes, Renaud Pacalet, Axelle Apvrille

Ann. des Télécommunications, 2006

Real-Time and Embedded System Verification Based on Formal Requirements.

Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

A UML-based Environment for System Design Space Exploration.

Ludovic Apvrille, Muhammad Waseem, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet

Proceedings of the 13th IEEE International Conference on Electronics, 2006

Abstract Application Modeling for System Design Space Exploration.

Muhammad Waseem, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet

Proceedings of the Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August, 2006

2004

TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.

Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes

IEEE Trans. Software Eng., 2004

Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System.

Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr

Autom. Softw. Eng., 2004

2003

New Operators for the TURTLE Real-Time UML Profile.

Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2001

A New UML Profile for Real-Time System Formal Design and Validation.

Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat

Proceedings of the «UML» 2001, 2001

2000

Implementing a User Level Multimedia Transport Protocol in Java.

Ludovic Apvrille, Laurent Dairaine, Patrick Sénac, Luis Rojas-Cardenas, Michel Diaz

Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000