Academic Journal
Προβολή σε EDS

PSTMonitor : monitor synthesis from probabilistic session types

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: PSTMonitor : monitor synthesis from probabilistic session types
Συγγραφείς: Bartolo Burlò, Christian, Francalanza, Adrian, Scalas, Alceste, Trubiani, Catia, Tuosto, Emilio
Στοιχεία εκδότη: Elsevier
Έτος έκδοσης: 2022
Συλλογή: University of Malta: OAR@UM / L-Università ta' Malta
Θεματικοί όροι: Computer programs -- Verification, Functional programming (Computer science), Probabilities -- Data processing, Computer programming
Περιγραφή: We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces. ; peer-reviewed
Τύπος εγγράφου: article in journal/newspaper
Γλώσσα: English
Relation: Bartolo Burlò, C., Francalanza, A., Scalas, A., Trubiani, C., & Tuosto, E. (2022). PSTMonitor: Monitor synthesis from probabilistic session types. Science of Computer Programming, 222, 102847.; https://www.um.edu.mt/library/oar/handle/123456789/131467
DOI: 10.1016/j.scico.2022.102847
Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/131467
https://doi.org/10.1016/j.scico.2022.102847
Rights: info:eu-repo/semantics/restrictedAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
Αριθμός Καταχώρησης: edsbas.988CD1C
Βάση Δεδομένων: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://www.um.edu.mt/library/oar/handle/123456789/131467#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.988CD1C
RelevancyScore: 850
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 850.2763671875
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: PSTMonitor : monitor synthesis from probabilistic session types
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Bartolo+Burlò%2C+Christian%22">Bartolo Burlò, Christian</searchLink><br /><searchLink fieldCode="AR" term="%22Francalanza%2C+Adrian%22">Francalanza, Adrian</searchLink><br /><searchLink fieldCode="AR" term="%22Scalas%2C+Alceste%22">Scalas, Alceste</searchLink><br /><searchLink fieldCode="AR" term="%22Trubiani%2C+Catia%22">Trubiani, Catia</searchLink><br /><searchLink fieldCode="AR" term="%22Tuosto%2C+Emilio%22">Tuosto, Emilio</searchLink>
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Elsevier
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2022
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: University of Malta: OAR@UM / L-Università ta' Malta
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+programs+--+Verification%22">Computer programs -- Verification</searchLink><br /><searchLink fieldCode="DE" term="%22Functional+programming+%28Computer+science%29%22">Functional programming (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Probabilities+--+Data+processing%22">Probabilities -- Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces. ; peer-reviewed
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: article in journal/newspaper
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: Bartolo Burlò, C., Francalanza, A., Scalas, A., Trubiani, C., & Tuosto, E. (2022). PSTMonitor: Monitor synthesis from probabilistic session types. Science of Computer Programming, 222, 102847.; https://www.um.edu.mt/library/oar/handle/123456789/131467
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1016/j.scico.2022.102847
– Name: URL
  Label: Availability
  Group: URL
  Data: https://www.um.edu.mt/library/oar/handle/123456789/131467<br />https://doi.org/10.1016/j.scico.2022.102847
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: info:eu-repo/semantics/restrictedAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.988CD1C
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.988CD1C
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.scico.2022.102847
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: Computer programs -- Verification
        Type: general
      – SubjectFull: Functional programming (Computer science)
        Type: general
      – SubjectFull: Probabilities -- Data processing
        Type: general
      – SubjectFull: Computer programming
        Type: general
    Titles:
      – TitleFull: PSTMonitor : monitor synthesis from probabilistic session types
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Bartolo Burlò, Christian
      – PersonEntity:
          Name:
            NameFull: Francalanza, Adrian
      – PersonEntity:
          Name:
            NameFull: Scalas, Alceste
      – PersonEntity:
          Name:
            NameFull: Trubiani, Catia
      – PersonEntity:
          Name:
            NameFull: Tuosto, Emilio
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2022
          Identifiers:
            – Type: issn-locals
              Value: edsbas
ResultId 1