Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs182.bht:"
@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} }
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.