Paper published in a book (Scientific congresses, symposiums and conference proceedings)
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel
2017In Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Peer reviewed
 

Files


Full Text
rvcubes2017-tempsy.pdf
Author preprint (565.67 kB)
Download

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 :
Dou, Wei ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Publication date :
14 December 2017
Event name :
International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-Cubes 2017)
Event date :
15-09-2017
Audience :
International
Main work title :
Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Publisher :
EasyChair
Collection name :
Kalpa Publications in Computing, vol. 3
Pages :
64-70
Peer reviewed :
Peer reviewed
FnR Project :
FNR3949772 - Validation And Verification Laboratory, 2010 (01/01/2012-31/07/2018) - Lionel Briand
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 29 August 2017

Statistics


Number of views
175 (31 by Unilu)
Number of downloads
255 (24 by Unilu)

Bibliography


Similar publications



Contact ORBilu