Electronic Notes in Theoretical Computer Science, Volume 264
Volume 264, Number 1, August 2010
- 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
- Philip Mayer, Andreas Schroeder, Sebastian S. Bauer: A Strict-Observational Interface Theory for Analysing Service Orchestrations. 125-139
Volume 264, Number 2, August 2010
- Kazuyuki Asada, Ichiro Hasuo: Categorifying Computations into Components via Arrows as Profunctors. 25-45
- 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
- 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
- David Pichardie: Preface. 1-2
- Jaroslav Bauml, Premek Brada: Reconstruction of Type Information from Java Bytecode for Component Compatibility. 3-18
- Jevgeni Kabanov: JRebel Tool Demo. 51-57
- Philippe Wang, Adrien Jonquet, Emmanuel Chailloux: Non-Intrusive Structural Coverage for Objective Caml. 59-73
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