标题
Fast Parametric Model Checking With Applications to Software Performability Analysis
作者
关键词
-
出版物
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume 49, Issue 10, Pages 4707-4730
出版商
Institute of Electrical and Electronics Engineers (IEEE)
发表日期
2023-09-15
DOI
10.1109/tse.2023.3313645
参考文献
相关参考文献
注意：仅列出部分参考文献，下载原文获取全部文献信息。- Quantitative verification with adaptive uncertainty reduction
- (2022) Naif Alasmari et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- (2019) Christel Baier et al. INFORMATION AND COMPUTATION
- Efficient Parametric Model Checking Using Domain Knowledge
- (2019) Radu Calinescu et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Synthesis of probabilistic models for quality-of-service software engineering
- (2018) Simos Gerasimou et al. Automated Software Engineering
- Feature-family-based reliability analysis of software product lines
- (2018) André Lanna et al. INFORMATION AND SOFTWARE TECHNOLOGY
- Efficient synthesis of robust models for stochastic systems
- (2018) Radu Calinescu et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Observation-Enhanced QoS Analysis of Component-Based Systems
- (2018) Colin Alexander Paterson et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems
- (2016) Radu Calinescu et al. IEEE TRANSACTIONS ON RELIABILITY
- Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
- (2016) Antonio Filieri et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
- (2016) Danilo Filgueira Mendonça et al. INFORMATION AND SOFTWARE TECHNOLOGY
- A survey on quality attributes in service-based systems
- (2015) David Ameller et al. SOFTWARE QUALITY JOURNAL
- Model-based verification of quantitative non-functional properties for software product lines
- (2012) Carlo Ghezzi et al. INFORMATION AND SOFTWARE TECHNOLOGY
- Methodological construction of product-form stochastic Petri nets for performance evaluation
- (2011) Simonetta Balsamo et al. JOURNAL OF SYSTEMS AND SOFTWARE
- A survey on bio-inspired networking
- (2010) Falko Dressler et al. Computer Networks
- Bio-inspired networking: from theory to practice
- (2010) Falko Dressler et al. IEEE COMMUNICATIONS MAGAZINE
- Probabilistic reachability for parametric Markov models
- (2010) Ernst Moritz Hahn et al. International Journal on Software Tools for Technology Transfer
- Modeling and managing the variability of Web service-based systems
- (2009) Chang-ai Sun et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Enhanced Modeling and Solution of Layered Queueing Networks
- (2008) G. Franks et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Add your recorded webinar
Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.
Upload NowAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started