Reference : TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/31989
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
English
Dou, Wei mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Briand, Lionel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
In press
Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Yes
No
International
International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-Cubes 2017)
15-09-2017
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Fonds National de la Recherche - FnR
Researchers
http://hdl.handle.net/10993/31989
FnR ; FNR3949772 > Lionel Briand > VVLAB > Validation And Verification Laboratory > 01/01/2012 > 31/07/2018 > 2010

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
rvcubes2017-tempsy.pdfAuthor preprint552.41 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.