Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Architecture Optimization with SysML Modeling: A Case Study Using Variability.

P. Leserf, P. de Saqui-Sannes, J. Hugues, and K. Chaaban. MODELSWARD (Revised Selected Papers), volume 580 of Communications in Computer and Information Science, page 311-327. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

Jörg Desel

Das ist InformatikJ. Desel (Eds.) Springer, (2001)

Das ist InformatikJ. Desel (Eds.) Springer, (2001)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)

Univ. -Prof. Dr. Gerd de Bruyn University of Stuttgart

Other publications of authors with the same name

Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method.L. Apvrille, A. Mifdaoui, and P. de Saqui-Sannes. Stud. Inform. Univ., 8 (3): 47-69 (2010)Formal verification of secure group communication protocols modelled in UML.P. de Saqui-Sannes, T. Villemur, B. Fontan, S. Mota, M. Bouassida, N. Chridi, I. Chrisment, and L. Vigneron. ISSE, 6 (1-2): 125-133 (2010)ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.P. de Saqui-Sannes, and J. Courtiat. FORTE, page 15-29. North-Holland, (1988)Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems.P. Sénac, P. de Saqui-Sannes, and R. Willrich. Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, page 451-470. Springer, (1995)From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.T. Sadani, P. de Saqui-Sannes, and J. Courtiat. SEFM, page 250-260. IEEE Computer Society, (2005)Verification by abstraction as a preamble for interoperability test suite generation.P. de Saqui-Sannes, J. Courtiat, and R. Casadessus. PSTV, volume 1 of IFIP Conference Proceedings, page 152-166. Chapman & Hall, (1994)Modeling Logical and Temporal Synchronization in Hypermedia Systems.P. Sénac, M. Diaz, A. Léger, and P. de Saqui-Sannes. IEEE Journal on Selected Areas in Communications, 14 (1): 84-103 (1996)Multi domain optimization with SysML modeling.P. Leserf, P. de Saqui-Sannes, and J. Hugues. ETFA, page 1-8. IEEE, (2015)Test of preemptive real-time systems.N. Adjir, P. de Saqui-Sannes, and K. Rahmouni. AICCSA, page 734-742. IEEE Computer Society, (2008)Conformance Testing of Preemptive Real-Time Systems.N. Adjir, P. de Saqui-Sannes, and K. Rahmouni. IJERTCS, 4 (4): 1-26 (2013)