1. OAR@UM
  2. Faculty of Information and Communication Technology
  3. Department of Computer Science
  4. Scholarly Works - FacICTCS
Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/86000
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBartolo Burlò, Christian-
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorScalas, Alceste-
dc.contributor.authorTrubiani, Catia-
dc.contributor.authorTuosto, Emilio-
dc.date.accessioned2021-12-22T13:07:29Z-
dc.date.available2021-12-22T13:07:29Z-
dc.date.issued2021-
dc.identifier.citationBartolo Burlò, C., Francalanza, A., Scalas, A., Trubiani, C., & Tuosto, E. (2021). Towards probabilistic session-type monitoring. 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta. 106-120.en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar/handle/123456789/86000-
dc.description.abstractWe present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is augmented with a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.en_GB
dc.description.sponsorshipThe work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233); the MIUR projects PRIN 2017FTXR7S IT MATTERS and 2017TWRCNB SEDUCE; the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark.en_GB
dc.language.isoenen_GB
dc.publisherSpringeren_GB
dc.rightsinfo:eu-repo/semantics/restrictedAccessen_GB
dc.subjectSoftware engineeringen_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectObject monitors (Computer software)en_GB
dc.subjectProbabilities -- Data processingen_GB
dc.titleTowards probabilistic session-type monitoringen_GB
dc.title.alternativeCoordination Models and Languages. COORDINATION 2021. Lecture Notes in Computer Science, vol. 12717en_GB
dc.typeconferenceObjecten_GB
dc.rights.holderThe 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.en_GB
dc.bibliographicCitation.conferencename16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021en_GB
dc.bibliographicCitation.conferenceplaceValletta, Malta, 14-18/06/2021en_GB
dc.description.reviewedpeer-revieweden_GB
dc.identifier.doi10.1007/978-3-030-78142-2_7-
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Towards Probabilistic Session-Type.pdf
  Restricted Access		379.31 kBAdobe PDFView/Open Request a copy
Show simple item record Statistics


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.