Synthesis of probabilistic models for quality-of-service software engineering
Published 2018 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Synthesis of probabilistic models for quality-of-service software engineering
Authors
Keywords
Search-based software engineering, Probabilistic model checking, Evolutionary algorithms, QoS requirements
Journal
Automated Software Engineering
Volume -, Issue -, Pages -
Publisher
Springer Nature
Online
2018-05-17
DOI
10.1007/s10515-018-0235-8
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
- (2017) Radu Calinescu et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Analysing the fitness landscape of search-based software testing problems
- (2016) Aldeida Aleti et al. Automated 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
- CTL update of Kripke models through protections
- (2014) Miguel Carrillo et al. ARTIFICIAL INTELLIGENCE
- Incremental controller synthesis in probabilistic environments with temporal logic constraints
- (2014) Alphan Ulusoy et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- Search-based software engineering
- (2012) Mark Harman et al. ACM COMPUTING SURVEYS
- Self-adaptive software needs quantitative verification at runtime
- (2012) Radu Calinescu et al. COMMUNICATIONS OF THE ACM
- Whole Test Suite Generation
- (2012) Gordon Fraser et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Software Architecture Optimization Methods: A Systematic Literature Review
- (2012) Aldeida Aleti et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- jMetal: A Java framework for multi-objective optimization
- (2011) Juan J. Durillo et al. ADVANCES IN ENGINEERING SOFTWARE
- Genetic Algorithms for Randomized Unit Testing
- (2011) James H. Andrews et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems
- (2010) Andres J. Ramirez et al. Cluster Computing-The Journal of Networks Software Tools and Applications
- Performance evaluation and model checking join forces
- (2010) Christel Baier et al. COMMUNICATIONS OF THE ACM
- Dynamic QoS Management and Optimization in Service-Based Systems
- (2010) Radu Calinescu et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Software Module Clustering as a Multi-Objective Search Problem
- (2010) Kata Praditwong et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- The ins and outs of the probabilistic model checker MRMC
- (2010) Joost-Pieter Katoen et al. PERFORMANCE EVALUATION
- Formal methods
- (2009) Jim Woodcock et al. ACM COMPUTING SURVEYS
- Self-adaptive software
- (2009) Mazeiar Salehie et al. ACM Transactions on Autonomous and Adaptive Systems
- MOCell: A cellular genetic algorithm for multiobjective optimization
- (2009) Antonio J. Nebro et al. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
- Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking
- (2008) Aleksandra Sesic et al. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Find Funding. Review Successful Grants.
Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.
ExploreBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started