| Urgent Partial Order Reduction for Extended Timed Automata. | 0 | 0.34 | 2020 |
| Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. | 0 | 0.34 | 2018 |
| Statistical and exact schedulability analysis of hierarchical scheduling systems. | 2 | 0.38 | 2016 |
| Online and Compositional Learning of Controllers with Application to Floor Heating. | 9 | 0.58 | 2016 |
| A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling | 4 | 0.40 | 2015 |
| Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. | 0 | 0.34 | 2015 |
| Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks | 1 | 0.35 | 2015 |
| Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context | 1 | 0.35 | 2015 |
| Uppaal Stratego. | 4 | 0.41 | 2015 |
| Uppaal SMC tutorial | 81 | 2.35 | 2015 |
| Resource-Parameterized Timing Analysis of Real-Time Systems. | 2 | 0.37 | 2015 |
| Schedulability of Herschel revisited using statistical model checking | 25 | 1.05 | 2015 |
| Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | 2 | 0.36 | 2014 |
| Widening the Schedulability of Hierarchical Scheduling Systems. | 0 | 0.34 | 2014 |
| Analyzing Industrial Architectural Models by Simulation and Model-Checking | 13 | 0.71 | 2014 |
| Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. | 19 | 0.72 | 2013 |
| Remote Testing of Timed Specifications. | 2 | 0.40 | 2013 |
| Optimizing Control Strategy Using Statistical Model Checking. | 14 | 0.67 | 2013 |
| Statistical Model Checking For Priced Timed Automata | 48 | 1.42 | 2012 |
| Runtime verification of biological systems | 14 | 0.72 | 2012 |
| Computing Nash Equilibrium In Wireless Ad Hoc Networks: A Simulation-Based Approach | 5 | 0.45 | 2012 |
| An evaluation framework for energy aware buildings using statistical model checking | 21 | 1.10 | 2012 |
| Checking and distributing statistical model checking | 19 | 1.06 | 2012 |
| Statistical Model Checking For Stochastic Hybrid Systems | 34 | 1.05 | 2012 |
| Distributed Parametric And Statistical Model Checking | 4 | 0.43 | 2011 |
| Monitoring dynamical signals while testing timed aspects of a system | 1 | 0.36 | 2011 |
| 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 |
| Time for statistical model checking of real-time systems | 74 | 2.18 | 2011 |
| Schedulability analysis using Uppaal: Herschel-Planck case study | 26 | 0.91 | 2010 |
| Testing real-time systems under uncertainty | 5 | 0.49 | 2010 |
| Testing Real-Time Systems Using UPPAAL | 104 | 3.00 | 2008 |
| Testing real-time embedded software using UPPAAL-TRON: an industrial case study | 80 | 2.64 | 2005 |
| Online testing of real-time systems using UPPAAL | 74 | 2.88 | 2004 |
| Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work | 13 | 0.82 | 2004 |
| T-UPPAAL: online model-based testing of real-time systems | 27 | 1.20 | 2004 |
