Search dblp for Publications

export results for "toc:db/series/lncs/lncs3778.bht:"

 download as .bib file

@incollection{DBLP:series/lncs/AtkinsonBPG05,
  author       = {Colin Atkinson and
                  Christian Bunse and
                  Christian Peper and
                  Hans{-}Gerhard Gross},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Component-Based Software Development for Embedded Systems - An Introduction},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {1--7},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_1},
  doi          = {10.1007/11591962\_1},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/AtkinsonBPG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BerbersRVB05,
  author       = {Yolande Berbers and
                  Peter Rigole and
                  Yves Vandewoude and
                  Stefan Van Baelen},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {CoConES: An Approach for Components and Contracts in Embedded Systems},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {209--231},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_11},
  doi          = {10.1007/11591962\_11},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/BerbersRVB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrossMR05,
  author       = {Hans{-}Gerhard Gross and
                  Nikolas Mayer and
                  Javier Paredes Riano},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Assessing Real-Time Component Contracts Through Built-in Evolutionary
                  Testing},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {107--122},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_6},
  doi          = {10.1007/11591962\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/GrossMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrunskeKR05,
  author       = {Lars Grunske and
                  Bernhard Kaiser and
                  Ralf H. Reussner},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Specification and Evaluation of Safety Properties in a Component-Based
                  Software Engineering Process},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {249--274},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_13},
  doi          = {10.1007/11591962\_13},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/GrunskeKR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/JahnkeMCSFL05,
  author       = {Jens H. Jahnke and
                  Andrew McNair and
                  J. Cockburn and
                  Phillip de Souza and
                  R. A. Furber and
                  M. Lavender},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Component-Based Engineering of Distributed Embedded Control Software},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {296--319},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_15},
  doi          = {10.1007/11591962\_15},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/JahnkeMCSFL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Jurjens005,
  author       = {Jan J{\"{u}}rjens and
                  Stefan Wagner},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Component-Based Development of Dependable Systems with {UML}},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {320--344},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_16},
  doi          = {10.1007/11591962\_16},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Jurjens005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/LuH05,
  author       = {Shourong Lu and
                  Wolfgang A. Halang},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Platform-Independent Specification of Component Architectures for
                  Embedded Real-Time Systems Based on an Extended {UML}},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {123--142},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_7},
  doi          = {10.1007/11591962\_7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/LuH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/LudersCR05,
  author       = {Frank L{\"{u}}ders and
                  Ivica Crnkovic and
                  Per Runeson},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Adopting a Component-Based Software Architecture for an Industrial
                  Control System - {A} Case Study},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {232--248},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_12},
  doi          = {10.1007/11591962\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/LudersCR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MaydlG05,
  author       = {Walter Maydl and
                  Lars Grunske},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Behavioral Types for Embedded Software - {A} Survey},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {82--106},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_5},
  doi          = {10.1007/11591962\_5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/MaydlG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MichielsJDMJV05,
  author       = {Sam Michiels and
                  Nico Janssens and
                  Lieven Desmet and
                  Tom Mahieu and
                  Wouter Joosen and
                  Pierre Verbaeten},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Connecting Embedded Devices Using a Component Platform for Adaptable
                  Protocol Stacks},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {185--208},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_10},
  doi          = {10.1007/11591962\_10},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/MichielsJDMJV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MuskensCL05,
  author       = {Johan Muskens and
                  Michel R. V. Chaudron and
                  Johan J. Lukkien},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {A Component Framework for Consumer Electronics Middleware},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {164--184},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_9},
  doi          = {10.1007/11591962\_9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/MuskensCL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Purhonen05,
  author       = {Anu Purhonen},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Performance Evaluation Approaches for Software Architects},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {275--295},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_14},
  doi          = {10.1007/11591962\_14},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Purhonen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SilvaP05,
  author       = {Leandro Dias da Silva and
                  Angelo Perkusich},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {A Model-Based Approach to Formal Specification and Verification of
                  Embedded Systems Using Colored Petri Nets},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {35--58},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_3},
  doi          = {10.1007/11591962\_3},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/SilvaP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/TesanovicNH05,
  author       = {Aleksandra Tesanovic and
                  Simin Nadjm{-}Tehrani and
                  J{\"{o}}rgen Hansson},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Modular Verification of Reconfigurable Components},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {59--81},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_4},
  doi          = {10.1007/11591962\_4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/TesanovicNH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/VoelterSK05,
  author       = {Markus Voelter and
                  Christian Salzmann and
                  Michael Kircher},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Model Driven Software Development in the Context of Embedded Component
                  Infrastructures},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {143--163},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_8},
  doi          = {10.1007/11591962\_8},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/VoelterSK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ZhangHD05,
  author       = {Wei Zhang and
                  Wolfgang A. Halang and
                  Christian Diedrich},
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Specification and Verification of Applications Based on Function Blocks},
  booktitle    = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  pages        = {8--34},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962\_2},
  doi          = {10.1007/11591962\_2},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/ZhangHD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/3778,
  editor       = {Colin Atkinson and
                  Christian Bunse and
                  Hans{-}Gerhard Gross and
                  Christian Peper},
  title        = {Component-Based Software Development for Embedded Systems - An Overview
                  of Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {3778},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11591962},
  doi          = {10.1007/11591962},
  isbn         = {978-3-540-30644-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/3778.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics