2014 CAV award announcement View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2016-04-06

AUTHORS

Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball

ABSTRACT

The 2014 computer-aided verification (CAV) award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.

PAGES

149-151

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10703-016-0244-9

DOI

http://dx.doi.org/10.1007/s10703-016-0244-9

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1051637486


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, Parks Road, OX1 3QD, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of Oxford, Parks Road, OX1 3QD, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kwiatkowska", 
        "givenName": "Marta", 
        "id": "sg:person.011375012273.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Rice University, 77005, Houston, TX, USA", 
          "id": "http://www.grid.ac/institutes/grid.21940.3e", 
          "name": [
            "Department of Computer Science, Rice University, 77005, Houston, TX, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Vardi", 
        "givenName": "Moshe Y.", 
        "id": "sg:person.011743631465.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "LIAFA, Universit\u00e9. Paris Diderot (Paris 7), Case 7014, 75205, Paris Cedex 13, France", 
          "id": "http://www.grid.ac/institutes/grid.462842.e", 
          "name": [
            "LIAFA, Universit\u00e9. Paris Diderot (Paris 7), Case 7014, 75205, Paris Cedex 13, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bouajjani", 
        "givenName": "Ahmed", 
        "id": "sg:person.011716525213.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011716525213.42"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Microsoft Research, One Microsoft Way, 98052, Redmond, WA, USA", 
          "id": "http://www.grid.ac/institutes/grid.419815.0", 
          "name": [
            "Microsoft Research, One Microsoft Way, 98052, Redmond, WA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ball", 
        "givenName": "Thomas", 
        "id": "sg:person.013134455705.26", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013134455705.26"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2016-04-06", 
    "datePublishedReg": "2016-04-06", 
    "description": "The 2014 computer-aided verification (CAV) award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.", 
    "genre": "article", 
    "id": "sg:pub.10.1007/s10703-016-0244-9", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1052628", 
        "issn": [
          "0925-9856", 
          "1572-8102"
        ], 
        "name": "Formal Methods in System Design", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "48"
      }
    ], 
    "keywords": [
      "state-space exploration", 
      "concurrent systems", 
      "reduction algorithm", 
      "algorithm", 
      "Godefroid", 
      "Wolper", 
      "system", 
      "exploration", 
      "development", 
      "conference", 
      "awards", 
      "announcements", 
      "Vienna", 
      "PeLEDs", 
      "computer-aided verification (CAV) award", 
      "verification (CAV) award", 
      "annual CAV conference", 
      "CAV conference", 
      "Patrice Godefroid", 
      "Doron Peled", 
      "Antti Valmari", 
      "Valmari", 
      "Pierre Wolper", 
      "efficient state-space exploration", 
      "CAV award announcement", 
      "award announcements"
    ], 
    "name": "2014 CAV award announcement", 
    "pagination": "149-151", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1051637486"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10703-016-0244-9"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10703-016-0244-9", 
      "https://app.dimensions.ai/details/publication/pub.1051637486"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2022-01-01T18:39", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_695.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/10.1007/s10703-016-0244-9"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10703-016-0244-9'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10703-016-0244-9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10703-016-0244-9'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10703-016-0244-9'


 

This table displays all metadata directly associated to this object as RDF triples.

114 TRIPLES      21 PREDICATES      51 URIs      43 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10703-016-0244-9 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N1c57e4405f1443da82f0f8282197b428
4 schema:datePublished 2016-04-06
5 schema:datePublishedReg 2016-04-06
6 schema:description The 2014 computer-aided verification (CAV) award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.
7 schema:genre article
8 schema:inLanguage en
9 schema:isAccessibleForFree true
10 schema:isPartOf Na96da3221f1049669a163a7afa2fdd99
11 Nc606f4b90a064cb58d89013de8fd66e8
12 sg:journal.1052628
13 schema:keywords Antti Valmari
14 CAV award announcement
15 CAV conference
16 Doron Peled
17 Godefroid
18 Patrice Godefroid
19 PeLEDs
20 Pierre Wolper
21 Valmari
22 Vienna
23 Wolper
24 algorithm
25 announcements
26 annual CAV conference
27 award announcements
28 awards
29 computer-aided verification (CAV) award
30 concurrent systems
31 conference
32 development
33 efficient state-space exploration
34 exploration
35 reduction algorithm
36 state-space exploration
37 system
38 verification (CAV) award
39 schema:name 2014 CAV award announcement
40 schema:pagination 149-151
41 schema:productId N778eccafbf834efe9f388b5b4a1c5a65
42 Neeba5a41442e4ff1985569a67a7f36f3
43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051637486
44 https://doi.org/10.1007/s10703-016-0244-9
45 schema:sdDatePublished 2022-01-01T18:39
46 schema:sdLicense https://scigraph.springernature.com/explorer/license/
47 schema:sdPublisher Nc72ef750e21b4002bc9c5e8f8697dadd
48 schema:url https://doi.org/10.1007/s10703-016-0244-9
49 sgo:license sg:explorer/license/
50 sgo:sdDataset articles
51 rdf:type schema:ScholarlyArticle
52 N1c57e4405f1443da82f0f8282197b428 rdf:first sg:person.011375012273.39
53 rdf:rest N5d9588079a5748bc91dbfee2a9e43d37
54 N34ce0a80c34d4e36beb3e2a115cf6739 rdf:first sg:person.011716525213.42
55 rdf:rest Nabaf924ecf1f4f1e8733db7fe990aec5
56 N5d9588079a5748bc91dbfee2a9e43d37 rdf:first sg:person.011743631465.56
57 rdf:rest N34ce0a80c34d4e36beb3e2a115cf6739
58 N778eccafbf834efe9f388b5b4a1c5a65 schema:name dimensions_id
59 schema:value pub.1051637486
60 rdf:type schema:PropertyValue
61 Na96da3221f1049669a163a7afa2fdd99 schema:issueNumber 3
62 rdf:type schema:PublicationIssue
63 Nabaf924ecf1f4f1e8733db7fe990aec5 rdf:first sg:person.013134455705.26
64 rdf:rest rdf:nil
65 Nc606f4b90a064cb58d89013de8fd66e8 schema:volumeNumber 48
66 rdf:type schema:PublicationVolume
67 Nc72ef750e21b4002bc9c5e8f8697dadd schema:name Springer Nature - SN SciGraph project
68 rdf:type schema:Organization
69 Neeba5a41442e4ff1985569a67a7f36f3 schema:name doi
70 schema:value 10.1007/s10703-016-0244-9
71 rdf:type schema:PropertyValue
72 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
73 schema:name Information and Computing Sciences
74 rdf:type schema:DefinedTerm
75 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
76 schema:name Computation Theory and Mathematics
77 rdf:type schema:DefinedTerm
78 sg:journal.1052628 schema:issn 0925-9856
79 1572-8102
80 schema:name Formal Methods in System Design
81 schema:publisher Springer Nature
82 rdf:type schema:Periodical
83 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
84 schema:familyName Kwiatkowska
85 schema:givenName Marta
86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
87 rdf:type schema:Person
88 sg:person.011716525213.42 schema:affiliation grid-institutes:grid.462842.e
89 schema:familyName Bouajjani
90 schema:givenName Ahmed
91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011716525213.42
92 rdf:type schema:Person
93 sg:person.011743631465.56 schema:affiliation grid-institutes:grid.21940.3e
94 schema:familyName Vardi
95 schema:givenName Moshe Y.
96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56
97 rdf:type schema:Person
98 sg:person.013134455705.26 schema:affiliation grid-institutes:grid.419815.0
99 schema:familyName Ball
100 schema:givenName Thomas
101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013134455705.26
102 rdf:type schema:Person
103 grid-institutes:grid.21940.3e schema:alternateName Department of Computer Science, Rice University, 77005, Houston, TX, USA
104 schema:name Department of Computer Science, Rice University, 77005, Houston, TX, USA
105 rdf:type schema:Organization
106 grid-institutes:grid.419815.0 schema:alternateName Microsoft Research, One Microsoft Way, 98052, Redmond, WA, USA
107 schema:name Microsoft Research, One Microsoft Way, 98052, Redmond, WA, USA
108 rdf:type schema:Organization
109 grid-institutes:grid.462842.e schema:alternateName LIAFA, Université. Paris Diderot (Paris 7), Case 7014, 75205, Paris Cedex 13, France
110 schema:name LIAFA, Université. Paris Diderot (Paris 7), Case 7014, 75205, Paris Cedex 13, France
111 rdf:type schema:Organization
112 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Parks Road, OX1 3QD, Oxford, UK
113 schema:name Department of Computer Science, University of Oxford, Parks Road, OX1 3QD, Oxford, UK
114 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...