Probabilistic software product lines
From MaRDI portal
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Recommendations
- Cost-related interface for software product lines
- Modeling product lines with Kripke structures and modal logic
- Model mining and efficient verification of software product lines
- Foreword to the special issue on formal methods for software product line engineering
- Probabilistic abstract interpretation
Cites work
- scientific article; zbMATH DE number 2090099 (Why is no real title available?)
- A Petri Net Based Modeling of Active Objects and Futures
- A general SOS theory for the specification of probabilistic transition systems
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- Cost-related interface for software product lines
- Information hiding in probabilistic concurrent systems
- On the boundary between decidability and undecidability of asynchronous session subtyping
- On the expressive power of process interruption and compensation
- Probabilistic systems coalgebraically: a survey
- Real-reward testing for probabilistic processes
- Reduction semantics in Markovian process algebra
- Undecidability of asynchronous session subtyping
- Using schedulers to test probabilistic distributed systems
This page was built for publication: Probabilistic software product lines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2329442)