Search dblp for Publications

export results for "toc:db/conf/facs2/facs2012.bht:"

 download as .bib file

@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, 21 Mar 2023 00:00:00 +0100},
  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}
}
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.