Search dblp for Publications

export results for "toc:db/books/collections/ST2010.bht:"

 download as .bib file

@incollection{DBLP:books/sp/10/AndreDMS10,
  author       = {Charles Andr{\'{e}} and
                  Julien DeAntoni and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Robert de Simone},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {The Time Model of Logical Clocks Available in the {OMG} {MARTE} Profile},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {201--227},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_7},
  doi          = {10.1007/978-1-4419-6400-7\_7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/AndreDMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/10/BesnardGGT10,
  author       = {Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Compilation of Polychronous Data Flow Equations},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {1--40},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_1},
  doi          = {10.1007/978-1-4419-6400-7\_1},
  timestamp    = {Wed, 24 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/BesnardGGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/10/BoucaronCS10,
  author       = {Julien Boucaron and
                  Anthony Coadou and
                  Robert de Simone},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Formal Modeling of Embedded Systems with Explicit Schedules and Routes},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {41--78},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_2},
  doi          = {10.1007/978-1-4419-6400-7\_2},
  timestamp    = {Wed, 24 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/BoucaronCS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/10/CortierBBBDFGOPRST10,
  author       = {Alexandre Cortier and
                  Lo{\"{\i}}c Besnard and
                  Jean{-}Paul Bodeveix and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Fabien Dagnat and
                  Mamoun Filali and
                  G{\'{e}}rald Garcia and
                  Julien Ouy and
                  Marc Pantel and
                  Ana{-}Elena Rugina and
                  Martin Strecker and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Synoptic: {A} Domain-Specific Modeling Language for Space On-board
                  Application Software},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {79--119},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_3},
  doi          = {10.1007/978-1-4419-6400-7\_3},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/10/CortierBBBDFGOPRST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/10/EdwardsV10,
  author       = {Stephen A. Edwards and
                  Nalini Vasudevan},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Compiling {SHIM}},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {121--146},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_4},
  doi          = {10.1007/978-1-4419-6400-7\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/10/EdwardsV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/10/GloucheGGT10,
  author       = {Yann Glouche and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {A Module Language for Typing {SIGNAL} Programs by Contracts},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {147--171},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_5},
  doi          = {10.1007/978-1-4419-6400-7\_5},
  timestamp    = {Wed, 24 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/GloucheGGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/10/JoseS10,
  author       = {Bijoy Antony Jose and
                  Sandeep K. Shukla},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {{MRICDF:} {A} Polychronous Model for Embedded Software Synthesis},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {173--199},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_6},
  doi          = {10.1007/978-1-4419-6400-7\_6},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/JoseS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/10/Potop-ButucaruSS10,
  author       = {Dumitru Potop{-}Butucaru and
                  Robert de Simone and
                  Yves Sorel},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {From Synchronous Specifications to Statically Scheduled Hard Real-Time
                  Implementations},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {229--262},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_8},
  doi          = {10.1007/978-1-4419-6400-7\_8},
  timestamp    = {Wed, 24 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/Potop-ButucaruSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/10/ST2010,
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7},
  doi          = {10.1007/978-1-4419-6400-7},
  isbn         = {978-1-4419-6399-4},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/ST2010.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.