Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | James Kizer, Arnaud Sahaguet, Neil Lakin, Michael Carroll, John P. Pollak, Deborah Estrin |
Internet Scale Research Studies using SDL-RX. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Peng Wang, Kai-Yuan Cai |
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Mihal Brumbulli, Emmanuel Gaudin |
Performance Analysis of SDL Systems. |
CSDM |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary |
A Formal Model for WebRTC Signaling Using SDL. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yang Lan, Lihui Wang, Huiling Jiang, Kazuki Takeda, Hiroki Harada, Satoshi Nagata, Tang Wenfang, Li Qiang |
A field trial of LTE in unlicensed bands with SDL (Supplemental Downlink) transmission. |
WCNC |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mihal Brumbulli, Emmanuel Gaudin |
Optimizing Performance of SDL Systems. |
SAM |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Edel Sherratt |
SDL: Meeting the IoT Challenge. |
SAM |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Valery A. Nepomniaschy, Evgeny V. Bodin, S. O. Veretnov |
The language dynamic-real and its application for verification of SDL-specified distributed systems. |
Program. Comput. Softw. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Anandi Giridharan, Pallapa Venkataram |
SDL based validation of a node monitoring protocol. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
17 | Dennis Christmann |
Distributed Real-time Systems - Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL. |
|
2015 |
RDF |
|
17 | Ikram el Rhaffari, Ounsa Roudiès |
Benchmarking SDL and CLASP lifecycle. |
SITA |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Márcio Eduardo Delamaro, Lin Deng 0001, Vinicius Humberto Serapilha Durelli, Nan Li 0008, Jeff Offutt |
Experimental Evaluation of SDL and One-Op Mutation for C. |
ICST |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater |
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS. |
SAM |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Kraas |
Towards an Extensible Modeling and Validation Framework for SDL-UML. |
SAM |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Blunk, Joachim Fischer |
Prototyping SDL Extensions. |
SAM |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre |
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. |
SAM |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jay Cheng, Hsin-Hung Chou, Chih-Heng Cheng |
A necessary and sufficient condition for SDL constructions of optical FIFO queues. |
GLOBECOM |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ranganai Chaparadza, Arun Prakash |
The role of SDL in the design, simulation, validation of system models, and code-generation, in the recently emerged and growing domain of autonomic systems engineering. |
GLOBECOM Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Anas Showk, Attila Bilgic |
A Novel Scheduling Methodology Based on SDL Process Migration for the LTE Higher Layer Protocol on Multi-Core Mobile Terminals. |
ISWCS |
2013 |
DBLP BibTeX RDF |
|
17 | Victor C. X. Wang, Patricia Cranton |
Promoting and Implementing Self-Directed Learning (SDL): An Effective Adult Education Model. |
Int. J. Adult Vocat. Educ. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Anuschka Igel |
Model-driven Engineering of Networked Ambient Systems with SDL-MDD. |
ANT/MobiWIS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andy Restrepo, W. Eric Wong |
Validation of SDL-based architectural design models using communication-based coverage criteria. |
Inf. Softw. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Radu Soricut, Nguyen Bach, Ziyuan Wang |
The SDL Language Weaver Systems in the WMT12 Quality Estimation Shared Task. |
WMT@NAACL-HLT |
2012 |
DBLP BibTeX RDF |
|
17 | Pavel Morozkin |
Possibility of SystemC code generation from SDL specification. |
FRUCT |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dennis Christmann, Reinhard Gotzhein |
Real-Time Tasks in SDL. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Sergey I. Balandin, Michel Gillet, Irina Lavrovskaya, Valentin Olenev, Alexey Rabin, Alexander Stepanov 0003 |
Co-Modeling of Embedded Networks Using SystemC and SDL. |
Int. J. Embed. Real Time Commun. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jay Cheng, Xuan-Chao Huang, Chih-Heng Cheng, Hsin-Hung Chou, Cheng-Shang Chang, Duan-Shin Lee |
Average Number of Recirculations in SDL Constructions of Optical Priority Queues. |
IEEE Commun. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous |
Application of partial-order methods for the verification of closed-loop SDL systems. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Lei Yuan, Tao Tang 0004, Kaicheng Li |
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL. |
ISADS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Andy Restrepo, W. Eric Wong |
Validation of SDL-Based Architectural Design Models: New Coverage Criteria. |
SSIRI |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Xin Wang, Uwe Küster, Michael M. Resch |
A Low-level SDL-based Framework for Efficient Executions of Large-scale Scientific Workflows. |
CSE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jaroslaw Bak, Maciej Falkowski, Czeslaw Jedrzejek |
The SDL Library: Querying a Relational Database with an Ontology, Rules and the Jess Engine. |
RuleML America (2) |
2011 |
DBLP BibTeX RDF |
|
17 | Marina Bagic Babac, Marijan Kunstic |
Towards SDL Ontology. |
Int. J. Comput. Sci. Appl. |
2010 |
DBLP BibTeX RDF |
|
17 | Marina Bagic Babac, Marijan Kunstic |
SDL Ontology for Specifying Systems Based on Finite State Machines. |
PAAMS (Special Sessions and Workshops) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mihal Brumbulli, Joachim Fischer |
SDL Code Generation for Network Simulators. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Braun, Reinhard Gotzhein, Matthias Wiebel |
Integration of FlexRay into the SDL-Model-Driven Development Approach. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Kraas |
The SDL-UML Profile Revisited. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Philipp Becker, Marc Krämer |
SDL Modules - Concepts and Tool Support. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Rodríguez-Cayetano |
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous |
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Pero Latkoski, Valentin Rakovic, Ognen Ognenoski, Vladimir Atanasovski, Liljana Gavrilovska |
SDL+QualNet: a novel simulation environment for wireless heterogeneous networks. |
SimuTools |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Maciej Falkowski, Jaroslaw Bak, Czeslaw Jedrzejek |
Application of the SDL Library to Reveal Legal Sanctions for Crime Perpetrators in Selected Economic Crimes: Fraudulent Disbursement and Money Laundering. |
RuleML Challenge |
2010 |
DBLP BibTeX RDF |
|
17 | Yanping Chen 0004, Robert L. Probert, Hasan Ural |
Regression test suite reduction based on SDL models of system requirements. |
J. Softw. Maintenance Res. Pract. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik |
Sdl2pml - Tool for automated generation of Promela model from SDL specification. |
Comput. Stand. Interfaces |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya |
Designing distributed software with RT-CORBA and SDL. |
Comput. Stand. Interfaces |
2009 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Andy Restrepo, Byoungju Choi |
Validation of SDL specifications using EFSM-based test generation. |
Inf. Softw. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Bart De Win, Riccardo Scandariato, Koen Buyens, Johan Grégoire, Wouter Joosen |
On the secure software development process: CLASP, SDL and Touchpoints compared. |
Inf. Softw. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee |
SDL Constructions of FIFO, LIFO and Absolute Contractors. |
INFOCOM |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Terry Lawlor |
SDL. |
MTSummit |
2009 |
DBLP BibTeX RDF |
|
17 | Valery A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina |
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. |
Program. Comput. Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yue-sheng Gu, Baojian Zhang |
Research on design of computer fundamental teaching material based on SDL. |
Summit on Computing Education in China |
2008 |
DBLP DOI BibTeX RDF |
computer fundamental courses, self-directory learning, higher education, teaching material |
17 | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
Formal Automated Transformation of SDL Specifications to Estelle Specifications. |
CATA |
2008 |
DBLP BibTeX RDF |
|
17 | Anna Medve, Ileana Ober |
From Models to Components: Filling the Gap with SDL Macro-patterns. |
CIMCA/IAWTIC/ISE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | F. Rookhosh, Abolfazl Toroghi Haghighat, S. Nickmanesh |
Testing Methodology Using SDL for an On-demand Routing Protocol in MANET. |
ICSNC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi |
An EFSM-based Test Generation for Validation of SDL Specifications. |
AST |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus |
Automated generation of Promela model from SDL specification. |
Comput. Stand. Interfaces |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andrey N. Terekhov, V. V. Sokolov |
Implementation of the conformation of MSC and SDL diagrams in the REAL technology. |
Program. Comput. Softw. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yi-Ting Chen, Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee, Ching-Chu Huang |
Feedforward SDL Constructions of Output-Buffered Multiplexers and Switches with Variable Length Bursts. |
INFOCOM |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Johan Grégoire, Koen Buyens, Bart De Win, Riccardo Scandariato, Wouter Joosen |
On the Secure Software Development Process: CLASP and SDL Compared. |
SESS@ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | André Best |
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL. |
|
2007 |
RDF |
|
17 | Kai Lennard Kerber |
Performance message sequence chart: Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC. |
|
2007 |
RDF |
|
17 | Harald Böhme |
Softwarekomponenten mit eODL und SDL für verteilte Systeme. |
|
2007 |
RDF |
|
17 | Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Dieter Hogrefe |
Case study on the use of SDL for specifying an IETF micro mobility protocol. |
COMSWARE |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Thomas Kuhn 0001, Christian Webel |
Developing safety-critical real-time systems with SDL design patterns and components. |
Comput. Networks |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Javier López 0001, Juan J. Ortega, José M. Troya |
Security protocols analysis: A SDL-based approach. |
Comput. Stand. Interfaces |
2005 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado |
Smart debugging software architectural design in SDL. |
J. Syst. Softw. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci |
A comparison between handwritten and automatic generation of C code from SDL using static analysis. |
Softw. Pract. Exp. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Peter Langendörfer, Martin Lehmann 0001 |
Implementation Independent Profiling of SDL Specifications. |
Software Engineering |
2005 |
DBLP BibTeX RDF |
|
17 | Daniel Amyot, Alan W. Williams (eds.) |
System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers |
SAM |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci |
Validation Coverage for a Component-based SDL model of a Railway Signaling System. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Robert M. Hierons, T.-H. Kim, Hasan Ural |
On the testability of SDL specifications. |
Comput. Networks |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ching-Lung Chang, Steven Shi-Wei Lee |
Design and application of Simple Data Link (SDL) framing protocol. |
Comput. Electr. Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte |
SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. |
FDL |
2004 |
DBLP BibTeX RDF |
|
17 | Tatiana Sugeta |
A contribution to the SDL specification testing: empirical and theoretical aspects. |
|
2004 |
RDF |
|
17 | Ralf Münzenberger |
Spezifikation der zeitlichen Aspekte von Echtzeitsystemen am Beispiel von SDL. |
|
2004 |
RDF |
|
17 | Loïc Hélouët |
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Bill Mitchell, Robert Thomson 0002, Paul Bristow |
Scenario Synthesis from Imprecise Requirements. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao-Jun Zhang, Tong Zheng 0002 |
Early Validation of Deployment and Scheduling Constraints for MSC Specifications. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Hoffmann 0001, Bertram Neubauer |
Deployment and Configuration of Distributed Systems. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Arjan J. Mooij, Nicolae Goga |
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Bræk, Jacqueline Floch |
ICT Convergence: Modeling Issues. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cas J. F. Cremers, Sjouke Mauw |
Checking Secrecy by Means of Partial Order Reduction. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Øystein Haugen |
Comparing UML 2.0 Interactions and MSC-2000. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps |
17 | Alessandro Fantechi, Emilio Spinicci |
Modelling and Validating a multiple-configuration railway signalling system using SDL. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001 |
The formal semantics of SDL-2000: Status and perspectives. |
Comput. Networks |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Rick Reed |
ITU-T system design languages (SDL). |
Comput. Networks |
2003 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Tatiana Sugeta, J. Jenny Li, José Carlos Maldonado |
Coverage testing software architectural design in SDL. |
Comput. Networks |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Reinhard Gotzhein |
Consolidating and applying the SDL-pattern approach: a detailed case study. |
Inf. Softw. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ki-Sook Chung, Byung-Sun Lee, YoungJoon Byun |
A Design Method of Communication Protocols Using SDL Patterns. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
17 | Edel Sherratt (eds.) |
Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers |
SAM |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ken Y. Chan, Gregor von Bochmann |
Methods for Designing SIP Features in SDL with Fewer Feature Interactions. |
FIW |
2003 |
DBLP BibTeX RDF |
|
17 | Olaf Henniger |
Testgenerierung aus Spezifikationen in Estelle und SDL. |
|
2003 |
RDF |
|
17 | Ralf Schröder |
SDL-Datenkonzepte - Analyse und Verbesserungen. |
|
2003 |
RDF |
|
17 | Martin von Löwis of Menar |
Formale Semantik des Datentypmodells von SDL-2000. |
|
2003 |
RDF |
|
17 | José R. Vidal, Luis Guijarro 0001 |
A methodology for developing simulation models of ATM networks in SDL language. |
Comput. Commun. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tatjana Kapus |
Specification of synchronous sequential circuits using SDL and ObjectGEODE. |
Comput. Stand. Interfaces |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jens Grabowski, Dieter Hogrefe |
SDL- and MSC-Based Specification and Automated Test Case Generation for INAP. |
Telecommun. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Frank Rößler |
Collaboration-based design of communicating systems with SDL. |
|
2002 |
RDF |
|
17 | César A. M. Marcon, Fabiano Hessel, Alexandre M. Amory, Luis H. L. Ries, Fernando Gehm Moraes, Ney Laert Vilar Calazans |
Prototyping of embedded digital systems from SDL language: a case study. |
HLDVT |
2002 |
DBLP DOI BibTeX RDF |
|