---
_id: '299'
abstract:
- lang: eng
  text: We introduce in this paper   AMT 2.0 , a tool for qualitative and quantitative
    analysis of hybrid continuous and Boolean signals that combine numerical values
    and discrete events. The evaluation of the signals is based on rich temporal specifications
    expressed in extended Signal Temporal Logic (xSTL), which integrates Timed Regular
    Expressions (TRE) within Signal Temporal Logic (STL). The tool features qualitative
    monitoring (property satisfaction checking), trace diagnostics for explaining
    and justifying property violations and specification-driven measurement of quantitative
    features of the signal.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
- first_name: Olivier
  full_name: Lebeltel, Olivier
  last_name: Lebeltel
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Dogan
  full_name: Ulus, Dogan
  last_name: Ulus
citation:
  ama: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and
    quantitative trace analysis with extended signal temporal logic. In: Beyer D,
    Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:<a href="https://doi.org/10.1007/978-3-319-89963-3_18">10.1007/978-3-319-89963-3_18</a>'
  apa: 'Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &#38; Ulus, D. (2018).
    AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal
    logic. In D. Beyer &#38; M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented
    at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
    Thessaloniki, Greece: Springer. <a href="https://doi.org/10.1007/978-3-319-89963-3_18">https://doi.org/10.1007/978-3-319-89963-3_18</a>'
  chicago: 'Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan
    Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal
    Temporal Logic.” edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer,
    2018. <a href="https://doi.org/10.1007/978-3-319-89963-3_18">https://doi.org/10.1007/978-3-319-89963-3_18</a>.'
  ieee: 'D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative
    and quantitative trace analysis with extended signal temporal logic,” presented
    at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
    Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.'
  ista: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2018. AMT 2.0: Qualitative
    and quantitative trace analysis with extended signal temporal logic. TACAS: Tools
    and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10806,
    303–319.'
  mla: 'Nickovic, Dejan, et al. <i>AMT 2.0: Qualitative and Quantitative Trace Analysis
    with Extended Signal Temporal Logic</i>. Edited by Dirk Beyer and Marieke Huisman,
    vol. 10806, Springer, 2018, pp. 303–19, doi:<a href="https://doi.org/10.1007/978-3-319-89963-3_18">10.1007/978-3-319-89963-3_18</a>.'
  short: D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M.
    Huisman (Eds.), Springer, 2018, pp. 303–319.
conference:
  end_date: 2018-04-20
  location: Thessaloniki, Greece
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2018-04-14
corr_author: '1'
date_created: 2018-12-11T11:45:41Z
date_published: 2018-04-14T00:00:00Z
date_updated: 2024-10-09T20:58:19Z
day: '14'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-89963-3_18
editor:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Marieke
  full_name: Huisman, Marieke
  last_name: Huisman
external_id:
  isi:
  - '00445822600018'
file:
- access_level: open_access
  checksum: e11db3b9c8e27a1c7d1c738cc5e4d25a
  content_type: application/pdf
  creator: dernst
  date_created: 2019-02-06T07:33:05Z
  date_updated: 2020-07-14T12:45:58Z
  file_id: '5928'
  file_name: 2018_LNCS_Nickovic.pdf
  file_size: 3267209
  relation: main_file
file_date_updated: 2020-07-14T12:45:58Z
has_accepted_license: '1'
intvolume: '     10806'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 303 - 319
publication_status: published
publisher: Springer
publist_id: '7582'
quality_controlled: '1'
related_material:
  record:
  - id: '10861'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: 'AMT 2.0: Qualitative and quantitative trace analysis with extended signal
  temporal logic'
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10806
year: '2018'
...