View in EDS

A survey of challenges for runtime verification from advanced application domains (beyond software).

Saved in:
Bibliographic Details
Title: A survey of challenges for runtime verification from advanced application domains (beyond software).
Authors: Sánchez, César1, cesar.sanchez@imdea.org, Schneider, Gerardo2, gersch@chalmers.se, Ahrendt, Wolfgang3, Bartocci, Ezio4, Bianculli, Domenico5, Colombo, Christian6, Falcone, Yliès7, Francalanza, Adrian6, Krstić, Srđan8, Lourenço, Joa̋o M.9, Nickovic, Dejan10, Pace, Gordon J.6, Rufino, Jose11, Signoles, Julien12, Traytel, Dmitriy8, Weiss, Alexander13
Source: Formal Methods in System Design; 2019, Vol. 54 Issue 3, p279-335, 57p
Database: Applied Science & Technology Source
FullText Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 139655626
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A survey of challenges for runtime verification from advanced application domains (beyond software).
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Sánchez%2C+César%22">Sánchez, César</searchLink><relatesTo>1</relatesTo>, <i>cesar.sanchez@imdea.org</i><br /><searchLink fieldCode="AU" term="%22Schneider%2C+Gerardo%22">Schneider, Gerardo</searchLink><relatesTo>2</relatesTo>, <i>gersch@chalmers.se</i><br /><searchLink fieldCode="AU" term="%22Ahrendt%2C+Wolfgang%22">Ahrendt, Wolfgang</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AU" term="%22Bartocci%2C+Ezio%22">Bartocci, Ezio</searchLink><relatesTo>4</relatesTo><br /><searchLink fieldCode="AU" term="%22Bianculli%2C+Domenico%22">Bianculli, Domenico</searchLink><relatesTo>5</relatesTo><br /><searchLink fieldCode="AU" term="%22Colombo%2C+Christian%22">Colombo, Christian</searchLink><relatesTo>6</relatesTo><br /><searchLink fieldCode="AU" term="%22Falcone%2C+Yliès%22">Falcone, Yliès</searchLink><relatesTo>7</relatesTo><br /><searchLink fieldCode="AU" term="%22Francalanza%2C+Adrian%22">Francalanza, Adrian</searchLink><relatesTo>6</relatesTo><br /><searchLink fieldCode="AU" term="%22Krstić%2C+Srđan%22">Krstić, Srđan</searchLink><relatesTo>8</relatesTo><br /><searchLink fieldCode="AU" term="%22Lourenço%2C+Joa̋o+M%2E%22">Lourenço, Joa̋o M.</searchLink><relatesTo>9</relatesTo><br /><searchLink fieldCode="AU" term="%22Nickovic%2C+Dejan%22">Nickovic, Dejan</searchLink><relatesTo>10</relatesTo><br /><searchLink fieldCode="AU" term="%22Pace%2C+Gordon+J%2E%22">Pace, Gordon J.</searchLink><relatesTo>6</relatesTo><br /><searchLink fieldCode="AU" term="%22Rufino%2C+Jose%22">Rufino, Jose</searchLink><relatesTo>11</relatesTo><br /><searchLink fieldCode="AU" term="%22Signoles%2C+Julien%22">Signoles, Julien</searchLink><relatesTo>12</relatesTo><br /><searchLink fieldCode="AU" term="%22Traytel%2C+Dmitriy%22">Traytel, Dmitriy</searchLink><relatesTo>8</relatesTo><br /><searchLink fieldCode="AU" term="%22Weiss%2C+Alexander%22">Weiss, Alexander</searchLink><relatesTo>13</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Formal+Methods+in+System+Design%22">Formal Methods in System Design</searchLink>; 2019, Vol. 54 Issue 3, p279-335, 57p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=139655626
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10703-019-00337-w
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 57
        StartPage: 279
    Titles:
      – TitleFull: A survey of challenges for runtime verification from advanced application domains (beyond software).
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Sánchez, César
      – PersonEntity:
          Name:
            NameFull: Schneider, Gerardo
      – PersonEntity:
          Name:
            NameFull: Ahrendt, Wolfgang
      – PersonEntity:
          Name:
            NameFull: Bartocci, Ezio
      – PersonEntity:
          Name:
            NameFull: Bianculli, Domenico
      – PersonEntity:
          Name:
            NameFull: Colombo, Christian
      – PersonEntity:
          Name:
            NameFull: Falcone, Yliès
      – PersonEntity:
          Name:
            NameFull: Francalanza, Adrian
      – PersonEntity:
          Name:
            NameFull: Krstić, Srđan
      – PersonEntity:
          Name:
            NameFull: Lourenço, Joa̋o M.
      – PersonEntity:
          Name:
            NameFull: Nickovic, Dejan
      – PersonEntity:
          Name:
            NameFull: Pace, Gordon J.
      – PersonEntity:
          Name:
            NameFull: Rufino, Jose
      – PersonEntity:
          Name:
            NameFull: Signoles, Julien
      – PersonEntity:
          Name:
            NameFull: Traytel, Dmitriy
      – PersonEntity:
          Name:
            NameFull: Weiss, Alexander
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 06
              Text: 2019
              Type: published
              Y: 2019
          Identifiers:
            – Type: issn-print
              Value: 09259856
          Numbering:
            – Type: volume
              Value: 54
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: Formal Methods in System Design
              Type: main
ResultId 1