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
