![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/fesca/fesca2010.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.