E-LIB Suche - Ergebnisse für: de Saqui-Sannes, Pierre - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Safety-oriented dynamic procedure modeling:

, In: 2024 IEEE International Systems Conference (SysCon),

Mathou, Charles ; Delmas, Kevin ; de Saqui-Sannes, Pierre. - p. 1-8 , 2024

Link: https://doi.org/10.1109/..

2

UAS Procedures Model with System Architecture for Safety An..:

, In: 2024 International Conference on Unmanned Aircraft Systems (ICUAS),

Mathou, Charles ; Delmas, Kevin ; De Saqui-Sannes, Pierre. - p. 873-880 , 2024

Link: https://doi.org/10.1109/..

3

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/..

4

Dependency Graphs to Boost the Verification of SysML Models:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,

Apvrille, Ludovic ; de Saqui-Sannes, Pierre ; Hotescu, Oana. - p. 109-134 , 2023

Link: https://doi.org/10.1007/..

5

Modeling UAS Flight Procedures for SORA Safety Objectives:

, In: 2023 IEEE International Systems Conference (SysCon),

Mathou, Charles ; Delmas, Kevin ; Chaudemar, Jean-Charles. - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

6

A Taxonomy of MBSE Approaches by Languages, Tools and Metho..:

De Saqui-Sannes, Pierre ; Vingerhoeds, Rob A. ; Garion, Christophe.
IEEE Access. 10 (2022) - p. 120936-120950 , 2022

Link: https://doi.org/10.1109/..

7

Modeling Inclusive Systems in SysML:

, In: 2022 IEEE International Symposium on Systems Engineering (ISSE),

Cietto, Maisa ; Damouche, Nasrine ; De Saqui-Sannes, Pierre... - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

8

Mind Maps Upstream SysML v2 Diagrams:

, In: 2022 IEEE International Systems Conference (SysCon),

Saqui-Sannes, Pierre de ; Vingerhoeds, Rob A. ; Damouche, Nasrine... - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

9

A hybrid approach of machine learning and expert knowledge ..:

Manikar, Sagar Shenoy ; Jézégou, Joël ; Saqui-Sannes, Pierre de..
IOP Conference Series: Materials Science and Engineering. 1226 (2022) 1 - p. 012046 , 2022

Link: https://doi.org/10.1088/..

10

Checking SysML Models Against Safety and Security Propertie:

de Saqui-Sannes, Pierre ; Apvrille, Ludovic ; Vingerhoeds, Rob
Journal of Aerospace Information Systems. 18 (2021) 12 - p. 906-918 , 2021

Link: https://doi.org/10.2514/..

11

A Methodological Assistant for UML and SysML Use Case Diagr..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,

Aquino, Erika Rizzo ; de Saqui-Sannes, Pierre ; Vingerhoeds, Rob A. - p. 298-322 , 2021

Link: https://doi.org/10.1007/..

12

Combining STPA with SysML Modeling:

, In: 2020 IEEE International Systems Conference (SysCon),

de Souza, Fellipe Guilherme Rey ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki.. - p. 1-8 , 2020

Link: https://doi.org/10.1109/..

13

Trade-off analysis for SysML models using decision points a..:

Leserf, Patrick ; de Saqui-Sannes, Pierre ; Hugues, Jérôme
Software and Systems Modeling. 18 (2019) 6 - p. 3265-3281 , 2019

Link: https://doi.org/10.1007/..

14

A SysML Method with Network Dimensioning:

, In: 2019 International Symposium on Systems Engineering (ISSE),

Daigmorte, Hugo ; Saqui-Sannes, Pierre de ; Vingerhoeds, Rob - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

15

TEPE : a SysML language for time-constrained property mo..:

Knorreck, Daniel ; Apvrille, Ludovic ; de Saqui-Sannes, Pierre
ACM SIGSOFT Software Engineering Notes. 36 (2011) 1 - p. 1-8 , 2011

Link: https://dl.acm.org/doi/1..

1-15