| 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 | 48 | 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 | 39 | 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 | 36 | 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 | 35 | 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 | 30 | 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 |
Ludovic ApvrilleTelecom ParisVerified email at telecom-paris.fr
