default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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, Linas Laibinis, Luigia Petre, Kaisa Sere:
Formal development of wireless sensor-actor networks. 25-49
- 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
- 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
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 2025-12-20 23:48 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:
