( en | de | ru )

 

Disambiguation of "Apvrille, Ludovic"

Author of the publication

copydeleteadd this publication to your clipboard
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.

, , and . Softw. Syst. Model., 5 (4): 449-466 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ludovic Magerand

Ludovic Hofer

Ludovic Devaux

Ludovic Durand

Ludovic Jacquin

 

Other publications of authors with the same name

Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications., , , and . MODELSWARD (Revised Selected Papers), volume 1161 of Communications in Computer and Information Science, page 101-126. Springer, (2019)Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications., , , and . DSD, page 88-95. IEEE, (2019)Towards the model-driven engineering of security requirements for embedded systems., , and . MoDRE, page 55-64. IEEE Computer Society, (2013)SysML models: studying safety and security measures impact on performance using graph tainting., , and . MoDELS (Companion), page 79:1-79:10. ACM, (2020)SysML Model Transformation for Safety and Security Analysis., , and . ISSA/CSITS@ESORICS, volume 11552 of Lecture Notes in Computer Science, page 35-49. Springer, (2018)Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms., , , , and . DSD, page 16-23. IEEE, (2020)A Tool for High-level Modeling of Analog/Mixed Signal Embedded Systems., , , and . MODELSWARD, page 433-440. SciTePress, (2019)System Architects Are not Alone Anymore: Automatic System Modeling with AI., and . MODELSWARD, page 27-38. SCITEPRESS, (2024)Safety properties modelling., , and . HSI, page 198-202. IEEE, (2014)Optimizing System Architecture Cost and Security Countermeasures., , and . GraMSec@CSF, volume 11720 of Lecture Notes in Computer Science, page 50-67. Springer, (2019)