---
_id: '15035'
abstract:
- lang: eng
  text: "This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties
    With Prefix Transducers accepted at RV'23, and give further pointers to implementation
    of prefix transducers.\r\nIt has two parts: a pre-compiled docker image and sources
    that one can use to compile (locally or in docker) the software and run the experiments."
article_processing_charge: No
author:
- first_name: Marek
  full_name: Chalupa, Marek
  id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
  last_name: Chalupa
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers.
    2023. doi:<a href="https://doi.org/10.5281/ZENODO.8191723">10.5281/ZENODO.8191723</a>
  apa: Chalupa, M., &#38; Henzinger, T. A. (2023). Monitoring hyperproperties with
    prefix transducers. Zenodo. <a href="https://doi.org/10.5281/ZENODO.8191723">https://doi.org/10.5281/ZENODO.8191723</a>
  chicago: Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with
    Prefix Transducers.” Zenodo, 2023. <a href="https://doi.org/10.5281/ZENODO.8191723">https://doi.org/10.5281/ZENODO.8191723</a>.
  ieee: M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.”
    Zenodo, 2023.
  ista: Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers,
    Zenodo, <a href="https://doi.org/10.5281/ZENODO.8191723">10.5281/ZENODO.8191723</a>.
  mla: Chalupa, Marek, and Thomas A. Henzinger. <i>Monitoring Hyperproperties with
    Prefix Transducers</i>. Zenodo, 2023, doi:<a href="https://doi.org/10.5281/ZENODO.8191723">10.5281/ZENODO.8191723</a>.
  short: M. Chalupa, T.A. Henzinger, (2023).
date_created: 2024-02-28T07:34:34Z
date_published: 2023-07-28T00:00:00Z
date_updated: 2024-02-28T12:33:09Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.5281/ZENODO.8191723
ec_funded: 1
has_accepted_license: '1'
license: https://creativecommons.org/licenses/by/4.0/
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.8191722
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publisher: Zenodo
related_material:
  record:
  - id: '14076'
    relation: used_in_publication
    status: public
status: public
title: Monitoring hyperproperties with prefix transducers
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14076'
abstract:
- lang: eng
  text: Hyperproperties are properties that relate multiple execution traces. Previous
    work on monitoring hyperproperties focused on synchronous hyperproperties, usually
    specified in HyperLTL. When monitoring synchronous hyperproperties, all traces
    are assumed to proceed at the same speed. We introduce (multi-trace) prefix transducers
    and show how to use them for monitoring synchronous as well as, for the first
    time, asynchronous hyperproperties. Prefix transducers map multiple input traces
    into one or more output traces by incrementally matching prefixes of the input
    traces against expressions similar to regular expressions. The prefixes of different
    traces which are consumed by a single matching step of the monitor may have different
    lengths. The deterministic and executable nature of prefix transducers makes them
    more suitable as an intermediate formalism for runtime verification than logical
    specifications, which tend to be highly non-deterministic, especially in the case
    of asynchronous hyperproperties. We report on a set of experiments about monitoring
    asynchronous version of observational determinism.
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093. The
  authors would like to thank Ana Oliveira da Costa for commenting on a draft of the
  paper.
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Marek
  full_name: Chalupa, Marek
  id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
  last_name: Chalupa
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: 'Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers.
    In: <i>23nd International Conference on Runtime Verification</i>. Vol 14245. Springer
    Nature; 2023:168-190. doi:<a href="https://doi.org/10.1007/978-3-031-44267-4_9">10.1007/978-3-031-44267-4_9</a>'
  apa: 'Chalupa, M., &#38; Henzinger, T. A. (2023). Monitoring hyperproperties with
    prefix transducers. In <i>23nd International Conference on Runtime Verification</i>
    (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-44267-4_9">https://doi.org/10.1007/978-3-031-44267-4_9</a>'
  chicago: Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with
    Prefix Transducers.” In <i>23nd International Conference on Runtime Verification</i>,
    14245:168–90. Springer Nature, 2023. <a href="https://doi.org/10.1007/978-3-031-44267-4_9">https://doi.org/10.1007/978-3-031-44267-4_9</a>.
  ieee: M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,”
    in <i>23nd International Conference on Runtime Verification</i>, Thessaloniki,
    Greek, 2023, vol. 14245, pp. 168–190.
  ista: 'Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers.
    23nd International Conference on Runtime Verification. RV: Conference on Runtime
    Verification, LNCS, vol. 14245, 168–190.'
  mla: Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix
    Transducers.” <i>23nd International Conference on Runtime Verification</i>, vol.
    14245, Springer Nature, 2023, pp. 168–90, doi:<a href="https://doi.org/10.1007/978-3-031-44267-4_9">10.1007/978-3-031-44267-4_9</a>.
  short: M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime
    Verification, Springer Nature, 2023, pp. 168–190.
conference:
  end_date: 2023-10-07
  location: Thessaloniki, Greek
  name: 'RV: Conference on Runtime Verification'
  start_date: 2023-10-04
date_created: 2023-08-16T20:46:08Z
date_published: 2023-10-01T00:00:00Z
date_updated: 2024-02-28T12:33:08Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-44267-4_9
ec_funded: 1
file:
- access_level: open_access
  checksum: ee33bd6f1a26f4dae7a8192584869fd8
  content_type: application/pdf
  creator: dernst
  date_created: 2023-10-16T07:15:11Z
  date_updated: 2023-10-16T07:15:11Z
  file_id: '14430'
  file_name: 2023_LNCS_RV_Chalupa.pdf
  file_size: 867256
  relation: main_file
  success: 1
file_date_updated: 2023-10-16T07:15:11Z
has_accepted_license: '1'
intvolume: '     14245'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 168-190
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: 23nd International Conference on Runtime Verification
publication_identifier:
  eisbn:
  - 978-3-031-44267-4
  isbn:
  - 978-3-031-44266-7
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '15035'
    relation: research_data
    status: public
status: public
title: Monitoring hyperproperties with prefix transducers
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14245
year: '2023'
...
---
_id: '12407'
abstract:
- lang: eng
  text: "As the complexity and criticality of software increase every year, so does
    the importance of run-time monitoring. Third-party monitoring, with limited knowledge
    of the monitored software, and best-effort monitoring, which keeps pace with the
    monitored software, are especially valuable, yet underexplored areas of run-time
    monitoring. Most existing monitoring frameworks do not support their combination
    because they either require access to the monitored code for instrumentation purposes
    or the processing of all observed events, or both.\r\n\r\nWe present a middleware
    framework, VAMOS, for the run-time monitoring of software which is explicitly
    designed to support third-party and best-effort scenarios. The design goals of
    VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the
    ability to monitor black-box code through a variety of different event channels,
    and the connectability to monitors written in different specification languages),
    and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker
    and event recognition systems with aspects of stream processing systems.\r\n\r\nWe
    implemented a prototype toolchain for VAMOS and conducted experiments including
    a case study of monitoring for data races. The results indicate that VAMOS enables
    writing useful yet efficient monitors, is compatible with a variety of event sources
    and monitor specifications, and simplifies key aspects of setting up a monitoring
    system from scratch."
