Electronic Notes in Theoretical Computer Science, Volume 263
Volume 263, June 2010
- Pascal André, Gilles Ardourel, 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team