default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 148

> 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 148, November 2017

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GrovI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GrovI17
Gudmund Grov, Andrew Ireland:
Preface of the special issue for AVoCS 2015. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/scp/OHalloranGB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/OHalloranGB17
Colin O'Halloran, Thomas Gibson-Robinson, Neil Brock:
Verifying cyber attack properties. 3-25
- view
  authority control:
- export record
  dblp key:
  - journals/scp/RahliGBC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RahliGBC17
Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable:
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems. 26-48
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DalvandiBR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DalvandiBR17
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh:
Derivation of algorithmic control structures in Event-B refinement. 49-65
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LaibinisPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LaibinisPT17
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Formal reasoning about resilient goal-oriented multi-agent systems. 66-87
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KamaliDMFV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KamaliDMFV17
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres:
Formal verification of autonomous vehicle platooning. 88-106
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KetemaD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KetemaD17
Jeroen Ketema, Alastair F. Donaldson:
Termination analysis for GPU kernels. 107-122
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlthausBDDHRSWW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlthausBDDHRSWW17
Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz:
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. 123-160
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AmatoRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AmatoRS17
Gianluca Amato, Marco Rubino, Francesca Scozzari:
Inferring linear invariants with parallelotopes. 161-188
- view
  authority control:
- export record
  dblp key:
  - journals/scp/QinHCCHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/QinHCCHM17
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming:
Automated specification inference in a combined domain via user-defined predicates. 189-212

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.