Science of Computer Programming, Volume 80

Volume 80, Part A, February 2014

Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10)

• 
  Mohammad Reza Mousavi, Gwen Salaün:
  Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). 1-2
• 
  Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab:
  A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. 3-24
• 
  Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere:
  Formal development of wireless sensor-actor networks. 25-49

Special section - Brazilian Symposium on Programming Languages (SBLP 2010)

• 
  Jonathan Aldrich, Ricardo Massa Ferreira Lima:
  Brazilian Symposium on Programming Languages (SBLP 2010). 51
• 
  Christophe Scholliers, Éric Tanter, Wolfgang De Meuter:
  Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model. 52-64
• 
  Eduardo Gurgel Pinho, Francisco Heron de Carvalho Junior:
  An object-oriented parallel programming language for distributed-memory parallel computing platforms. 65-90
• 
  Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha:
  Efficient static checker for tainted variable attacks. 91-105

Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)

• 
  Gwen Salaün, Bernhard Schätz:
  Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11). 107-108
• 
  Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski:
  Runtime verification of microcontroller binary code. 109-129
• 
  Etienne Lantreibecq, Wendelin Serwe:
  Formal analysis of a hardware dynamic task dispatcher with CADP. 130-149
• 
  Michaela Huhn, Stefan Milius:
  Observations on formal safety analysis in practice. 150-168
• 
  Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich:
  A case study on the lightweight verification of a multi-threaded task server. 169-187
• 
  Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga, Lawrence Marinelli:
  Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. 188-209

Volume 80, Part B, February 2014

• 
  Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman:
  Automated verification of design patterns: A case study. 211-222
• 
  Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
  Static safety guarantees for a low-level multithreaded language with regions. 223-263
• 
  Savas Konur:
  Specifying safety-critical systems with a decidable duration logic. 264-287
• 
  Muffy Calder, Alexandros Koliousis, Michele Sevegnani, Joseph S. Sventek:
  Real-time verification of wireless home networks using bigraphs with sharing. 288-310
• 
  Éric Tanter, Ismael Figueroa, Nicolas Tabareau:
  Execution levels for aspect-oriented programming: Design, semantics, implementations and applications. 311-342
• 
  Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão:
  A practical approach for testing timed deterministic finite state machines with single clock. 343-355
• 
  Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra:
  Adaptation space exploration for service-oriented applications. 356-384
• 
  María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero:
  Using conditional trace slicing for improving Maude programs. 385-415
• 
  Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
  Formal semantics, modular specification, and symbolic verification of product-line behaviour. 416-439
• 
  Alain Ketterlin, Philippe Clauss:
  Recovering memory access patterns of executable programs. 440-456
• 
  Stephen W. Thomas, Bram Adams, Ahmed E. Hassan, Dorothea Blostein:
  Studying software evolution using topic models. 457-479