acknowledgement: "This work was supported in part by the ERC-2020-AdG 101020093. \r\nThe
  authors would like to thank the anonymous FASE reviewers for their valuable feedback
  and suggestions."
alternative_title:
- IST Austria Technical Report
article_processing_charge: No
author:
- first_name: Marek
  full_name: Chalupa, Marek
  id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
  last_name: Chalupa
- first_name: Fabian
  full_name: Mühlböck, Fabian
  id: 6395C5F6-89DF-11E9-9C97-6BDFE5697425
  last_name: Mühlböck
  orcid: 0000-0003-1548-0177
- first_name: Stefanie
  full_name: Muroya Lei, Stefanie
  id: a376de31-8972-11ed-ae7b-d0251c13c8ff
  last_name: Muroya Lei
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: 'Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. <i>VAMOS: Middleware for
    Best-Effort Third-Party Monitoring</i>. Institute of Science and Technology Austria;
    2023. doi:<a href="https://doi.org/10.15479/AT:ISTA:12407">10.15479/AT:ISTA:12407</a>'
  apa: 'Chalupa, M., Mühlböck, F., Muroya Lei, S., &#38; Henzinger, T. A. (2023).
    <i>VAMOS: Middleware for Best-Effort Third-Party Monitoring</i>. Institute of
    Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:12407">https://doi.org/10.15479/AT:ISTA:12407</a>'
  chicago: 'Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger.
    <i>VAMOS: Middleware for Best-Effort Third-Party Monitoring</i>. Institute of
    Science and Technology Austria, 2023. <a href="https://doi.org/10.15479/AT:ISTA:12407">https://doi.org/10.15479/AT:ISTA:12407</a>.'
  ieee: 'M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, <i>VAMOS: Middleware
    for Best-Effort Third-Party Monitoring</i>. Institute of Science and Technology
    Austria, 2023.'
  ista: 'Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware
    for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria,
    38p.'
  mla: 'Chalupa, Marek, et al. <i>VAMOS: Middleware for Best-Effort Third-Party Monitoring</i>.
    Institute of Science and Technology Austria, 2023, doi:<a href="https://doi.org/10.15479/AT:ISTA:12407">10.15479/AT:ISTA:12407</a>.'
  short: 'M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware
    for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria,
    2023.'
