The Power of String Solving: Simplicity of Comparison | 0 | 0.34 | 2020 |
Rule-based Word Equation Solving | 0 | 0.34 | 2020 |
Statistical Model Checking of LLVM Code. | 0 | 0.34 | 2018 |
Practical controller synthesis for MTL0, ∞. | 0 | 0.34 | 2017 |
Modelling Attack-defense Trees Using Timed Automata. | 11 | 0.61 | 2016 |
Uppaal SMC tutorial | 81 | 2.35 | 2015 |
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata | 1 | 0.34 | 2014 |
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. | 6 | 0.45 | 2013 |
Statistical Model Checking For Priced Timed Automata | 48 | 1.42 | 2012 |
Runtime verification of biological systems | 14 | 0.72 | 2012 |
Monitor-Based statistical model checking for weighted metric temporal logic | 14 | 0.69 | 2012 |
Checking and distributing statistical model checking | 19 | 1.06 | 2012 |
Rewrite-Based Statistical Model Checking of WMTL. | 9 | 0.62 | 2012 |
Statistical Model Checking For Stochastic Hybrid Systems | 34 | 1.05 | 2012 |
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata | 3 | 0.42 | 2011 |
Statistical model checking for networks of priced timed automata | 68 | 1.94 | 2011 |