Search results for "SDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
185	Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis	Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
160	Ken Y. Chan, Gregor von Bochmann	Modeling IETF Session Initiation Protocol and Its Services in SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	Telelogic, UML, SIP, Design Methodology, SDL, Software Specification, Use Case, MSC, Internet Telephony
160	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent	Timed Extensions for SDL.	SDL Forum	2001	DBLP DOI BibTeX RDF	timed automata, SDL, time semantics, urgencies
160	Thomas Kuhn 0001, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer	ns+SDL - The Network Simulator for SDL Systems.	SDL Forum	2005	DBLP DOI BibTeX RDF
153	Giacomo Bucci, Andrea Fedeli, Enrico Vicario	Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.	SDL Forum	2003	DBLP DOI BibTeX RDF
149	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
134	Philipp Becker, Dennis Christmann, Reinhard Gotzhein	Model-Driven Development of Time-Critical Protocols with SDL-MDD.	SDL Forum	2009	DBLP DOI BibTeX RDF	SDL-MDD, black burst, cooperative/arbitrating transfer protocol, MacZ, SDL
133	Niclas Bauer	Deployment of SDL Systems Using UML.	SDL Forum	2001	DBLP DOI BibTeX RDF
123	Philippe Leblanc, Ileana Ober	Comparative Case Study in SDL and UML.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	SDL-2000, real-time engineering, modeling, design, UML, object-oriented, SDL
122	Tae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin	SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.	SDL Forum	2007	DBLP DOI BibTeX RDF
122	Joachim Fischer, Toby Neumann, Anders Olsen	SDL Code Generation for Open Systems.	SDL Forum	2005	DBLP DOI BibTeX RDF
122	Jacqueline Floch, Rolv Bræk	Using SDL for Modeling Behavior Composition.	SDL Forum	2003	DBLP DOI BibTeX RDF
122	Iulian Ober, Alain Kerbrat	Verification of Quantitative Temporal Properties of SDL Specifications.	SDL Forum	2001	DBLP DOI BibTeX RDF
122	Rüdiger Grammes, Reinhard Gotzhein	SDL Profiles - Formal Semantics and Tool Support.	FASE	2007	DBLP DOI BibTeX RDF
118	Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi	Automatic Formal Model Generation and Analysis of SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	state space explosion problem, SDL, reachability analysis, high-level Petri nets
117	Edel Sherratt	SDL in a Changing World.	SAM	2004	DBLP DOI BibTeX RDF
117	Natalia Sidorova, Martin Steffen	Verifying Large SDL-Specifications Using Model Checking.	SDL Forum	2001	DBLP DOI BibTeX RDF	SDL model checking, bottom-up verification, verification case study, compositional, abstraction
113	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
112	Ingmar Fliege, Reinhard Gotzhein	Automated Generation of Micro Protocol Descriptions from SDL Design Specifications.	SDL Forum	2007	DBLP DOI BibTeX RDF
112	Benoit Parreaux, Daniel Vincent, Gérard Babonneau	RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.	SDL Forum	2003	DBLP DOI BibTeX RDF
108	Shadi Traboulsi, Felix Bruns, Anas Showk, David Szczesny, Sebastian Hessel, Maria Elizabeth Gonzalez, Attila Bilgic	SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform.	SDL Forum	2009	DBLP DOI BibTeX RDF	rapid system prototyping, design-space exploration, SDL, hardware/software co-design, mobile terminal
108	Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki	Applying Mutation Analysis to SDL Specifications.	SDL Forum	2003	DBLP DOI BibTeX RDF	Test Generation, Conformance Testing, SDL, Mutation Analysis, MSC, Test Selection
107	Rodolphe Arthaud	SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems.	SDL Forum	2001	DBLP DOI BibTeX RDF
107	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
107	Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap	Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications.	SDL Forum	2009	DBLP DOI BibTeX RDF	SDL based test selection, MSC test cases, string edit distance
105	Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim	The Winning Entry of the SAM 2002 Design Contest: .	SDL Forum	2003	DBLP DOI BibTeX RDF
103	Nils Fischbeck	Experiences with ISDN validation models in SDL and proposal for new SDL features.	SDL Forum	1997	DBLP BibTeX RDF
103	Samir Tata, Laurent Andrey, Olivier Festor	A practical experience on validating GDMO-based information models with SDL'88 and SDL'92.	SDL Forum	1997	DBLP BibTeX RDF
101	Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn 0001	Specifying Input Port Bounds in SDL.	SDL Forum	2007	DBLP DOI BibTeX RDF
101	Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya	Integrating RT-CORBA in SDL.	SDL Forum	2005	DBLP DOI BibTeX RDF
101	Rickard Holsmark, Magnus Högberg, Shashi Kumar	Modelling and Evaluation of a Network on Chip Architecture Using SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF
101	Ligang Wang 0002, J. William Atwood, Anjali Agarwal	Validation of SIP/H.323 Interworking Using SDL/MSC.	SDL Forum	2003	DBLP DOI BibTeX RDF
101	Frank Rößler, Birgit Geppert, Reinhard Gotzhein	Collaboration-Based Design of SDL Systems.	SDL Forum	2001	DBLP DOI BibTeX RDF
101	Vassilios Courzakis, Martin von Löwis, Ralf Schröder	Using SDL in a Stateless Environment.	SDL Forum	2001	DBLP DOI BibTeX RDF
101	Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc	Formal Description of Real-time Systems using SDL.	RTCSA	1999	DBLP DOI BibTeX RDF
97	Klaus Ahrens, Ingmar Eveslage, Joachim Fischer, Frank Kühnlenz, Dorian Weber	The Challenges of Using SDL for the Development of Wireless Sensor Networks.	SDL Forum	2009	DBLP DOI BibTeX RDF	simulation, wireless sensor networks, UML, code generation, SDL, model-based development, experiment management, sensor systems, ASN.1
97	Oliver Bringmann 0001, Wolfgang Rosenstiel, Annette Muth, Georg Färber, Frank Slomka, Richard Hofmann	Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Synthesis Methodology, Configurable VHDL Components, VHDL, Rapid Prototyping, SDL
96	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
92	Rick Reed	Data Encoding for SDL in ITU-T Rec. Z.104.	SAM	2004	DBLP DOI BibTeX RDF	Text encoding, Encoding, SDL, Data, ASN.1
91	Reinhard Gotzhein, Marc Krämer, Lothar Litz, Alain Chamaken	Energy-Aware System Design with SDL.	SDL Forum	2009	DBLP DOI BibTeX RDF
91	Andreas Prinz 0001, Markus Scheidgen, Merete Skjelten Tveit	A Model-Based Standard for SDL.	SDL Forum	2007	DBLP DOI BibTeX RDF
91	Malek Haroud, Armin Biere	SDL Versus C Equivalence Checking.	SDL Forum	2005	DBLP DOI BibTeX RDF
91	Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav	Cinderella SLIPPER: An SDL to C-Code Generator.	SDL Forum	2005	DBLP DOI BibTeX RDF
91	Yang Yang, Yang Lu, Xiaokang Lin	SDL Design of OSPF Protocol for the Wireless Private Network.	SDL Forum	2005	DBLP DOI BibTeX RDF
91	Laila Daniel, Matti Luukkainen, Markku Kojo	Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol.	SDL Forum	2005	DBLP DOI BibTeX RDF
91	Francine Ngani Noudem, César Viho	Modeling, Verifying and Testing Mobility Protocol from SDL Language.	SDL Forum	2005	DBLP DOI BibTeX RDF
91	Andreas Prinz 0001, Martin von Löwis	Generating a Compiler for SDL from the Formal Language Definition.	SDL Forum	2003	DBLP DOI BibTeX RDF
91	Philipp Schaible, Reinhard Gotzhein	Development of Distributed Systems with SDL by Means of Formalized APIs.	SDL Forum	2003	DBLP DOI BibTeX RDF
91	Javier López 0001, Juan J. Ortega, José M. Troya	Applying SDL to Formal Analysis of Security Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
91	Susanne Graf, Ileana Ober	A Real-Time Profile for UML and How to Adapt It to SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF
91	Yong He, Daniel Amyot, Alan W. Williams	Synthesizing SDL from Use Case Maps: An Experiment.	SDL Forum	2003	DBLP DOI BibTeX RDF
91	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.	SDL Forum	2003	DBLP DOI BibTeX RDF
91	Ostap Monkewich, Igor Sales, Robert L. Probert	OSPF Efficient LSA Refreshment Function in SDL.	SDL Forum	2001	DBLP DOI BibTeX RDF
91	Juha Iso-Sipilä, Vesa Luukkala	An SDL Implementation Framework for Third Generation Mobile Communications System.	SDL Forum	2001	DBLP DOI BibTeX RDF
91	Jacqueline Floch, Richard Torbjørn Sanders, Ulrik Johansen, Rolv Bræk	Using UML for Implementation Design of SDL Systems.	SDL Forum	2001	DBLP DOI BibTeX RDF
86	Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong	Mutation Testing Applied to Validate SDL Specifications.	TestCom	2004	DBLP DOI BibTeX RDF	SDL, Mutation Testing, Specification Testing
86	Siyoung Lee, Sungho Kim, DongGill Lee, Joon-Kyung Lee	Conceptual Transformation from SDL-92 to CHILL-96 Using Signal Subordination.	RTCSA	1999	DBLP DOI BibTeX RDF	reengineering, formal language, object-oriented language, SDL, CHILL
86	Rick Reed	SDL and MSC in international organizations: ITU-T.	SDL Forum	1997	DBLP BibTeX RDF
86	Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga	Automating the process of test derivation from SDL specifications.	SDL Forum	1997	DBLP BibTeX RDF
86	J. Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilo Rodríguez, Morgan Björkander	Introducing SDL in the development of CORBA-compliant applications.	SDL Forum	1997	DBLP BibTeX RDF
86	Ralf Henke, Hartmut König, Andreas Mitschele-Thiel	Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads.	SDL Forum	1997	DBLP BibTeX RDF
86	Rainer Gerlich	Tuning development of distributed real-time systems with SDL: Current experience and future issues.	SDL Forum	1997	DBLP BibTeX RDF
86	Jörg Hintelmann, Reinhard Westerfeld	Performance analysis of TCP's flow control mechanisms using queueing SDL.	SDL Forum	1997	DBLP BibTeX RDF
86	Dominique Méry, J. Paul Gibson	Telephone feature verification: Translating SDL to TLA+.	SDL Forum	1997	DBLP BibTeX RDF
86	Christian Facchi, Markus Haubner, Ursula Hinkel	The SDL specification of the sliding window protocol revisited.	SDL Forum	1997	DBLP BibTeX RDF
86	Martin Steppler, Matthias Lott	SPEET SDL performance evaluation tool.	SDL Forum	1997	DBLP BibTeX RDF
86	Farid Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis	Specifying the steam-boiler case study with SDL.	SDL Forum	1997	DBLP BibTeX RDF
86	Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard	Combining SDL and C.	SDL Forum	1997	DBLP BibTeX RDF
86	Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt 0002	Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications.	SDL Forum	1997	DBLP BibTeX RDF
86	Kamel Karoui, Rachida Dssouli, Nina Yevtushenko 0001	Design for testability of communication protocols based on SDL language.	SDL Forum	1997	DBLP BibTeX RDF
86	Andreas Iselt, Achim Autenrieth	An SDL-based platform for the simulation of communication networks using dynamic block instantiations.	SDL Forum	1997	DBLP BibTeX RDF
86	Maria Törö	Simulation of IP mobility support: An experiment in mobile protocol specification with SDL.	SDL Forum	1997	DBLP BibTeX RDF
86	A. Alonistioti, G. Nikolaidis, I. Modeas	SDL-based modelling and design of IN/UMTS handover functionality.	SDL Forum	1997	DBLP BibTeX RDF
86	Vincent Perrier, Nicolas Dervaux	Combining object-oriented and real-time programming from an OMT and SDL design.	SDL Forum	1997	DBLP BibTeX RDF
86	Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin	Industrial strength code generation from SDL.	SDL Forum	1997	DBLP BibTeX RDF
86	Birgit Geppert, Reinhard Gotzhein, Frank Rößler	Configuring communication protocols using SDL patterns.	SDL Forum	1997	DBLP BibTeX RDF
86	Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana	The unification of OMT, SDL and IDL for service creation.	SDL Forum	1997	DBLP BibTeX RDF
86	Odile Troulet-Lambert	Is open-EDI a potential area for use of SDL?	SDL Forum	1997	DBLP BibTeX RDF
86	Kurt Verschaeve	Automated iteration between OMT and SDL.	SDL Forum	1997	DBLP BibTeX RDF
86	Gabriel Robert, Ferhat Khendek, Peter Grogono	Deriving an SDL specification with a given architecture from a set of MSCs.	SDL Forum	1997	DBLP BibTeX RDF
86	Margarita de Cabo, Manuel Rodríguez	Applying eODL and SDL-Patterns for Developing TMN Managed Systems.	SAM	2004	DBLP DOI BibTeX RDF
82	Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams	Rapid Development of Network Software via SDL/Socket Interfaces.	SAM	2002	DBLP DOI BibTeX RDF	Socket Interface, SDL, Code Integration
80	Constantin Werner, Xiaoming Fu 0001, Dieter Hogrefe	Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP.	SDL Forum	2005	DBLP DOI BibTeX RDF
80	Edel Sherratt	Model-Driven Development of Reactive Systems with SDL.	SDL Forum	2005	DBLP DOI BibTeX RDF
80	Uwe Glässer, Andreas Prinz 0001	ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks.	SDL Forum	2005	DBLP DOI BibTeX RDF
80	Kenneth J. Turner	Formalizing Graphical Service Descriptions Using SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF
80	Jean-Louis Camus, Thierry Le Sergent	Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems.	SDL Forum	2001	DBLP DOI BibTeX RDF
80	Dieter Hogrefe, Beat Koch, Helmut Neukirchen	Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation.	SDL Forum	2001	DBLP DOI BibTeX RDF
80	Ralf Münzenberger, Frank Slomka, Matthias Dörfel, Richard Hofmann	A General Approach for the Specification of Real-Time Systems with SDL.	SDL Forum	2001	DBLP DOI BibTeX RDF
80	Wenhui Zhang	Applying SDL Specifications and Tools to the Verification of Procedures.	SDL Forum	2001	DBLP DOI BibTeX RDF
80	Marko Htiniktinen, Jarno Knuutila, Timo Hämäläinen 0001, Jukka Saarinen	Using SDL for Implementing a Wireless Medium Access Control Protocol.	ISMSE	2000	DBLP DOI BibTeX RDF
80	Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova	Model Checking SDL with Spin.	TACAS	2000	DBLP DOI BibTeX RDF
80	Guido Carls, Birgit Frohnhoff	Introducing SDL'92 in the Development of TMN Applications.	IS&N	1998	DBLP DOI BibTeX RDF
76	Daniel Dietterle	Embedded system protocol design flow based on SDL: from specification to hardware/software implementation.	SimuTools	2008	DBLP DOI BibTeX RDF	protocol accelerator, embedded systems, SDL, protocol engineering, IEEE 802.15.3
76	José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya	Deriving hard real-time embedded systems implementations directly from SDL specifications.	CODES	2001	DBLP DOI BibTeX RDF	scheduler, embedded system, real-time, SDL
75	Frank Weil, Thomas Weigert	Guidelines for Using SDL in Product Development.	SAM	2004	DBLP DOI BibTeX RDF
75	Jörg Dorsch, Anders Ek, Reinhard Gotzhein	SPT - The SDL Pattern Tool.	SAM	2004	DBLP DOI BibTeX RDF
75	Andreas Prinz 0001	SDL Time Extensions from a Semantic Point of View.	SAM	2002	DBLP DOI BibTeX RDF
74	Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Maria Elizabeth Gonzalez, Attila Bilgic	Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique.	SDL Forum	2009	DBLP DOI BibTeX RDF	formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation
74	Manuel Rodríguez, José María Parra	Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator.	SDL Forum	2007	DBLP DOI BibTeX RDF