Fast Parametric Model Checking With Applications to Software Performability Analysis
Published 2023 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Fast Parametric Model Checking With Applications to Software Performability Analysis
Authors
Keywords
-
Journal
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume 49, Issue 10, Pages 4707-4730
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Online
2023-09-15
DOI
10.1109/tse.2023.3313645
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- 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
Find the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
SearchAdd 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 Now