default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 91

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 91, Part A, October 2014

Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PasareanuS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PasareanuS14
Corina S. Pasareanu, Gwen Salaün:
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BaeMO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaeMO14
Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. 3-44
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BeoharC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeoharC14
Harsh Beohar, Pieter J. L. Cuijpers:
Avoiding diamonds in desynchronisation. 45-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BauerHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BauerHL14
Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
A meta-theory for component interfaces with contracts on ports. 70-89
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JansenWAZKBS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JansenWAZKBS14
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster:
Symbolic counterexample generation for large discrete-time Markov chains. 90-114
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ChiltonJK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChiltonJK14
Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
Compositional assume-guarantee reasoning for input/output component theories. 115-137

Volume 91, Part B, October 2014

Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BarbosaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BarbosaS14
Luís Soares Barbosa, Siraj Ahmed Shaikh:
Selected contributions from the Open Source Software Certification (OpenCert) workshops. 139-140
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/OlesenHLP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/OlesenHLP14
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix:
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. 141-160
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BreuerP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BreuerP14
Peter T. Breuer, Simon Pickin:
Open source verification in an anonymous volunteer network. 161-187
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FeuserP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FeuserP14
Johannes Feuser, Jan Peleska:
Dependability in open proof software with hardware virtualization - The railway control systems perspective. 188-215
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AlmeidaBFPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlmeidaBFPV14
José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira:
CAOVerif: An open-source deductive verification platform for cryptographic software implementations. 216-233
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RubanovS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RubanovS14
Vladimir V. Rubanov, Denis V. Silakov:
Ensuring portability of Linux applications through standardization and knowledge base driven analysis. 234-248
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SoweCS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SoweCS14
Sulayman K. Sowe, Antonio Cerone, Dimitrios Settas:
An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis. 249-265

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.