Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sultan, Bastien
41  Ergebnisse:
Personensuche X
?
1

Incremental and Formal Verification of SysML Models:

Coudert, Sophie ; Apvrille, Ludovic ; Sultan, Bastien..
SN Computer Science.  5 (2024)  6 - p. , 2024
Link: https://doi.org/10.1007/..
 
?
2

W-Sec: A Model-Based Formal Method for Assessing the Impact..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,
Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe. - p. 203-229 , 2023
Link: https://doi.org/10.1007/..
 
?
3

AMULET: a Mutation Language Enabling Automatic Enrichment o..:

Sultan, Bastien ; Frénot, Léon ; Apvrille, Ludovic..
ACM Transactions on Embedded Computing Systems.  , 2023
Link: https://doi.org/10.1145/..
 
?
4

System Architects Are not Alone Anymore: Automatic System M..:

Apvrille, Ludovic ; Sultan, Bastien
info:eu-repo/semantics/altIdentifier/doi/10.5220/0012320100003645.  , 2024
Link: https://telecom-paris.ha..
 
?
5

W-Sec: a Model-Based Formal Method for Assessing the Impact..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38821-7_10.  , 2023
Link: https://telecom-paris.ha..
 
?
6

Mutation of Formally Verified SysML Models ; Mutation de mo..:

Apvrille, Ludovic ; Sultan, Bastien ; Hotescu, Oana..
hal-04002298.  , 2023
Link: https://telecom-paris.ha..
 
?
7

W-Sec: a Model-Based Formal Method for Assessing the Impact..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38821-7_10.  , 2023
Link: https://telecom-paris.ha..
 
?
8

W-Sec: a Model-Based Formal Method for Assessing the Impact..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38821-7_10.  , 2023
Link: https://telecom-paris.ha..
 
?
9

Mutation of Formally Verified SysML Models ; Mutation de mo..:

Apvrille, Ludovic ; Sultan, Bastien ; Hotescu, Oana..
hal-04002298.  , 2023
Link: https://telecom-paris.ha..
 
?
10

Mutation of Formally Verified SysML Models:

Apvrille, Ludovic ; Sultan, Bastien ; Hotescu, Oana Andreea..
https://oatao.univ-toulouse.fr/29316/1/Apvrille_29316.pdf.  , 2023
Link: https://oatao.univ-toulo..
 
?
11

W-Sec: a Model-Based Formal Method for Assessing the Impact..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38821-7_10.  , 2023
Link: https://telecom-paris.ha..
 
?
12

Safety, Security and Performance Assessment of Security Cou..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe
emse-03559558.  , 2022
Link: https://hal-emse.ccsd.cn..
 
?
13

Safety, Security and Performance Assessment of Security Cou..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe
info:eu-repo/semantics/altIdentifier/doi/10.5220/0010832300003119.  , 2022
Link: https://telecom-paris.ha..
 
?
14

Safety, Security and Performance Assessment of Security Cou..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe
info:eu-repo/semantics/altIdentifier/doi/10.5220/0010832300003119.  , 2022
Link: https://telecom-paris.ha..
 
?
15

Safety, Security and Performance Assessment of Security Cou..:

Sultan, Bastien ; Apvrille, Ludovic ; Jaillon, Philippe
info:eu-repo/semantics/altIdentifier/doi/10.5220/0010832300003119.  , 2022
Link: https://telecom-paris.ha..
 
1-15