Search results for "SDL"

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