date_created: 2023-01-27T03:18:08Z
date_published: 2023-01-27T00:00:00Z
date_updated: 2023-04-25T07:19:06Z
day: '27'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.15479/AT:ISTA:12407
ec_funded: 1
file:
- access_level: open_access
  checksum: 55426e463fdeafe9777fc3ff635154c7
  content_type: application/pdf
  creator: fmuehlbo
  date_created: 2023-01-27T03:18:34Z
  date_updated: 2023-01-27T03:18:34Z
  file_id: '12408'
  file_name: main.pdf
  file_size: 662409
  relation: main_file
  success: 1
file_date_updated: 2023-01-27T03:18:34Z
has_accepted_license: '1'
keyword:
- runtime monitoring
- best effort
- third party
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '38'
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication_identifier:
  eissn:
  - 2664-1690
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '12856'
    relation: later_version
    status: public
status: public
title: 'VAMOS: Middleware for Best-Effort Third-Party Monitoring'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '12854'
abstract:
- lang: eng
  text: "The main idea behind BUBAAK is to run multiple program analyses in parallel
    and use runtime monitoring and enforcement to observe and control their progress
    in real time. The analyses send information about (un)explored states of the program
    and discovered invariants to a monitor. The monitor processes the received data
    and can force an analysis to stop the search of certain program parts (which have
    already been analyzed by other analyses), or to make it utilize a program invariant
    found by another analysis.\r\nAt SV-COMP  2023, the implementation of data exchange
    between the monitor and the analyses was not yet completed, which is why BUBAAK
    only ran several analyses in parallel, without any coordination. Still, BUBAAK
    won the meta-category FalsificationOverall and placed very well in several other
    (sub)-categories of the competition."
acknowledgement: This work was supported by the ERC-2020-AdG 10102009 grant.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
  full_name: Chalupa, Marek
  id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
  last_name: Chalupa
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: 'Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers.
    In: <i>Tools and Algorithms for the Construction and Analysis of Systems</i>.
    Vol 13994. Springer Nature; 2023:535-540. doi:<a href="https://doi.org/10.1007/978-3-031-30820-8_32">10.1007/978-3-031-30820-8_32</a>'
  apa: 'Chalupa, M., &#38; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of
    program verifiers. In <i>Tools and Algorithms for the Construction and Analysis
    of Systems</i> (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-30820-8_32">https://doi.org/10.1007/978-3-031-30820-8_32</a>'
  chicago: 'Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of
    Program Verifiers.” In <i>Tools and Algorithms for the Construction and Analysis
    of Systems</i>, 13994:535–40. Springer Nature, 2023. <a href="https://doi.org/10.1007/978-3-031-30820-8_32">https://doi.org/10.1007/978-3-031-30820-8_32</a>.'
  ieee: 'M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,”
    in <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, Paris,
    France, 2023, vol. 13994, pp. 535–540.'
  ista: 'Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers.
    Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools
    and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994,
    535–540.'
  mla: 'Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program
    Verifiers.” <i>Tools and Algorithms for the Construction and Analysis of Systems</i>,
    vol. 13994, Springer Nature, 2023, pp. 535–40, doi:<a href="https://doi.org/10.1007/978-3-031-30820-8_32">10.1007/978-3-031-30820-8_32</a>.'
  short: M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction
    and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
conference:
  end_date: 2023-04-27
  location: Paris, France
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2023-04-22
date_created: 2023-04-20T08:22:53Z
date_published: 2023-04-20T00:00:00Z
date_updated: 2023-04-25T07:02:43Z
day: '20'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-30820-8_32
ec_funded: 1
file:
- access_level: open_access
  checksum: 120d2c2a38384058ad0630fdf8288312
  content_type: application/pdf
  creator: dernst
  date_created: 2023-04-25T06:58:36Z
  date_updated: 2023-04-25T06:58:36Z
  file_id: '12864'
  file_name: 2023_LNCS_Chalupa.pdf
  file_size: 16096413
  relation: main_file
  success: 1
file_date_updated: 2023-04-25T06:58:36Z
has_accepted_license: '1'
intvolume: '     13994'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 535-540
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: Tools and Algorithms for the Construction and Analysis of Systems
publication_identifier:
  eisbn:
  - '9783031308208'
  eissn:
  - 1611-3349
  isbn:
  - '9783031308192'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: 'Bubaak: Runtime monitoring of program verifiers'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13994
year: '2023'
...
---
_id: '12856'
abstract:
- lang: eng
  text: "As the complexity and criticality of software increase every year, so does
    the importance of run-time monitoring. Third-party monitoring, with limited knowledge
    of the monitored software, and best-effort monitoring, which keeps pace with the
    monitored software, are especially valuable, yet underexplored areas of run-time
    monitoring. Most existing monitoring frameworks do not support their combination
    because they either require access to the monitored code for instrumentation purposes
    or the processing of all observed events, or both.\r\n\r\nWe present a middleware
    framework, VAMOS, for the run-time monitoring of software which is explicitly
    designed to support third-party and best-effort scenarios. The design goals of
    VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the
    ability to monitor black-box code through a variety of different event channels,
    and the connectability to monitors written in different specification languages),
    and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker
    and event recognition systems with aspects of stream processing systems.\r\nWe
    implemented a prototype toolchain for VAMOS and conducted experiments including
    a case study of monitoring for data races. The results indicate that VAMOS enables
    writing useful yet efficient monitors, is compatible with a variety of event sources
    and monitor specifications, and simplifies key aspects of setting up a monitoring
    system from scratch."
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093. The
  authors would like to thank the anonymous FASE reviewers for their valuable feedback
  and suggestions.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
  full_name: Chalupa, Marek
  id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
  last_name: Chalupa
