More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

6th FACS@FMWeek 2009: Eindhoven, The Netherlands

> Home > Conferences and Workshops > FACS
> Home > Conferences and Workshops > FMWeek

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/facs2/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2009
Sun Meng, Bernhard Schätz:
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009. Electronic Notes in Theoretical Computer Science 263, Elsevier 2010
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MengS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MengS10
Sun Meng, Bernhard Schätz:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AndreAAL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AndreAAL10
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix:
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 5-30
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BalbianiAHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BalbianiAHK10
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko:
Composition of Services with Constraints. 31-46
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BauerHJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BauerHJ10
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Behaviour Protocols for Interacting Stateful Components. 47-66
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BothZF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BothZF10
Andreas Both, Wolf Zimmermann, René Franke:
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. 67-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CansadoCSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CansadoCSC10
Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo:
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. 95-110
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GloucheGTG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GloucheGTG10
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. 111-127
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KhakpourJTSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KhakpourJTSM10
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. 129-143
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KloosE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KloosE10
Johannes Kloos, Robert Eschbach:
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. 145-160
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LagorioSZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LagorioSZ10
Giovanni Lagorio, Marco Servetto, Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. 161-177
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lumpe10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lumpe10
Markus Lumpe:
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. 179-195
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Majster-CederbaumS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Majster-CederbaumS10
Mila E. Majster-Cederbaum, Nils Semmelrock:
Reachability in Tree-Like Component Systems is PSPACE-Complete. 197-210
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WilliamsP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WilliamsP10
James R. Williams, Fiona A. C. Polack:
Automated Formalisation for Verification of Diagrammatic Models. 211-226

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.