default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th FACS@FMWeek 2009: Eindhoven, The Netherlands
- 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 - Sun Meng, Bernhard Schätz:
Preface. 1-3 - Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix:
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 5-30 - Philippe Balbiani
, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko:
Composition of Services with Constraints. 31-46 - Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Behaviour Protocols for Interacting Stateful Components. 47-66 - Andreas Both, Wolf Zimmermann, René Franke:
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. 67-94 - Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo:
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. 95-110 - Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. 111-127 - Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. 129-143 - Johannes Kloos, Robert Eschbach:
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. 145-160 - Giovanni Lagorio, Marco Servetto, Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. 161-177 - Markus Lumpe:
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. 179-195 - Mila E. Majster-Cederbaum, Nils Semmelrock:
Reachability in Tree-Like Component Systems is PSPACE-Complete. 197-210 - 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.
last updated on 2026-06-10 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
