Seguir
Pierre de Saqui-Sannes
Pierre de Saqui-Sannes
ISAE-SUPAERO
E-mail confirmado em isae-supaero.fr - Página inicial
Título
Citado por
Citado por
Ano
TURTLE: A real-time UML profile supported by a formal validation toolkit
L Apvrille, JP Courtiat, C Lohr, P de Saqui-Sannes
IEEE transactions on Software Engineering 30 (7), 473-487, 2004
2032004
Modeling logical and temporal synchronization in hypermedia systems
P Sénac, M Diaz, A Leger, P de Saqui-Sannes
IEEE journal on selected areas in communications 14 (1), 84-103, 1996
1761996
TEPE: a SysML language for time-constrained property modeling and formal verification
D Knorreck, L Apvrille, P de Saqui-Sannes
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
852011
Hierarchical time stream petri net: A model for hypermedia systems
P Sénac, P de Saqui-Sannes, R Willrich
Application and Theory of Petri Nets 1995: 16th International Conference …, 1995
751995
Toward a formal specification of multimedia synchronization scenarios
P Sénac, M Diaz, P Saqui-Sannes
Annals of telecommunications 49 (5), 297-314, 1994
681994
A new UML profile for real-time system formal design and validation
L Apvrille, P de Saqui-Sannes, C Lohr, P Sénac, JP Courtiat
International Conference on the Unified Modeling Language, 287-301, 2001
422001
Trade-off analysis for SysML models using decision points and CSPs
P Leserf, P de Saqui-Sannes, J Hugues
Software and Systems Modeling 18, 3265-3281, 2019
342019
An educational case study of using sysml and ttool for unmanned aerial vehicles design
L Apvrille, P de Saqui-Sannes, R Vingerhoeds
IEEE Journal on Miniaturization for Air and Space Systems 1 (2), 117-129, 2020
322020
General architecture for data analysis in industry 4.0 using SysML and model based system engineering
M Arantes, R Bonnard, AP Mattei, P de Saqui-Sannes
2018 annual IEEE international systems conference (SysCon), 1-6, 2018
292018
ESTIM: an integrated environment for the simulation and verification of OSI protocols specified in Estelle
JP Courtiat, P de Saqui-Sannes
Computer Networks and ISDN Systems 25 (1), 83-98, 1992
291992
A taxonomy of MBSE approaches by languages, tools and methods
P De Saqui-Sannes, RA Vingerhoeds, C Garion, X Thirioux
IEEE Access 10, 120936-120950, 2022
262022
TURTLE-P: a UML profile for the formal validation of critical and distributed systems
L Apvrille, P de Saqui-Sannes, F Khendek
Software & Systems Modeling 5, 449-466, 2006
242006
Multimedia authoring with hierarchical timed stream petri nets and java
R Willrich, P De Saqui-Sannes, P Sénac, M Diaz
Multimedia Tools and Applications 16, 7-27, 2002
242002
Combining SysML and AADL for the design, validation and implementation of critical systems
P de Saqui-Sannes, J Hugues
ERTS2 2012, 117, 2012
232012
Hypermedia Document Design Using the HTSPN Model.
R Willrich, P de Saqui-Sannes, P Sénac, M Diaz
MMM, 151-166, 1996
231996
Mbse and mdao for early validation of design decisions: a bibliography survey
JC Chaudemar, P de Saqui-Sannes
2021 IEEE International Systems Conference (SysCon), 1-8, 2021
222021
Combining STPA with SysML modeling
FGR de Souza, J de Melo Bezerra, CM Hirata, P de Saqui-Sannes, ...
2020 IEEE International Systems Conference (SysCon), 1-8, 2020
222020
From the simulation to the verification of Estelle specifications
P Saqui-Sannes, JP Courtiat
Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989
211989
A methodological assistant for use case diagrams
E Rizzo Aquino, P Saqui-Sannes, RA Vingerhoeds
202020
Basic synchronisation concepts in multimedia systems
LF Rust da Costa Carmo, P de Saqui-Sannes, JP Courtiat
Network and Operating System Support for Digital Audio and Video: Third …, 1993
201993
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20