default search action
Science of Computer Programming, Volume 80
Volume 80, Part A, February 2014
- 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
Formal development of wireless sensor-actor networks. 25-49
- Jonathan Aldrich
Brazilian Symposium on Programming Languages (SBLP 2010). 51 - Christophe Scholliers
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
Efficient static checker for tainted variable attacks. 91-105
- 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
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
A case study on the lightweight verification of a multi-threaded task server. 169-187 - Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga
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
Automated verification of design patterns: A case study. 211-222 - Prodromos Gerakios, Nikolaos Papaspyrou
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
Real-time verification of wireless home networks using bigraphs with sharing. 288-310 - Éric Tanter, Ismael Figueroa
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
Adaptation space exploration for service-oriented applications. 356-384 - María Alpuente
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
Studying software evolution using topic models. 457-479
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: