default search action

combined dblp search
author search
venue search
publication search

ask others

4th FACS 2007: Sophia-Antipolis, France

> 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
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/facs2/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2007
Markus Lumpe, Eric Madelaine:
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007. Electronic Notes in Theoretical Computer Science 215, Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LumpeM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LumpeM08
Markus Lumpe, Eric Madelaine:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KallelCJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KallelCJ08
Slim Kallel, Anis Charfi, Mohamed Jmaiel:
Using Aspects for Enforcing Formal Architectural Invariants. 5-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Schatz08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Schatz08
Bernhard Schätz:
Modular Functional Descriptions. 23-38
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CuboSCPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CuboSCPP08
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat:
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. 39-55
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Majster-CederbaumMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Majster-CederbaumMM08
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier:
Liveness in Interaction Systems. 57-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BelguidoumD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BelguidoumD08
Meriem Belguidoum, Fabien Dagnat:
Formalization of Component Substitutability. 75-92
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Raclet08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Raclet08
Jean-Baptiste Raclet:
Residual for Component Specifications. 93-110
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CamaraCS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CamaraCS08
Javier Cámara, Carlos Canal, Gwen Salaün:
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. 111-130
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandesR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandesR08
Fabrício de Alexandria Fernandes, Jean-Claude Royer:
The STSLib Project: Towards a Formal Component Model Based on STS. 131-149
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlanchetteO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlanchetteO08
Jasmin Christian Blanchette, Olaf Owe:
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. 151-169
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KimSC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimSC08
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components. 171-189
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Weerdenburg08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Weerdenburg08
Muck van Weerdenburg:
Process Algebra with Local Communication. 191-208
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlechmannB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlechmannB08
Tobias Blechmann, Christel Baier:
Checking Equivalence for Reo Networks. 209-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.