Preface to the special issue on Probabilistic Model Checking View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2013-08-17

AUTHORS

Christel Baier, Marta Kwiatkowska

ABSTRACT

N/A

PAGES

121-123

References to SciGraph publications

  • 2012-07-21. On-the-fly verification and optimization of DTA-properties for large Markov chains in FORMAL METHODS IN SYSTEM DESIGN
  • 2013-08-27. Bayesian statistical model checking with application to Stateflow/Simulink verification in FORMAL METHODS IN SYSTEM DESIGN
  • 2012-10-12. Model checking for probabilistic timed automata in FORMAL METHODS IN SYSTEM DESIGN
  • 1995. Model checking of probabilistic and nondeterministic systems in FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2012-08-04. Computable fixpoints in well-structured symbolic model checking in FORMAL METHODS IN SYSTEM DESIGN
  • 2012-07-20. Analyzing probabilistic pushdown automata in FORMAL METHODS IN SYSTEM DESIGN
  • 1997. Symbolic model checking for probabilistic processes in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2012-07-04. A survey of partial-observation stochastic parity games in FORMAL METHODS IN SYSTEM DESIGN
  • 2012-08-17. A compositional modelling and analysis framework for stochastic hybrid systems in FORMAL METHODS IN SYSTEM DESIGN
  • 1998-08. Model checking for a probabilistic branching time logic with fairness in DISTRIBUTED COMPUTING
  • 2012-09-20. Algorithmic probabilistic game semantics in FORMAL METHODS IN SYSTEM DESIGN
  • 1994-09. A logic for reasoning about time and reliability in FORMAL ASPECTS OF COMPUTING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10703-013-0194-4

    DOI

    http://dx.doi.org/10.1007/s10703-013-0194-4

    DIMENSIONS

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


    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"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0805", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Distributed Computing", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "TU Dresden, Fakult\u00e4t Informatik, 01062, Dresden, Germany", 
              "id": "http://www.grid.ac/institutes/grid.4488.0", 
              "name": [
                "TU Dresden, Fakult\u00e4t Informatik, 01062, Dresden, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Baier", 
            "givenName": "Christel", 
            "id": "sg:person.014160444244.72", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014160444244.72"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Oxford, United Kingdom", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Oxford, United Kingdom"
              ], 
              "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"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-60692-0_70", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022695129", 
              "https://doi.org/10.1007/3-540-60692-0_70"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s004460050046", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022009982", 
              "https://doi.org/10.1007/s004460050046"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01211866", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052049375", 
              "https://doi.org/10.1007/bf01211866"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0165-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030685880", 
              "https://doi.org/10.1007/s10703-012-0165-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0177-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047241468", 
              "https://doi.org/10.1007/s10703-012-0177-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0167-z", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051226645", 
              "https://doi.org/10.1007/s10703-012-0167-z"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-013-0195-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004919857", 
              "https://doi.org/10.1007/s10703-013-0195-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0168-y", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013256339", 
              "https://doi.org/10.1007/s10703-012-0168-y"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0164-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020549182", 
              "https://doi.org/10.1007/s10703-012-0164-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0166-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006752900", 
              "https://doi.org/10.1007/s10703-012-0166-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0173-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004424861", 
              "https://doi.org/10.1007/s10703-012-0173-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-63165-8_199", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033397365", 
              "https://doi.org/10.1007/3-540-63165-8_199"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2013-08-17", 
        "datePublishedReg": "2013-08-17", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10703-013-0194-4", 
        "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": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "43"
          }
        ], 
        "keywords": [
          "special issue", 
          "issues", 
          "checking", 
          "preface", 
          "model checking", 
          "probabilistic model checking"
        ], 
        "name": "Preface to the special issue on Probabilistic Model Checking", 
        "pagination": "121-123", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1033280299"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10703-013-0194-4"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10703-013-0194-4", 
          "https://app.dimensions.ai/details/publication/pub.1033280299"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-12-01T19:28", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/article/article_604.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10703-013-0194-4"
      }
    ]
     

    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-013-0194-4'

    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-013-0194-4'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10703-013-0194-4'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10703-013-0194-4'


     

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

    129 TRIPLES      21 PREDICATES      44 URIs      22 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10703-013-0194-4 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 anzsrc-for:0803
    4 anzsrc-for:0805
    5 schema:author N09e799e7fa394d03be17b07ed4a750fe
    6 schema:citation sg:pub.10.1007/3-540-60692-0_70
    7 sg:pub.10.1007/3-540-63165-8_199
    8 sg:pub.10.1007/bf01211866
    9 sg:pub.10.1007/s004460050046
    10 sg:pub.10.1007/s10703-012-0164-2
    11 sg:pub.10.1007/s10703-012-0165-1
    12 sg:pub.10.1007/s10703-012-0166-0
    13 sg:pub.10.1007/s10703-012-0167-z
    14 sg:pub.10.1007/s10703-012-0168-y
    15 sg:pub.10.1007/s10703-012-0173-1
    16 sg:pub.10.1007/s10703-012-0177-x
    17 sg:pub.10.1007/s10703-013-0195-3
    18 schema:datePublished 2013-08-17
    19 schema:datePublishedReg 2013-08-17
    20 schema:genre article
    21 schema:inLanguage en
    22 schema:isAccessibleForFree true
    23 schema:isPartOf N1d38d9bc7eaa4663911c711f68572051
    24 N7c03365fb6c1477e8a90b7e8f728958d
    25 sg:journal.1052628
    26 schema:keywords checking
    27 issues
    28 model checking
    29 preface
    30 probabilistic model checking
    31 special issue
    32 schema:name Preface to the special issue on Probabilistic Model Checking
    33 schema:pagination 121-123
    34 schema:productId N1544bff2adbd449cbe46326650564450
    35 Ndd5e9470c732432195299ab7078ea799
    36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033280299
    37 https://doi.org/10.1007/s10703-013-0194-4
    38 schema:sdDatePublished 2021-12-01T19:28
    39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    40 schema:sdPublisher N47d48216a5fa43d3814fe9fb601fd500
    41 schema:url https://doi.org/10.1007/s10703-013-0194-4
    42 sgo:license sg:explorer/license/
    43 sgo:sdDataset articles
    44 rdf:type schema:ScholarlyArticle
    45 N09e799e7fa394d03be17b07ed4a750fe rdf:first sg:person.014160444244.72
    46 rdf:rest N2b2a2131d06f4028bc109ebb20eec5c0
    47 N1544bff2adbd449cbe46326650564450 schema:name dimensions_id
    48 schema:value pub.1033280299
    49 rdf:type schema:PropertyValue
    50 N1d38d9bc7eaa4663911c711f68572051 schema:issueNumber 2
    51 rdf:type schema:PublicationIssue
    52 N2b2a2131d06f4028bc109ebb20eec5c0 rdf:first sg:person.011375012273.39
    53 rdf:rest rdf:nil
    54 N47d48216a5fa43d3814fe9fb601fd500 schema:name Springer Nature - SN SciGraph project
    55 rdf:type schema:Organization
    56 N7c03365fb6c1477e8a90b7e8f728958d schema:volumeNumber 43
    57 rdf:type schema:PublicationVolume
    58 Ndd5e9470c732432195299ab7078ea799 schema:name doi
    59 schema:value 10.1007/s10703-013-0194-4
    60 rdf:type schema:PropertyValue
    61 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    62 schema:name Information and Computing Sciences
    63 rdf:type schema:DefinedTerm
    64 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    65 schema:name Computation Theory and Mathematics
    66 rdf:type schema:DefinedTerm
    67 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    68 schema:name Computer Software
    69 rdf:type schema:DefinedTerm
    70 anzsrc-for:0805 schema:inDefinedTermSet anzsrc-for:
    71 schema:name Distributed Computing
    72 rdf:type schema:DefinedTerm
    73 sg:journal.1052628 schema:issn 0925-9856
    74 1572-8102
    75 schema:name Formal Methods in System Design
    76 schema:publisher Springer Nature
    77 rdf:type schema:Periodical
    78 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
    79 schema:familyName Kwiatkowska
    80 schema:givenName Marta
    81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
    82 rdf:type schema:Person
    83 sg:person.014160444244.72 schema:affiliation grid-institutes:grid.4488.0
    84 schema:familyName Baier
    85 schema:givenName Christel
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014160444244.72
    87 rdf:type schema:Person
    88 sg:pub.10.1007/3-540-60692-0_70 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022695129
    89 https://doi.org/10.1007/3-540-60692-0_70
    90 rdf:type schema:CreativeWork
    91 sg:pub.10.1007/3-540-63165-8_199 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033397365
    92 https://doi.org/10.1007/3-540-63165-8_199
    93 rdf:type schema:CreativeWork
    94 sg:pub.10.1007/bf01211866 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052049375
    95 https://doi.org/10.1007/bf01211866
    96 rdf:type schema:CreativeWork
    97 sg:pub.10.1007/s004460050046 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022009982
    98 https://doi.org/10.1007/s004460050046
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/s10703-012-0164-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020549182
    101 https://doi.org/10.1007/s10703-012-0164-2
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/s10703-012-0165-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030685880
    104 https://doi.org/10.1007/s10703-012-0165-1
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/s10703-012-0166-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006752900
    107 https://doi.org/10.1007/s10703-012-0166-0
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/s10703-012-0167-z schema:sameAs https://app.dimensions.ai/details/publication/pub.1051226645
    110 https://doi.org/10.1007/s10703-012-0167-z
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/s10703-012-0168-y schema:sameAs https://app.dimensions.ai/details/publication/pub.1013256339
    113 https://doi.org/10.1007/s10703-012-0168-y
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/s10703-012-0173-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004424861
    116 https://doi.org/10.1007/s10703-012-0173-1
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/s10703-012-0177-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1047241468
    119 https://doi.org/10.1007/s10703-012-0177-x
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/s10703-013-0195-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004919857
    122 https://doi.org/10.1007/s10703-013-0195-3
    123 rdf:type schema:CreativeWork
    124 grid-institutes:grid.4488.0 schema:alternateName TU Dresden, Fakultät Informatik, 01062, Dresden, Germany
    125 schema:name TU Dresden, Fakultät Informatik, 01062, Dresden, Germany
    126 rdf:type schema:Organization
    127 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Oxford, United Kingdom
    128 schema:name Department of Computer Science, University of Oxford, Oxford, United Kingdom
    129 rdf:type schema:Organization
     




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


    ...