Search results for "SDL"

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