| Statistical and exact schedulability analysis of hierarchical scheduling systems. | 2 | 0.38 | 2016 |
| A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling | 4 | 0.40 | 2015 |
| Real-time specifications | 11 | 0.48 | 2015 |
| Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks | 1 | 0.35 | 2015 |
| Uppaal Stratego. | 4 | 0.41 | 2015 |
| Modelling Social-Technical Attacks with Timed Automata | 5 | 0.40 | 2015 |
| Uppaal SMC tutorial | 81 | 2.35 | 2015 |
| Schedulability of Herschel revisited using statistical model checking | 25 | 1.05 | 2015 |
| Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata | 1 | 0.34 | 2014 |
| Adaptive Task Automata with Earliest-Deadline-First Scheduling. | 1 | 0.35 | 2014 |
| Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | 2 | 0.36 | 2014 |
| Efficient controller synthesis for a fragment of MTL0,∞ | 0 | 0.34 | 2014 |
| Verification and Performance Evaluation of Timed Game Strategies. | 0 | 0.34 | 2014 |
| Formal verification and simulation for platform screen doors and collision avoidance in subway control systems | 1 | 0.35 | 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 |
| On Time with Minimal Expected Cost! | 10 | 0.58 | 2014 |
| Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. | 19 | 0.72 | 2013 |
| A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments | 4 | 0.44 | 2013 |
| Optimizing Control Strategy Using Statistical Model Checking. | 14 | 0.67 | 2013 |
| 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 |
| Moving from specifications to contracts in component-based design | 45 | 1.56 | 2012 |
| Compositional verification of real-time systems using Ecdar. | 9 | 0.44 | 2012 |
| mctau: bridging the gap between modest and UPPAAL | 7 | 0.51 | 2012 |
| TAPAAL 2.0: integrated development environment for timed-arc petri nets | 3 | 0.43 | 2012 |
| Runtime verification of biological systems | 14 | 0.72 | 2012 |
| Monitor-Based statistical model checking for weighted metric temporal logic | 14 | 0.69 | 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 |
| A Forward Reachability Algorithm For Bounded Timed-Arc Petri Nets | 3 | 0.47 | 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 |
| Distributed Parametric And Statistical Model Checking | 4 | 0.43 | 2011 |
| Developing UPPAAL over 15 years | 15 | 0.87 | 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 |
| Timed I/O automata: a complete specification theory for real-time systems | 95 | 2.71 | 2010 |
| New results on timed specifications | 6 | 0.46 | 2010 |
| ECDAR: an environment for compositional design and analysis of real time systems | 24 | 0.78 | 2010 |
| Application of model-checking technology to controller synthesis | 7 | 0.48 | 2010 |
| Playing Games with Timed Games | 9 | 0.65 | 2009 |
| Methodologies for specification of real-time systems using timed I/O automata | 4 | 0.38 | 2009 |
| Guided controller synthesis for climate controller using UPPAAL TIGA | 12 | 0.74 | 2007 |
| UPPAAL 4.0 | 77 | 3.34 | 2006 |
| Model checking timed automata with priorities using DBM subtraction | 20 | 1.34 | 2006 |
| A Tutorial on Uppaal | 693 | 27.40 | 2004 |
| Unification & sharing in timed automata verification | 7 | 1.51 | 2003 |
