An overview of MarQ

Giles Reger

doi:10.1007/978-3-319-46982-9_34

An overview of MarQ

Giles Reger^*

^*Corresponding author for this work

The University of Manchester

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification language based on the notion of parametric trace slicing. MarQ has performed well in the runtime verification competition and implements advanced indexing and redundancy elimination techniques. This overview describes the basic structure and functionality provided by MarQ and gives a brief description of how to use the tool.

Original language	English
Title of host publication	Runtime Verification - 16th International Conference, RV 2016, Proceedings
Editors	Yliès Falcone, César Sánchez
Publisher	Springer Nature
Pages	498-503
Number of pages	6
ISBN (Print)	9783319469812
DOIs	https://doi.org/10.1007/978-3-319-46982-9_34
Publication status	Published - 1 Jan 2016
Event	16th International Conference on Runtime Verification, RV 2016 - Madrid, Spain Duration: 23 Sept 2016 → 30 Sept 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10012 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	16th International Conference on Runtime Verification, RV 2016
Country/Territory	Spain
City	Madrid
Period	23/09/16 → 30/09/16

Access to Document

10.1007/978-3-319-46982-9_34

Cite this

Reger, G. (2016). An overview of MarQ. In Y. Falcone, & C. Sánchez (Eds.), Runtime Verification - 16th International Conference, RV 2016, Proceedings (pp. 498-503). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10012 LNCS). Springer Nature. https://doi.org/10.1007/978-3-319-46982-9_34

@inproceedings{6b9446cb1e8b42659acceb5690dbe7e1,

title = "An overview of MarQ",

abstract = "MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification language based on the notion of parametric trace slicing. MarQ has performed well in the runtime verification competition and implements advanced indexing and redundancy elimination techniques. This overview describes the basic structure and functionality provided by MarQ and gives a brief description of how to use the tool.",

author = "Giles Reger",

year = "2016",

month = jan,

day = "1",

doi = "10.1007/978-3-319-46982-9\_34",

language = "English",

isbn = "9783319469812",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Nature",

pages = "498--503",

editor = "Yli{\`e}s Falcone and C{\'e}sar S{\'a}nchez",

booktitle = "Runtime Verification - 16th International Conference, RV 2016, Proceedings",

address = "United States",

note = "16th International Conference on Runtime Verification, RV 2016 ; Conference date: 23-09-2016 Through 30-09-2016",

}

Reger, G 2016, An overview of MarQ. in Y Falcone & C Sánchez (eds), Runtime Verification - 16th International Conference, RV 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10012 LNCS, Springer Nature, pp. 498-503, 16th International Conference on Runtime Verification, RV 2016, Madrid, Spain, 23/09/16. https://doi.org/10.1007/978-3-319-46982-9_34

An overview of MarQ. / Reger, Giles.
Runtime Verification - 16th International Conference, RV 2016, Proceedings. ed. / Yliès Falcone; César Sánchez. Springer Nature, 2016. p. 498-503 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10012 LNCS).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An overview of MarQ

AU - Reger, Giles

PY - 2016/1/1

Y1 - 2016/1/1

N2 - MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification language based on the notion of parametric trace slicing. MarQ has performed well in the runtime verification competition and implements advanced indexing and redundancy elimination techniques. This overview describes the basic structure and functionality provided by MarQ and gives a brief description of how to use the tool.

AB - MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification language based on the notion of parametric trace slicing. MarQ has performed well in the runtime verification competition and implements advanced indexing and redundancy elimination techniques. This overview describes the basic structure and functionality provided by MarQ and gives a brief description of how to use the tool.

U2 - 10.1007/978-3-319-46982-9_34

DO - 10.1007/978-3-319-46982-9_34

M3 - Conference contribution

AN - SCOPUS:84990238068

SN - 9783319469812

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 498

EP - 503

BT - Runtime Verification - 16th International Conference, RV 2016, Proceedings

A2 - Falcone, Yliès

A2 - Sánchez, César

PB - Springer Nature

T2 - 16th International Conference on Runtime Verification, RV 2016

Y2 - 23 September 2016 through 30 September 2016

ER -

An overview of MarQ

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this