Volume 78,
Number 1,
November - December 2008
Volume 78,
Number 2,
January 2009
Volume 78,
Number 3,
February - March 2009
Volume 78,
Number 4,
April 2009
- Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Preface.
- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni:
Assisting the design of a groupware system.
191-232
- Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier:
A metamodel for the design of polychronous systems.
233-259
- M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià:
Improving performance in flexible manufacturing systems.
260-273
- Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse:
Search algorithms for automated validation.
274-287
Volume 78,
Number 5,
May - June 2009
- Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword.
289-290
- Olaf Owe, Gerardo Schneider:
Formal languages and analysis of contract-oriented software.
291-292
- Martin Leucker, Christian Schallhart:
A brief account of runtime verification.
293-303
- Irem Aktug, Mads Dam, Dilian Gurov:
Provably correct runtime monitoring.
304-339
- Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan:
Matching in security-by-contract for mobile code.
340-358
- Valentin Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià:
A Petri net approach for the design and analysis of Web Services Choreographies.
359-380
- Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen:
POETS: Process-oriented event-driven transaction systems.
381-401
- Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani:
Schedulability of asynchronous real-time concurrent objects.
402-416
Volume 78,
Number 6,
July 2009
Volume 78,
Number 7,
August - September 2009
- Einar Broch Johnsen, Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword.
- Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen:
Behavioral interface description of an object-oriented language with futures and promises.
491-518
- Eva Burrows, Magne Haveraaen:
A Hardware Independent Parallel Programming Model.
519-538
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
Ready to preorder: an algebraic and general proof.
539-551
- Fritz Henglein:
What is a Sorting Function?
552-572
- Härmel Nestra:
Transfinite Semantics in the Form of Greatest Fixpoint.
573-592
- Alejandro Russo, Andrei Sabelfeld:
Securing interaction between threads and the scheduler in the presence of synchronization.
593-618
- Ando Saabas, Tarmo Uustalu:
Proof optimization for partial redundancy elimination.
619-642
- Kai Trojahner, Clemens Grelck:
Dependently typed array programs don't go wrong.
643-664
Volume 78,
Number 8,
November 2009
Copyright © Sat Nov 28 22:31:43 2009
by Michael Ley (ley@uni-trier.de)