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 | 204 | 2004 |
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 | 176 | 1996 |
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 | 85 | 2011 |
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 | 75 | 1995 |
Toward a formal specification of multimedia synchronization scenarios P Sénac, M Diaz, P Saqui-Sannes Annals of telecommunications 49 (5), 297-314, 1994 | 69 | 1994 |
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 | 50 | 2022 |
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 | 42 | 2001 |
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 | 40 | 2019 |
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 | 38 | 2020 |
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 | 36 | 2021 |
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 | 31 | 2020 |
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 | 29 | 2018 |
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 | 29 | 1992 |
A methodological assistant for use case diagrams ER Aquino, P de Saqui-Sannes, RA Vingerhoeds 8th MODELSWARD: International Conference on Model-Driven Engineering and …, 2020 | 25 | 2020 |
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 | 24 | 2006 |
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 | 24 | 2002 |
Combining SysML and AADL for the design, validation and implementation of critical systems P de Saqui-Sannes, J Hugues ERTS2 2012, 117, 2012 | 23 | 2012 |
Hypermedia Document Design Using the HTSPN Model. R Willrich, P de Saqui-Sannes, P Sénac, M Diaz MMM, 151-166, 1996 | 23 | 1996 |
Checking SysML models against safety and security properties P de Saqui-Sannes, L Apvrille, R Vingerhoeds Journal of Aerospace Information Systems 18 (12), 906-918, 2021 | 22 | 2021 |
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 | 21 | 1989 |