Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Javier López 0001, Juan J. Ortega, José M. Troya |
Verification of Authentication Protocols using SDL-method. |
SIS |
2002 |
DBLP BibTeX RDF |
|
17 | Thomas Kolloch |
Scheduling with message deadlines for hard real time SDL systems. |
|
2002 |
RDF |
|
17 | Ina Schieferdecker, Jens Grabowski |
The Graphical Format of TTCN-3 in the Context of MSC and UML. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Peter Graubmann, Ekkart Rudolph |
MSC Connectors: The Philosopher's Stone. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality |
17 | Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher |
Understanding Existing Software with Use Case Map Scenarios. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tong Zheng 0002, Ferhat Khendek |
An Extension for MSC-2000 and Its Application. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell |
Automatic Generation of Conformance Tests from Message Sequence Charts. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli |
Test cases selection from SDL specifications. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rachida Dssouli, Yair Lahav |
MSC and SDL in project life cycles. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Hintelmann, Richard Hofmann, Frank Lemmen, Andreas Mitschele-Thiel, Bruno Müller-Clostermann |
Applying techniques and tools for the performance engineering of SDL systems. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Nikolai Mansurov, Robert L. Probert |
Improving time-to-market using SDL tools and techniques. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rick Reed |
Notes on SDL-2000 for the new millennium. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Michael Andersson, Anders Ek, Niklas Landin |
Utilizing UML in SDL-based development. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Robert L. Probert, Hasan Ural, Alan W. Williams |
Rapid generation of functional tests using MSCs, SDL and TTCN. |
Comput. Commun. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico |
A test case generation approach for conformance testing of SDL systems. |
Comput. Commun. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Nikolai Mansurov |
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. |
Comput. Lang. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko |
Discrete Time Process Algebra and the Semantics of SDL. |
Handbook of Process Algebra |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Kwang-Ryul Jung, Jihyuk Choi, Pyeongjung Song, Young-Ho Nam |
Design and implementation of a radio resource control protocol in WCDMA using SDL. |
VTC Fall |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Sven Twarok, Peter Langendörfer, Hartmut König |
Automated Derivation of ILP Implementations from SDL Specifications. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
17 | Ralph Welge |
SDL.RT-basierter Entwurf und Implementierung eingebetteter zeit- und sicherheitskritischer Systeme. |
|
2001 |
RDF |
|
17 | Andreas Prinz 0001 |
Formal Semantics for SDL |
|
2001 |
RDF |
|
17 | Edel Sherratt, Chris W. Loftus |
Designing distributed services with SDL. |
IEEE Concurr. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Hasan Ural, Kassem Saleh, Alan W. Williams |
Test generation based on control and data dependencies within system specifications in SDL. |
Comput. Commun. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Maria Törö, Jinsong Zhu, Victor C. M. Leung |
Design of universal personal computing using SDL. |
Comput. Commun. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | L. J. Steggles, Piotr Kosiuczenko |
A Formal Model for SDL Specifications Based on Timed Rewriting Logic. |
Autom. Softw. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Bharat T. Doshi, Subrahmanyam Dravida, Enrique J. Hernandez-Valencia, Wassim Matragi, M. Akber Qureshi, Paul Langner, Jon Anderson, James S. Manchester |
A simple data link (SDL) protocol for next generation packet network. |
IEEE J. Sel. Areas Commun. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Imrich Chlamtac, Andrea Fumagalli, Eric Wing Ming Wong |
Transmitter Vs. Receiver SDL Solutions for Contention Resolution in WDM Ring Networks. |
Eur. Trans. Telecommun. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | James Carlson, Paul Langner, Enrique J. Hernandez-Valencia, James S. Manchester |
PPP over Simple Data Link (SDL) using SONET/SDH with ATM-like framing. |
RFC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Dörfel, Andreas Mitschele-Thiel, Frank Slomka |
CORSAIR: HW/SW-Codesign von Kommunikationssystemen mit SDL. |
Prax. Inf.verarb. Kommun. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Kellerer, Achim Autenrieth, Andreas Iselt |
Experiences with Evaluation of SDL-Based Protocol Engineering in Education. |
Comput. Sci. Educ. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Markos Koltsidas, Ognjen Prnjat, Lionel Sacks |
Development of Parlay-based Services Using UML and SDL. |
MMNS |
2000 |
DBLP BibTeX RDF |
|
17 | Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz 0001 |
SDL-2000: A Language with a Formal Semantics. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
17 | Ivana Podnar, Branko Mikac, Antun Caric |
SDL Based Approach to Software Process Modeling. |
EWSPT |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Rodríguez, Eusebio Fernández |
Modeling object relationships in TMN/OSI management systems with SDL-92. |
NOMS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Edel Sherratt (eds.) |
SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000 |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Michael Schmitt 0002 |
The Development of a Parser for SDL - 2000. |
FBT |
2000 |
DBLP BibTeX RDF |
|
17 | Peter Langendörfer, Thomas Krüger, Hartmut König |
Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. |
FBT |
2000 |
DBLP BibTeX RDF |
|
17 | Martin von Löwis |
Datentypsematik für SDL - 2000. |
FBT |
2000 |
DBLP BibTeX RDF |
|
17 | Thomas Steinert, Georg Rößler |
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
17 | Jörg Hintelmann |
Entwurfsbegleitende Leistungsanalyse für SDL-basiertes Design multimedialer Internet-Transportsysteme. (PDF / PS) |
|
2000 |
RDF |
|
17 | F. A. Meijs |
Connecting Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Francis Bordeleau, Donald Cameron |
On the Relationship between use-case maps and Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | François Terrier, Sébastien Gérard |
Real Time System Modeling with UML: current status and some prospects. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Anca Muscholl, Doron A. Peled |
Analyzing Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | André Engels |
Design Decisions on Data and Guards in MSC2000. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Nikolai Mansurov, Dmitri Vasura |
Approximation of (H)MSC Semantics By Automata. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Karl Meinke |
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Loïc Hélouët, Pierre Le Maigat |
Decomposition of Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Stefan Heymer |
A Semantics for MSC Based on Petri Net Components. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas |
Adaptation Of SOMT To The Development Of Systems Based Upon a Standard. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw |
Probabilities In The Torx Test Derivation Algorithm. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski |
HyperMSC - a Graphical Representation of TTCN. |
SAM |
2000 |
DBLP BibTeX RDF |
|
17 | Andreas Mitschele-Thiel, Bruno Müller-Clostermann |
Performance engineering of SDL/MSC systems. |
Comput. Networks |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ana R. Cavalli |
Advanced Topics on SDL and MSC. |
Comput. Networks |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Peter Langendörfer, Hartmut König |
Effiziente Abbildung von SDL-Spezifikationen auf Activity-Threads mittels Transition Reordering. |
Prax. Inf.verarb. Kommun. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | J. Jenny Li, Joseph Robert Horgan |
cSuds-SDL: A Tool for Testing Software Architecture Specifications. |
Softw. Qual. J. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Kellerer |
Prototyping von Telekommunikationssystemen mit SDL. |
Informationstechnik Tech. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Rodríguez, Ramón Calmeau, Eusebio Fernández |
Application of SDL-92 for the specification of OSI Management Systems. |
Integrated Network Management |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Robert L. Probert, Alan W. Williams |
Fast Functional Test Generation Using an SDL Model. |
IWTCS |
1999 |
DBLP BibTeX RDF |
|
17 | Jie Lian, Vilas Wuwongse |
Relationship Between SDL Processes and Message Sequence Charts. |
SMARTNET |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Maha Boughdadi, Robert Busser |
An Industrial Application of an Integrated UML and SDL Modeling Technique. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rui Manuel Sousa, Goran D. Putnik |
Formal description technique SDL for manufacturing systems specification and description. |
APMS |
1999 |
DBLP BibTeX RDF |
|
17 | Robert G. Clark, Ana M. D. Moreira |
SDL in Rigorus Object-Oriented Analysis (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
17 | Richard O. Sinnott, Mario Kolberg |
Engineering Telecommunication Services With SDL. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, Frank Rößler, Reinhard Gotzhein |
Pattern Application vs. Inheritance in SDL. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
17 | Dirk Trossen, Christian Cseh, Roman Kogan |
Framework for Automatic SDL to C++ Translation. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
17 | Peter Csurgay |
Prototyping Framework for SDL with Evolving Semantics. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
17 | Birger Møller-Pedersen, Dagbjørn Nogva |
Scalable and Object Oriented SDL State(chart)s. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
17 | L. J. Steggles, Piotr Kosiuczenko |
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Farid Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis |
Evaluating, comparing and improving the quality of system structure during the specification process. Application example with SDL. |
Softw. Qual. J. |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Michael Schmitt 0002, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe |
Autolink - Putting SDL-Based Test Generation Into Practice. |
IWTCS |
1998 |
DBLP BibTeX RDF |
|
17 | Eckhardt Holz, Joachim Fischer |
Introduction of Gate Types into SDL. |
FBT |
1998 |
DBLP BibTeX RDF |
|
17 | Peter Langendörfer, Thomas Krüger, Sven Twarok |
Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. |
FBT |
1998 |
DBLP BibTeX RDF |
|
17 | Joachim Fischer, Nils Fischbeck, Marc Born |
SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen. |
FBT |
1998 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, Frank Rößler, Michael Schneider 0009 |
Using SDL Patterns for the Design of a CAN-based Communication Subsystem. |
FBT |
1998 |
DBLP BibTeX RDF |
|
17 | Martin von Löwis, Ralf Schröder |
Objekt-orientierte Datenkonzepte für SDL. |
FBT |
1998 |
DBLP BibTeX RDF |
|
17 | Nisse Husberg |
Verifying SDL programs using Petri nets. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Leblanc, Jean-Luc Roux |
Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
17 | Bernd Grahlmann, Hans Fleischhack |
Towards Compositional Verification of SDL Systems. |
HICSS (7) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Hesham El-Sayed, Donald Cameron, C. Murray Woodside |
Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems. |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ralf Henke, Andreas Mitschele-Thiel, Hartmut König |
Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Broek, Birger Møller-Pedersen |
Frameworks by means of virtual types - exemplified by SDL. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
17 | Maria Törö, Jinsong Zhu, Victor C. M. Leung |
SDL specification and verification of universal personal computing: with Object GEODE. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider 0009 |
SDL-Pattern based Development of a Communication Subsystem for CAN. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
17 | Bengt Svantesson, Shashi Kumar, Ahmed Hemani |
A Methodology and Algorithms for Efficient Interprocess Communication Synthesis from System Description in SDL. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ursula Hinkel |
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL. |
|
1998 |
RDF |
|
17 | Nancy Alonistioti |
Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνων δικτύων |
|
1998 |
RDF |
|
17 | A. Alonistioti, Panos Kostarakis |
Integration and SDL-based modelling of generic UMTS handover service architecture and IN. |
Int. J. Commun. Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Uwe Glässer, Rene Karges |
Abstract State Machine Semantics of SDL. |
J. Univers. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Marc Diefenbruch |
Funktionale und quantitative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking. |
MMB |
1997 |
DBLP BibTeX RDF |
|
17 | Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann |
QUEST Performance Evalution of SDL System. |
MMB (Kurzbeiträge) |
1997 |
DBLP BibTeX RDF |
|
17 | Guochun Lin |
Integrated modelling and simulation of signalling protocols at B-ISDN UNI on an SDL'92-based platform for performance evaluation. |
ISCC |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Robert Schmit, Michael Kunes, Walter Sedlbauer |
Prototyping mit SDL. |
FBT |
1997 |
DBLP BibTeX RDF |
|
17 | Ralf Henke, Andreas Mitschele-Thiel |
Efficient Implementation Strategies for SDL. |
FBT |
1997 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, Frank Rößler |
Combining SDL and Pattern-based Design for the Customization of Communication Subsystems. |
FBT |
1997 |
DBLP BibTeX RDF |
|
17 | Bruno Müller-Clostermann |
SDL-Based Performance Evaluation - A Survey. |
FBT |
1997 |
DBLP BibTeX RDF |
|
17 | Martin von Löwis |
SITE - Eine SDL Entwicklungsumgebung. |
FBT |
1997 |
DBLP BibTeX RDF |
|
17 | Peter Langendörfer |
iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. |
FBT |
1997 |
DBLP BibTeX RDF |
|
17 | Gyula Csopaki, Kenneth J. Turner |
Modelling Digital Logic in SDL. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
17 | Marc Diefenbruch |
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking. |
|
1997 |
RDF |
|