Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan
2014In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)
Peer reviewed
 

Files


Full Text
arxiv.pdf
Author preprint (222.02 kB)
Extended version
Download
Full Text Parts
sefm2014.pdf
Author preprint (223.13 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ghezzi, Carlo
Krstić, Srđan
External co-authors :
yes
Language :
English
Title :
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Publication date :
September 2014
Event name :
12th International Conference on Software Engineering and Formal Methods (SEFM 2014)
Event place :
Grenoble, France
Event date :
1-5 September
Audience :
International
Main work title :
Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)
Publisher :
Springer
Collection name :
Lecture Notes in Computer Science
Pages :
144-158
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 21 May 2014

Statistics


Number of views
142 (18 by Unilu)
Number of downloads
57 (4 by Unilu)

Scopus citations®
 
20
Scopus citations®
without self-citations
7

Bibliography


Similar publications



Contact ORBilu