Volume 253, Number 1, October 2009

• 
  Jens Happe, Barbora Zimmerova: Preface. 1-2
• 
  Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: From Architectural to Behavioural Specification of Services. 3-21
• 
  Heiko Koziolek, Franz Brosch: Parameter Dependencies for Component Reliability Specifications. 23-38
• 
  Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider: On the Specification of Full Contracts. 39-55
• 
  Michael Kuperberg, Fouad Omri: Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods. 57-75
• 
  Anne Martens, Heiko Koziolek: Automatic, Model-Based Software Performance Improvement for Component-based Software Designs. 77-93
• 
  Simona Motogna, Ioan Lazar, Bazil Pârv, István Gergely Czibula: An Agile MDA Approach for Service-Oriented Components. 95-110
• 
  Sebti Mouelhi, Samir Chouali, Hassan Mountassir: Refinement of Interface Automata Strengthened by Action Semantics. 111-126
• 
  Olaf Owe, Gerardo Schneider: Wrap Your Objects Safely. 127-143
• 
  Pavel Parizek, Jirí Adámek, Tomas Kalibera: Automated Construction of Reasonable Environment for Java Components. 145-160
• 
  Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson: Analyzing a Pattern-Based Model of a Real-Time Turntable System. 161-178
• 
  Yuhong Zhao, Franz-Josef Rammig: Model-based Runtime Verification Framework. 179-193

Volume 253, Number 2, October 2009

• 
  Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. 1
• 
  Percy Antonio Pari Salas, Padmanabhan Krishnan: Automated Software Testing of Asynchronous Systems. 3-19
• 
  Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim: Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. 21-36
• 
  Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam: On the Use of Uniform Random Generation of Automata for Testing. 37-51
• 
  Bernhard K. Aichernig, Harald Brandl, Franz Wotawa: Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. 53-69
• 
  Willibald Krenn, Bernhard K. Aichernig: Test Case Generation by Contract Mutation in Spec#. 71-86
• 
  Anika Schumann, Martin Sachenbacher, Jinbo Huang: Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. 87-99
• 
  Leonidas Tsiopoulos, Manoranjan Satpathy: Model Based Testing of a Network-on-Chip Component. 101-116
• 
  Frédéric Dadeau, Régis Tissot: jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. 117-132

Volume 253, Number 3, November 2009

• 
  Christel Baier, Alessandra Di Pierro: Preface. 1-2
• 
  Marco Bernardo: Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. 3-23
• 
  Ulrich Fahrenberg, Kim Guldstrand Larsen: Discounting in Time. 25-31
• 
  Amar Aissani: An M^X/G/1 Energetic Retrial Queue with Vacations and it's Control. 33-44
• 
  Sergio Giro, Pedro R. D'Argenio: On the Expressive Power of Schedulers in Distributed Probabilistic Systems. 45-71
• 
  Yuxin Deng, Wenjie Du: The Kantorovich Metric in Computer Science: A Brief Survey. 73-82
• 
  I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel: Exploiting non-Markovian Bio-Processes. 83-98
• 
  Anya Tafliovich, Eric C. R. Hehner: Programming with Quantum Communication. 99-118
• 
  Chunyan Mu, David Clark: An Interval-based Abstraction for Quantifying Information Flow. 119-141
• 
  Bruno Montalto, Carlos Caleiro: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. 143-165
• 
  Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro: From Biochemistry to Stochastic Processes. 167-185
• 
  Luca Bortolussi, Maria Grazia Vigliotti: CoBiC: Context-dependent Bioambient Calculus. 187-201

Volume 253, Number 4, November 2009

• 
  Andrea Corradini: Preface. 1-2
• 
  Fabio Gadducci: A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. 3-15
• 
  Oana Andrei, Hélène Kirchner: A Port Graph Calculus for Autonomic Computing and Invariant Verification. 17-38
• 
  Bahareh Badban: A Term Rewriting Technique for Decision Graphs. 39-54
• 
  Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker: Recursive Functions with Pattern Matching in Interaction Nets. 55-71
• 
  Abubakar Hassan, Ian Mackie, Shinya Sato: Compilation of Interaction Nets. 73-90
• 
  Frank Raiser, Thom W. Frühwirth: Strong Joinability Analysis for Graph Transformation Systems in CHR. 91-111
