|
|
Conferences in DBLP
- Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes
Looking for Better Integration of Design and Performance Engineering. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:1-17 [Conf]
- Dorina C. Petriu, Daniel Amyot, C. Murray Woodside
Scenario-Based Performance Engineering with UCMNAV. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:18-35 [Conf]
- Jacqueline Floch, Rolv Bræk
Using SDL for Modeling Behavior Composition. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:36-54 [Conf]
- Susanne Graf, Ileana Ober
A Real-Time Profile for UML and How to Adapt It to SDL. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:55-76 [Conf]
- Peter Graubmann
MSC Connectors - The Chamber of Secrets. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:77-101 [Conf]
- Rüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:102-116 [Conf]
- Yong He, Daniel Amyot, Alan W. Williams
Synthesizing SDL from Use Case Maps: An Experiment. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:117-136 [Conf]
- Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis
Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:137-149 [Conf]
- Andreas Prinz, Martin von Löwis
Generating a Compiler for SDL from the Formal Language Definition. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:150-165 [Conf]
- Rickard Holsmark, Magnus Högberg, Shashi Kumar
Modelling and Evaluation of a Network on Chip Architecture Using SDL. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:166-182 [Conf]
- Kenneth J. Turner
Formalizing Graphical Service Descriptions Using SDL. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:183-202 [Conf]
- Giacomo Bucci, Andrea Fedeli, Enrico Vicario
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:203-217 [Conf]
- Benoit Parreaux, Daniel Vincent, Gérard Babonneau
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:218-233 [Conf]
- Tong Zheng, Ferhat Khendek, Benoit Parreaux
Refining Timed MSCs. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:234-250 [Conf]
- Jacqueline Floch, Rolv Bræk
Using Projections for the Detection of Anomalous Behaviors. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:251-268 [Conf]
- Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki
Applying Mutation Analysis to SDL Specifications. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:269-284 [Conf]
- Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
Automatic Formal Model Generation and Analysis of SDL. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:285-299 [Conf]
- Javier Lopez, Juan J. Ortega, José M. Troya
Applying SDL to Formal Analysis of Security Systems. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:300-316 [Conf]
- Philipp Schaible, Reinhard Gotzhein
Development of Distributed Systems with SDL by Means of Formalized APIs. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:317-334 [Conf]
- Ligang Wang, J. William Atwood, Anjali Agarwal
Validation of SIP/H.323 Interworking Using SDL/MSC. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:335-351 [Conf]
- Ken Y. Chan, Gregor von Bochmann
Modeling IETF Session Initiation Protocol and Its Services in SDL. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:352-373 [Conf]
- Thomas Weigert, Paul Dietz
Automated Generation of Marshaling Code from High-Level Specifications. [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:374-386 [Conf]
- Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim
The Winning Entry of the SAM 2002 Design Contest: . [Citation Graph (0, 0)][DBLP]
SDL Forum, 2003, pp:387-404 [Conf]
|
