Volume 76, Number 1, January 2011
- Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface.
1-2

- Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing three coordination models: Reo, ARC, and PBRD.
3-22

- Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab:
Modeling dynamic reconfigurations in Reo using high-level replacement systems.
23-36

- Alessandro Ricci, Mirko Viroli, Giulio Piancastelli:
simpA: An agent-oriented approach for programming concurrent applications on top of Java.
37-62

Volume 76, Number 2, February 2011
- Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino:
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).
63-64

- Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.
65-81

- Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving.
82-99

- Bastian Schlich, Jörg Brauer, Stefan Kowalewski:
Application of static analyses for state-space reduction to the microcontroller binary code.
100-118

- Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
A state/event-based model-checking approach for the analysis of abstract system properties.
119-135

- Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek:
Flash memory efficient LTL model checking.
136-157

Volume 76, Number 3, March 2011
Volume 76, Number 4, April 2011
Volume 76, Number 5, May 2011
Volume 76, Number 6, June 2011
Volume 76, Number 7, July 2011
Volume 76, Number 8, August 2011
- Axel van Lamsweerde:
The humble humorous researcher: A tribute to Michel Sintzoff.
627-630

- Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface.
631-632

- Peter Y. H. Wong, Jeremy Gibbons:
Formalisations and applications of BPMN.
633-650

- Sun Meng, Farhad Arbab, Christel Baier:
Synthesis of Reo circuits from scenario-based interaction specifications.
651-680

- Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab:
Channel-based coordination via constraint satisfaction.
681-710

- Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic consistency in process algebra: From Paradigm to ACP.
711-735

Volume 76, Number 9, September 2011
Volume 76, Number 10, October 2011
- Michael Leuschel, Heike Wehrheim:
Selected papers on Integrated Formal Methods (iFM09).
835-836

- Steve Schneider, Helen Treharne:
Changing system interfaces consistently: A new refinement strategy for CSP||B.
837-860

- Benjamin Weiß:
Predicate abstraction in a program logic calculus.
861-876

- Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková:
Partial order reduction for state/event LTL with application to component-interaction automata.
877-890

- Robert Colvin, Ian J. Hayes:
A semantics for Behavior Trees using CSP with specification commands.
891-914

- Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental reasoning with lazy behavioral subtyping for multiple inheritance.
915-941

- Peter Y. H. Wong, Jeremy Gibbons:
Property specifications for workflow modelling.
942-967

Volume 76, Number 11, November 2011
- R. Nigel Horspool, Ralf Gitzel, Giacomo Cabri, Markus Aleksy:
Principles and Practice of Programming in Java 2008 - Special issue.
969

- Jevgeni Kabanov, Michael Hunger, Rein Raudjärv:
On designing safe and flexible embedded DSLs with Java 5.
970-991

- Lorenzo Bettini, Viviana Bono, Betti Venneri:
Delegation by object composition.
992-1014

- Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni:
Comprehensive aspect weaving for Java.
1015-1036

- Gregor Wagner, Andreas Gal, Michael Franz:
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading.
1037-1053

- Milan Jovic, Matthias Hauswirth:
Listener latency profiling: Measuring the perceptible performance of interactive Java applications.
1054-1072

- Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094].
1073

Volume 76, Number 12, December 2011
- Andy Zaidman, Johan Brichau:
Preface to the special issue on software evolution, adaptability and variability.
1075-1077

- Tom Arbuckle:
Studying software evolution using artefacts' shared information content.
1078-1097

- Trosky Boris Callo Arias, Paris Avgeriou, Pierre America, Krelis Blom, Sergiy Bachynskyy:
A top-down strategy to reverse architecting execution views for a large and complex software-intensive system: An experience report.
1098-1112

- Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt:
Diagnosing and correcting design inconsistencies in source code with logical abduction.
1113-1129

- Andreas Classen, Quentin Boucher, Patrick Heymans:
A text-based approach to feature modelling: Syntax and semantics of TVL.
1130-1143

- Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli:
Supporting software evolution in component-based FOSS systems.
1144-1160

- Siim Karus, Marlon Dumas:
Predicting the maintainability of XSL transformations.
1161-1176

- Jannik Laval, Simon Denier, Stéphane Ducasse, Jean-Rémy Falleri:
Supporting simultaneous versions for software evolution assessment.
1177-1193

- Jens Lincke, Malte Appeltauer, Bastian Steinert, Robert Hirschfeld:
An open implementation for context-oriented layer composition in ContextJS.
1194-1209

- Herwig Mannaert, Jan Verelst, Kris Ven:
The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stability.
1210-1222

- Bart Meyers, Hans Vangheluwe:
A framework for evolution of modelling languages.
1223-1246

- Carlos Andres Parra, Xavier Blanc, Anthony Cleve, Laurence Duchien:
Unifying design and runtime software adaptation using aspect models.
1247-1260

- Pieter van der Spek, Steven Klusener:
Applying a dynamic threshold to improve cluster detection of LSI.
1261-1274

Last update Tue May 21 19:33:46 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page