The SCEAS System
Navigation Menu

Conferences in DBLP

SDL Forum (sdl)
1999 (conf/sdl/1999)

  1. Miguel Alabau, Pierre Combes, Béatrice Renard
    IN Service prototyping using SDL models and animation. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:3-18 [Conf]
  2. Kristofer Kimbler, Carl-Henrik Hagenfeldt, Niklas Widell, Jan Ellsberger, Gustav Bergman
    SDL framework for prototyping and validation of IN services. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:19-32 [Conf]
  3. Stein Erik Ellevseth, Birger Møller-Pedersen
    Evaluating an SDL framework for AXE development. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:33-0 [Conf]
  4. Miguel Abdalla, Ferhat Khendek, Greg Butler
    New results on deriving SDL specifications from MSCs. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:51-66 [Conf]
  5. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
    From timed scenarios to SDL: specification, implementation and testing of real-time systems. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:67-0 [Conf]
  6. Nils Fischbeck, Marc Born, Andreas Hoffmann, Mario Winkler, Gregor Baudis, Harald Böhme, Joachim Fischer
    SDL enhancements and application for the design of distributed services. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:83-64 [Conf]
  7. Eckhardt Holz
    Modelling interfaces in SDL with gate types. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:95-104 [Conf]
  8. André Engels, Loe M. G. Feijs, Sjouke Mauw
    MSC and data: dynamic variables. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:105-0 [Conf]
  9. Ostap Monkewich
    SDL-based specification and testing strategy for communication network protocols. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:123-134 [Conf]
  10. Alain Kerbrat, Thierry Jéron, Roland Groz
    Automated test generation from SDL specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:135-152 [Conf]
  11. Athmane Touag, A. Rouger
    Methods and methodology for an incremental test generation from SDL specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:153-0 [Conf]
  12. Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    Towards a new formal SDL semantics - outline of an abstract state machines. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:171-192 [Conf]
  13. Ekkart Rudolph, Jens Grabowski, Peter Graubmann
    Towards a harmonization of UML-sequence diagrams and MSC. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:193-208 [Conf]
  14. Kurt Verschaeve, Anders Ek
    Three scenarios for combining UML and SDL'96. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:209-224 [Conf]
  15. Nikolai Mansurov, D. Zhukov
    Automatic synthesis of SDL models in use case methodology. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:225-240 [Conf]
  16. José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
    Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:241-0 [Conf]
  17. Peter Langendörfer, Hartmut König
    COCOS - A configurable SDL compiler for generating efficient protocol implementations. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:259-274 [Conf]
  18. Nikolai Mansurov, Alexei S. Ragozin
    Using declarative mapping for automatic code generation from SDL and ASN.1. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:275-0 [Conf]
  19. Wayne M. Zage, Dolores M. Zage, J. Michael McGrew, Nitin Sood
    Using design metrics to identify error-prone components of SDL designs. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:293-306 [Conf]
  20. Yury Chernov
    Application of SDL metric suite through development phases. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:307-0 [Conf]
  21. Nikolai Mansurov, Robert L. Probert
    Dynamic scenario-based approach to re-engineering of legacy telecommunication software. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:325-340 [Conf]
  22. Yuping Dong, Yinghua Lu, Qiang Gao
    Specification, validation and implementation of ATM UNI signaling protocols in SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:341-354 [Conf]
  23. Torben Worm
    Using metapatterns with SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:355-372 [Conf]
  24. Gerd Kurzbach, Martin von Löwis, Ralf Schröder
    External communication with SDL systems. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:373-0 [Conf]
  25. Jens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe
    SDL and MSC based test generation for distributed test architectures. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:389-404 [Conf]
  26. C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico
    A test case generation tool for conformance testing of SDL systems. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:405-0 [Conf]
  27. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
    IF: An intermediate representation for SDL and its applications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:423-440 [Conf]
  28. Mazen Malek
    PerfSDL: Interface to protocol performance analysis by means of simulation. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:441-456 [Conf]
  29. Winfried Dulz, S. Gruhl, Lennard Kerber, M. Söllner
    Early performance prediction of SDL/MSC specified systems by automated synthetic code generation. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:457-472 [Conf]
  30. Loïc Hélouët
    A simulation model for message sequence charts. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:473-488 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002