![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ludovic Apvrille
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes:
Incremental and Formal Verification of SysML Models. SN Comput. Sci. 5(6): 714 (2024) - [c77]Ludovic Apvrille, Bastien Sultan:
System Architects Are not Alone Anymore: Automatic System Modeling with AI. MODELSWARD 2024: 27-38 - [c76]Daniela Genius, Ludovic Apvrille:
Cycle-Accurate Virtual Prototyping with Multiplicity. MODELSWARD 2024: 187-194 - 2023
- [j16]Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert:
Execution trace analysis for a precise understanding of latency violations. Softw. Syst. Model. 22(5): 1519-1541 (2023) - [c75]Dominik Eisl, Fabian Herzog, Jean-Luc Dugelay, Ludovic Apvrille, Gerhard Rigoll:
Introducing A Framework for Single-Human Tracking Using Event-Based Cameras. ICIP 2023: 3269-3273 - [c74]Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille:
Integration of Heterogeneous Components for Co-Simulation. ICSOFT 2023: 637-644 - [c73]Ludovic Apvrille, Bastien Sultan
, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert:
Mutation of Formally Verified SysML Models. MODELSWARD 2023: 31-42 - [c72]Daniela Genius, Ludovic Apvrille:
Hierarchical Design of Cyber-Physical Systems. MODELSWARD 2023: 117-124 - 2022
- [c71]Bastien Sultan
, Ludovic Apvrille, Philippe Jaillon:
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. MODELSWARD 2022: 48-60 - [c70]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: 109-134 - [c69]Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino:
SysML Models Verification Relying on Dependency Graphs. MODELSWARD 2022: 174-181 - [c68]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: 203-229 - 2021
- [j15]Pierre de Saqui-Sannes
, Ludovic Apvrille, Rob A. Vingerhoeds:
Checking SysML Models Against Safety and Security Properties. J. Aerosp. Inf. Syst. 18(12): 906-918 (2021) - [j14]Matteo Bertolino, Renaud Pacalet
, Ludovic Apvrille
, Andrea Enrici
:
Multi-resource scheduling for FPGA systems. Microprocess. Microsystems 87: 104373 (2021) - [j13]Rodrigo Cortés Porto, Daniela Genius
, Ludovic Apvrille:
Handling causality and schedulability when designing and prototyping cyber-physical systems. Softw. Syst. Model. 20(3): 667-683 (2021) - [c67]Maysam Zoor, Ludovic Apvrille, Renaud Pacalet:
Execution Trace Analysis for a Precise Understanding of Latency Violations. MoDELS 2021: 123-133 - [c66]Alessandro Tempia Calvino, Ludovic Apvrille:
Direct Model-checking of SysML Models. MODELSWARD 2021: 216-223 - [c65]Daniela Genius, Ludovic Apvrille:
Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping. MODELSWARD 2021: 224-231 - 2020
- [c64]Amna Gharbi, Andrea Enrici, Bogdan Uscumlic, Ludovic Apvrille, Renaud Pacalet:
Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms. DSD 2020: 16-23 - [c63]Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici:
Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures. DSD 2020: 57-64 - [c62]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: 1-7 - [c61]Maysam Zoor, Ludovic Apvrille, Renaud Pacalet:
SysML models: studying safety and security measures impact on performance using graph tainting. MoDELS (Companion) 2020: 79:1-79:10 - [c60]Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin:
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices. MODELSWARD (Revised Selected Papers) 2020: 74-96 - [c59]Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin:
High-level Partitioning and Design Space Exploration for Cyber Physical Systems. MODELSWARD 2020: 84-91 - [c58]Maysam Zoor, Ludovic Apvrille, Renaud Pacalet:
Impact of Security Measures on Performance Aspects in SysML Models. MODELSWARD 2020: 373-380 - [c57]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: 1-8
2010 – 2019
- 2019
- [j12]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: 117-130 (2019) - [c56]Hui Zhao, Frédéric Mallet
, Ludovic Apvrille:
A Language-Based Multi-View Approach for Combining Functional and Security Models. APSEC 2019: 426-433 - [c55]Ludovic Apvrille, Letitia W. Li:
Harmonizing Safety, Security and Performance Requirements in Embedded Systems. DATE 2019: 1631-1636 - [c54]Benjamin Dauphin, Renaud Pacalet, Andrea Enrici, Ludovic Apvrille:
Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications. DSD 2019: 88-95 - [c53]Sahar Berro
, Ludovic Apvrille
, Guillaume Duc
:
Optimizing System Architecture Cost and Security Countermeasures. GraMSec@CSF 2019: 50-67 - [c52]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: 1-6 - [c51]Hui Zhao, Ludovic Apvrille, Frédéric Mallet
:
A Model-Based Combination Language for Scheduling Verification. MODELSWARD (Revised Selected Papers) 2019: 27-49 - [c50]Hui Zhao, Ludovic Apvrille, Frédéric Mallet
:
Meta-models Combination for Reusing Verification Techniques. MODELSWARD 2019: 37-48 - [c49]Andrea Enrici, Ludovic Apvrille, Renaud Pacalet:
Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems. MODELSWARD 2019: 84-95 - [c48]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: 101-126 - [c47]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: 201-224 - [c46]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: 433-440 - [c45]Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille:
Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores. RAPIDO 2019: 4:1-4:7 - [c44]Pierre de Saqui-Sannes, Ludovic Apvrille:
Test Sequence Generation From Formally Verified SysML Models. Software Engineering (Workshops) 2019: 67-74 - 2018
- [c43]Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille:
SysML Model Transformation for Safety and Security Analysis. ISSA/CSITS@ESORICS 2018: 35-49 - [c42]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: 25-35 - [c41]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: 56-81 - [c40]Letitia W. Li, Florian Lugou, Ludovic Apvrille:
Evolving Attacker Perspectives for Secure Embedded System Design. MODELSWARD 2018: 287-294 - [c39]Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi:
Multi-level Latency Evaluation with an MDE Approach. MODELSWARD 2018: 295-302 - [c38]Daniela Genius, Ludovic Apvrille:
System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform. ReCoSoC 2018: 1-8 - 2017
- [j11]Florian Lugou, Ludovic Apvrille, Aurélien Francillon
:
SMASHUP: a toolchain for unified verification of hardware/software co-designs. J. Cryptogr. Eng. 7(1): 63-74 (2017) - [j10]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): 34:1-34:25 (2017) - [c37]Letitia W. Li, Florian Lugou, Ludovic Apvrille:
Security Modeling for Embedded System Design. GraMSec@CSF 2017: 99-106 - [c36]Letitia W. Li, Daniela Genius, Ludovic Apvrille:
Formal and Virtual Multi-level Design Space Exploration. MODELSWARD (Revised Selected Papers) 2017: 47-71 - [c35]Daniela Genius, Letitia W. Li, Ludovic Apvrille:
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design. MODELSWARD 2017: 78-89 - [c34]Letitia W. Li, Florian Lugou, Ludovic Apvrille:
Security-aware Modeling and Analysis for HW/SW Partitioning. MODELSWARD 2017: 302-311 - [c33]Daniela Genius, Ludovic Apvrille:
System-level design for communication-centric task farm applications. ReCoSoC 2017: 1-8 - 2016
- [c32]Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa:
SysML Models and Model Transformation for Security. MODELSWARD 2016: 331-338 - 2015
- [j9]Axelle Apvrille, Ludovic Apvrille:
SherlockDroid: a research assistant to spot unknown malware in Android marketplaces. J. Comput. Virol. Hacking Tech. 11(4): 235-245 (2015) - [c31]Ludovic Apvrille, Yves Roudier:
SysML-Sec Attack Graphs: Compact Representations for Complex Attacks. GraMSec@CSF 2015: 35-49 - [c30]Neslihan Kose, Ludovic Apvrille, Jean-Luc Dugelay
:
Facial makeup detection technique based on texture and shape analysis. FG 2015: 1-7 - [c29]Ludovic Apvrille, Yves Roudier:
Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. MODELSWARD (Revised Selected Papers) 2015: 293-308 - [c28]Yves Roudier, Ludovic Apvrille:
SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems. MODELSWARD 2015: 655-664 - [c27]Ludovic Apvrille, Axelle Apvrille:
Identifying Unknown Android Malware with Feature Extractions and Classification Techniques. TrustCom/BigDataSE/ISPA (1) 2015: 182-189 - 2014
- [c26]Tullio Tanzi, Ludovic Apvrille, Jean-Luc Dugelay
, Yves Roudier:
UAVs for humanitarian missions: Autonomy and reliability. GHTC 2014: 271-278 - [c25]Tullio J. Tanzi, Raoul Textoris, Ludovic Apvrille:
Safety properties modelling. HSI 2014: 198-202 - [c24]Andrea Enrici, Ludovic Apvrille, Renaud Pacalet:
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes. MoDELS 2014: 370-385 - [c23]Ludovic Apvrille, Yves Roudier:
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems. GraMSec 2014: 15-30 - [c22]Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille:
Model the System from Adversary Viewpoint: Threats Identification and Modeling. AIDP 2014: 45-58 - 2013
- [j8]Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet:
Formal system-level design space exploration. Concurr. Comput. Pract. Exp. 25(2): 250-264 (2013) - [c21]Feriel Ben Abdallah, Ludovic Apvrille:
Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUS. EUROMICRO-SEAA 2013: 138-144 - [c20]Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille:
Towards the model-driven engineering of security requirements for embedded systems. MoDRE 2013: 55-64 - [c19]Ludovic Apvrille, Pierre de Saqui-Sannes
:
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. SDL Forum 2013: 91-106 - 2011
- [j7]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): 1-8 (2011) - [j6]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): 309-337 (2011) - [c18]Gabriel Pedroza
, Ludovic Apvrille, Daniel Knorreck:
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. NOTERE 2011: 1-10 - [c17]Gabriel Pedroza
, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier:
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. VTC Fall 2011: 1-5 - [c16]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: 1-5 - 2010
- [j5]Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes:
Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method. Stud. Inform. Univ. 8(3): 47-69 (2010) - [c15]Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet:
Formal System-level Design Space Exploration. NOTERE 2010: 1-8
2000 – 2009
- 2009
- [c14]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: 88-94 - [c13]Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet:
Fast Simulation Techniques for Design Space Exploration. TOOLS (47) 2009: 308-327 - 2008
- [c12]Muhammad Rashid
, Ludovic Apvrille, Renaud Pacalet:
Application Specific Processors for Multimedia Applications. CSE 2008: 109-116 - [c11]Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille:
Synthèse d'observateurs à partir d'exigences temporelles. LMO 2008: 185-203 - [c10]Ludovic Apvrille, Pierre de Saqui-Sannes
:
Adding a methodological assistant to a protocol modeling environment. NOTERE 2008: 12:1-12:12 - [c9]Ludovic Apvrille:
TTool for DIPLODOCUS: an environment for design space exploration. NOTERE 2008: 28:1-28:4 - [c8]Muhammad Rashid
, Ludovic Apvrille, Renaud Pacalet:
Evaluation of ASIPs Design with LISATek. SAMOS 2008: 177-186 - 2007
- [c7]Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu:
Specifying Fractal and GCM Components with UML. SCCC 2007: 53-62 - 2006
- [j4]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): 1347-1368 (2006) - [j3]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): 449-466 (2006) - [c6]Muhammad Waseem
, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet:
Abstract Application Modeling for System Design Space Exploration. DSD 2006: 331-337 - [c5]Ludovic Apvrille, Muhammad Waseem
, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet:
A UML-based Environment for System Design Space Exploration. ICECS 2006: 1272-1275 - [c4]Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes
, Jean-Pierre Courtiat:
Real-Time and Embedded System Verification Based on Formal Requirements. IES 2006: 1-10 - 2004
- [j2]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): 167-191 (2004) - [j1]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): 473-487 (2004) - 2003
- [c3]Christophe Lohr
, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
New Operators for the TURTLE Real-Time UML Profile. FMOODS 2003: 214-228 - 2001
- [c2]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: 287-301 - 2000
- [c1]Ludovic Apvrille, Laurent Dairaine, Patrick Sénac, Luis Rojas-Cardenas, Michel Diaz:
Implementing a User Level Multimedia Transport Protocol in Java. ISCC 2000: 410-416
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint