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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.09767, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.07585, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Mihal Brumbulli, Emmanuel Gaudin |
Performance Analysis of SDL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSDM ![In: Complex Systems Design & Management, Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M 2016, Paris, France, December 13-14, 2016, pp. 233, 2016, Springer, 978-3-319-49102-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary |
A Formal Model for WebRTC Signaling Using SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers, pp. 202-208, 2016, Springer, 978-3-319-46139-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: IEEE Wireless Communications and Networking Conference, WCNC 2016, Doha, Qatar, April 3-6, 2016, pp. 1-5, 2016, IEEE, 978-1-4673-9814-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mihal Brumbulli, Emmanuel Gaudin |
Optimizing Performance of SDL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling. Technology-Specific Aspects of Models - 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016, Proceedings, pp. 100-115, 2016, Springer, 978-3-319-46612-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Edel Sherratt |
SDL: Meeting the IoT Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling. Technology-Specific Aspects of Models - 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016, Proceedings, pp. 36-50, 2016, Springer, 978-3-319-46612-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 41(1), pp. 41-48, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Anandi Giridharan, Pallapa Venkataram |
SDL based validation of a node monitoring protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.07724, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Dennis Christmann |
Distributed Real-time Systems - Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
17 | Ikram el Rhaffari, Ounsa Roudiès |
Benchmarking SDL and CLASP lifecycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITA ![In: 9th International Conference on Intelligent Systems: Theories and Applications, SITA 2014, Rabat, Morocco, May 7-8, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-3566-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA, pp. 203-212, 2014, IEEE Computer Society, 978-0-7695-5185-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pp. 271-286, 2014, Springer, 978-3-319-11742-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Kraas |
Towards an Extensible Modeling and Validation Framework for SDL-UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pp. 255-270, 2014, Springer, 978-3-319-11742-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Blunk, Joachim Fischer |
Prototyping SDL Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pp. 304-311, 2014, Springer, 978-3-319-11742-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre |
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pp. 198-206, 2014, Springer, 978-3-319-11742-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: 2013 IEEE Global Communications Conference, GLOBECOM 2013, Atlanta, GA, USA, December 9-13, 2013, pp. 2339-2345, 2013, IEEE, 978-1-4799-1353-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM Workshops ![In: Workshops Proceedings of the Global Communications Conference, GLOBECOM 2013, Atlanta, GA, USA, December 9-13, 2013, pp. 1013-1018, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWCS ![In: ISWCS 2013, The Tenth International Symposium on Wireless Communication Systems, Ilmenau, Germany, August 27-30, 2013, pp. 1-5, 2013, VDE-Verlag / IEEE, 978-3-8007-3529-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Victor C. X. Wang, Patricia Cranton |
Promoting and Implementing Self-Directed Learning (SDL): An Effective Adult Education Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Adult Vocat. Educ. Technol. ![In: Int. J. Adult Vocat. Educ. Technol. 3(3), pp. 16-25, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Anuschka Igel |
Model-driven Engineering of Networked Ambient Systems with SDL-MDD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/MobiWIS ![In: Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), the 9th International Conference on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario, Canada, August 27-29, 2012, pp. 490-498, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andy Restrepo, W. Eric Wong |
Validation of SDL-based architectural design models using communication-based coverage criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 54(12), pp. 1418-1431, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Radu Soricut, Nguyen Bach, Ziyuan Wang |
The SDL Language Weaver Systems in the WMT12 Quality Estimation Shared Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMT@NAACL-HLT ![In: Proceedings of the Seventh Workshop on Statistical Machine Translation, WMT@NAACL-HLT 2012, June 7-8, 2012, Montréal, Canada, pp. 145-151, 2012, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Pavel Morozkin |
Possibility of SystemC code generation from SDL specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FRUCT ![In: 11th Conference of Open Innovations Association FRUCT, St. Petersburg, Russia, April 23-27, 2012, pp. 95-99, 2012, IEEE, 978-5-8088-0707-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dennis Christmann, Reinhard Gotzhein |
Real-Time Tasks in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers, pp. 53-71, 2012, Springer, 978-3-642-36756-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Real Time Commun. Syst. ![In: Int. J. Embed. Real Time Commun. Syst. 2(1), pp. 23-48, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 15(8), pp. 899-901, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 1666-1673, 2011, ACM, 978-1-4503-0113-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011, pp. 81-85, 2011, IEEE Computer Society, 978-1-61284-213-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Andy Restrepo, W. Eric Wong |
Validation of SDL-Based Architectural Design Models: New Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea, pp. 51-59, 2011, IEEE Computer Society, 978-0-7695-4453-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE ![In: 14th IEEE International Conference on Computational Science and Engineering, CSE 2011, Dalian, China, August 24-26, 2011, pp. 639-644, 2011, IEEE Computer Society, 978-1-4577-0974-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML America (2) ![In: Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Marina Bagic Babac, Marijan Kunstic |
Towards SDL Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Appl. ![In: Int. J. Comput. Sci. Appl. 7(1), pp. 23-44, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Marina Bagic Babac, Marijan Kunstic |
SDL Ontology for Specifying Systems Based on Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAMS (Special Sessions and Workshops) ![In: Trends in Practical Applications of Agents and Multiagent Systems - 8th International Conference on Practical Applications of Agents and Multiagent Systems, PAAMS 2010 Special Sessions and Workshops, Salamanca, Spain, 26-28 April 2010, pp. 509-517, 2010, Springer, 978-3-642-12432-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mihal Brumbulli, Joachim Fischer |
SDL Code Generation for Network Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, pp. 144-155, 2010, Springer, 978-3-642-21651-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Braun, Reinhard Gotzhein, Matthias Wiebel |
Integration of FlexRay into the SDL-Model-Driven Development Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, pp. 56-71, 2010, Springer, 978-3-642-21651-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Kraas |
The SDL-UML Profile Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, pp. 108-123, 2010, Springer, 978-3-642-21651-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Philipp Becker, Marc Krämer |
SDL Modules - Concepts and Tool Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, pp. 1-17, 2010, Springer, 978-3-642-21651-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Rodríguez-Cayetano |
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, pp. 72-90, 2010, Springer, 978-3-642-21651-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Fifth International Symposium on Industrial Embedded Systems, SIES 2010, University of Trento, Italy, July 7-9, 2010, pp. 197-200, 2010, IEEE, 978-1-4244-5840-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: 3rd International Conference on Simulation Tools and Techniques, SIMUTools '10, Malaga, Spain - March 16 - 18, 2010, pp. 25, 2010, ICST/ACM, 978-963-9799-87-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML Challenge ![In: Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium, Washington, DC, USA, October, 21-23, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Yanping Chen 0004, Robert L. Probert, Hasan Ural |
Regression test suite reduction based on SDL models of system requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Maintenance Res. Pract. ![In: J. Softw. Maintenance Res. Pract. 21(6), pp. 379-405, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik |
Sdl2pml - Tool for automated generation of Promela model from SDL specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 31(4), pp. 779-786, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya |
Designing distributed software with RT-CORBA and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 31(6), pp. 1073-1091, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Andy Restrepo, Byoungju Choi |
Validation of SDL specifications using EFSM-based test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(11), pp. 1505-1519, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(7), pp. 1152-1171, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee |
SDL Constructions of FIFO, LIFO and Absolute Contractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2009. 28th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 19-25 April 2009, Rio de Janeiro, Brazil, pp. 738-746, 2009, IEEE, 978-1-4244-3513-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Terry Lawlor |
SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSummit ![In: Proceedings of Machine Translation Summit XII: Plenaries, MTSummit 2009, Ottawa, Canada, August 26-30, 2009, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 34(6), pp. 330-340, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yue-sheng Gu, Baojian Zhang |
Research on design of computer fundamental teaching material based on SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Summit on Computing Education in China ![In: First ACM Summit on Computing Education in China, Beijing, China, October 24-25, 2008, Proceedings, pp. 14, 2008, ACM, 978-1-60558-441-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Proceedings of the ISCA 23rd International Conference on Computers and Their Applications, CATA 2008, April 9-11, 2008, Cancun, Mexico, pp. 136-141, 2008, ISCA, 978-1-880843-66-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Anna Medve, Ileana Ober |
From Models to Components: Filling the Gap with SDL Macro-patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC/ISE ![In: 2008 International Conferences on Computational Intelligence for Modelling, Control and Automation (CIMCA 2008), Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2008), Innovation in Software Engineering (ISE 2008), 10-12 December 2008, Vienna, Austria, pp. 1252-1257, 2008, IEEE Computer Society, 978-0-7695-3514-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNC ![In: 3rd International Conference on Systems and Networks Communications, ICSNC 2008, Sliema, Malta, October 26-31, 2008, pp. 316-321, 2008, IEEE Computer Society, 978-0-7695-3371-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008., pp. 25-32, 2008, ACM, 978-1-60558-030-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus |
Automated generation of Promela model from SDL specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 29(4), pp. 449-461, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 33(1), pp. 24-33, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2007. 26th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 6-12 May 2007, Anchorage, Alaska, USA, pp. 679-687, 2007, IEEE, 1-4244-1046-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESS@ICSE ![In: Third International Workshop on Software Engineering for Secure Systems, SESS 2007, Minneapolis, MN, USA, May 20-26, 2007, pp. 1, 2007, IEEE Computer Society, 0-7695-2952-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | André Best |
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
17 | Harald Böhme |
Softwarekomponenten mit eODL und SDL für verteilte Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSWARE ![In: Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), January 8-12, 2006, New Delhi, India, pp. 1-5, 2006, IEEE, 0-7803-9574-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 49(5), pp. 689-706, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Javier López 0001, Juan J. Ortega, José M. Troya |
Security protocols analysis: A SDL-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 27(5), pp. 489-499, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado |
Smart debugging software architectural design in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 76(1), pp. 15-28, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 35(14), pp. 1317-1347, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Peter Langendörfer, Martin Lehmann 0001 |
Implementation Independent Profiling of SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005 in Essen, pp. 155-166, 2005, GI, 3-88579-393-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![Springer, 3-540-24561-8 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 99-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Robert M. Hierons, T.-H. Kim, Hasan Ural |
On the testability of SDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 44(5), pp. 681-700, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ching-Lung Chang, Steven Shi-Wei Lee |
Design and application of Simple Data Link (SDL) framing protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 30(6), pp. 441-452, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 672-684, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Tatiana Sugeta |
A contribution to the SDL specification testing: empirical and theoretical aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Ralf Münzenberger |
Spezifikation der zeitlichen Aspekte von Echtzeitsystemen am Beispiel von SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Loïc Hélouët |
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 189-207, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Bill Mitchell, Robert Thomson 0002, Paul Bristow |
Scenario Synthesis from Imprecise Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 122-137, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 106-121, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Hoffmann 0001, Bertram Neubauer |
Deployment and Configuration of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 1-16, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 257-270, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Bræk, Jacqueline Floch |
ICT Convergence: Modeling Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 237-256, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cas J. F. Cremers, Sjouke Mauw |
Checking Secrecy by Means of Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 171-188, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Øystein Haugen |
Comparing UML 2.0 Interactions and MSC-2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 65-79, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 138-153, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 66-76, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001 |
The formal semantics of SDL-2000: Status and perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 42(3), pp. 343-358, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Rick Reed |
ITU-T system design languages (SDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 42(3), pp. 283-284, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Tatiana Sugeta, J. Jenny Li, José Carlos Maldonado |
Coverage testing software architectural design in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 42(3), pp. 359-374, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Reinhard Gotzhein |
Consolidating and applying the SDL-pattern approach: a detailed case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 45(11), pp. 727-741, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ki-Sook Chung, Byung-Sun Lee, YoungJoon Byun |
A Design Method of Communication Protocols Using SDL Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1, pp. 319-324, 2003, CSREA Press, 1-932415-19-X. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![Springer, 3-540-00877-2 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ken Y. Chan, Gregor von Bochmann |
Methods for Designing SIP Features in SDL with Fewer Feature Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIW ![In: Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada, pp. 59-76, 2003, IOS Press, 1-58603-348-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Olaf Henniger |
Testgenerierung aus Spezifikationen in Estelle und SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Ralf Schröder |
SDL-Datenkonzepte - Analyse und Verbesserungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Martin von Löwis of Menar |
Formale Semantik des Datentypmodells von SDL-2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | José R. Vidal, Luis Guijarro 0001 |
A methodology for developing simulation models of ATM networks in SDL language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 25(3), pp. 265-287, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tatjana Kapus |
Specification of synchronous sequential circuits using SDL and ObjectGEODE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 24(3), pp. 257-274, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jens Grabowski, Dieter Hogrefe |
SDL- and MSC-Based Specification and Automated Test Case Generation for INAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 20(3-4), pp. 265-290, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Frank Rößler |
Collaboration-based design of communicating systems with SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002, pp. 133-138, 2002, IEEE Computer Society, 0-7803-7655-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|