Search results
From MaRDI portal
- 2023-02-07 Paper Probabilistic analysis of optimization problems on generalized random shortest path metrics 2021-04-14 Paper Probabilistic analysis of facility...10 bytes (16 words) - 01:35, 25 September 2023
- to Probabilistic Pointer Analysis 2008-05-15 Paper Abstract Interpretation for Worst and Average Case Analysis 2007-09-24 Paper On a Probabilistic Chemical...10 bytes (16 words) - 07:43, 12 December 2023
- to Probabilistic Pointer Analysis 2008-05-15 Paper Abstract Interpretation for Worst and Average Case Analysis 2007-09-24 Paper On a Probabilistic Chemical...10 bytes (18 words) - 07:39, 7 October 2023
- for interval analysis method from measurement data 2018-12-07 Paper Review:Recent Developments in the Non-Probabilistic Finite Element Analysis 2018-05-25...10 bytes (17 words) - 05:28, 9 December 2023
- Yuri Daletskii and the development of infinite dimensional analysis 2020-11-27 Paper Probabilistic interpretation of the Cauchy problem solution for systems...10 bytes (18 words) - 22:01, 10 December 2023
- Automated termination analysis of polynomial probabilistic programs 2021-10-18 Paper Counterexample-guided inductive synthesis for probabilistic systems 2021-09-14...10 bytes (19 words) - 01:51, 9 December 2023
- Linear-Invariant Generation for Probabilistic Programs: 2010-10-01 Paper Compositional Closure for Bayes Risk in Probabilistic Noninterference 2010-09-07 Paper...10 bytes (17 words) - 15:42, 6 December 2023
- Testing of Probabilistic Systems 2016-04-21 Paper Modelling and Analysis of Markov Reward Automata 2015-12-17 Paper Quantitative Attack Tree Analysis via Priced...10 bytes (18 words) - 15:28, 9 December 2023
- Real-reward testing for probabilistic processes 2014-06-06 Paper Probabilistic Barbed Congruence 2014-01-17 Paper Remarks on Testing Probabilistic Processes 2013-12-06...10 bytes (17 words) - 19:28, 11 December 2023
- oriented reliability analysis for fatigue life under non-probabilistic time-dependent method 2020-04-06 Paper A novel method of non-probabilistic reliability-based...10 bytes (18 words) - 01:39, 11 December 2023
- 2011-09-22 Paper Probabilistic equivalence and stochastic model reduction in multiscale analysis 2010-09-13 Paper Propagation of probabilistic uncertainty in...10 bytes (19 words) - 16:18, 9 December 2023
- Paper Probabilistic prediction of outbreaks of meningococcus W-135 infections over the next few years in Spain 2022-06-21 Paper Probabilistic analysis of...10 bytes (18 words) - 16:51, 7 December 2023
- application to probabilistic laws for accuracy analysis 2021-10-25 Paper Data mining and probabilistic models for error estimate analysis of finite element...10 bytes (16 words) - 17:47, 11 December 2023
- to Probabilistic Pointer Analysis 2008-05-15 Paper Abstract Interpretation for Worst and Average Case Analysis 2007-09-24 Paper On a Probabilistic Chemical...10 bytes (18 words) - 03:19, 12 December 2023
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking 2014-07-08 Paper Probabilistic Model Checking for Energy-Utility Analysis 2014-06-02...10 bytes (17 words) - 01:51, 9 December 2023
- 2023-06-02 Paper Quantitative analysis of interval Markov chains 2023-05-26 Paper Consistency in parametric interval probabilistic timed automata 2020-01-31...10 bytes (16 words) - 17:50, 11 December 2023
- Paper Efficient Analysis of Probabilistic Programs with an Unbounded Counter 2015-08-14 Paper Branching-Time Model-Checking of Probabilistic Pushdown Automata...10 bytes (16 words) - 11:27, 11 December 2023
- 2017-08-08 Paper Robust Linear Static Anti-Windup With Probabilistic Certificates 2017-07-27 Paper Probabilistic Optimal Estimation With Uniformly Distributed Noise...10 bytes (17 words) - 15:49, 11 December 2023
- oriented reliability analysis for fatigue life under non-probabilistic time-dependent method 2020-04-06 Paper A novel method of non-probabilistic reliability-based...10 bytes (17 words) - 20:44, 11 December 2023
- Moment-based invariants for probabilistic loops with non-polynomial assignments 2023-06-02 Paper Distribution estimation for probabilistic loops 2023-06-02 Paper...10 bytes (16 words) - 16:32, 12 December 2023
