UPPAAL - Now, Next, and Future

This publication has 33 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• Application of parametric model checking - the Root Contention protocol
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Distributing Timed Model Checking — How the Search Order Matters
  Published by Springer Nature ,2000
• “Next” Heuristic for On-the-Fly Model Checking
  Published by Springer Nature ,1999
• Efficient Timed Reachability Analysis Using Clock Difference Diagrams
  Published by Springer Nature ,1999
• Kronos: A model-checking tool for real-time systems
  Published by Springer Nature ,1998
• Partial order reductions for timed systems
  Published by Springer Nature ,1998
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Parametric real-time reasoning
  Published by Association for Computing Machinery (ACM) ,1993
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986