Search dblp for Publications

export results for "toc:db/conf/fesca/fesca2010.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BroschGKK10,
  author       = {Franz Brosch and
                  Ralf Gitzel and
                  Heiko Koziolek and
                  Simone Krug},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Combining Architecture-based Software Reliability Predictions with
                  Financial Impact Calculations},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.002},
  doi          = {10.1016/J.ENTCS.2010.07.002},
  timestamp    = {Fri, 10 Mar 2023 10:39:08 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BroschGKK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CamaraMSCP10,
  author       = {Javier C{\'{a}}mara and
                  Jos{\'{e}} Antonio Mart{\'{\i}}n and
                  Gwen Sala{\"{u}}n and
                  Carlos Canal and
                  Ernesto Pimentel},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Semi-Automatic Specification of Behavioural Service Adaptation Contracts},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {19--34},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.003},
  doi          = {10.1016/J.ENTCS.2010.07.003},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CamaraMSCP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HappeB10,
  author       = {Jens Happe and
                  Barbora Buhnova},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Preface},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.001},
  doi          = {10.1016/J.ENTCS.2010.07.001},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HappeB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HenrioK10,
  author       = {Ludovic Henrio and
                  Muhammad Uzair Khan},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {35--53},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.004},
  doi          = {10.1016/J.ENTCS.2010.07.004},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HenrioK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JezekBS10,
  author       = {Kamil Jezek and
                  Premek Brada and
                  Petr Stepan},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Towards Context Independent Extra-functional Properties Descriptor
                  for Components},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {55--71},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.005},
  doi          = {10.1016/J.ENTCS.2010.07.005},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JezekBS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KapovaB10,
  author       = {Lucia Kapov{\'{a}} and
                  Steffen Becker},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Systematic Refinement of Performance Models for Concurrent Component-based
                  Systems},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {73--90},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.006},
  doi          = {10.1016/J.ENTCS.2010.07.006},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KapovaB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LazarMP10,
  author       = {Ioan Lazar and
                  Simona Motogna and
                  Bazil P{\^{a}}rv},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Behaviour-Driven Development of Foundational {UML} Components},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {91--105},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.007},
  doi          = {10.1016/J.ENTCS.2010.07.007},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LazarMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LeeD10,
  author       = {Matias David Lee and
                  Pedro R. D'Argenio},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Describing Secure Interfaces with Interface Automata},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {107--123},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.008},
  doi          = {10.1016/J.ENTCS.2010.07.008},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LeeD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MayerSB10,
  author       = {Philip Mayer and
                  Andreas Schroeder and
                  Sebastian S. Bauer},
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {A Strict-Observational Interface Theory for Analysing Service Orchestrations},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  pages        = {125--139},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.07.009},
  doi          = {10.1016/J.ENTCS.2010.07.009},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MayerSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fesca/2010,
  editor       = {Jens Happe and
                  Barbora Buhnova},
  title        = {Proceedings of the 7th International Workshop on Formal Engineering
                  approaches to Software Components and Architectures, FESCA@ETAPS 2010,
                  Paphos, Cyprus, March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/264/issue/1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fesca/2010.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.