Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Love My Data 11 - 15 Mar 2024
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
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
copy to clipboard
copied
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 :
no
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
®
11
Scopus citations
®
without self-citations
6
Bibliography
Similar publications
Contact ORBilu