A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties

Dou, Wei; Bianculli, Domenico; Briand, Lionel

doi:10.1109/MODELS.2017.9

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties

Dou, Wei; Bianculli, Domenico; Briand, Lionel

2017 • In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 )

Peer reviewed

Permalink
https://hdl.handle.net/10993/31610

DOI
10.1109/MODELS.2017.9

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

models2017-tempsy-check.pdf

Author postprint (258.11 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

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

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 :

Language :

English

Title :

A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties

Publication date :

September 2017

Event name :

ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)

Event place :

Austin, TX, United States

Event date :

17-22 September 2017

Audience :

International

Main work title :

Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 )

Peer reviewed :

Peer reviewed

Focus Area :

Security, Reliability and Trust

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 04 July 2017

Statistics

Number of views

178 (22 by Unilu)

Number of downloads

369 (37 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations