Search results for "SDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Gerald Wagenknecht, Daniel Dietterle, Jean-Pierre Ebert, Rolf Kraemer	Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations.	EWSN	2006	DBLP DOI BibTeX RDF
70	Gyula Csopaki, Gábor András Horváth, Gábor Kovács	Communication Protocol Implementation in Java.	IDMS	2000	DBLP DOI BibTeX RDF	Java, compilation, communication protocols, SDL, formal description
70	Alexander Kraas	Automated Tooling for the Evolving SDL Standard: From Metamodels to UML Profiles.	SDL Forum	2017	DBLP DOI BibTeX RDF
70	Daniel Amyot, Abdelwahab Hamou-Lhadj, Jameleddine Hassine	On the Impact of the SDL Forum Society Conferences on Academic Research.	SDL Forum	2017	DBLP DOI BibTeX RDF
70	Tobias Braun, Dennis Christmann	Simulating Distributed Systems with SDL and Hardware-in-the-Loop.	SDL Forum	2015	DBLP DOI BibTeX RDF
70	Emmanuel Gaudin, Alain Clouard	An Experiment to Introduce Interrupts in SDL.	SDL Forum	2015	DBLP DOI BibTeX RDF
70	Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen	SDL - The IoT Language.	SDL Forum	2015	DBLP DOI BibTeX RDF
70	Alexander Kraas	Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements.	SDL Forum	2015	DBLP DOI BibTeX RDF
70	Pavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev	Integration of SDL Models into a SystemC Project for Network Simulation.	SDL Forum	2013	DBLP DOI BibTeX RDF
70	Dennis Christmann, Tobias Braun, Reinhard Gotzhein	SDL Real-Time Tasks - Concept, Implementation, and Evaluation.	SDL Forum	2013	DBLP DOI BibTeX RDF
70	Alexander Kraas	A Model-Based Formalization of the Textual Notation for SDL-UML.	SDL Forum	2011	DBLP DOI BibTeX RDF
70	Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein	Real-Time Signaling in SDL.	SDL Forum	2011	DBLP DOI BibTeX RDF
70	Rick Reed	SDL-2010: Background, Rationale, and Survey.	SDL Forum	2011	DBLP DOI BibTeX RDF
70	Dennis Christmann, Philipp Becker, Reinhard Gotzhein	Priority Scheduling in SDL.	SDL Forum	2011	DBLP DOI BibTeX RDF
70	Gerd Kurzbach, Martin von Löwis, Ralf Schröder	External communication with SDL systems.	SDL Forum	1999	DBLP BibTeX RDF
70	Yury Chernov	Application of SDL metric suite through development phases.	SDL Forum	1999	DBLP BibTeX RDF
70	Winfried Dulz, S. Gruhl, Lennard Kerber, Michael Söllner	Early performance prediction of SDL/MSC specified systems by automated synthetic code generation.	SDL Forum	1999	DBLP BibTeX RDF
70	Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek	From timed scenarios to SDL: specification, implementation and testing of real-time systems.	SDL Forum	1999	DBLP BibTeX RDF
70	Nils Fischbeck, Marc Born, Andreas Hoffmann 0001, Mario Winkler, Gregor Baudis, Harald Böhme, Joachim Fischer	SDL enhancements and application for the design of distributed services.	SDL Forum	1999	DBLP BibTeX RDF
70	Kurt Verschaeve, Anders Ek	Three scenarios for combining UML and SDL'96.	SDL Forum	1999	DBLP BibTeX RDF
70	Peter Langendörfer, Hartmut König	COCOS - A configurable SDL compiler for generating efficient protocol implementations.	SDL Forum	1999	DBLP BibTeX RDF
70	Nikolai Mansurov, D. Zhukov	Automatic synthesis of SDL models in use case methodology.	SDL Forum	1999	DBLP BibTeX RDF
70	Alain Kerbrat, Thierry Jéron, Roland Groz	Automated test generation from SDL specifications.	SDL Forum	1999	DBLP BibTeX RDF
70	Eckhardt Holz	Modelling interfaces in SDL with gate types.	SDL Forum	1999	DBLP BibTeX RDF
70	Yuping Dong, Yinghua Lu, Qiang Gao	Specification, validation and implementation of ATM UNI signaling protocols in SDL.	SDL Forum	1999	DBLP BibTeX RDF
70	Jens Grabowski, Beat Koch, Michael Schmitt 0002, Dieter Hogrefe	SDL and MSC based test generation for distributed test architectures.	SDL Forum	1999	DBLP BibTeX RDF
70	Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	Towards a new formal SDL semantics - outline of an abstract state machines.	SDL Forum	1999	DBLP BibTeX RDF
70	Miguel Alabau, Pierre Combes, Béatrice Renard	IN Service prototyping using SDL models and animation.	SDL Forum	1999	DBLP BibTeX RDF
70	Wayne M. Zage, Dolores M. Zage, J. Michael McGrew, Nitin Sood	Using design metrics to identify error-prone components of SDL designs.	SDL Forum	1999	DBLP BibTeX RDF
70	Kristofer Kimbler, Carl-Henrik Hagenfeldt, Niklas Widell, Jan Ellsberger, Gustav Bergman	SDL framework for prototyping and validation of IN services.	SDL Forum	1999	DBLP BibTeX RDF
70	Athmane Touag, A. Rouger	Methods and methodology for an incremental test generation from SDL specifications.	SDL Forum	1999	DBLP BibTeX RDF
70	Miguel Abdalla, Ferhat Khendek, Greg Butler	New results on deriving SDL specifications from MSCs.	SDL Forum	1999	DBLP BibTeX RDF
70	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.	SDL Forum	1999	DBLP BibTeX RDF
70	Ostap Monkewich	SDL-based specification and testing strategy for communication network protocols.	SDL Forum	1999	DBLP BibTeX RDF
70	José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya	Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.	SDL Forum	1999	DBLP BibTeX RDF
70	Stein Erik Ellevseth, Birger Møller-Pedersen	Evaluating an SDL framework for AXE development.	SDL Forum	1999	DBLP BibTeX RDF
70	Nikolai Mansurov, Alexei S. Ragozin	Using declarative mapping for automatic code generation from SDL and ASN.1.	SDL Forum	1999	DBLP BibTeX RDF
70	C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico	A test case generation tool for conformance testing of SDL systems.	SDL Forum	1999	DBLP BibTeX RDF
70	Torben Worm	Using metapatterns with SDL.	SDL Forum	1999	DBLP BibTeX RDF
70	Ana R. Cavalli, Amardeo Sarma (eds.)	SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings	SDL Forum	1997	DBLP BibTeX RDF
70	Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune	Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets.	SDL Forum	1997	DBLP BibTeX RDF
70	Carla Geovana N. Macário, Moacir Pedroso Jr., Walter C. Borelli	Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92.	SDL Forum	1997	DBLP BibTeX RDF
70	Ana R. Cavalli, Boo-Ho Lee, Toma Macavei	Test generation for the SSCOP-ATM networks protocol.	SDL Forum	1997	DBLP BibTeX RDF
70	Astrid Nyeng, Svanhild Gundersen	MSCs at Siemens A/S - towards the usage of MSC-96.	SDL Forum	1997	DBLP BibTeX RDF
70	Ranjit Singh, Jerry Serviss	Code generation using GEODE: A case study.	SDL Forum	1997	DBLP BibTeX RDF
70	Stefan Loidl, Ekkart Rudolph, Ursula Hinkel	MSC'96 and beyond - a critical look.	SDL Forum	1997	DBLP BibTeX RDF
70	Øystein Haugen	The MSC-96 distillery.	SDL Forum	1997	DBLP BibTeX RDF
70	Sjouke Mauw, Michel A. Reniers	High-level message sequence charts.	SDL Forum	1997	DBLP BibTeX RDF
70	Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka	An annotational extension of message sequence charts to support performance engineering.	SDL Forum	1997	DBLP BibTeX RDF
70	Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka	Switching software test environment using MSC.	SDL Forum	1997	DBLP BibTeX RDF
69	José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino 0001, Francisco C. Perez, Victoria Morillo	An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.	ISoLA	2006	DBLP DOI BibTeX RDF
69	Ingmar Fliege, Rüdiger Grammes, Christian Weber	ConTraST - A Configurable SDL Transpiler and Runtime Environment.	SAM	2006	DBLP DOI BibTeX RDF
69	Stephan Bourduas, Ferhat Khendek, Daniel Vincent	From MSC and UML to SDL.	COMPSAC	2002	DBLP DOI BibTeX RDF
69	Pyeong Jung Song, Moon Hwan Noh, Dong Hoi Kim	Design and Implementation of W-CDMA Radio Interface Protocols Using SDL Development Environments.	CDMA International Conference	2002	DBLP DOI BibTeX RDF
69	Kurt Verschaeve, Bart Wydaeghe, Frans Westerhuis	Visual Composition with SDL Beans.	ECBS	2001	DBLP DOI BibTeX RDF
69	J. Jenny Li, Joseph Robert Horgan	Using SDL to Model an Object-Oriented Real-Time Software Architectural Design.	ISORC	2000	DBLP DOI BibTeX RDF
69	Thomas Kolloch, Georg Färber	Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study.	LCTES	1998	DBLP DOI BibTeX RDF
69	Chie Dou	Integration of SDL and VHDL for HW/SW Codesign of Communication Systems.	EUROMICRO	1997	DBLP DOI BibTeX RDF
65	Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar	Specification of Timed EFSM Fault Models in SDL.	FORTE	2007	DBLP DOI BibTeX RDF	Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines
65	Daniel Dietterle, Irina Babanskaja, Kai F. Dombrowski, Rolf Kraemer	High-Level Behavioral SDL Model for the IEEE 802.15.3 MAC Protocol.	WWIC	2004	DBLP DOI BibTeX RDF	System design, SDL, IEEE 802.15.3, wireless protocols
65	Annette Muth, Thomas Kolloch, Thomas Maier-Komor, Georg Färber	An Evaluation of Code Generation Strategies Targeting Hardware for the Rapid Prototyping of SDL-Specifications.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	asynchronous modeling language, decomposition strategies, level of concurrency, code generation, VHDL, rapid prototyping, SDL, implementation model, application specific hardware
65	Marsha Chechik, Hai Wang	Bisimulation analysis of SDL-expressed protocols: a case study.	CASCON	2000	DBLP BibTeX RDF	SDL
65	Euyseok Hong, Chisu Wu	Criticality Models using SDL Metrics Set.	APSEC	1997	DBLP DOI BibTeX RDF	fault-prone entities, simulation, complexity, prediction model, SDL, design metrics
65	Zhu Yun Gu, Kong Eng Cheng	The derivation of test cases from SDL specifications.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Finite State Machine Products, Formal Description Techniques (FDT), Software Testing, Tree, SDL, Test Coverage, Test Suites
64	Kenneth J. Turner	Formalising Interactive Voice Services with SDL.	IFM	2005	DBLP DOI BibTeX RDF	IVR (Interactive Voice Response), SDL (Specification and Description Language), VoiceXML (Voice eXtensible Markup Language), Service, Feature
64	Bahiya Hatim, Máirtín O'Droma	Telecommunication software development using SDL-92: practical experience.	ICECCS	1996	DBLP DOI BibTeX RDF	SDL-92, telecommunication software development, SDT tool, real-time software engineering, ISDN basic access services management, data link layer, network layer, telecommunication computing
64	Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	Transforming SDL Diagrams into a Complete Visual Representation.	VL	1995	DBLP DOI BibTeX RDF	SDL diagrams, Pictorial Janus programs, timing concepts, Timed PJ, PJ, process diagrams, Ethernet CSMA/CD, formal specification, animation, specification, specification languages, specification language, visual programming, computer animation, visual languages, diagrams, program debugging, program interpreters, visual representation, protocol specification, visual debugging
63	Harald Böhme, Glenn Schütze, Konrad Voigt	Component Development: MDA Based Transformation from eODL to CIDL.	SDL Forum	2005	DBLP DOI BibTeX RDF
63	Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert	Semantics of Message Sequence Charts.	SDL Forum	2005	DBLP DOI BibTeX RDF
63	Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes	Looking for Better Integration of Design and Performance Engineering.	SDL Forum	2003	DBLP DOI BibTeX RDF
63	Jacqueline Floch, Rolv Bræk	Using Projections for the Detection of Anomalous Behaviors.	SDL Forum	2003	DBLP DOI BibTeX RDF
63	Øystein Haugen	From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams.	SDL Forum	2001	DBLP DOI BibTeX RDF
63	Fabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckhardt Holz, Olaf Kath, Bertram Neubauer, Frank Stoinski	Distributed Systems: From Models to Components.	SDL Forum	2001	DBLP DOI BibTeX RDF
63	Anthony Wiles	ETSI Testing Activities and the Use of TTCN-3.	SDL Forum	2001	DBLP DOI BibTeX RDF
59	Richard O. Sinnott	The Formal, Tool Supported Development of Real Time Systems.	SEFM	2004	DBLP DOI BibTeX RDF	Real-Time Systems, Validation, SDL
59	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal automated transformation of SDL specifications to Lotos specifications.	ISCC	2008	DBLP DOI BibTeX RDF
59	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov	Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.	CSR	2007	DBLP DOI BibTeX RDF
59	Thomas Kuhn 0001, Reinhard Gotzhein, Christian Webel	Model-Driven Development with SDL - Process, Tools, and Experiences.	MoDELS	2006	DBLP DOI BibTeX RDF
59	Peng Wang, Kai-Yuan Cai	Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.	QSIC	2006	DBLP DOI BibTeX RDF
59	Rüdiger Grammes, Reinhard Gotzhein	Towards the Harmonisation of UML and SDL.	FORTE	2004	DBLP DOI BibTeX RDF
59	A. Mahimkar	Modeling of software radio aspects by mapping of SDL and CORBA.	MWCN	2002	DBLP DOI BibTeX RDF
59	Javier Colás, Jesús M. Pérez, Javier Poncela-González, José T. Entrambasaguas	Implementation of UMTS Protocol Layers for the Radio Access Interface.	SAM	2002	DBLP DOI BibTeX RDF
59	Lennard Kerber	Scenario-Based Performance Evaluation of SDL/MSC-Specified Systems.	Performance Engineering	2001	DBLP DOI BibTeX RDF
59	Annette Muth, Georg Färber	SDL as a System Level Specification Language for Application-Specific Hardware in a Rapid Prototyping Environment.	ISSS	2000	DBLP DOI BibTeX RDF
59	R. Welge, Christian Müller-Schloer	Graphical Design of Embedded Control System Software Based on SDL/RealTime with Special Support for Safety Critical Applications.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
59	Xiaofeng Li, O. Shigo	A Simulation-Based SDL Support System.	SEKE	1992	DBLP DOI BibTeX RDF
55	W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado	Smart Debugging Software Architectural Design in SDL.	COMPSAC	2003	DBLP DOI BibTeX RDF	SmartDSDL, testing, debugging, fault detection, SDL, architectural design, execution slice
55	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Closing Open SDL-Systems for Model Checking with DTSpin.	FME	2002	DBLP DOI BibTeX RDF	DTSpin, open communication systems, model checking, abstractions, SDL
55	Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi	Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.	ICATPN	2000	DBLP DOI BibTeX RDF	DSS1, SDL, reachability analysis, high-level Petri nets, protocol verification, ISDN
55	Hans Fleischhack, Bernd Grahlmann	A Compositional Petri Net Semantics for SDL.	ICATPN	1998	DBLP DOI BibTeX RDF	ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes
55	Franz Regensburger, Aenne Barnard	Formal Verification of SDL Systems at the Siemens Mobile Phone Department.	TACAS	1998	DBLP DOI BibTeX RDF	telecommunication protocols, model checking, formal verification, SDL
54	J. Jenny Li, Joseph Robert Horgan	chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing
53	Tibor Csöndes, Gábor Kovács, György Réthy (eds.)	SDL 2017: Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings	SDL Forum	2017	DBLP DOI BibTeX RDF
53	Dorian Weber, Joachim Fischer	Static Syntax Validation for Code Generation with String Templates.	SDL Forum	2017	DBLP DOI BibTeX RDF
53	Hasan Salim Alkaf, Jameleddine Hassine, Abdelwahab Hamou-Lhadj, Luay Alawneh	An Automated Change Impact Analysis Approach to GRL Models.	SDL Forum	2017	DBLP DOI BibTeX RDF
53	Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe	A Model-Driven Process Enactment Approach for Network Service Design.	SDL Forum	2017	DBLP DOI BibTeX RDF
53	David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik	Model-Based Regression Testing of Autonomous Robots.	SDL Forum	2017	DBLP DOI BibTeX RDF
53	Edel Sherratt	Intelligent Resilience in the IoT.	SDL Forum	2017	DBLP DOI BibTeX RDF
53	József Marton, Gábor Szárnyas, Márton Búr	Model-Driven Engineering of an OpenCypher Engine: Using Graph Queries to Compile Graph Queries.	SDL Forum	2017	DBLP DOI BibTeX RDF
53	Markus Scheidgen, Nils Goldammer, Joachim Fischer	Interactive Visualization of Software.	SDL Forum	2017	DBLP DOI BibTeX RDF