Zobrazeno 1 - 6
of 6
pro vyhledávání: '"MultiVeStA"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319668444
IFM
Gilmore, S, Reijsbergen, D & Vandin, A 2017, Transient and Steady-State Statistical Analysis for Discrete Event Simulators . in Proceedings of iFM 2017: 13th International Conference on integrated Formal Methods . Lecture Notes in Computer Science (LNCS), vol. 10510, Turin, Italy, pp. 145-160, 13th International Conference on integrated Formal Methods 2017, Turin, Italy, 18/09/17 . https://doi.org/10.1007/978-3-319-66845-1_10
IFM
Gilmore, S, Reijsbergen, D & Vandin, A 2017, Transient and Steady-State Statistical Analysis for Discrete Event Simulators . in Proceedings of iFM 2017: 13th International Conference on integrated Formal Methods . Lecture Notes in Computer Science (LNCS), vol. 10510, Turin, Italy, pp. 145-160, 13th International Conference on integrated Formal Methods 2017, Turin, Italy, 18/09/17 . https://doi.org/10.1007/978-3-319-66845-1_10
We extend the modelchecking tool MultiVeStA with statistical model checking of steady-state properties. Since MultiVeStA acts as a front-end for simulation tools, it confers this ability onto any tool with which it is integrated. The underlying simul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::818c009b0e058cab3bccf49dbed9830b
http://hdl.handle.net/11382/534300
http://hdl.handle.net/11382/534300
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
Prominent examples of collective systems are often encountered when analysing smart cities and smart transportation systems. We propose a novel modelling and analysis approach combining statistical model checking, spatio-temporal logics, and simulati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e7403ff5f4d42b2decddc5fc9cc718d
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
Publikováno v:
FMSPLE'15-6th International Workshop on Formal Methods for Software Product Line Engineering, pp. 56–70, London, UK, 11 April 2015
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2015, ' Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking ', Electronic Proceedings in Theoretical Computer Science, vol. 182, pp. 56-70 . https://doi.org/10.4204/eptcs.182.5
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:FMSPLE'15-6th International Workshop on Formal Methods for Software Product Line Engineering/congresso_luogo:London, UK/congresso_data:11 April 2015/anno:2015/pagina_da:56/pagina_a:70/intervallo_pagine:56–70
Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 56-70 (2015)
FMSPLE
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2015, ' Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking ', Electronic Proceedings in Theoretical Computer Science, vol. 182, pp. 56-70 . https://doi.org/10.4204/eptcs.182.5
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:FMSPLE'15-6th International Workshop on Formal Methods for Software Product Line Engineering/congresso_luogo:London, UK/congresso_data:11 April 2015/anno:2015/pagina_da:56/pagina_a:70/intervallo_pagine:56–70
Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 56-70 (2015)
FMSPLE
We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this purpose, we enrich the feature-oriented language FLan with action rates
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d4844b4c982c3df0775b62d37a9d976
https://openportal.isti.cnr.it/doc?id=people______::a1caa7a8d48ec518524d8857ea830d15
https://openportal.isti.cnr.it/doc?id=people______::a1caa7a8d48ec518524d8857ea830d15
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.