Search dblp for Publications

export results for "toc:db/conf/sam/sam2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sam/AlbaladejoPE00,
  author       = {J. P. Albaladejo and
                  Javier Poncela{-}Gonz{\'{a}}lez and
                  Jos{\'{e}} T. Entrambasaguas},
  editor       = {Edel Sherratt},
  title        = {Adaptation Of {SOMT} To The Development Of Systems Based Upon a Standard},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {139--153},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Wed, 02 Apr 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/AlbaladejoPE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/AlvarezDLPT00,
  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       = {Edel Sherratt},
  title        = {{SDL} and hard real time systems: new design and analyze techniques},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {92--107},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/AlvarezDLPT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/BlasiusKMK00,
  author       = {Stefan Bl{\"{a}}sius and
                  Stefan Karg and
                  Josef Maier and
                  G{\"{u}}nther Kohler},
  editor       = {Edel Sherratt},
  title        = {Development of {SDL} Based Software for an Embedded System - Practical
                  Experience},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {292--304},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Wed, 20 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/BlasiusKMK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/BordeleauC00,
  author       = {Francis Bordeleau and
                  Donald Cameron},
  editor       = {Edel Sherratt},
  title        = {On the Relationship between use-case maps and Message Sequence Charts},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {123--138},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/BordeleauC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/BoutetCRL00,
  author       = {F. Boutet and
                  E. Choveau and
                  G. Rieux and
                  Y. Lejeune},
  editor       = {Edel Sherratt},
  title        = {Scheduling in {SDL} Simulation. Application to Future Air Navigation
                  Systems},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {320--332},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/BoutetCRL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/BozgaGKMOV00,
  author       = {Marius Bozga and
                  Susanne Graf and
                  Alain Kerbrat and
                  Laurent Mounier and
                  Iulian Ober and
                  Daniel Vincent},
  editor       = {Edel Sherratt},
  title        = {{SDL} for Real-Time: What is Missing?},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {108},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Mon, 09 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/BozgaGKMOV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/Engels00,
  author       = {Andr{\'{e}} Engels},
  editor       = {Edel Sherratt},
  title        = {Design Decisions on Data and Guards in {MSC2000}},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {33--46},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/Engels00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/FeijsGM00,
  author       = {Loe M. G. Feijs and
                  Nicolae Goga and
                  Sjouke Mauw},
  editor       = {Edel Sherratt},
  title        = {Probabilities In The Torx Test Derivation Algorithm},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {173--188},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/FeijsGM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/HelouetM00,
  author       = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Pierre Le Maigat},
  editor       = {Edel Sherratt},
  title        = {Decomposition of Message Sequence Charts},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {47--60},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Sat, 03 Mar 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/HelouetM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/HennigerU00,
  author       = {Olaf Henniger and
                  Hasan Ural},
  editor       = {Edel Sherratt},
  title        = {Test Generation Based On Control And Data Dependencies Within Multi-Process
                  {SDL} Specifications},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {189--202},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/HennigerU00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/Heymer00,
  author       = {Stefan Heymer},
  editor       = {Edel Sherratt},
  title        = {A Semantics for {MSC} Based on Petri Net Components},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {262},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/Heymer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/KhendekV00,
  author       = {Ferhat Khendek and
                  Daniel Vincent},
  editor       = {Edel Sherratt},
  title        = {Enriching {SDL} Specifications with MSCs},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {305--319},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/KhendekV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/MansurovV00,
  author       = {Nikolai Mansurov and
                  Dmitri Vasura},
  editor       = {Edel Sherratt},
  title        = {Approximation of {(H)MSC} Semantics By Automata},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {154},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/MansurovV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/Meijs00,
  author       = {F. A. Meijs},
  editor       = {Edel Sherratt},
  title        = {Connecting Message Sequence Charts},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {61--75},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/Meijs00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/Meinke00,
  author       = {Karl Meinke},
  editor       = {Edel Sherratt},
  title        = {Validation and Test Case Generations for MSCs Using {A} Propositional
                  {SAT} Solver},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {203},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/Meinke00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/MuschollP00,
  author       = {Anca Muscholl and
                  Doron A. Peled},
  editor       = {Edel Sherratt},
  title        = {Analyzing Message Sequence Charts},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {3--17},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Fri, 12 Feb 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/MuschollP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/PrinzEG00,
  author       = {Andreas Prinz and
                  Robert Eschbach and
                  Reinhard Gotzhein},
  editor       = {Edel Sherratt},
  title        = {A Executable Formal Semantics for {SDL-2000}},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {249--261},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Mon, 25 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/PrinzEG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/Rao00,
  author       = {B. Rao},
  editor       = {Edel Sherratt},
  title        = {{SDL} Based Auto Code Generation: {A} Multi Beneficial Approach},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {333--340},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/Rao00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/RudolphSG00,
  author       = {Ekkart Rudolph and
                  Ina Schieferdecker and
                  Jens Grabowski},
  editor       = {Edel Sherratt},
  title        = {HyperMSC - a Graphical Representation of {TTCN}},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {76},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Wed, 11 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/RudolphSG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/StolenM00,
  author       = {Ketil St{\o}len and
                  P. Mohn},
  editor       = {Edel Sherratt},
  title        = {Experience from Using MSC, {UML} and {SDL} in the Development of the
                  {FAME} Communication Manager},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {276},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/StolenM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sam/TerrierG00,
  author       = {Fran{\c{c}}ois Terrier and
                  S{\'{e}}bastien G{\'{e}}rard},
  editor       = {Edel Sherratt},
  title        = {Real Time System Modeling with {UML:} current status and some prospects},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {18--32},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 27 Jan 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/TerrierG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sam/2000,
  editor       = {Edel Sherratt},
  title        = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.