default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sam/sam2004.bht:"
download as .bib file
@proceedings{DBLP:conf/sam/2004,
editor = {Daniel Amyot and
Alan W. Williams},
title = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105884},
doi = {10.1007/B105884},
isbn = {3-540-24561-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/BohmeF04,
author = {Harald B{\"{o}}hme and
Joachim Fischer},
editor = {Daniel Amyot and
Alan W. Williams},
title = {eODL and {SDL} in Combination for Components},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {17--32},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_2},
doi = {10.1007/978-3-540-31810-1\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/BohmeF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/BraekF04,
author = {Rolv Br{\ae}k and
Jacqueline Floch},
editor = {Daniel Amyot and
Alan W. Williams},
title = {{ICT} Convergence: Modeling Issues},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {237--256},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_16},
doi = {10.1007/978-3-540-31810-1\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/BraekF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/CaboR04,
author = {Margarita de Cabo and
Manuel Rodr{\'{\i}}guez},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Applying eODL and SDL-Patterns for Developing {TMN} Managed Systems},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {33--49},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_3},
doi = {10.1007/978-3-540-31810-1\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/CaboR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/CremersM04,
author = {Cas J. F. Cremers and
Sjouke Mauw},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Checking Secrecy by Means of Partial Order Reduction},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {171--188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_12},
doi = {10.1007/978-3-540-31810-1\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/CremersM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/DorschEG04,
author = {J{\"{o}}rg Dorsch and
Anders Ek and
Reinhard Gotzhein},
editor = {Daniel Amyot and
Alan W. Williams},
title = {{SPT} - The {SDL} Pattern Tool},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {50--64},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_4},
doi = {10.1007/978-3-540-31810-1\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/DorschEG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/FischerPS04,
author = {Joachim Fischer and
Michael Piefel and
Markus Scheidgen},
editor = {Daniel Amyot and
Alan W. Williams},
title = {A Metamodel for {SDL-2000} in the Context of Metamodelling {ULF}},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {208--223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_14},
doi = {10.1007/978-3-540-31810-1\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/FischerPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/FliegeGGS04,
author = {Ingmar Fliege and
Alexander Geraldy and
Reinhard Gotzhein and
Philipp Schaible},
editor = {Daniel Amyot and
Alan W. Williams},
title = {A Flexible Micro Protocol Framework},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {224--236},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_15},
doi = {10.1007/978-3-540-31810-1\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/FliegeGGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/HassineDR04,
author = {Jameleddine Hassine and
Rachida Dssouli and
Juergen Rilling},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Applying Reduction Techniques to Software Functional Requirement Specifications},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {138--153},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_10},
doi = {10.1007/978-3-540-31810-1\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/HassineDR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Haugen04,
author = {{\O}ystein Haugen},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Comparing {UML} 2.0 Interactions and {MSC-2000}},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {65--79},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_5},
doi = {10.1007/978-3-540-31810-1\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/Haugen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Helouet04,
author = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Finding Covert Channels in Protocols with Message Sequence Charts:
The Case of {RMTP2}},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {189--207},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_13},
doi = {10.1007/978-3-540-31810-1\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/Helouet04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/HoffmannN04,
author = {Andreas Hoffmann and
Bertram Neubauer},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Deployment and Configuration of Distributed Systems},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {1--16},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_1},
doi = {10.1007/978-3-540-31810-1\_1},
timestamp = {Mon, 08 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sam/HoffmannN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/JainJ04,
author = {Paresh Jain and
Amresh Paresh Jain},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Validating Wireless Protocol Conformance Test Cases},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {290--300},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_19},
doi = {10.1007/978-3-540-31810-1\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/JainJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/KhendekLWZZ04,
author = {Ferhat Khendek and
Christophe Lohr and
Li Xin Wang and
Xiao{-}Jun Zhang and
Tong Zheng},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Early Validation of Deployment and Scheduling Constraints for {MSC}
Specifications},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {106--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_8},
doi = {10.1007/978-3-540-31810-1\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sam/KhendekLWZZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/MitchellTB04,
author = {Bill Mitchell and
Robert Thomson and
Paul Bristow},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Scenario Synthesis from Imprecise Requirements},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {122--137},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_9},
doi = {10.1007/978-3-540-31810-1\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/MitchellTB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/MooijG04,
author = {Arjan J. Mooij and
Nicolae Goga},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Dealing with Non-local Choice in {IEEE} 1073.2's Standard for Remote
Control},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {257--270},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_17},
doi = {10.1007/978-3-540-31810-1\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/MooijG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Reed04,
author = {Rick Reed},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Data Encoding for {SDL} in {ITU-T} Rec. {Z.104}},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {80--95},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_6},
doi = {10.1007/978-3-540-31810-1\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/Reed04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Rinderknecht04,
author = {Christian Rinderknecht},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Proving a Soundness Property for the Joint Design of {ASN.1} and the
Basic Encoding Rules},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {154--170},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_11},
doi = {10.1007/978-3-540-31810-1\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/Rinderknecht04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Sherratt04,
author = {Edel Sherratt},
editor = {Daniel Amyot and
Alan W. Williams},
title = {{SDL} in a Changing World},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {96--105},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_7},
doi = {10.1007/978-3-540-31810-1\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/Sherratt04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/WeilW04,
author = {Frank Weil and
Thomas Weigert},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Guidelines for Using {SDL} in Product Development},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {271--289},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_18},
doi = {10.1007/978-3-540-31810-1\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/WeilW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-02-27 04:09 CET 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:
