Search dblp for Publications

export results for "toc:db/conf/sdl/sdl2007.bht:"

 download as .bib file

@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 H. 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    = {Tue, 01 Oct 2024 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}
}

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.