Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/facs2/2006,
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/182/suppl/C},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarrosCMR07,
  author       = {Tom{\'{a}}s Barros and
                  Antonio Cansado and
                  Eric Madelaine and
                  Marcela Rivera},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Model-checking Distributed Components: The Vercors Platform},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.028},
  doi          = {10.1016/J.ENTCS.2006.09.028},
  timestamp    = {Tue, 24 Jan 2023 13:47:52 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarrosCMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BelguidoumD07,
  author       = {Meriem Belguidoum and
                  Fabien Dagnat},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Dependency Management in Software Component Deployment},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {17--32},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.029},
  doi          = {10.1016/J.ENTCS.2006.09.029},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BelguidoumD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Caromel07,
  author       = {Denis Caromel},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {From Theory to Practice in Distributed Component Systems},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {33--38},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.12.042},
  doi          = {10.1016/J.ENTCS.2006.12.042},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Caromel07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CernaVZ07,
  author       = {Ivana Cern{\'{a}} and
                  Pavl{\'{\i}}na Varekov{\'{a}} and
                  Barbora Zimmerov{\'{a}}},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Component Substitutability via Equivalencies of Component-Interaction
                  Automata},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {39--55},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.030},
  doi          = {10.1016/J.ENTCS.2006.09.030},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CernaVZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ElmqvistN07,
  author       = {Jonas Elmqvist and
                  Simin Nadjm{-}Tehrani},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Safety-Oriented Design of Component Assemblies using Safety Interfaces},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {57--72},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.031},
  doi          = {10.1016/J.ENTCS.2006.09.031},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ElmqvistN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FagorziZ07,
  author       = {Sonia Fagorzi and
                  Elena Zucca},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {A Calculus of Components with Dynamic Type-Checking},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {73--90},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.032},
  doi          = {10.1016/J.ENTCS.2006.09.032},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FagorziZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HappeKR07,
  author       = {Jens Happe and
                  Heiko Koziolek and
                  Ralf H. Reussner},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Parametric Performance Contracts for Software Components with Concurrent
                  Behaviour},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {91--106},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.033},
  doi          = {10.1016/J.ENTCS.2006.09.033},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HappeKR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KemperP07,
  author       = {Stephanie Kemper and
                  Andr{\'{e}} Platzer},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {SAT-based Abstraction Refinement for Real-time Systems},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {107--122},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.034},
  doi          = {10.1016/J.ENTCS.2006.09.034},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KemperP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lumpe07,
  author       = {Markus Lumpe},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Applications = Components + GLoo},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {123--138},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.035},
  doi          = {10.1016/J.ENTCS.2006.09.035},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lumpe07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MenclB07,
  author       = {Vladimir Mencl and
                  Frank S. de Boer},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Preface},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.04.011},
  doi          = {10.1016/J.ENTCS.2007.04.011},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MenclB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ParizekP07a,
  author       = {Pavel Par{\'{\i}}zek and
                  Frantisek Pl{\'{a}}sil},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Modeling Environment for Component Model Checking from Hierarchical
                  Architecture},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {139--153},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.036},
  doi          = {10.1016/J.ENTCS.2006.09.036},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ParizekP07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PoizatST07,
  author       = {Pascal Poizat and
                  Gwen Sala{\"{u}}n and
                  Massimo Tivoli},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {An Adaptation-based Approach to Incrementally Build Component Systems},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {155--170},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.037},
  doi          = {10.1016/J.ENTCS.2006.09.037},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PoizatST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Roy07,
  author       = {Peter Van Roy},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Self Management and the Future of Software Design},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {201--217},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.12.043},
  doi          = {10.1016/J.ENTCS.2006.12.043},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Roy07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schatz07,
  author       = {Bernhard Sch{\"{a}}tz},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Combining Product Lines and Model-Based Development},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {171--186},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.038},
  doi          = {10.1016/J.ENTCS.2006.09.038},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Schatz07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stuckenholz07,
  author       = {Alexander Stuckenholz},
  editor       = {Vladimir Mencl and
                  Frank S. de Boer},
  title        = {Component Updates as a Boolean Optimization Problem},
  booktitle    = {Proceedings of the Third International Workshop on Formal Aspects
                  of Component Software, {FACS} 2006, Prague, Czech Republic, September
                  20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {182},
  pages        = {187--200},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.039},
  doi          = {10.1016/J.ENTCS.2006.09.039},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Stuckenholz07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics