Stop the war!
Остановите войну!
for scientists:
default search action
Science of Computer Programming, Volume 91
Volume 91, Part A, October 2014
- Corina S. Pasareanu, Gwen Salaün:
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). 1-2 - Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. 3-44 - Harsh Beohar, Pieter J. L. Cuijpers:
Avoiding diamonds in desynchronisation. 45-69 - Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
A meta-theory for component interfaces with contracts on ports. 70-89 - 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 - Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
Compositional assume-guarantee reasoning for input/output component theories. 115-137
Volume 91, Part B, October 2014
- Luís Soares Barbosa, Siraj Ahmed Shaikh:
Selected contributions from the Open Source Software Certification (OpenCert) workshops. 139-140 - Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix:
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. 141-160 - Peter T. Breuer, Simon Pickin:
Open source verification in an anonymous volunteer network. 161-187 - Johannes Feuser, Jan Peleska:
Dependability in open proof software with hardware virtualization - The railway control systems perspective. 188-215 - 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 - Vladimir V. Rubanov, Denis V. Silakov:
Ensuring portability of Linux applications through standardization and knowledge base driven analysis. 234-248 - 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.