Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:conf/sdl:"
@inproceedings{DBLP:conf/sdl/AhmedMG17, author = {Bali Ahmed and Al{-}Osta Mahmud and Abdelouahed Gherbi}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {An Ontology-Based Approach for IoT Data Processing Using Semantic Rules}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {61--79}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_5}, doi = {10.1007/978-3-319-68015-6\_5}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AhmedMG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AlkafHHA17, author = {Hasan Salim Alkaf and Jameleddine Hassine and Abdelwahab Hamou{-}Lhadj and Luay Alawneh}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {An Automated Change Impact Analysis Approach to {GRL} Models}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {157--172}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_10}, doi = {10.1007/978-3-319-68015-6\_10}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AlkafHHA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AmyotHH17, author = {Daniel Amyot and Abdelwahab Hamou{-}Lhadj and Jameleddine Hassine}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {On the Impact of the {SDL} Forum Society Conferences on Academic Research}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {30--45}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_3}, doi = {10.1007/978-3-319-68015-6\_3}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AmyotHH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HonfiMMM17, author = {David Honfi and G{\'{a}}bor Moln{\'{a}}r and Zolt{\'{a}}n Micskei and Istv{\'{a}}n Majzik}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {Model-Based Regression Testing of Autonomous Robots}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {119--135}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_8}, doi = {10.1007/978-3-319-68015-6\_8}, timestamp = {Mon, 25 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HonfiMMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Kraas17, author = {Alexander Kraas}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {Automated Tooling for the Evolving {SDL} Standard: From Metamodels to {UML} Profiles}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {136--156}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_9}, doi = {10.1007/978-3-319-68015-6\_9}, timestamp = {Mon, 25 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Kraas17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MartonSB17, author = {J{\'{o}}zsef Marton and G{\'{a}}bor Sz{\'{a}}rnyas and M{\'{a}}rton B{\'{u}}r}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {Model-Driven Engineering of an OpenCypher Engine: Using Graph Queries to Compile Graph Queries}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {80--98}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_6}, doi = {10.1007/978-3-319-68015-6\_6}, timestamp = {Thu, 12 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MartonSB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MustafizNDKT17, author = {Sadaf Mustafiz and Navid Nazarzadeoghaz and Guillaume Dupont and Ferhat Khendek and Maria Toeroe}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {A Model-Driven Process Enactment Approach for Network Service Design}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {99--118}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_7}, doi = {10.1007/978-3-319-68015-6\_7}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/MustafizNDKT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ScheidgenGF17, author = {Markus Scheidgen and Nils Goldammer and Joachim Fischer}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {Interactive Visualization of Software}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {1--17}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_1}, doi = {10.1007/978-3-319-68015-6\_1}, timestamp = {Mon, 25 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ScheidgenGF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Sherratt17, author = {Edel Sherratt}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {Intelligent Resilience in the IoT}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {46--60}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_4}, doi = {10.1007/978-3-319-68015-6\_4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Sherratt17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/WeberF17, author = {Dorian Weber and Joachim Fischer}, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {Static Syntax Validation for Code Generation with String Templates}, booktitle = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, pages = {18--29}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6\_2}, doi = {10.1007/978-3-319-68015-6\_2}, timestamp = {Mon, 25 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/WeberF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2017, editor = {Tibor Cs{\"{o}}ndes and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, title = {{SDL} 2017: Model-Driven Engineering for Future Internet - 18th International {SDL} Forum, Budapest, Hungary, October 9-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10567}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68015-6}, doi = {10.1007/978-3-319-68015-6}, isbn = {978-3-319-68014-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AbbasipourKT15, author = {Mahin Abbasipour and Ferhat Khendek and Maria Toeroe}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {A Model-Based Framework for {SLA} Management and Dynamic Reconfiguration}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {19--26}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_2}, doi = {10.1007/978-3-319-24912-4\_2}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AbbasipourKT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AbdelzadAL15, author = {Vahdat Abdelzad and Daniel Amyot and Timothy C. Lethbridge}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with {GRL}}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {159--174}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_12}, doi = {10.1007/978-3-319-24912-4\_12}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AbdelzadAL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AdamisKR15, author = {Guszt{\'{a}}v Adamis and G{\'{a}}bor Kov{\'{a}}cs and Gy{\"{o}}rgy R{\'{e}}thy}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Generating Performance Test Model from Conformance Test Logs}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {268--284}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_19}, doi = {10.1007/978-3-319-24912-4\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AdamisKR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BouletAS15, author = {Patrice Boulet and Daniel Amyot and Bernard Stepien}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Towards the Generation of Tests in the Test Description Language from Use Case Map Models}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {193--201}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_14}, doi = {10.1007/978-3-319-24912-4\_14}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BouletAS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BraunAL15, author = {Edna Braun and Daniel Amyot and Timothy C. Lethbridge}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Generating Software Documentation in Use Case Maps from Filtered Execution Traces}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {177--192}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_13}, doi = {10.1007/978-3-319-24912-4\_13}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BraunAL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BraunC15, author = {Tobias Braun and Dennis Christmann}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Simulating Distributed Systems with {SDL} and Hardware-in-the-Loop}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {49--64}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_5}, doi = {10.1007/978-3-319-24912-4\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BraunC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/DuranMTK15, author = {Mustafa Berk Duran and Gunter Mussbacher and Nishanth Thimmegowda and J{\"{o}}rg Kienzle}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {On the Reuse of Goal Models}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {141--158}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_11}, doi = {10.1007/978-3-319-24912-4\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/DuranMTK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GaudinC15, author = {Emmanuel Gaudin and Alain Clouard}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {An Experiment to Introduce Interrupts in {SDL}}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {81--88}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_7}, doi = {10.1007/978-3-319-24912-4\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GaudinC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/George15, author = {Lars George}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Event Pattern Mining for Smart Environments}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {42--45}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_4}, doi = {10.1007/978-3-319-24912-4\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/George15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GjosaeterP15, author = {Terje Gj{\o}s{\ae}ter and Andreas Prinz}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {LanguageLab - {A} Meta-modelling Environment}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {91--105}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_8}, doi = {10.1007/978-3-319-24912-4\_8}, timestamp = {Mon, 25 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/GjosaeterP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HarmsG15, author = {Patrick Harms and Jens Grabowski}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Consistency of Task Trees Generated from Website Usage Traces}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {106--121}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_9}, doi = {10.1007/978-3-319-24912-4\_9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/HarmsG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HassineH15, author = {Jameleddine Hassine and Abdelwahab Hamou{-}Lhadj}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Describing Early Security Requirements Using Use Case Maps}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {202--217}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_15}, doi = {10.1007/978-3-319-24912-4\_15}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HassineH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KouhenGDK15, author = {Amine El Kouhen and Abdelouahed Gherbi and C{\'{e}}dric Dumoulin and Ferhat Khendek}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {On the Semantic Transparency of Visual Notations: Experiments with {UML}}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {122--137}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_10}, doi = {10.1007/978-3-319-24912-4\_10}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KouhenGDK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Kraas15, author = {Alexander Kraas}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Name Resolution of {SDL} Revisited: Drawbacks and Possible Enhancements}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {65--80}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_6}, doi = {10.1007/978-3-319-24912-4\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Kraas15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Lackner15, author = {Hartmut Lackner}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {238--251}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_17}, doi = {10.1007/978-3-319-24912-4\_17}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Lackner15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LetichevskyLPW15, author = {Alexander A. Letichevsky and Oleksandr A. Letychevskyi and Volodymyr Peschanenko and Thomas Weigert}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Insertion Modeling and Symbolic Verification of Large Systems}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {3--18}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_1}, doi = {10.1007/978-3-319-24912-4\_1}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LetichevskyLPW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SherrattOGCK15, author = {Edel Sherratt and Ileana Ober and Emmanuel Gaudin and Pau Fonseca i Casas and Finn Kristoffersen}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {{SDL} - The IoT Language}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {27--41}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_3}, doi = {10.1007/978-3-319-24912-4\_3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/SherrattOGCK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ShimbaraH15, author = {Daisuke Shimbara and {\O}ystein Haugen}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Generating Configurations for System Testing with Common Variability Language}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {221--237}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_16}, doi = {10.1007/978-3-319-24912-4\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ShimbaraH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/StepienMP15, author = {Bernard Stepien and Kavya Mallur and Liam Peyton}, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {Testing Business Processes Using {TTCN-3}}, booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, pages = {252--267}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4\_18}, doi = {10.1007/978-3-319-24912-4\_18}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/StepienMP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2015, editor = {Joachim Fischer and Markus Scheidgen and Ina Schieferdecker and Rick Reed}, title = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9369}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24912-4}, doi = {10.1007/978-3-319-24912-4}, isbn = {978-3-319-24911-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AboussororOO13, author = {El Arbi Aboussoror and Ileana Ober and Iulian Ober}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {107--123}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_7}, doi = {10.1007/978-3-642-38911-5\_7}, timestamp = {Sat, 05 Sep 2020 17:55:35 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AboussororOO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AdamisWNEK13, author = {Guszt{\'{a}}v Adamis and Antal Wu{-}Hen{-}Chang and G{\'{a}}bor {\'{A}}rp{\'{a}}d N{\'{e}}meth and Levente Er{\"{o}}s and G{\'{a}}bor Kov{\'{a}}cs}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Data Flow Testing in {TTCN-3} with a Relational Database Schema}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {1--18}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_1}, doi = {10.1007/978-3-642-38911-5\_1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AdamisWNEK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AlhajP13, author = {Mohammad Alhaj and Dorina C. Petriu}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Traceability Links in Model Transformations between Software and Performance Models}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {203--221}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_12}, doi = {10.1007/978-3-642-38911-5\_12}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/AlhajP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AlzahraniP13, author = {Naif A. Mokhayesh Alzahrani and Dorina C. Petriu}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {124--143}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_8}, doi = {10.1007/978-3-642-38911-5\_8}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AlzahraniP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ApvrilleS13, author = {Ludovic Apvrille and Pierre de Saqui{-}Sannes}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {91--106}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_6}, doi = {10.1007/978-3-642-38911-5\_6}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ApvrilleS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BlunkF13, author = {Andreas Blunk and Joachim Fischer}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Efficient Development of Domain-Specific Simulation Modelling Languages and Tools}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {163--181}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_10}, doi = {10.1007/978-3-642-38911-5\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BlunkF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/CasasPCJ13, author = {Pau Fonseca i Casas and Xavier Pi and Josep Casanovas and Jordi Jov{\'{e}}}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {258--274}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_15}, doi = {10.1007/978-3-642-38911-5\_15}, timestamp = {Sat, 24 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/CasasPCJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ChristmannBG13, author = {Dennis Christmann and Tobias Braun and Reinhard Gotzhein}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {{SDL} Real-Time Tasks - Concept, Implementation, and Evaluation}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {239--257}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_14}, doi = {10.1007/978-3-642-38911-5\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ChristmannBG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GaudinB13, author = {Emmanuel Gaudin and Eric Brunel}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Property Verification with {MSC}}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {19--35}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_2}, doi = {10.1007/978-3-642-38911-5\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GaudinB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HamidGZBP13, author = {Brahim Hamid and Jacob Geisel and Adel Ziani and Jean{-}Michel Bruel and Jon P{\'{e}}rez}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {72--90}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_5}, doi = {10.1007/978-3-642-38911-5\_5}, timestamp = {Wed, 16 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HamidGZBP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HassineH13, author = {Jameleddine Hassine and Abdelwahab Hamou{-}Lhadj}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Towards the Generation of {AMF} Configurations from Use Case Maps Based Availability Requirements}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {36--53}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_3}, doi = {10.1007/978-3-642-38911-5\_3}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HassineH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HassineMBA13, author = {Jameleddine Hassine and Gunter Mussbacher and Edna Braun and Mohammad Alhaj}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {54--71}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_4}, doi = {10.1007/978-3-642-38911-5\_4}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/HassineMBA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LucioMDVJ13, author = {Levi Lucio and Sadaf Mustafiz and Joachim Denil and Hans Vangheluwe and Maris Jukss}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {{FTG+PM:} An Integrated Framework for Investigating Model Transformation Chains}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {182--202}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_11}, doi = {10.1007/978-3-642-38911-5\_11}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LucioMDVJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MorozkinLON13, author = {Pavel Morozkin and Irina Lavrovskaya and Valentin Olenev and Konstantin Nedovodeev}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Integration of {SDL} Models into a SystemC Project for Network Simulation}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {275--290}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_16}, doi = {10.1007/978-3-642-38911-5\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MorozkinLON13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PotvinBBB13, author = {Pascal Potvin and Mario Bonja and Gordon Bailey and Pierre Busnel}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {An {IMS} {DSL} Developed at Ericsson}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {144--162}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_9}, doi = {10.1007/978-3-642-38911-5\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/PotvinBBB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SchmidtWSFK13, author = {Martin Schmidt and Arif Wider and Markus Scheidgen and Joachim Fischer and Sebastian von Klinski}, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {Refactorings in Language Development with Asymmetric Bidirectional Model Transformations}, booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, pages = {222--238}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5\_13}, doi = {10.1007/978-3-642-38911-5\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/SchmidtWSFK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2013, editor = {Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed}, title = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7916}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38911-5}, doi = {10.1007/978-3-642-38911-5}, isbn = {978-3-642-38910-8}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2011, editor = {Iulian Ober and Ileana Ober}, title = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-25264-8}, doi = {10.1007/978-3-642-25264-8}, isbn = {978-3-642-25263-1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AnssiGKT11, author = {Saoussen Anssi and S{\'{e}}bastien G{\'{e}}rard and Stefan Kuntz and Fran{\c{c}}ois Terrier}, editor = {Iulian Ober and Ileana Ober}, title = {{AUTOSAR} vs. {MARTE} for Enabling Timing Analysis of Automotive Applications}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {262--275}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_20}, doi = {10.1007/978-3-642-25264-8\_20}, timestamp = {Sat, 30 Sep 2023 09:55:58 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AnssiGKT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BaranovKW11, author = {Sergey Baranov and Vsevolod Kotlyarov and Thomas Weigert}, editor = {Iulian Ober and Ileana Ober}, title = {Verifiable Coverage Criteria for Automated Testing}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {79--89}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_8}, doi = {10.1007/978-3-642-25264-8\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BaranovKW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ChristmannBG11, author = {Dennis Christmann and Philipp Becker and Reinhard Gotzhein}, editor = {Iulian Ober and Ileana Ober}, title = {Priority Scheduling in {SDL}}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {202--217}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_16}, doi = {10.1007/978-3-642-25264-8\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ChristmannBG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/CottenierBW11, author = {Thomas Cottenier and Aswin van den Berg and Thomas Weigert}, editor = {Iulian Ober and Ileana Ober}, title = {Separation of Concerns with Transactional Regions}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {168--185}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_14}, doi = {10.1007/978-3-642-25264-8\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/CottenierBW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FatimaBC11, author = {Urooj Fatima and Rolv Br{\ae}k and Humberto Nicol{\'{a}}s Castej{\'{o}}n Mart{\'{\i}}nez}, editor = {Iulian Ober and Ileana Ober}, title = {Session Initiation as a Service}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {122--137}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_11}, doi = {10.1007/978-3-642-25264-8\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FatimaBC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FleureyHMSZ11, author = {Franck Fleurey and {\O}ystein Haugen and Birger M{\o}ller{-}Pedersen and Andreas Svendsen and Xiaorui Zhang}, editor = {Iulian Ober and Ileana Ober}, title = {Standardizing Variability - Challenges and Solutions}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {233--246}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_18}, doi = {10.1007/978-3-642-25264-8\_18}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FleureyHMSZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HassineG11, author = {Jameleddine Hassine and Abdelouahed Gherbi}, editor = {Iulian Ober and Ileana Ober}, title = {Exploring Early Availability Requirements Using Use Case Maps}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {54--68}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_6}, doi = {10.1007/978-3-642-25264-8\_6}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HassineG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KathayatLB11, author = {Surya Bahadur Kathayat and Hien Nam Le and Rolv Br{\ae}k}, editor = {Iulian Ober and Ileana Ober}, title = {A Model-Driven Framework for Component-Based Development}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {154--167}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_13}, doi = {10.1007/978-3-642-25264-8\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KathayatLB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Kraas11, author = {Alexander Kraas}, editor = {Iulian Ober and Ileana Ober}, title = {A Model-Based Formalization of the Textual Notation for {SDL-UML}}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {218--232}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_17}, doi = {10.1007/978-3-642-25264-8\_17}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Kraas11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KramerBCG11, author = {Marc Kr{\"{a}}mer and Tobias Braun and Dennis Christmann and Reinhard Gotzhein}, editor = {Iulian Ober and Ileana Ober}, title = {Real-Time Signaling in {SDL}}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {186--201}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_15}, doi = {10.1007/978-3-642-25264-8\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KramerBCG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MussaK11, author = {Mohamed Mussa and Ferhat Khendek}, editor = {Iulian Ober and Ileana Ober}, title = {Towards a Model Based Approach for Integration Testing}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {106--121}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_10}, doi = {10.1007/978-3-642-25264-8\_10}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/MussaK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/NassietLPL11, author = {Didier Nassiet and Yohan Livet and Marc Palyart and David Lugato}, editor = {Iulian Ober and Ileana Ober}, title = {Paprika: Rapid {UI} Development of Scientific Dataset Editors for High Performance Computing}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {69--78}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_7}, doi = {10.1007/978-3-642-25264-8\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/NassietLPL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PalyartLOB11, author = {Marc Palyart and David Lugato and Ileana Ober and Jean{-}Michel Bruel}, editor = {Iulian Ober and Ileana Ober}, title = {{MDE4HPC:} An Approach for Using Model-Driven Engineering in High-Performance Computing}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {247--261}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_19}, doi = {10.1007/978-3-642-25264-8\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/PalyartLOB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PerrotinCDST11, author = {Maxime Perrotin and Eric Conquet and Julien Delange and Andre Schiele and Thanassis Tsiodras}, editor = {Iulian Ober and Ileana Ober}, title = {{TASTE:} {A} Real-Time Software Engineering Tool-Chain Overview, Status, and Future}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {26--37}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_4}, doi = {10.1007/978-3-642-25264-8\_4}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/PerrotinCDST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Petriu11, author = {Dorina C. Petriu}, editor = {Iulian Ober and Ileana Ober}, title = {Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk)}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {1}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_1}, doi = {10.1007/978-3-642-25264-8\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Petriu11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Reed11, author = {Rick Reed}, editor = {Iulian Ober and Ileana Ober}, title = {{SDL-2010:} Background, Rationale, and Survey}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {4--25}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_3}, doi = {10.1007/978-3-642-25264-8\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Reed11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Sergent11, author = {Thierry Le Sergent}, editor = {Iulian Ober and Ileana Ober}, title = {{SCADE:} {A} Comprehensive Framework for Critical System and Software Engineering}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {2--3}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_2}, doi = {10.1007/978-3-642-25264-8\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Sergent11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SulistyoP11, author = {Selo Sulistyo and Andreas Prinz}, editor = {Iulian Ober and Ileana Ober}, title = {PMG-Pro: {A} Model-Driven Development Method of Service-Based Applications}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {138--153}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_12}, doi = {10.1007/978-3-642-25264-8\_12}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/SulistyoP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SvendsenHM11, author = {Andreas Svendsen and {\O}ystein Haugen and Birger M{\o}ller{-}Pedersen}, editor = {Iulian Ober and Ileana Ober}, title = {Synthesizing Software Models: Generating Train Station Models Automatically}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {38--53}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_5}, doi = {10.1007/978-3-642-25264-8\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/SvendsenHM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Wu-Hen-ChangAEKC11, author = {Antal Wu{-}Hen{-}Chang and Guszt{\'{a}}v Adamis and Levente Er{\"{o}}s and G{\'{a}}bor Kov{\'{a}}cs and Tibor Cs{\"{o}}ndes}, editor = {Iulian Ober and Ileana Ober}, title = {A New Approach in Model-Based Testing: Designing Test Models in {TTCN-3}}, booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7083}, pages = {90--105}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25264-8\_9}, doi = {10.1007/978-3-642-25264-8\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Wu-Hen-ChangAEKC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AbidASM09, author = {Muhammad R. Abid and Daniel Amyot and St{\'{e}}phane S. Som{\'{e}} and Gunter Mussbacher}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {A {UML} Profile for Goal-Oriented Modeling}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {133--148}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_9}, doi = {10.1007/978-3-642-04554-7\_9}, timestamp = {Thu, 28 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AbidASM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AboussororOS09, author = {El Arbi Aboussoror and Ileana Ober and Michelle Sibilla}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Towards Model Based Development of Managed Networked Embedded Systems}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {53--62}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_4}, doi = {10.1007/978-3-642-04554-7\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AboussororOS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AhrensEFKW09, author = {Klaus Ahrens and Ingmar Eveslage and Joachim Fischer and Frank K{\"{u}}hnlenz and Dorian Weber}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {The Challenges of Using {SDL} for the Development of Wireless Sensor Networks}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {200--221}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_13}, doi = {10.1007/978-3-642-04554-7\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AhrensEFKW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BeckerCG09, author = {Philipp Becker and Dennis Christmann and Reinhard Gotzhein}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Model-Driven Development of Time-Critical Protocols with {SDL-MDD}}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {34--52}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_3}, doi = {10.1007/978-3-642-04554-7\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BeckerCG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BlunkFS09, author = {Andreas Blunk and Joachim Fischer and Daniel A. Sadilek}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Modelling a Debugger for an Imperative Voice Control Language}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {149--164}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_10}, doi = {10.1007/978-3-642-04554-7\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BlunkFS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GotzheinKLC09, author = {Reinhard Gotzhein and Marc Kr{\"{a}}mer and Lothar Litz and Alain Chamaken}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Energy-Aware System Design with {SDL}}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {19--33}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_2}, doi = {10.1007/978-3-642-04554-7\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GotzheinKLC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Hassine09, author = {Jameleddine Hassine}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Early Schedulability Analysis with Timed Use Case Maps}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {98--114}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_7}, doi = {10.1007/978-3-642-04554-7\_7}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/Hassine09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/JalbaniGNZ09, author = {Akhtar Ali Jalbani and Jens Grabowski and Helmut Neukirchen and Benjamin Zeiss}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Towards an Integrated Quality Assessment and Improvement Approach for {UML} Models}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {63--81}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_5}, doi = {10.1007/978-3-642-04554-7\_5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/JalbaniGNZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KovacsNSP09, author = {G{\'{a}}bor Kov{\'{a}}cs and G{\'{a}}bor {\'{A}}rp{\'{a}}d N{\'{e}}meth and Mahadevan Subramaniam and Zolt{\'{a}}n Pap}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Optimal String Edit Distance Based Test Suite Reduction for {SDL} Specifications}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {82--97}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_6}, doi = {10.1007/978-3-642-04554-7\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KovacsNSP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Kraemer09, author = {Frank Alexander Kraemer}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Automatic Generation of Compatible Interfaces from Partitioned {UML} Activities}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {182--199}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_12}, doi = {10.1007/978-3-642-04554-7\_12}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Kraemer09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KraemerSH09, author = {Frank Alexander Kraemer and Vidar Sl{\aa}tten and Peter Herrmann}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {1--18}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_1}, doi = {10.1007/978-3-642-04554-7\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KraemerSH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MarthR09, author = {Kevin Marth and Shangping Ren}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {The {ARC} Programming Model}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {165--181}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_11}, doi = {10.1007/978-3-642-04554-7\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MarthR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MussbacherA09, author = {Gunter Mussbacher and Daniel Amyot}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Extending the User Requirements Notation with Aspect-Oriented Concepts}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {115--132}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_8}, doi = {10.1007/978-3-642-04554-7\_8}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MussbacherA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ShowkSTBGB09, author = {Anas Showk and David Szczesny and Shadi Traboulsi and Irv Badr and Maria Elizabeth Gonzalez and Attila Bilgic}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {Modeling {LTE} Protocol for Mobile Terminals Using a Formal Description Technique}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {222--238}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_14}, doi = {10.1007/978-3-642-04554-7\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ShowkSTBGB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/TraboulsiBSSHGB09, author = {Shadi Traboulsi and Felix Bruns and Anas Showk and David Szczesny and Sebastian Hessel and Maria Elizabeth Gonzalez and Attila Bilgic}, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform}, booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, pages = {239--255}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7\_15}, doi = {10.1007/978-3-642-04554-7\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/TraboulsiBSSHGB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2009, editor = {Rick Reed and Attila Bilgic and Reinhard Gotzhein}, title = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL} Forum, Bochum, Germany, September 22-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5719}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04554-7}, doi = {10.1007/978-3-642-04554-7}, isbn = {978-3-642-04553-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BakerJ07, author = {Paul Baker and Clive Jervis}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Testing {UML2.0} Models Using {TTCN-3} and the {UML2.0} Testing Profile}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {86--100}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_6}, doi = {10.1007/978-3-540-74984-4\_6}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BakerJ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BanciFGL07, author = {Michele Banci and Alessandro Fantechi and Stefania Gnesi and Giovanni Lombardi}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Model Driven Development and Code Generation: An Automotive Case Study}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {19--34}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_2}, doi = {10.1007/978-3-540-74984-4\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BanciFGL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ChateletPQ07, author = {Guillaume Ch{\^{a}}telet and Benoit Parreaux and Yves{-}Marie Quemener}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Using Probabilist Models for Studying Realistic Systems: {A} Case Study of Pastry}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {242--257}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_15}, doi = {10.1007/978-3-540-74984-4\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ChateletPQ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FliegeG07, author = {Ingmar Fliege and Reinhard Gotzhein}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Automated Generation of Micro Protocol Descriptions from {SDL} Design Specifications}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {150--165}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_10}, doi = {10.1007/978-3-540-74984-4\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FliegeG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GherbiK07, author = {Abdelouahed Gherbi and Ferhat Khendek}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Consistency of {UML/SPT} Models}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {203--224}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_13}, doi = {10.1007/978-3-540-74984-4\_13}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GherbiK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GotzheinGK07, author = {Reinhard Gotzhein and R{\"{u}}diger Grammes and Thomas Kuhn}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Specifying Input Port Bounds in {SDL}}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {101--116}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_7}, doi = {10.1007/978-3-540-74984-4\_7}, timestamp = {Thu, 27 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/GotzheinGK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HassineRD07, author = {Jameleddine Hassine and Juergen Rilling and Rachida Dssouli}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Formal Verification of Use Case Maps with Real Time Extensions}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {225--241}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_14}, doi = {10.1007/978-3-540-74984-4\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HassineRD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KealeyA07, author = {Jason Kealey and Daniel Amyot}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Enhanced Use Case Map Traversal Semantics}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {133--149}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_9}, doi = {10.1007/978-3-540-74984-4\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KealeyA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KimYPS07, author = {Tae{-}Hyong Kim and Qi{-}Ping Yang and Soon{-}Gi Park and Yeun{-}Seung Shin}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {{SDL} Design and Performance Evaluation of a Mobility Management Technique for 3GPP {LTE} Systems}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {272--288}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_17}, doi = {10.1007/978-3-540-74984-4\_17}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KimYPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KraemerBH07, author = {Frank Alexander Kraemer and Rolv Br{\ae}k and Peter Herrmann}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {166--185}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_11}, doi = {10.1007/978-3-540-74984-4\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KraemerBH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Poncela-GonzalezGVF07, author = {Javier Poncela{-}Gonz{\'{a}}lez and Juan G{\'{o}}mez{-}Salvador and Carlos Valero{-}Rold{\'{a}}n and Unai Fern{\'{a}}ndez{-}Plazaola}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Using {TTCN} for Radio Conformance Test Systems}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {69--85}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_5}, doi = {10.1007/978-3-540-74984-4\_5}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Poncela-GonzalezGVF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PrinzST07, author = {Andreas Prinz and Markus Scheidgen and Merete Skjelten Tveit}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {A Model-Based Standard for {SDL}}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {1--18}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_1}, doi = {10.1007/978-3-540-74984-4\_1}, timestamp = {Mon, 25 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/PrinzST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/RodriguezP07, author = {Manuel Rodr{\'{\i}}guez and Jos{\'{e}} Mar{\'{\i}}a Parra}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Experiences in Using the {SOMT} Method to Support the Design and Implementation of a Network Simulator}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {186--202}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_12}, doi = {10.1007/978-3-540-74984-4\_12}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/RodriguezP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Sacha07, author = {Krzysztof Sacha}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Translatable Finite State Time Machine}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {117--132}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_8}, doi = {10.1007/978-3-540-74984-4\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Sacha07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/VerhulstJ07, author = {Eric Verhulst and Gjalt G. de Jong}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {OpenComRTOS: An Ultra-Small Network Centric Embedded {RTOS} Designed Using Formal Modeling}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {258--271}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_16}, doi = {10.1007/978-3-540-74984-4\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/VerhulstJ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/WeigertWMBJDGBFNWM07, author = {Thomas Weigert and Frank Weil and Kevin Marth and Paul Baker and Clive Jervis and Paul Dietz and Yexuan Gui and Aswin van den Berg and Kim Fleer and David Nelson and Michael Wells and Brian E. Mastenbrook}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {Experiences in Deploying Model-Driven Engineering}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {35--53}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_3}, doi = {10.1007/978-3-540-74984-4\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/WeigertWMBJDGBFNWM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/WernerGNRWZ07, author = {Edith Werner and Jens Grabowski and Helmut Neukirchen and Nils R{\"{o}}ttger and Stephan Waack and Benjamin Zeiss}, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {{TTCN-3} Quality Engineering: Using Learning Techniques to Evaluate Metric Sets}, booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, pages = {54--68}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4\_4}, doi = {10.1007/978-3-540-74984-4\_4}, timestamp = {Tue, 12 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/WernerGNRWZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2007, editor = {Emmanuel Gaudin and Elie Najm and Rick Reed}, title = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL} Forum, Paris, France, September 18-21, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4745}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74984-4}, doi = {10.1007/978-3-540-74984-4}, isbn = {978-3-540-74983-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AmyotRW05, author = {Daniel Amyot and Jean{-}Fran{\c{c}}ois Roy and Michael Weiss}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {UCM-Driven Testing of Web Applications}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {247--264}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_18}, doi = {10.1007/11506843\_18}, timestamp = {Wed, 25 Sep 2019 18:02:25 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AmyotRW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Baar05, author = {Thomas Baar}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Non-deterministic Constructs in {OCL} - What Does any() Mean}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {32--46}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_3}, doi = {10.1007/11506843\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Baar05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BohmeSV05, author = {Harald B{\"{o}}hme and Glenn Sch{\"{u}}tze and Konrad Voigt}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Component Development: {MDA} Based Transformation from eODL to {CIDL}}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {68--84}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_5}, doi = {10.1007/11506843\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BohmeSV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/DanielLK05, author = {Laila Daniel and Matti Luukkainen and Markku Kojo}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Experiences in Using {SDL} to Support the Design and Implementation of a Logical Link Layer Protocol}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {187--197}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_13}, doi = {10.1007/11506843\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/DanielLK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/DiazGLT05, author = {Manuel D{\'{\i}}az and Daniel Garrido and Luis Llopis and Jos{\'{e}} M. Troya}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Integrating {RT-CORBA} in {SDL}}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {47--67}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_4}, doi = {10.1007/11506843\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/DiazGLT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/EichnerFMSS05, author = {Christoph Eichner and Hans Fleischhack and Roland Meyer and Ulrik Schrimpf and Christian Stehno}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Compositional Semantics for {UML} 2.0 Sequence Diagrams Using Petri Nets}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {133--148}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_9}, doi = {10.1007/11506843\_9}, timestamp = {Mon, 02 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/EichnerFMSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FischerKPS05, author = {Joachim Fischer and Andreas Kunert and Michael Piefel and Markus Scheidgen}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {ULF-Ware - An Open Framework for Integrated Tools for {ITU-T} Languages}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {1--15}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_1}, doi = {10.1007/11506843\_1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FischerKPS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FischerNO05, author = {Joachim Fischer and Toby Neumann and Anders Olsen}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {{SDL} Code Generation for Open Systems}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {313--322}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_22}, doi = {10.1007/11506843\_22}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FischerNO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FlochB05, author = {Jacqueline Floch and Rolv Br{\ae}k}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {A Compositional Approach to Service Validation}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {281--297}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_20}, doi = {10.1007/11506843\_20}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FlochB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GlasserP05, author = {Uwe Gl{\"{a}}sser and Andreas Prinz}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {{ASM} and {SDL} Models of Geographic Routing in Mobile Ad Hoc Networks}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {162--173}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_11}, doi = {10.1007/11506843\_11}, timestamp = {Mon, 25 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/GlasserP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HaroudB05, author = {Malek Haroud and Armin Biere}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {{SDL} Versus {C} Equivalence Checking}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {323--338}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_23}, doi = {10.1007/11506843\_23}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HaroudB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KochP05, author = {Manuel Koch and Karl Pauls}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {An Access Control Language for Dynamic Systems - Model-Driven Development and Verification}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {16--31}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_2}, doi = {10.1007/11506843\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KochP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KuhnGGR05, author = {Thomas Kuhn and Alexander Geraldy and Reinhard Gotzhein and Florian Rothl{\"{a}}nder}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {ns+SDL - The Network Simulator for {SDL} Systems}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {103--116}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_7}, doi = {10.1007/11506843\_7}, timestamp = {Thu, 27 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/KuhnGGR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LetichevskyKKVLW05, author = {Alexander A. Letichevsky and Julia V. Kapitonova and Vsevolod Kotlyarov and Vladislav A. Volkov and A. A. Letichevsky Jr. and Thomas Weigert}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Semantics of Message Sequence Charts}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {117--132}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_8}, doi = {10.1007/11506843\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LetichevskyKKVLW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LiHBZZ05, author = {Xuandong Li and Jun Hu and Lei Bu and Jianhua Zhao and Guoliang Zheng}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Consistency Checking of Concurrent Models for Scenario-Based Specifications}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {298--312}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_21}, doi = {10.1007/11506843\_21}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LiHBZZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Martinez05, author = {Humberto Nicol{\'{a}}s Castej{\'{o}}n Mart{\'{\i}}nez}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Synthesizing State-Machine Behaviour from {UML} Collaborations and Use Case Maps}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {339--359}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_24}, doi = {10.1007/11506843\_24}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Martinez05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/NoudemV05, author = {Francine Ngani Noudem and C{\'{e}}sar Viho}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Modeling, Verifying and Testing Mobility Protocol from {SDL} Language}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {198--209}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_14}, doi = {10.1007/11506843\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/NoudemV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PradellaRM05, author = {Matteo Pradella and Matteo Rossi and Dino Mandrioli}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {A UML-Compatible Formal Language for System Architecture Description}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {234--246}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_17}, doi = {10.1007/11506843\_17}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/PradellaRM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/RaoTW05, author = {G. Bhaskar Rao and Keerthi Timmaraju and Thomas Weigert}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Network Element Testing Using {TTCN-3:} Benefits and Comparison}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {265--280}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_19}, doi = {10.1007/11506843\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/RaoTW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/RauchwergerKL05, author = {Yosef Rauchwerger and Finn Kristoffersen and Yair Lahav}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Cinderella {SLIPPER:} An {SDL} to C-Code Generator}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {210--223}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_15}, doi = {10.1007/11506843\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/RauchwergerKL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SandersBBA05, author = {Richard Torbj{\o}rn Sanders and Rolv Br{\ae}k and Gregor von Bochmann and Daniel Amyot}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Service Discovery and Component Reuse with Semantic Interfaces}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {85--102}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_6}, doi = {10.1007/11506843\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/SandersBBA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Sherratt05, author = {Edel Sherratt}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Model-Driven Development of Reactive Systems with {SDL}}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {224--233}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_16}, doi = {10.1007/11506843\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Sherratt05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/WernerFH05, author = {Constantin Werner and Xiaoming Fu and Dieter Hogrefe}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Modeling Route Change in Soft-State Signaling Protocols Using {SDL:} {A} Case of {RSVP}}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {174--186}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_12}, doi = {10.1007/11506843\_12}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/WernerFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/YangLL05, author = {Yang Yang and Yang Lu and Xiaokang Lin}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {{SDL} Design of {OSPF} Protocol for the Wireless Private Network}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {149--161}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_10}, doi = {10.1007/11506843\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/YangLL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2005, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b137793}, doi = {10.1007/B137793}, isbn = {3-540-26612-7}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AaltoHV03, author = {Annikka Aalto and Nisse Husberg and Kimmo Varpaaniemi}, editor = {Rick Reed and Jeanne Reed}, title = {Automatic Formal Model Generation and Analysis of {SDL}}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {285--299}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_17}, doi = {10.1007/3-540-45075-0\_17}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AaltoHV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BucciFV03, author = {Giacomo Bucci and Andrea Fedeli and Enrico Vicario}, editor = {Rick Reed and Jeanne Reed}, title = {Specification and Simulation of Real Time Concurrent Systems Using Standard {SDL} Tools}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {203--217}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_12}, doi = {10.1007/3-540-45075-0\_12}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BucciFV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ChanB03, author = {Ken Y. Chan and Gregor von Bochmann}, editor = {Rick Reed and Jeanne Reed}, title = {Modeling {IETF} Session Initiation Protocol and Its Services in {SDL}}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {352--373}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_21}, doi = {10.1007/3-540-45075-0\_21}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ChanB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FlochB03, author = {Jacqueline Floch and Rolv Br{\ae}k}, editor = {Rick Reed and Jeanne Reed}, title = {Using {SDL} for Modeling Behavior Composition}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {36--54}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_3}, doi = {10.1007/3-540-45075-0\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FlochB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FlochB03a, author = {Jacqueline Floch and Rolv Br{\ae}k}, editor = {Rick Reed and Jeanne Reed}, title = {Using Projections for the Detection of Anomalous Behaviors}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {251--268}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_15}, doi = {10.1007/3-540-45075-0\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FlochB03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GrafO03, author = {Susanne Graf and Ileana Ober}, editor = {Rick Reed and Jeanne Reed}, title = {A Real-Time Profile for {UML} and How to Adapt It to {SDL}}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {55--76}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_4}, doi = {10.1007/3-540-45075-0\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GrafO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GrammesGMSS03, author = {R{\"{u}}diger Grammes and Reinhard Gotzhein and Christian Mahr and Philipp Schaible and Helmut Schleiffer}, editor = {Rick Reed and Jeanne Reed}, title = {Industrial Application of the SDL-Pattern Approach in {UMTS} Call Processing Development - Experience and Quantitative Assessment}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {102--116}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_6}, doi = {10.1007/3-540-45075-0\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GrammesGMSS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Graubmann03, author = {Peter Graubmann}, editor = {Rick Reed and Jeanne Reed}, title = {{MSC} Connectors - The Chamber of Secrets}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {77--101}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_5}, doi = {10.1007/3-540-45075-0\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Graubmann03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HeAW03, author = {Yong He and Daniel Amyot and Alan W. Williams}, editor = {Rick Reed and Jeanne Reed}, title = {Synthesizing {SDL} from Use Case Maps: An Experiment}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {117--136}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_7}, doi = {10.1007/3-540-45075-0\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HeAW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HolsmarkHK03, author = {Rickard Holsmark and Magnus H{\"{o}}gberg and Shashi Kumar}, editor = {Rick Reed and Jeanne Reed}, title = {Modelling and Evaluation of a Network on Chip Architecture Using {SDL}}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {166--182}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_10}, doi = {10.1007/3-540-45075-0\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HolsmarkHK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KavadiasPKL03, author = {Christoforos D. Kavadias and Bernard Perrin and Vangelis Kollias and Michael Loupis}, editor = {Rick Reed and Jeanne Reed}, title = {Enhanced {SDL} Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {137--149}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_8}, doi = {10.1007/3-540-45075-0\_8}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KavadiasPKL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KovacsPVWC03, author = {G{\'{a}}bor Kov{\'{a}}cs and Zolt{\'{a}}n Pap and Dung Le Viet and Antal Wu{-}Hen{-}Chang and Gyula Csopaki}, editor = {Rick Reed and Jeanne Reed}, title = {Applying Mutation Analysis to {SDL} Specifications}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {269--284}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_16}, doi = {10.1007/3-540-45075-0\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KovacsPVWC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LopezOT03, author = {Javier L{\'{o}}pez and Juan J. Ortega and Jos{\'{e}} M. Troya}, editor = {Rick Reed and Jeanne Reed}, title = {Applying {SDL} to Formal Analysis of Security Systems}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {300--316}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_18}, doi = {10.1007/3-540-45075-0\_18}, timestamp = {Thu, 29 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LopezOT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MoninDVC03, author = {Wei Monin and Fabrice Dubois and Daniel Vincent and Pierre Combes}, editor = {Rick Reed and Jeanne Reed}, title = {Looking for Better Integration of Design and Performance Engineering}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {1--17}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_1}, doi = {10.1007/3-540-45075-0\_1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MoninDVC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ParreauxVB03, author = {Benoit Parreaux and Daniel Vincent and G{\'{e}}rard Babonneau}, editor = {Rick Reed and Jeanne Reed}, title = {{RMTP2:} Validating the Interval Timed Extension for {SDL} with an Industrial-Size Multicast Protocol}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {218--233}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_13}, doi = {10.1007/3-540-45075-0\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ParreauxVB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PetriuAW03, author = {Dorina C. Petriu and Daniel Amyot and C. Murray Woodside}, editor = {Rick Reed and Jeanne Reed}, title = {Scenario-Based Performance Engineering with {UCMNAV}}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {18--35}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_2}, doi = {10.1007/3-540-45075-0\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/PetriuAW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PrinzL03, author = {Andreas Prinz and Martin von L{\"{o}}wis}, editor = {Rick Reed and Jeanne Reed}, title = {Generating a Compiler for {SDL} from the Formal Language Definition}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {150--165}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_9}, doi = {10.1007/3-540-45075-0\_9}, timestamp = {Mon, 25 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/PrinzL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SchaibleG03, author = {Philipp Schaible and Reinhard Gotzhein}, editor = {Rick Reed and Jeanne Reed}, title = {Development of Distributed Systems with {SDL} by Means of Formalized APIs}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {317--334}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_19}, doi = {10.1007/3-540-45075-0\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/SchaibleG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Turner03, author = {Kenneth J. Turner}, editor = {Rick Reed and Jeanne Reed}, title = {Formalizing Graphical Service Descriptions Using {SDL}}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {183--202}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_11}, doi = {10.1007/3-540-45075-0\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Turner03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/WangAA03, author = {Ligang Wang and J. William Atwood and Anjali Agarwal}, editor = {Rick Reed and Jeanne Reed}, title = {Validation of {SIP/H.323} Interworking Using {SDL/MSC}}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {335--351}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_20}, doi = {10.1007/3-540-45075-0\_20}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/WangAA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/WeigertD03, author = {Thomas Weigert and Paul Dietz}, editor = {Rick Reed and Jeanne Reed}, title = {Automated Generation of Marshaling Code from High-Level Specifications}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {374--386}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_22}, doi = {10.1007/3-540-45075-0\_22}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/WeigertD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/WilliamsPLK03, author = {Alan W. Williams and Robert L. Probert and Qing Li and Tae{-}Hyong Kim}, editor = {Rick Reed and Jeanne Reed}, title = {The Winning Entry of the {SAM} 2002 Design Contest:}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {387--404}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_23}, doi = {10.1007/3-540-45075-0\_23}, timestamp = {Mon, 29 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/WilliamsPLK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ZhengKP03, author = {Tong Zheng and Ferhat Khendek and Benoit Parreaux}, editor = {Rick Reed and Jeanne Reed}, title = {Refining Timed MSCs}, booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, pages = {234--250}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0\_14}, doi = {10.1007/3-540-45075-0\_14}, timestamp = {Mon, 25 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ZhengKP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2003, editor = {Rick Reed and Jeanne Reed}, title = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2708}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45075-0}, doi = {10.1007/3-540-45075-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Arthaud01, author = {Rodolphe Arthaud}, editor = {Rick Reed and Jeanne Reed}, title = {{SDL} and Layered Systems: Proposed Extensions to {SDL} to Better Support the Design of Layered Systems}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {52--71}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_4}, doi = {10.1007/3-540-48213-X\_4}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Arthaud01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BaetenBM01, author = {Jos C. M. Baeten and Harm M. A. van Beek and Sjouke Mauw}, editor = {Rick Reed and Jeanne Reed}, title = {An {MSC} Based Representation of DiCons}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {328--347}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_21}, doi = {10.1007/3-540-48213-X\_21}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BaetenBM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BakerRS01, author = {Paul Baker and Ekkart Rudolph and Ina Schieferdecker}, editor = {Rick Reed and Jeanne Reed}, title = {Graphical Test Specification - The Graphical Format of {TTCN-3}}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {148--167}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_10}, doi = {10.1007/3-540-48213-X\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BakerRS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Bauer01, author = {Niclas Bauer}, editor = {Rick Reed and Jeanne Reed}, title = {Deployment of {SDL} Systems Using {UML}}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {107--122}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_7}, doi = {10.1007/3-540-48213-X\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Bauer01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BozgaGMORV01, author = {Marius Bozga and Susanne Graf and Laurent Mounier and Iulian Ober and Jean{-}Luc Roux and Daniel Vincent}, editor = {Rick Reed and Jeanne Reed}, title = {Timed Extensions for {SDL}}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {223--240}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_14}, doi = {10.1007/3-540-48213-X\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BozgaGMORV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/CamusS01, author = {Jean{-}Louis Camus and Thierry Le Sergent}, editor = {Rick Reed and Jeanne Reed}, title = {Combining {SDL} with Synchronous Data Flow Modelling for Distributed Control Systems}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {1--18}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_1}, doi = {10.1007/3-540-48213-X\_1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/CamusS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/CourzakisLS01, author = {Vassilios Courzakis and Martin von L{\"{o}}wis and Ralf Schr{\"{o}}der}, editor = {Rick Reed and Jeanne Reed}, title = {Using {SDL} in a Stateless Environment}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {316--327}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_20}, doi = {10.1007/3-540-48213-X\_20}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/CourzakisLS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/DuboisBBFHKNS01, author = {Fabrice Dubois and Marc Born and Harald B{\"{o}}hme and Joachim Fischer and Eckhardt Holz and Olaf Kath and Bertram Neubauer and Frank Stoinski}, editor = {Rick Reed and Jeanne Reed}, title = {Distributed Systems: From Models to Components}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {250--267}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_16}, doi = {10.1007/3-540-48213-X\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/DuboisBBFHKNS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FlochSJB01, author = {Jacqueline Floch and Richard Torbj{\o}rn Sanders and Ulrik Johansen and Rolv Br{\ae}k}, editor = {Rick Reed and Jeanne Reed}, title = {Using {UML} for Implementation Design of {SDL} Systems}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {90--106}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_6}, doi = {10.1007/3-540-48213-X\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FlochSJB01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Goga01, author = {Nicolae Goga}, editor = {Rick Reed and Jeanne Reed}, title = {Comparing TorX, Autolink, {TGV} and {UIO} Test Algorithms}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {379--402}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_24}, doi = {10.1007/3-540-48213-X\_24}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Goga01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GrabowskiGR01, author = {Jens Grabowski and Peter Graubmann and Ekkart Rudolph}, editor = {Rick Reed and Jeanne Reed}, title = {HyperMSCs with Connectors for Advanced Visual System Modelling and Testing}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {129--147}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_9}, doi = {10.1007/3-540-48213-X\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GrabowskiGR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Haugen01, author = {{\O}ystein Haugen}, editor = {Rick Reed and Jeanne Reed}, title = {From {MSC-2000} to {UML} 2.0 - The Future of Sequence Diagrams}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {38--51}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_3}, doi = {10.1007/3-540-48213-X\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Haugen01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Helouet01, author = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t}, editor = {Rick Reed and Jeanne Reed}, title = {Some Pathological Message Sequence Charts, and How to Detect Them}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {348--364}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_22}, doi = {10.1007/3-540-48213-X\_22}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Helouet01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HogrefeKN01, author = {Dieter Hogrefe and Beat Koch and Helmut Neukirchen}, editor = {Rick Reed and Jeanne Reed}, title = {Some Implications of MSC, {SDL} and {TTCN} Time Extensions for Computer-Aided Test Generation}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {168--181}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_11}, doi = {10.1007/3-540-48213-X\_11}, timestamp = {Tue, 12 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/HogrefeKN01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/JonssonP01, author = {Bengt Jonsson and Gerardo Padilla}, editor = {Rick Reed and Jeanne Reed}, title = {An Execution Semantics for {MSC-2000}}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {365--378}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_23}, doi = {10.1007/3-540-48213-X\_23}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/JonssonP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Larmouth01, author = {J. Larmouth}, editor = {Rick Reed and Jeanne Reed}, title = {{ASN.1} Is Reaching Out!}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {241--249}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_15}, doi = {10.1007/3-540-48213-X\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Larmouth01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MansurovC01, author = {Nikolai Mansurov and Djenana Campara}, editor = {Rick Reed and Jeanne Reed}, title = {Using Message Sequence Charts to Accelerate Maintenance of Existing Systems}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {19--37}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_2}, doi = {10.1007/3-540-48213-X\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MansurovC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MigaABCW01, author = {Andrew Miga and Daniel Amyot and Francis Bordeleau and Donald Cameron and C. Murray Woodside}, editor = {Rick Reed and Jeanne Reed}, title = {Deriving Message Sequence Charts from Use Case Maps Scenario Specifications}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {268--287}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_17}, doi = {10.1007/3-540-48213-X\_17}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MigaABCW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MonkewichSP01, author = {Ostap Monkewich and Igor Sales and Robert L. Probert}, editor = {Rick Reed and Jeanne Reed}, title = {{OSPF} Efficient {LSA} Refreshment Function in {SDL}}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {300--315}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_19}, doi = {10.1007/3-540-48213-X\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MonkewichSP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MunzenbergerSDH01, author = {Ralf M{\"{u}}nzenberger and Frank Slomka and Matthias D{\"{o}}rfel and Richard Hofmann}, editor = {Rick Reed and Jeanne Reed}, title = {A General Approach for the Specification of Real-Time Systems with {SDL}}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {203--222}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_13}, doi = {10.1007/3-540-48213-X\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MunzenbergerSDH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/OberK01, author = {Iulian Ober and Alain Kerbrat}, editor = {Rick Reed and Jeanne Reed}, title = {Verification of Quantitative Temporal Properties of {SDL} Specifications}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {182--202}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_12}, doi = {10.1007/3-540-48213-X\_12}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/OberK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/RosserG01, author = {Frank R{\"{o}}{\ss}ler and Birgit Geppert and Reinhard Gotzhein}, editor = {Rick Reed and Jeanne Reed}, title = {Collaboration-Based Design of {SDL} Systems}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {72--89}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_5}, doi = {10.1007/3-540-48213-X\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/RosserG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SidorovaS01, author = {Natalia Sidorova and Martin Steffen}, editor = {Rick Reed and Jeanne Reed}, title = {Verifying Large SDL-Specifications Using Model Checking}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {403--420}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_25}, doi = {10.1007/3-540-48213-X\_25}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/SidorovaS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SipilaL01, author = {Juha Iso{-}Sipil{\"{a}} and Vesa Luukkala}, editor = {Rick Reed and Jeanne Reed}, title = {An {SDL} Implementation Framework for Third Generation Mobile Communications System}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {288--299}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_18}, doi = {10.1007/3-540-48213-X\_18}, timestamp = {Fri, 13 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/SipilaL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Wiles01, author = {Anthony Wiles}, editor = {Rick Reed and Jeanne Reed}, title = {{ETSI} Testing Activities and the Use of {TTCN-3}}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {123--128}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_8}, doi = {10.1007/3-540-48213-X\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Wiles01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Zhang01, author = {Wenhui Zhang}, editor = {Rick Reed and Jeanne Reed}, title = {Applying {SDL} Specifications and Tools to the Verification of Procedures}, booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, pages = {421--438}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X\_26}, doi = {10.1007/3-540-48213-X\_26}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Zhang01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/2001, editor = {Rick Reed and Jeanne Reed}, title = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2078}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48213-X}, doi = {10.1007/3-540-48213-X}, isbn = {3-540-42281-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AbdallaKB99, author = {Miguel Abdalla and Ferhat Khendek and Greg Butler}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {New results on deriving {SDL} specifications from MSCs}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {51--66}, publisher = {Elsevier}, year = {1999}, timestamp = {Sat, 07 Sep 2019 11:59:23 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AbdallaKB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AlabauCR99, author = {Miguel Alabau and Pierre Combes and B{\'{e}}atrice Renard}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{IN} Service prototyping using {SDL} models and animation}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {3--18}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AlabauCR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AlvarezDLPT99, author = {Jos{\'{e}} Mar{\'{\i}}a {\'{A}}lvarez and Manuel D{\'{\i}}az and Luis Llopis and Ernesto Pimentel and Jos{\'{e}} M. Troya}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Integrating schedulability analysis and {SDL} in an object-oriented methodology for embedded real-time systems}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {241}, publisher = {Elsevier}, year = {1999}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/AlvarezDLPT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BourhfirDAR99, author = {C. Bourhfir and Rachida Dssouli and El Mostapha Aboulhamid and Nathalie Rico}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {A test case generation tool for conformance testing of {SDL} systems}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {405}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BourhfirDAR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BozgaFGGKMS99, author = {Marius Bozga and Jean{-}Claude Fernandez and Lucian Ghirvu and Susanne Graf and Jean{-}Pierre Krimm and Laurent Mounier and Joseph Sifakis}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{IF:} An intermediate representation for {SDL} and its applications}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {423--440}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BozgaFGGKMS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Chernov99, author = {Yury Chernov}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Application of {SDL} metric suite through development phases}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {307}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Chernov99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/DongLG99, author = {Yuping Dong and Yinghua Lu and Qiang Gao}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Specification, validation and implementation of {ATM} {UNI} signaling protocols in {SDL}}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {341--354}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/DongLG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/DulzGKS99, author = {Winfried Dulz and S. Gruhl and Lennard Kerber and Michael S{\"{o}}llner}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Early performance prediction of {SDL/MSC} specified systems by automated synthetic code generation}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {457--472}, publisher = {Elsevier}, year = {1999}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/DulzGKS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/EllevsethM99, author = {Stein Erik Ellevseth and Birger M{\o}ller{-}Pedersen}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Evaluating an {SDL} framework for {AXE} development}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {33}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/EllevsethM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/En-NouaaryDK99, author = {Abdeslam En{-}Nouaary and Rachida Dssouli and Ferhat Khendek}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {From timed scenarios to {SDL:} specification, implementation and testing of real-time systems}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {67}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/En-NouaaryDK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/EngelsFM99, author = {Andr{\'{e}} Engels and Loe M. G. Feijs and Sjouke Mauw}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{MSC} and data: dynamic variables}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {105}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/EngelsFM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FischbeckBHWBBF99, author = {Nils Fischbeck and Marc Born and Andreas Hoffmann and Mario Winkler and Gregor Baudis and Harald B{\"{o}}hme and Joachim Fischer}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{SDL} enhancements and application for the design of distributed services}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {83--64}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FischbeckBHWBBF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GlasserGP99, author = {Uwe Gl{\"{a}}sser and Reinhard Gotzhein and Andreas Prinz}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Towards a new formal {SDL} semantics - outline of an abstract state machines}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {171--192}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GlasserGP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GrabowskiKSH99, author = {Jens Grabowski and Beat Koch and Michael Schmitt and Dieter Hogrefe}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{SDL} and {MSC} based test generation for distributed test architectures}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {389--404}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GrabowskiKSH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Helouet99, author = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {A simulation model for message sequence charts}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {473--488}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Helouet99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Holz99, author = {Eckhardt Holz}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Modelling interfaces in {SDL} with gate types}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {95--104}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Holz99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KerbratJG99, author = {Alain Kerbrat and Thierry J{\'{e}}ron and Roland Groz}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Automated test generation from {SDL} specifications}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {135--152}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KerbratJG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KimblerHWEB99, author = {Kristofer Kimbler and Carl{-}Henrik Hagenfeldt and Niklas Widell and Jan Ellsberger and Gustav Bergman}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{SDL} framework for prototyping and validation of {IN} services}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {19--32}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KimblerHWEB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KurzbachLS99, author = {Gerd Kurzbach and Martin von L{\"{o}}wis and Ralf Schr{\"{o}}der}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {External communication with {SDL} systems}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {373}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KurzbachLS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LangendoerferK99, author = {Peter Langend{\"{o}}rfer and Hartmut K{\"{o}}nig}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{COCOS} - {A} configurable {SDL} compiler for generating efficient protocol implementations}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {259--274}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LangendoerferK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Malek99, author = {Mazen Malek}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {PerfSDL: Interface to protocol performance analysis by means of simulation}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {441--456}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Malek99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MansurovP99, author = {Nikolai Mansurov and Robert L. Probert}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Dynamic scenario-based approach to re-engineering of legacy telecommunication software}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {325--340}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MansurovP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MansurovR99, author = {Nikolai Mansurov and Alexei S. Ragozin}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Using declarative mapping for automatic code generation from {SDL} and {ASN.1}}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {275}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MansurovR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MansurovZ99, author = {Nikolai Mansurov and D. Zhukov}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Automatic synthesis of {SDL} models in use case methodology}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {225--240}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MansurovZ99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Monkewich99, author = {Ostap Monkewich}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {SDL-based specification and testing strategy for communication network protocols}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {123--134}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Monkewich99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/RudolphGG99, author = {Ekkart Rudolph and Jens Grabowski and Peter Graubmann}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Towards a harmonization of UML-sequence diagrams and {MSC}}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {193--208}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/RudolphGG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/TouagR99, author = {Athmane Touag and A. Rouger}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Methods and methodology for an incremental test generation from {SDL} specifications}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {153}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/TouagR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/VerschaeveE99, author = {Kurt Verschaeve and Anders Ek}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Three scenarios for combining {UML} and SDL'96}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {209--224}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/VerschaeveE99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Worm99, author = {Torben Worm}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Using metapatterns with {SDL}}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {355--372}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Worm99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ZageZMS99, author = {Wayne M. Zage and Dolores M. Zage and J. Michael McGrew and Nitin Sood}, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {Using design metrics to identify error-prone components of {SDL} designs}, booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, pages = {293--306}, publisher = {Elsevier}, year = {1999}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ZageZMS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/1999, editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav}, title = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings}, publisher = {Elsevier}, year = {1999}, timestamp = {Sat, 07 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/1999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/AlonistiotiNM97, author = {A. Alonistioti and G. Nikolaidis and I. Modeas}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {SDL-based modelling and design of {IN/UMTS} handover functionality}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {19--34}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 14:16:32 +0200}, biburl = {https://dblp.org/rec/conf/sdl/AlonistiotiNM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Ammar-BoudjelalLL97, author = {Farid Ammar{-}Boudjelal and Jean{-}Yves Lafaye and Georges Louis}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Specifying the steam-boiler case study with {SDL}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {491--506}, publisher = {Elsevier}, year = {1997}, timestamp = {Wed, 30 Oct 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/Ammar-BoudjelalLL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/BochmannPBM97, author = {Gregor von Bochmann and Alexandre Petrenko and O. Bellal and S. Maguiraga}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Automating the process of test derivation from {SDL} specifications}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {261--276}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/BochmannPBM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/CarracedoRDGGRB97, author = {J. Carracedo and Carlos Ramos and Rub{\'{e}}n de Diego and Carlos Gonz{\'{a}}lez and Juan Jos{\'{e}} Gil and Emilo Rodr{\'{\i}}guez and Morgan Bj{\"{o}}rkander}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Introducing {SDL} in the development of CORBA-compliant applications}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {351--366}, publisher = {Elsevier}, year = {1997}, timestamp = {Sun, 04 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/CarracedoRDGGRB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/CavalliLM97, author = {Ana R. Cavalli and Boo{-}Ho Lee and Toma Macavei}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Test generation for the {SSCOP-ATM} networks protocol}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {277}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/CavalliLM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/EkGHJKS97, author = {Anders Ek and Jens Grabowski and Dieter Hogrefe and Richard Jerome and Beat Koch and Michael Schmitt}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Towards the industrial use of validation techniques and automatic test generation methods for {SDL} specifications}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {245--260}, publisher = {Elsevier}, year = {1997}, timestamp = {Fri, 06 Jan 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/EkGHJKS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FacchiHH97, author = {Christian Facchi and Markus Haubner and Ursula Hinkel}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {The {SDL} specification of the sliding window protocol revisited}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {507}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FacchiHH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/FaltinLMS97, author = {Nils Faltin and Lennard Lambert and Andreas Mitschele{-}Thiel and Frank Slomka}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {An annotational extension of message sequence charts to support performance engineering}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {307--322}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/FaltinLMS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Fischbeck97, author = {Nils Fischbeck}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Experiences with {ISDN} validation models in {SDL} and proposal for new {SDL} features}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {135--150}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Fischbeck97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/GeppertGR97, author = {Birgit Geppert and Reinhard Gotzhein and Frank R{\"{o}}{\ss}ler}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Configuring communication protocols using {SDL} patterns}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {523--538}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/GeppertGR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Gerlich97, author = {Rainer Gerlich}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Tuning development of distributed real-time systems with {SDL:} Current experience and future issues}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {85}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Gerlich97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HaokanssonKV97, author = {Paer{-}Olof Haokansson and Jan Karlsson and Louis Verhaard}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Combining {SDL} and {C}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {383--396}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HaokanssonKV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Haugen97, author = {{\O}ystein Haugen}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {The {MSC-96} distillery}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {167--182}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Haugen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HenkeKM97, author = {Ralf Henke and Hartmut K{\"{o}}nig and Andreas Mitschele{-}Thiel}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Derivation of efficient implementations from {SDL} specifications employing data referencing, integrated packet framing and activity threads}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {397--414}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 11 Mar 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/HenkeKM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/HintelmannW97, author = {J{\"{o}}rg Hintelmann and Reinhard Westerfeld}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Performance analysis of TCP's flow control mechanisms using queueing {SDL}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {69--84}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/HintelmannW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/InocencioLSV97, author = {Euricio Inoc{\^{e}}ncio and Chris W. Loftus and Edel Sherratt and Paula Viana}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {The unification of OMT, {SDL} and {IDL} for service creation}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {443--458}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/InocencioLSV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/IseltA97, author = {Andreas Iselt and Achim Autenrieth}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {An SDL-based platform for the simulation of communication networks using dynamic block instantiations}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {35}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/IseltA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KarouiDY97, author = {Kamel Karoui and Rachida Dssouli and Nina Yevtushenko}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Design for testability of communication protocols based on {SDL} language}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {151}, publisher = {Elsevier}, year = {1997}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sdl/KarouiDY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/KerbratRL97, author = {Alain Kerbrat and Carlos Rodriguez{-}Salazar and Yves Lejeune}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {475--490}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/KerbratRL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LoidlRH97, author = {Stefan Loidl and Ekkart Rudolph and Ursula Hinkel}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {MSC'96 and beyond - a critical look}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {213}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LoidlRH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MacarioPB97, author = {Carla Geovana N. Mac{\'{a}}rio and Moacir Pedroso Jr. and Walter C. Borelli}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Designing a multi-user software environment for development and analysis using a combination of {OMT} and {SDL92}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {3--18}, publisher = {Elsevier}, year = {1997}, timestamp = {Tue, 19 May 2009 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MacarioPB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MansurovCR97, author = {Nikolai Mansurov and Andrew V. Chernov and Alexei S. Ragozin}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Industrial strength code generation from {SDL}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {415}, publisher = {Elsevier}, year = {1997}, timestamp = {Fri, 17 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MansurovCR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MauwR97, author = {Sjouke Mauw and Michel A. Reniers}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {High-level message sequence charts}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {291--306}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MauwR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/MeryG97, author = {Dominique M{\'{e}}ry and J. Paul Gibson}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Telephone feature verification: Translating {SDL} to {TLA+}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {103--118}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/MeryG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/NyengG97, author = {Astrid Nyeng and Svanhild Gundersen}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {MSCs at Siemens {A/S} - towards the usage of {MSC-96}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {323}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/NyengG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/PerrierD97, author = {Vincent Perrier and Nicolas Dervaux}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Combining object-oriented and real-time programming from an {OMT} and {SDL} design}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {459}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/PerrierD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Reed97, author = {Rick Reed}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {{SDL} and {MSC} in international organizations: {ITU-T}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {231}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Reed97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/RobertKG97, author = {Gabriel Robert and Ferhat Khendek and Peter Grogono}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Deriving an {SDL} specification with a given architecture from a set of MSCs}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {197--212}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/RobertKG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/ShibaST97, author = {Shugo Shiba and Yoshiaki Shigeta and Wataru Tanaka}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Switching software test environment using {MSC}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {183--196}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/ShibaST97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/SinghS97, author = {Ranjit Singh and Jerry Serviss}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Code generation using {GEODE:} {A} case study}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {539--550}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/SinghS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/StepplerL97, author = {Martin Steppler and Matthias Lott}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {{SPEET} {SDL} performance evaluation tool}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {53--68}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/StepplerL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/TataAF97, author = {Samir Tata and Laurent Andrey and Olivier Festor}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {A practical experience on validating GDMO-based information models with SDL'88 and SDL'92}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {367}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/TataAF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Toro97, author = {Maria T{\"{o}}r{\"{o}}}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Simulation of {IP} mobility support: An experiment in mobile protocol specification with {SDL}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {119--134}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Toro97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Troulet-Lambert97, author = {Odile Troulet{-}Lambert}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Is open-EDI a potential area for use of SDL?}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {433--442}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Troulet-Lambert97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/Verschaeve97, author = {Kurt Verschaeve}, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {Automated iteration between {OMT} and {SDL}}, booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, pages = {335--350}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/Verschaeve97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sdl/1997, editor = {Ana R. Cavalli and Amardeo Sarma}, title = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings}, publisher = {Elsevier}, year = {1997}, timestamp = {Thu, 16 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sdl/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.