Offline Trace Checking of Quantitative Properties of Service-Based Applications

BIANCULLI, Domenico; Ghezzi, Carlo; Krstić, Srđan; San Pietro, Pierluigi

doi:10.1109/SOCA.2014.14

Télécharger

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

Offline Trace Checking of Quantitative Properties of Service-Based Applications

BIANCULLI, Domenico; Ghezzi, Carlo; Krstić, Srđan et al.

2014 • In Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014)

Peer reviewed

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

DOI
10.1109/SOCA.2014.14

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

Documents

Texte intégral

soca2014.pdf

Postprint Auteur (283.9 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 :

BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Ghezzi, Carlo

Krstić, Srđan

San Pietro, Pierluigi

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Offline Trace Checking of Quantitative Properties of Service-Based Applications

Date de publication/diffusion :

novembre 2014

Nom de la manifestation :

7h International Conference on Service Oriented Computing and Application (SOCA 2014)

Date de la manifestation :

17-19 November 2014

Manifestation à portée :

International

Titre de l'ouvrage principal :

Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014)

Peer reviewed :

Peer reviewed

URL complémentaire :

http://arxiv.org/abs/1409.4653

Disponible sur ORBilu :

depuis le 23 septembre 2014

Statistiques

Nombre de vues

126 (dont 5 Unilu)

Nombre de téléchargements

148 (dont 1 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

citations OpenAlex

citations WoS^™