Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/facs2/facs2012.bht:"
@proceedings{DBLP:conf/facs2/2012, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35861-6}, doi = {10.1007/978-3-642-35861-6}, isbn = {978-3-642-35860-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BaeMO12, author = {Kyungmin Bae and Jos{\'{e}} Meseguer and Peter Csaba {\"{O}}lveczky}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Formal Patterns for Multi-rate Distributed Real-Time Systems}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {1--18}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_1}, doi = {10.1007/978-3-642-35861-6\_1}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/BaeMO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BauerHL12, author = {Sebastian S. Bauer and Rolf Hennicker and Axel Legay}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Component Interfaces with Contracts on Ports}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {19--35}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_2}, doi = {10.1007/978-3-642-35861-6\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/BauerHL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BeoharC12, author = {Harsh Beohar and Pieter J. L. Cuijpers}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Avoiding Diamonds in Desynchronization}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {36--54}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_3}, doi = {10.1007/978-3-642-35861-6\_3}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/BeoharC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BianculliGP12, author = {Domenico Bianculli and Carlo Ghezzi and Pierluigi {San Pietro}}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {The Tale of {SOLOIST:} {A} Specification Language for Service Compositions Interactions}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {55--72}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_4}, doi = {10.1007/978-3-642-35861-6\_4}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/BianculliGP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BoerBGLSZ12, author = {Frank S. de Boer and Mario Bravetti and Immo Grabe and Matias David Lee and Martin Steffen and Gianluigi Zavattaro}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {A Petri Net Based Analysis of Deadlocks for Active Objects and Futures}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {110--127}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_7}, doi = {10.1007/978-3-642-35861-6\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/BoerBGLSZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BoerG12, author = {Frank S. de Boer and Stijn de Gouw}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {128--133}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_8}, doi = {10.1007/978-3-642-35861-6\_8}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/BoerG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/CastroAPM12, author = {Pablo F. Castro and Nazareno Aguirre and Carlos Gustavo L{\'{o}}pez Pombo and Tom Maibaum}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {A Categorical Approach to Structuring and Promoting {Z} Specifications}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {73--91}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_5}, doi = {10.1007/978-3-642-35861-6\_5}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/CastroAPM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/ChiltonJK12, author = {Chris Chilton and Bengt Jonsson and Marta Z. Kwiatkowska}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Assume-Guarantee Reasoning for Safe Component Behaviours}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {92--109}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_6}, doi = {10.1007/978-3-642-35861-6\_6}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/ChiltonJK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/JansenAZWSKB12, author = {Nils Jansen and Erika {\'{A}}brah{\'{a}}m and Barna Zajzon and Ralf Wimmer and Johann Schuster and Joost{-}Pieter Katoen and Bernd Becker}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Symbolic Counterexample Generation for Discrete-Time Markov Chains}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {134--151}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_9}, doi = {10.1007/978-3-642-35861-6\_9}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/JansenAZWSKB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/KloukinasO12, author = {Christos Kloukinas and Mert Ozkaya}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Xcd - Modular, Realizable Software Architectures}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {152--169}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_10}, doi = {10.1007/978-3-642-35861-6\_10}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/KloukinasO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/NielsonNV12, author = {Hanne Riis Nielson and Flemming Nielson and Roberto Vigo}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {A Calculus for Quality}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {188--204}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_12}, doi = {10.1007/978-3-642-35861-6\_12}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/NielsonNV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/OsterSBH12, author = {Zachary J. Oster and Ganesh Ram Santhanam and Samik Basu and Vasant G. Honavar}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {205--223}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_13}, doi = {10.1007/978-3-642-35861-6\_13}, timestamp = {Wed, 27 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/OsterSBH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/SasseKMT12, author = {Ralf Sasse and Samuel T. King and Jos{\'{e}} Meseguer and Shuo Tang}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {{IBOS:} {A} Correct-By-Construction Modular Browser}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {224--241}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_14}, doi = {10.1007/978-3-642-35861-6\_14}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/SasseKMT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/ShariflooS12, author = {Amir Molzam Sharifloo and Paola Spoletini}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {{LOVER:} Light-Weight fOrmal Verification of adaptivE Systems at Run Time}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {170--187}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_11}, doi = {10.1007/978-3-642-35861-6\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/ShariflooS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/SigurdarsonSBR12, author = {Steinar Hugi Sigurdarson and Marjan Sirjani and Yngvi Bj{\"{o}}rnsson and Arni Hermann Reynisson}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Guided Search for Deadlocks in Actor-Based Models}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {242--259}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_15}, doi = {10.1007/978-3-642-35861-6\_15}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/SigurdarsonSBR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/YangCKL12, author = {Qiusong Yang and Edmund M. Clarke and Anvesh Komuravelli and Mingshu Li}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Assumption Generation for Asynchronous Systems by Abstraction Refinement}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {260--276}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_16}, doi = {10.1007/978-3-642-35861-6\_16}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/YangCKL12.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.