| An Automated Quantitative Information Flow Analysis for Concurrent Programs
|
2022 |
Salehi, Khayyam |
| Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling
|
2022 |
Randone, Francesca |
| A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
|
2022 |
Loreti, Michele |
| Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
|
2022 |
Das, Spandan |
| Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis
|
2022 |
Smuseva, Daria |
| Distribution Estimation for Probabilistic Loops
|
2022 |
Karimi, Ahmad |
| An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
|
2022 |
Squillace, Giuseppe |
| Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking
|
2022 |
Ray, Kaustabha |
| Analysis of an Electric Vehicle Charging System Along a Highway
|
2022 |
Cerotti, Davide |
| Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks
|
2022 |
D’Argenio, Pedro R. |
| Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments
|
2022 |
Kofnov, Andrey |
| End-to-End Statistical Model Checking for Parametric ODE Models
|
2022 |
Julien, David |
| Rate Lifting for Stochastic Process Algebra — Exploiting Structural Properties
|
2022 |
Siegle, Markus |
| POMDP Controllers with Optimal Budget
|
2022 |
Spel, Jip |
| Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows
|
2022 |
Carnevali, Laura |
| LN: A Meta-solver for Layered Queueing Network Analysis
|
2022 |
Casale, Giuliano |
| LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Leaming
|
2022 |
Hasanbeig, Mohammadhosein |
| Mirrors and Memory in Quantum Automata
|
2022 |
Piazza, Carla |
| Monte Carlo Tree Search for Priced Timed Automata
|
2022 |
Jensen, Peter Gjøl |
Tag hinzufügen