• 
  Ruben Duarte Viegas, Francisco Azevedo: Lazy Constraint Imposing for Improving the Path Constraint. 113-128

Volume 253, Number 5, December 2009

• 
  Elvira Albert, Samir Genaim: Preface. 1-2
• 
  Stefan Brunthaler: Virtual-Machine Abstraction and Optimization Techniques. 3-14
• 
  Laurent Hubert, David Pichardie: Soundly Handling Static Fields: Issues, Semantics and Analysis. 15-30
• 
  Xin Li, Mizuhito Ogawa: An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. 31-46
• 
  Phil McGachey, Antony L. Hosking, J. Eliot B. Moss: Pervasive Load-Time Transformation for Transparently Distributed Java. 47-64
• 
  Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo: User-Definable Resource Usage Bounds Analysis for Java Bytecode. 65-82
• 
  Étienne Payet, Fausto Spoto: Experiments with Non-Termination Analysis for Java Bytecode. 83-96
• 
  Arno Puder, Jessica Lee: Towards an XML-based Bytecode Level Transformation Framework. 97-111
• 
  Aleksy Schubert, Daria Walukiewicz-Chrzaszcz: The Non-Interference Protection in BML. 113-127
• 
  Fausto Spoto, Lunjin Lu, Fred Mesnard: Using CLP Simplifications to Improve Java Bytecode Termination Analysis. 129-144
• 
  Massimo Bartoletti, Gabriele Costa, Roberto Zunino: Jalapa: Securing Java with Local Policies: Tool Demonstration. 145-151
• 
  Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe: The S3MS.NET Run Time Monitor: Tool Demonstration. 153-159

Volume 253, Number 6, March 2010

• 
  Irek Ulidowski: Preface. 1-2
• 
  Tommaso Toffoli: From Such Simple a Beginning: The Momentous Consequences of Physics' Microscopic Reversibility for Communication and Computation - and Almost Anything Else. 3-16
• 
  Alexis De Vos: Reversible Computer Hardware. 17-22
• 
  Kenichi Morita: Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract). 23-31
• 
  Bill Stoddart, Robert Lynas, Frank Zeyda: A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. 33-56
• 
  Robert Wille, Rolf Drechsler: Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. 57-70
• 
  Tetsuo Yokoyama: Reversible Computation and Reversible Programming Languages. 71-81

Volume 253, Number 7, September 2010

Language Descriptions, Tools and Applications, LDTA 2009, York, England, March 28-29, 2009. Proceedings

• 
  Torbjörn Ekman, Jurgen J. Vinju: Preface. 1-2
• 
  Tristan O. R. Allwood, Susan Eisenbach: Strengthening the Zipper. 3-18
• 
  Jacob Andersen, Claus Brabrand: Syntactic Language Extension via an Algebra of Languages and Transformations. 19-35
• 
  Anya Helene Bagge, Magne Haveraaen: Interfacing Concepts: Why Declaration Style Shouldn't Matter. 37-50
• 
  Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera: Typed Transformations of Typed Grammars: The Left Corner Transform. 51-64
• 
  John Boyland, Daniel Spiewak: TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator. 65-74
• 
  Tony Clark, Laurence Tratt: Formalizing Homogeneous Language Embeddings. 75-88
• 
  John M. Dennis, Elizabeth R. Jessup, William M. Waite: SLAMM - Automating Memory Analysis for Numerical Algorithms. 89-104
• 
  Luc Engelen, Mark van den Brand: Integrating Textual and Graphical Modelling Languages. 105-120
• 
  Markus Herrmannsdörfer, Benjamin Hummel: Library Concepts for Model Reuse. 121-134
• 
  Trevor Jim, Yitzhak Mandelbaum: Efficient Earley Parsing with Regular Right-hand Sides. 135-148
• 
  Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser: Domain-Specific Languages for Composable Editor Plugins. 149-163
• 
  Adrián Riesco, Juan Rodríguez-Hortalá: A Natural Implementation of Plural Semantics in Maude. 165-175
• 
  Elizabeth Scott, Adrian Johnstone: GLL Parsing. 177-189
• 
  Jeremy Singer, Gavin Brown, Mikel Luján, Adam Pocock, Paraskevas Yiapanis: Fundamental Nano-Patterns to Characterize and Classify Java Methods. 191-204
• 
  Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser: A Pure Object-Oriented Embedding of Attribute Grammars. 205-219