Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Quantitative Constraints"'
Akademický článek
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.
Akademický článek
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.
Autor:
Bozzelli, L., Peron, A.
Model checking (MC) for Halpern and Shoham’s interval temporal logic HS has been recently investigated in a systematic way, and it is known to be decidable under three distinct semantics (state-based, trace-based and tree-based semantics), all of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a474c6162ef4f4dcec23d95ac7d2e48
Publikováno v:
IEEE Transactions on Software Engineering, Vol. 46, no.3, p. 321-345 (2020)
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2020, ' A framework for quantitative modeling and analysis of highly (re)configurable systems ', I E E E Transactions on Software Engineering, vol. 46, no. 3, pp. 321-345 . https://doi.org/10.1109/TSE.2018.2853726
IEEE transactions on software engineering 46 (2018): 321–345. doi:10.1109/TSE.2018.2853726
info:cnr-pdr/source/autori:Ter Beek M.; Legay A.; Lluch Lafuente A.; Vandin A./titolo:A framework for quantitative modeling and analysis of highly (re)configurable systems/doi:10.1109%2FTSE.2018.2853726/rivista:IEEE transactions on software engineering/anno:2018/pagina_da:321/pagina_a:345/intervallo_pagine:321–345/volume:46
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2020, ' A framework for quantitative modeling and analysis of highly (re)configurable systems ', I E E E Transactions on Software Engineering, vol. 46, no. 3, pp. 321-345 . https://doi.org/10.1109/TSE.2018.2853726
IEEE transactions on software engineering 46 (2018): 321–345. doi:10.1109/TSE.2018.2853726
info:cnr-pdr/source/autori:Ter Beek M.; Legay A.; Lluch Lafuente A.; Vandin A./titolo:A framework for quantitative modeling and analysis of highly (re)configurable systems/doi:10.1109%2FTSE.2018.2853726/rivista:IEEE transactions on software engineering/anno:2018/pagina_da:321/pagina_a:345/intervallo_pagine:321–345/volume:46
This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optional features of such a system give rise to combinatorially many individu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d9431b476c3ea086fdf09adca10f456
http://hdl.handle.net/11382/534283
http://hdl.handle.net/11382/534283
Akademický článek
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.
Autor:
Legay, Axel, Vandin, Andrea, H. ter Beek, Maurice, Lluch Lafuente, Alberto, FM 2018 : 22nd International Symposium on Formal Methods
Publikováno v:
Formal Methods ISBN: 9783319955810
FM
22nd International Symposium on Formal Methods (FM'18), pp. 329–337, Oxford, UK, 15-17/07/2018
info:cnr-pdr/source/autori:Vandin A.; ter Beek M.H.; Legay A.; Lluch Lafuente A./congresso_nome:22nd International Symposium on Formal Methods (FM'18)/congresso_luogo:Oxford, UK/congresso_data:15-17%2F07%2F2018/anno:2018/pagina_da:329/pagina_a:337/intervallo_pagine:329–337
Vandin, A, Ter Beek, M H, Legay, A & Lluch Lafuente, A 2018, QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems . in K H, J P, B R & E D V (eds), Formal Methods . Springer, Lecture Notes in Computer Science, vol. 10951, pp. 329-337, Federated Logic Conference 2018, Oxford, United Kingdom, 15/07/2018 . https://doi.org/10.1007/978-3-319-95582-7_19
Formal Methods, (2018)
FM
22nd International Symposium on Formal Methods (FM'18), pp. 329–337, Oxford, UK, 15-17/07/2018
info:cnr-pdr/source/autori:Vandin A.; ter Beek M.H.; Legay A.; Lluch Lafuente A./congresso_nome:22nd International Symposium on Formal Methods (FM'18)/congresso_luogo:Oxford, UK/congresso_data:15-17%2F07%2F2018/anno:2018/pagina_da:329/pagina_a:337/intervallo_pagine:329–337
Vandin, A, Ter Beek, M H, Legay, A & Lluch Lafuente, A 2018, QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems . in K H, J P, B R & E D V (eds), Formal Methods . Springer, Lecture Notes in Computer Science, vol. 10951, pp. 329-337, Federated Logic Conference 2018, Oxford, United Kingdom, 15/07/2018 . https://doi.org/10.1007/978-3-319-95582-7_19
Formal Methods, (2018)
QFLan offers modeling and analysis of highly reconfigurable systems, like product lines, which are characterized by combinatorially many system variants (or products) that can be obtained via different combinations of installed features. The tool off
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb9fe6dc37510da5b2beab1aacd240c0
http://hdl.handle.net/11382/534294
http://hdl.handle.net/11382/534294
Publikováno v:
7th International Symposium, ISoLA 2016
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
International audience; We report on the suitability of statistical model checking forthe analysis of quantitative properties of product line models by an extendedtreatment of earlier work by the authors. The type of analysis thatcan be performed inc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3225fe2e0eea3b89fd03106e15c5c9b8
https://inria.hal.science/hal-01406531/document
https://inria.hal.science/hal-01406531/document
Akademický článek
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.
Statistical analysis of probabilistic models of software product lines with quantitative constraints
Publikováno v:
SPLC
SPLC'15-19th International Software Product Line Conference, pp. 11–15, Nashville, TN, USA, 20-24 July 2015
Beek, M H T, Legay, A, Lluch Lafuente, A & Vandin, A 2015, Statistical analysis of probabilistic models of software product lines with quantitative constraints . in Proceedings of the 19th International Conference on Software Product Line (SPLC '15) . Association for Computing Machinery, pp. 11-15, 19th International Conference on Software Product Line (SPLC '15), Nashville, United States, 20/07/2015 . https://doi.org/10.1145/2791060.2791087
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:SPLC'15-19th International Software Product Line Conference/congresso_luogo:Nashville, TN, USA/congresso_data:20-24 July 2015/anno:2015/pagina_da:11/pagina_a:15/intervallo_pagine:11–15
SPLC'15-19th International Software Product Line Conference, pp. 11–15, Nashville, TN, USA, 20-24 July 2015
Beek, M H T, Legay, A, Lluch Lafuente, A & Vandin, A 2015, Statistical analysis of probabilistic models of software product lines with quantitative constraints . in Proceedings of the 19th International Conference on Software Product Line (SPLC '15) . Association for Computing Machinery, pp. 11-15, 19th International Conference on Software Product Line (SPLC '15), Nashville, United States, 20/07/2015 . https://doi.org/10.1145/2791060.2791087
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:SPLC'15-19th International Software Product Line Conference/congresso_luogo:Nashville, TN, USA/congresso_data:20-24 July 2015/anno:2015/pagina_da:11/pagina_a:15/intervallo_pagine:11–15
We investigate the suitability of statistical model checking for the analysis of probabilistic models of software product lines with complex quantitative constraints and advanced feature installation options. Such models are specified in the feature-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95c731fce6ac4941c2baca0267392880
https://doi.org/10.1145/2791060.2791087
https://doi.org/10.1145/2791060.2791087
Publikováno v:
ISTI Technical reports, 2015
We investigate the suitability of statistical model checking techniques for the analysis of probabilistic models of software product lines with complex quantitative constraints and advanced feature installation options. Such SPL models are defined in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::af3a7ac9da9e65c0a425bf7141ba518f
https://openportal.isti.cnr.it/doc?id=people______::af3a7ac9da9e65c0a425bf7141ba518f
https://openportal.isti.cnr.it/doc?id=people______::af3a7ac9da9e65c0a425bf7141ba518f