default search action

combined dblp search
author search
venue search
publication search

ask others

Software Systems Safety 2014

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - series/natosec/36
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/36
Orna Grumberg, Helmut Seidl, Maximilian Irlbeck:
Software Systems Safety. NATO Science for Peace and Security Series, D: Information and Communication Security 36, IOS Press 2014, ISBN 978-1-61499-384-1
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Godefroid14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Godefroid14
Patrice Godefroid:
May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. 1-16
- view
  authority control:
- export record
  dblp key:
  - series/natosec/GrumbergSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/GrumbergSV14
Orna Grumberg, Sharon Shoham, Yakir Vizel:
SAT-based Model Checking: Interpolation, IC3, and Beyond. 17-41
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Gulwani14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Gulwani14
Sumit Gulwani:
Program Synthesis. 43-75
- view
  authority control:
- export record
  dblp key:
  - series/natosec/KleinN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/KleinN14
Gerwin Klein, Tobias Nipkow:
Applications of Interactive Proof to Data Flow Analysis and Security. 77-134
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Kusters14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Kusters14
Ralf Küsters:
E-Voting Systems. 135-164
- view
  authority control:
- export record
  dblp key:
  - series/natosec/KwiatkowskaT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/KwiatkowskaT14
Marta Z. Kwiatkowska, Chris Thachuk:
Probabilistic Model Checking for Biology. 165-189
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Majumdar14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Majumdar14
Rupak Majumdar:
Foundations of Infinite-State Verification. 191-222
- view
  authority control:
- export record
  dblp key:
  - series/natosec/WeissenbacherSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/WeissenbacherSM14
Georg Weissenbacher, Pramod Subramanyan, Sharad Malik:
Boolean Satisfiability: Solvers and Extensions. 223-278
- view
  authority control:
- export record
  dblp key:
  - series/natosec/DelftBS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/DelftBS14
Bart van Delft, Niklas Broberg, David Sands:
Programming in Paragon. 279-308
- view
  authority control:
- export record
  dblp key:
  - series/natosec/SeidlAV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/SeidlAV14
Helmut Seidl, Kalmer Apinis, Vesal Vojdani:
Frameworks for Interprocedural Analysis of Concurrent Programs. 309-347
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Yahav14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Yahav14
Eran Yahav:
Practical Software Synthesis. 349-377

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.