Zobrazeno 1 - 10
of 159
pro vyhledávání: '"Apvrille, Ludovic"'
Autor:
Zoor, Maysam1 (AUTHOR), Apvrille, Ludovic1 (AUTHOR) ludovic.apvrille@telecom-paris.fr, Pacalet, Renaud1 (AUTHOR), Coudert, Sophie1 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Oct2023, Vol. 22 Issue 5, p1519-1541. 23p.
Publikováno v:
In Microprocessors and Microsystems November 2021 87
Publikováno v:
EPTCS 165, 2014, pp. 45-58
Security attacks are hard to understand, often expressed with unfriendly and limited details, making it difficult for security experts and for security analysts to create intelligible security specifications. For instance, to explain Why (attack obje
Externí odkaz:
http://arxiv.org/abs/1410.4305
Autor:
Apvrille, Ludovic, Roudier, Yves
Publikováno v:
EPTCS 148, 2014, pp. 15-30
We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development of an embedded system. A central issue in th
Externí odkaz:
http://arxiv.org/abs/1404.1985
Publikováno v:
In Microprocessors and Microsystems June 2019 67:117-130
Autor:
Tanzi, Tullio, Apvrille, Ludovic
Recent progress in modern technology can enhance the definition of disaster recovery management strategy. Rescue teams can rely on Autonomous Systems (A.S.) during recovery operations, dispatching to them various tasks. A.S. can reach locations that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::ec6853089fd724bc064a80c4235be1a9
https://hal.telecom-paris.fr/hal-03689438
https://hal.telecom-paris.fr/hal-03689438
Autor:
Apvrille, Ludovic, Saqui-Sannes, Pierre de, Hotescu, Oana Andreea, Tempia Calvino, Alessandro
Formal verification of SysML models contributes to detect design errors early in the life cycle of systems. Incremental modeling of systems leads to repeat verification of systems models parts that were already verified in previous versions of the Sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6c30c868b81093895ceb4b352664b289
https://oatao.univ-toulouse.fr/28537/
https://oatao.univ-toulouse.fr/28537/
Autor:
Jaillon, Philippe, Apvrille, Ludovic
Les systèmes cyber-physiques sont des systèmes critiques qui sont capable d’interagir avec leur environnement par le biais de capteurs et d’actionneurs. Ces éléments étant contrôlés par des logiciels, une cyber-attaque qui les toucherait a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::605cd3432400328f32b0f93f08357aef
https://hal-emse.ccsd.cnrs.fr/emse-03624165
https://hal-emse.ccsd.cnrs.fr/emse-03624165
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Genius, Daniela, Apvrille, Ludovic
International audience; Model-driven approaches for designing software and hardware parts of embedded systems are generally limited to their digital parts. On the other hand, virtual prototyping and co-simulation have emerged as a promising research
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0969d055fe681a20bde5d80915c32735
https://hal.sorbonne-universite.fr/hal-02981751
https://hal.sorbonne-universite.fr/hal-02981751