Quantitative Evaluation of Systems
portes grátis
Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
Abraham, Erika; Paolieri, Marco
Springer International Publishing AG
09/2022
399
Mole
Inglês
9783031163357
15 a 20 dias
640
Descrição não disponível.
Program Analysis.- Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.- Distribution Estimation for Probabilistic Loops.- An Automated Quantitative Information Flow Analysis for Concurrent Programs.- Parameter Synthesis.- Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties.- End-to-end Statistical Model Checking for Parametric ODE Models.- POMDP Controllers With Optimal Budget.- Markovian Agents and Population Models.- A Logical Framework for Reasoning about Local and Global Properties of Collective Systems.- Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-scaling.- Dynamical Systems.- An Algorithm for the Formal Reduction of Differential Equations as Over-approximations.- Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.- Tools.- LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.- LN: a Meta-Solver for LayeredQueueing Network Analysis.- Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.- Applications.- Preference-Aware Computation Offloading for IoT in Multi-Access Edge Computing Using Probabilistic Model Checking.- Analysis of an Electric Vehicle Charging System along a Highway.- Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis.- Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks.- Automata Theory and Applications.- Mirrors and Memory in Quantum Automata.- Monte Carlo Tree Search for Priced Timed Automata.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;automata theory;computer networks;correlation analysis;embedded systems;graph theory;markov processes;model checking;network protocols;numerical methods;numerical model;probabilistic models;probability;probability distribution;software architecture;software design;software engineering;stochastic processes;theoretical computer science
Program Analysis.- Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.- Distribution Estimation for Probabilistic Loops.- An Automated Quantitative Information Flow Analysis for Concurrent Programs.- Parameter Synthesis.- Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties.- End-to-end Statistical Model Checking for Parametric ODE Models.- POMDP Controllers With Optimal Budget.- Markovian Agents and Population Models.- A Logical Framework for Reasoning about Local and Global Properties of Collective Systems.- Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-scaling.- Dynamical Systems.- An Algorithm for the Formal Reduction of Differential Equations as Over-approximations.- Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.- Tools.- LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.- LN: a Meta-Solver for LayeredQueueing Network Analysis.- Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.- Applications.- Preference-Aware Computation Offloading for IoT in Multi-Access Edge Computing Using Probabilistic Model Checking.- Analysis of an Electric Vehicle Charging System along a Highway.- Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis.- Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks.- Automata Theory and Applications.- Mirrors and Memory in Quantum Automata.- Monte Carlo Tree Search for Priced Timed Automata.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;automata theory;computer networks;correlation analysis;embedded systems;graph theory;markov processes;model checking;network protocols;numerical methods;numerical model;probabilistic models;probability;probability distribution;software architecture;software design;software engineering;stochastic processes;theoretical computer science