- first_name: Fabian
  full_name: Mühlböck, Fabian
  id: 6395C5F6-89DF-11E9-9C97-6BDFE5697425
  last_name: Mühlböck
  orcid: 0000-0003-1548-0177
- first_name: Stefanie
  full_name: Muroya Lei, Stefanie
  id: a376de31-8972-11ed-ae7b-d0251c13c8ff
  last_name: Muroya Lei
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: 'Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort
    third-party monitoring. In: <i>Fundamental Approaches to Software Engineering</i>.
    Vol 13991. Springer Nature; 2023:260-281. doi:<a href="https://doi.org/10.1007/978-3-031-30826-0_15">10.1007/978-3-031-30826-0_15</a>'
  apa: 'Chalupa, M., Mühlböck, F., Muroya Lei, S., &#38; Henzinger, T. A. (2023).
    Vamos: Middleware for best-effort third-party monitoring. In <i>Fundamental Approaches
    to Software Engineering</i> (Vol. 13991, pp. 260–281). Paris, France: Springer
    Nature. <a href="https://doi.org/10.1007/978-3-031-30826-0_15">https://doi.org/10.1007/978-3-031-30826-0_15</a>'
  chicago: 'Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger.
    “Vamos: Middleware for Best-Effort Third-Party Monitoring.” In <i>Fundamental
    Approaches to Software Engineering</i>, 13991:260–81. Springer Nature, 2023. <a
    href="https://doi.org/10.1007/978-3-031-30826-0_15">https://doi.org/10.1007/978-3-031-30826-0_15</a>.'
  ieee: 'M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware
    for best-effort third-party monitoring,” in <i>Fundamental Approaches to Software
    Engineering</i>, Paris, France, 2023, vol. 13991, pp. 260–281.'
  ista: 'Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware
    for best-effort third-party monitoring. Fundamental Approaches to Software Engineering.
    FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.'
  mla: 'Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.”
    <i>Fundamental Approaches to Software Engineering</i>, vol. 13991, Springer Nature,
    2023, pp. 260–81, doi:<a href="https://doi.org/10.1007/978-3-031-30826-0_15">10.1007/978-3-031-30826-0_15</a>.'
  short: M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental
    Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
conference:
  end_date: 2023-04-27
  location: Paris, France
  name: 'FASE: Fundamental Approaches to Software Engineering'
  start_date: 2023-04-22
date_created: 2023-04-20T08:29:42Z
date_published: 2023-04-20T00:00:00Z
date_updated: 2023-04-25T07:19:07Z
day: '20'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-30826-0_15
ec_funded: 1
file:
- access_level: open_access
  checksum: 17a7c8e08be609cf2408d37ea55e322c
  content_type: application/pdf
  creator: dernst
  date_created: 2023-04-25T07:16:36Z
  date_updated: 2023-04-25T07:16:36Z
  file_id: '12865'
  file_name: 2023_LNCS_ChalupaM.pdf
  file_size: 580828
  relation: main_file
  success: 1
file_date_updated: 2023-04-25T07:16:36Z
has_accepted_license: '1'
intvolume: '     13991'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 260-281
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: Fundamental Approaches to Software Engineering
publication_identifier:
  eisbn:
  - '9783031308260'
  eissn:
  - 1611-3349
  isbn:
  - '9783031308253'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '12407'
    relation: earlier_version
    status: public
status: public
title: 'Vamos: Middleware for best-effort third-party monitoring'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13991
year: '2023'
...