Pierre de Saqui‐Sannes
École Nationale de l’Aviation Civile(FR)Université Fédérale de Toulouse Midi-Pyrénées(FR)Institut Superieur de l'Aeronautique et de l'Espace (ISAE-SUPAERO)(FR)Office National d'Études et de Recherches Aérospatiales(FR)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques, Service-Oriented Architecture and Web Services, Formal Methods in Verification, Systems Engineering Methodologies and Applications
Most-Cited Works
- → Modeling logical and temporal synchronization in hypermedia systems(1996)90 cited
- → A Taxonomy of MBSE Approaches by Languages, Tools and Methods(2022)74 cited
- → TEPE(2011)51 cited
- → Hierarchical Time Stream Petri Net: A model for hypermedia systems(1995)42 cited
- → Toward a formal specification of multimedia synchronization scenarios(1994)38 cited
- → Trade-off analysis for SysML models using decision points and CSPs(2019)32 cited
- → An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design