default search action

combined dblp search
author search
venue search
publication search

ask others

FACS 2012: Mountain View, CA, USA

> Home > Conferences and Workshops > FACS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2012
Corina S. Pasareanu, Gwen Salaün:
Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7684, Springer 2013, ISBN 978-3-642-35860-9
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BaeMO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BaeMO12
Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal Patterns for Multi-rate Distributed Real-Time Systems. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BauerHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BauerHL12
Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
Component Interfaces with Contracts on Ports. 19-35
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BeoharC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BeoharC12
Harsh Beohar, Pieter J. L. Cuijpers:
Avoiding Diamonds in Desynchronization. 36-54
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BianculliGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BianculliGP12
Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro:
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. 55-72
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CastroAPM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CastroAPM12
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum:
A Categorical Approach to Structuring and Promoting Z Specifications. 73-91
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ChiltonJK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ChiltonJK12
Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
Assume-Guarantee Reasoning for Safe Component Behaviours. 92-109
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BoerBGLSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BoerBGLSZ12
Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro:
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. 110-127
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BoerG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BoerG12
Frank S. de Boer, Stijn de Gouw:
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. 128-133
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/JansenAZWSKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/JansenAZWSKB12
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker:
Symbolic Counterexample Generation for Discrete-Time Markov Chains. 134-151
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/KloukinasO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/KloukinasO12
Christos Kloukinas, Mert Ozkaya:
Xcd - Modular, Realizable Software Architectures. 152-169
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ShariflooS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ShariflooS12
Amir Molzam Sharifloo, Paola Spoletini:
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. 170-187
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/NielsonNV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/NielsonNV12
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo:
A Calculus for Quality. 188-204
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/OsterSBH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/OsterSBH12
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar:
Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure. 205-223
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SasseKMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SasseKMT12
Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang:
IBOS: A Correct-By-Construction Modular Browser. 224-241
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SigurdarsonSBR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SigurdarsonSBR12
Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson:
Guided Search for Deadlocks in Actor-Based Models. 242-259
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/YangCKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/YangCKL12
Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li:
Assumption Generation for Asynchronous Systems by Abstraction Refinement. 260-276

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.