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 (Vortragende:r)
, Olivier Lebeltel
, Oded Maler
, Thomas Ferrère
, Dogan Ulus

Imagination Technologies
Bogazici University

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	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
Seiten	303-319
Seitenumfang	17
Publikationsstatus	Veröffentlicht - 2018
Veranstaltung	TACAS 2018 - Dauer: 14 Apr. 2018 → 20 Apr. 2018

Konferenz

Konferenz	TACAS 2018
Zeitraum	14/04/18 → 20/04/18

Research Field

Dependable Systems Engineering

Diese Publikation zitieren

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 (S. 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. S. 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. S. 303-319, TACAS 2018, 14/04/18.

AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. / Nickovic, Dejan (Vortragende:r); 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. S. 303-319.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

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 -