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 |
|