Search dblp for Publications

export results for "toc:db/journals/entcs/entcs108.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/AguirreM04,
  author       = {Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Hierarchical Temporal Specifications of Dynamically Reconfigurable
                  Component Based Systems},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {69--81},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.013},
  doi          = {10.1016/J.ENTCS.2004.01.013},
  timestamp    = {Tue, 13 Dec 2022 10:41:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AguirreM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Broy04,
  author       = {Manfred Broy},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Time, Abstraction, Causality and Modularity in Interactive Systems:
                  Extended Abstract},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {3--9},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.003},
  doi          = {10.1016/J.ENTCS.2004.11.003},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Broy04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DaylightDC04,
  author       = {Edgar G. Daylight and
                  Bart Demoen and
                  Francky Catthoor},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Formally Specifying Dynamic Data Structures for Embedded Software
                  Design: an Initial Approach},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {99--112},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.015},
  doi          = {10.1016/J.ENTCS.2004.01.015},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DaylightDC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EhrigPBKOPP04,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Benjamin Braatz and
                  Markus Klein and
                  Fernando Orejas and
                  Sonia P{\'{e}}rez and
                  Elvira Pino},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {A Generic Framework for Connector Architectures based on Components
                  and Transformations},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {53--67},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.012},
  doi          = {10.1016/J.ENTCS.2004.01.012},
  timestamp    = {Mon, 13 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EhrigPBKOPP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FilipePRS04,
  author       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Preface},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.002},
  doi          = {10.1016/J.ENTCS.2004.11.002},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FilipePRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Heitmeyer04,
  author       = {Constance L. Heitmeyer},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Managing Complexity in Software Development with Formally Based Tools},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {11--19},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.004},
  doi          = {10.1016/J.ENTCS.2004.11.004},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Heitmeyer04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Moschoyiannis04,
  author       = {Sotiris Moschoyiannis},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Generating Snapshots of a Component Setting},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {83--98},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.014},
  doi          = {10.1016/J.ENTCS.2004.01.014},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Moschoyiannis04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RayC04,
  author       = {Arnab Ray and
                  Rance Cleaveland},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Formal Modeling Of Middleware-based Distributed Systems},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {21--37},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.010},
  doi          = {10.1016/J.ENTCS.2004.01.010},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RayC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RosaC04,
  author       = {Nelson S. Rosa and
                  Paulo Roberto Freire Cunha},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {A Software Architecture-Based Approach for Formalising Middleware
                  Behaviour},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {39--51},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.011},
  doi          = {10.1016/J.ENTCS.2004.01.011},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RosaC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fesca/2004,
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/108/suppl/C},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fesca/2004.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.