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

Dou, Wei; BIANCULLI, Domenico; BRIAND, Lionel

doi:10.1109/MODELS.2017.9

Télécharger

Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)

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

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

DOI
10.1109/MODELS.2017.9

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

models2017-tempsy-check.pdf

Postprint Auteur (258.11 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Centre de recherche :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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)

Co-auteurs externes :

Langue du document :

Anglais

Titre :

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

Date de publication/diffusion :

septembre 2017

Nom de la manifestation :

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

Lieu de la manifestation :

Austin, TX, Etats-Unis

Date de la manifestation :

17-22 September 2017

Manifestation à portée :

International

Titre de l'ouvrage principal :

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

Projet FnR :

FNR3949772 - Validation And Verification Laboratory, 2010 (01/01/2012-31/07/2018) - Lionel Briand

Organisme subsidiant :

FNR - Fonds National de la Recherche

Disponible sur ORBilu :

depuis le 04 juillet 2017

Statistiques

Nombre de vues

205 (dont 23 Unilu)

Nombre de téléchargements

440 (dont 38 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

citations OpenAlex