Towards sampling and simulation-based analysis of featured weighted automata

CORDY, Maxime; Legay, Axel; Lazreg, Sami; Collet, Philippe

doi:10.1109/FormaliSE.2019.00015

Request a copy

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

Towards sampling and simulation-based analysis of featured weighted automata

CORDY, Maxime; Legay, Axel; Lazreg, Sami et al.

2019 • In Proceedings of the 7th International Workshop on Formal Methods in Software Engineering

Peer reviewed

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

DOI
10.1109/FormaliSE.2019.00015

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

Towards_Statistical_Model_Checking_of_Featured_Weighted_Automata (9).pdf

Author preprint (181.14 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

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

Legay, Axel; Université Catholique de Louvain - UCL

Lazreg, Sami; University of Nice Sophia Antipolis

Collet, Philippe; University of Nice Sophia Antipolis

External co-authors :

yes

Language :

English

Title :

Towards sampling and simulation-based analysis of featured weighted automata

Publication date :

May 2019

Event name :

7th International Workshop on Formal Methods in Software Engineering

Event date :

27-05-2019

Audience :

International

Main work title :

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering

Pages :

61-64

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 24 January 2020

Statistics

Number of views

69 (0 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenAlex citations