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

default search action

combined dblp search
author search
venue search
publication search

ask others

3rd FACS 2006: Prague, Czech Republic

> 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
  - no references & citations available
- export record
  dblp key:
  - conf/facs2/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2006
Vladimir Mencl, Frank S. de Boer:
Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006. Electronic Notes in Theoretical Computer Science 182, Elsevier 2007
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MenclB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MenclB07
Vladimir Mencl, Frank S. de Boer:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarrosCMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarrosCMR07
Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera:
Model-checking Distributed Components: The Vercors Platform. 3-16
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BelguidoumD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BelguidoumD07
Meriem Belguidoum, Fabien Dagnat:
Dependency Management in Software Component Deployment. 17-32
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Caromel07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Caromel07
Denis Caromel:
From Theory to Practice in Distributed Component Systems. 33-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CernaVZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CernaVZ07
Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component Substitutability via Equivalencies of Component-Interaction Automata. 39-55
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ElmqvistN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ElmqvistN07
Jonas Elmqvist, Simin Nadjm-Tehrani:
Safety-Oriented Design of Component Assemblies using Safety Interfaces. 57-72
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FagorziZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FagorziZ07
Sonia Fagorzi, Elena Zucca:
A Calculus of Components with Dynamic Type-Checking. 73-90
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HappeKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HappeKR07
Jens Happe, Heiko Koziolek, Ralf H. Reussner:
Parametric Performance Contracts for Software Components with Concurrent Behaviour. 91-106
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KemperP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KemperP07
Stephanie Kemper, André Platzer:
SAT-based Abstraction Refinement for Real-time Systems. 107-122
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lumpe07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lumpe07
Markus Lumpe:
Applications = Components + GLoo. 123-138
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ParizekP07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ParizekP07a
Pavel Parízek, Frantisek Plásil:
Modeling Environment for Component Model Checking from Hierarchical Architecture. 139-153
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PoizatST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PoizatST07
Pascal Poizat, Gwen Salaün, Massimo Tivoli:
An Adaptation-based Approach to Incrementally Build Component Systems. 155-170
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Schatz07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Schatz07
Bernhard Schätz:
Combining Product Lines and Model-Based Development. 171-186
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Stuckenholz07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Stuckenholz07
Alexander Stuckenholz:
Component Updates as a Boolean Optimization Problem. 187-200
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Roy07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Roy07
Peter Van Roy:
Self Management and the Future of Software Design. 201-217

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.