Volume 238, Number 1, June 2009

• 
  Alain Girault, Éric Rutten: Preface. 1-2
• 
  Gwenaël Delaval: Modular Distribution and Application to Discrete Controller Synthesis. 3-19
• 
  Louis Mandel, Florence Plateau: Interactive Programming of Reactive Systems. 21-36
• 
  Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic: STARPro - A new multithreaded direct execution platform for Esterel. 37-55
• 
  Bijoy A. Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin: Generating Multi-Threaded code from Polychronous Specifications. 57-69

Volume 238, Number 2, June 2009

• 
  Zoltán Porkoláb, Norbert Pataki: Preface. 1
• 
  Mihály Biczó, Krisztián Pócza: Generating Functional Implementations of Finite State Automata in C# 3.0. 3-12
• 
  Ed Harcourt: Policies of System Level Pipeline Modeling. 13-23
• 
  Ruben Heradio, José Antonio Cerrada, J. C. López Ruiz, J. R. Coz: Code Generation with the Exemplar Flexibilization Language. 25-34
• 
  Christine Hundt, Sabine Glesner: Optimizing Aspectual Execution Mechanisms for Embedded Applications. 35-45
• 
  Ádám Sipos, Viktória Zsók: EClean - An Embedded Functional Language. 47-58
• 
  Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer: Efficient and Type-Safe Generic Data Storage. 59-70
• 
  Zalán Szügyi, Ádám Sipos, Zoltán Porkoláb: Towards the Modularization of C++ Concept Maps. 71-82

Volume 238, Number 3, June 2009

• 
  Grigore Rosu: Preface. 1-3
• 
  Oana Agrigoroaiei, Gabriel Ciobanu: Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. 5-22
• 
  Oana Andrei, Dorel Lucanu: Strategy-Based Proof Calculus for Membrane Systems. 23-43
• 
  Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. 45-62
• 
  Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo: A Declarative Debugger for Maude Functional Modules. 63-81
• 
  Francisco Durán, Peter Csaba Ölveczky: A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. 83-102
• 
  Santiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. 103-119
• 
  Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras: Patterns for Maude Metalanguage Applications. 121-138
• 
  Lars Helge Haß, Thomas Noll: Equational Abstractions for Reducing the State Space of Rewrite Theories. 139-154
• 
  Mark Hills: Memory Representations in Rewriting Logic Semantics Definitions. 155-172
• 
  Bjarne Holen, Einar Broch Johnsen, Arild Waaler: Proof Search for the First-Order Connection Calculus in Maude. 173-188
• 
  Matthias M. Hölzl, Max Meier, Martin Wirsing: Which Soft Constraints do you Prefer? 189-205
• 
  Salvador Lucas, José Meseguer: Operational Termination of Membership Equational Programs: the Order-Sorted Way. 207-225
• 
  Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: A Rewriting Semantics for Maude Strategies. 227-247
• 
  Adrián Riesco, Alberto Verdejo: Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. 249-266
• 
  Dilia E. Rodríguez: Combining Techniques to Reduce State Space and Prove Strong Properties. 267-280
• 
  Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser: The Second Rewrite Engines Competition. 281-291

Volume 238, Number 4, September 2009

• 
  Michaela Huhn, Hardi Hungar: Preface. 1-2
• 
  Constance L. Heitmeyer: On the Role of Formal Methods in Software Certification: An Experience Report. 3-9
• 
  John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden: A Software Certification Consortium and its Top 9 Hurdles. 11-17
• 
  Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. 19-26
• 
  Ibrahim Habli, Tim Kelly: A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. 27-39
• 
  Manuel Garnacho, Michaël Périn: Convincing Proofs for Program Certification. 41-56
• 
  Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter: The Importance of Being Formal. 57-70
• 
  Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner: Model-Based Safety-Cases for Software-Intensive Systems. 71-77
• 
  László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza: Tool Support for Engineering Certifiable Software. 79-85

Volume 238, Number 5, October 2009

Language Descriptions, Tools and Applications, LDTA 2008, Budapest, Hungary, April 5, 2008. Proceedings

• 
  Adrian Johnstone, Jurgen J. Vinju: Preface. 1-2
• 
  Tristan O. R. Allwood, Susan Eisenbach: Tickling Java with a Feather. 3-16
• 
  Anya Helene Bagge, Magne Haveraaen: Axiom-Based Transformations: Optimisation and Testing. 17-33
• 
  Hendrikus J. S. Basten: The Usability of Ambiguity Detection Methods for Context-Free Grammars. 35-46
• 
  Michel Chilowicz, Étienne Duris, Gilles Roussel: Finding Similarities in Source Code Through Factorization. 47-62
• 
  Merijn de Jonge: Developing Product Lines with Third-Party Components. 63-80
• 
  Eelco Dolstra: Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs. 81-99
• 
  Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure: Semantics Driven Disambiguation: A Comparison of Different Approaches. 101-116
• 
  Jeroen Fokker, S. Doaitse Swierstra: Abstract Interpretation of Functional Programs using an Attribute Grammar System. 117-133
• 
  Ralf Lämmel, Simon J. Thompson, Markus Kaiser: Programming Errors in Traversal Programs Over Structured Data. 135-153
• 
  Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman: Declarative Intraprocedural Flow Analysis of Java Source Code. 155-171

Volume 238, Number 6, June 2010

• 
  Ralf Reussner, Iman Poernomo, Juliana Küster Filipe Bowles: Preface. 1-2
• 
  Samir Chouali, Hassan Mountassir, Sebti Mouelhi: An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. 3-13
• 
  Peter Collingbourne, Paul H. J. Kelly: Inference of Session Types From Control Flow. 15-40
• 
  Dimitar P. Guelev, Dang Van Hung: Reasoning about QoS Contracts in the Probabilistic Duration Calculus. 41-62
• 
  Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause: Transaction Scripts: Making Implicit Scenarios Explicit. 63-79
• 
  Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen: Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. 81-95