Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/sdl:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-06-08 10:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
