Volume 264, Number 1, August 2010
- Jens Happe, Barbora Buhnova:
Preface.
1-2

- Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone Krug:
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations.
3-17

- Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel:
Semi-Automatic Specification of Behavioural Service Adaptation Contracts.
19-34

- Ludovic Henrio, Muhammad Uzair Khan:
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL.
35-53

- Kamil Jezek, Premek Brada, Petr Stepan:
Towards Context Independent Extra-functional Properties Descriptor for Components.
55-71

- Lucia Kapová, Steffen Becker:
Systematic Refinement of Performance Models for Concurrent Component-based Systems.
73-90

- Ioan Lazar, Simona Motogna, Bazil Pârv:
Behaviour-Driven Development of Foundational UML Components.
91-105

- Matias David Lee, Pedro R. D'Argenio:
Describing Secure Interfaces with Interface Automata.
107-123

- Philip Mayer, Andreas Schroeder, Sebastian S. Bauer:
A Strict-Observational Interface Theory for Analysing Service Orchestrations.
125-139

Volume 264, Number 2, August 2010
- Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface.
1-2

- Jirí Adámek, Stefan Milius, Jiri Velebil:
Recursive Program Schemes and Context-Free Monads.
3-23

- Kazuyuki Asada, Ichiro Hasuo:
Categorifying Computations into Components via Arrows as Profunctors.
25-45

- Adriana Balan, Alexander Kurz:
On Coalgebras over Algebras.
47-62

- Vincenzo Ciancia, Alexander Kurz, Ugo Montanari:
Families of Symmetries as Efficient Models of Resource Binding.
63-81

- Corina Cîrstea:
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.
83-103

- Michael Hauhs, Baltasar Trancón-y-Widemann:
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map.
105-123

- Bart Jacobs:
From Coalgebraic to Monoidal Traces.
125-140

- Jiho Kim:
Higher-order Algebras and Coalgebras from Parameterized Endofunctors.
141-154

- Bartek Klin:
Structural Operational Semantics and Modal Logic, Revisited.
155-175

- Jan Komenda:
Coinduction in Concurrent Timed Systems.
177-197

Volume 264, Number 3, December 2010
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface.
1

- Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu:
Handling State-Machines Specifications with GATeL.
3-17

- Winfried Dulz, Stefan Holpp, Reinhard German:
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models.
19-35

- Malte Lochau, Ursula Goltz:
Feature Interaction Aware Test Case Generation for Embedded Control Systems.
37-52

- Petur Olsen, Kim G. Larsen, Arne Skou:
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases.
53-68

- Olaf Owe, Martin Steffen, Arild B. Torjusen:
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
69-84

- Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai:
Model-Based Testing 2010: Short Abstracts.
85-99

Volume 264, Number 4, February 2011
Last update Sat May 18 16:17:56 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page