Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleDecember 2014
On discrete time reversibility modulo state renaming and its applications
VALUETOOLS '14: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and ToolsPages 225–232https://doi.org/10.4108/icst.valuetools.2014.258200Time reversibility plays an important role in the analysis of continuous and discrete time Markov chains (DTMCs). Specifically, the computation of the stationary distribution of a reversible Markov chain has been proved to be very efficient and does not ...
- research-articleMay 2011
Run-time efficient probabilistic model checking
ICSE '11: Proceedings of the 33rd International Conference on Software EngineeringPages 341–350https://doi.org/10.1145/1985793.1985840Unpredictable changes continuously affect software systems and may have a severe impact on their quality of service, potentially jeopardizing the system's ability to meet the desired requirements. Changes may occur in critical components of the system, ...
- research-articleNovember 2010
Change-point detection for black-box services
FSE '10: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineeringPages 227–236https://doi.org/10.1145/1882291.1882326Modern software systems are increasingly built out of services that are developed, deployed, and operated by independent organizations, which expose them for use by potential clients. Services may be directly invoked by clients. They may also be ...