AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

Dejan Nickovic; Olivier Lebeltel; Oded Maler; Thomas Ferrère; Dogan Ulus

AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

Dejan Nickovic (Speaker), Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

Security & Communication Technologies

Bogazici University

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
Pages	303-319
Number of pages	17
Publication status	Published - 2018
Event	TACAS 2018 - Duration: 14 Apr 2018 → 20 Apr 2018

Conference

Conference	TACAS 2018
Period	14/04/18 → 20/04/18

Research Field

Dependable Systems Engineering

Cite this

Nickovic, D., Lebeltel, O., Maler, O., Ferrère, T., & Ulus, D. (2018). AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. In Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 (pp. 303-319)

Nickovic, Dejan ; Lebeltel, Olivier ; Maler, Oded et al. / AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. 2018. pp. 303-319

@inproceedings{35f8fea75af64853b360a7976fd4944b,

title = "AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic",

author = "Dejan Nickovic and Olivier Lebeltel and Oded Maler and Thomas Ferr{\`e}re and Dogan Ulus",

year = "2018",

language = "English",

isbn = "978-3-319-89962-6",

pages = "303--319",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018",

note = "TACAS 2018 ; Conference date: 14-04-2018 Through 20-04-2018",

}

Nickovic, D, Lebeltel, O, Maler, O, Ferrère, T & Ulus, D 2018, AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. pp. 303-319, TACAS 2018, 14/04/18.

AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. / Nickovic, Dejan (Speaker); Lebeltel, Olivier; Maler, Oded et al.
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. 2018. p. 303-319.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

AU - Lebeltel, Olivier

AU - Maler, Oded

AU - Ferrère, Thomas

AU - Ulus, Dogan

A2 - Nickovic, Dejan

PY - 2018

Y1 - 2018

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-89962-6

SP - 303

EP - 319

BT - Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018

T2 - TACAS 2018

Y2 - 14 April 2018 through 20 April 2018

ER -