30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC

This publication has 33 references indexed in Scilit:

• Adopting Formal Methods in an Industrial Setting: The Railways Case
  2019
• Timed service contract automata
  Innovations in Systems and Software Engineering, 2019
• A Refinement Approach to Analyse Critical Cyber-Physical Systems
  2018
• A Survey of Statistical Model Checking
  ACM Transactions on Modeling and Computer Simulation, 2018
• Automata for Specifying and Orchestrating Service Contracts
  Logical Methods in Computer Science, 2017
• Statistical model checking of an energy-saving cyber-physical system in the railway domain
  2017
• A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
  Journal of Rail Transport Planning & Management, 2016
• Performance evaluation and model checking join forces
  Communications of the ACM, 2010
• Petri nets in performance analysis: An introduction
  1998
• The benefits of relaxing punctuality
  Journal of the ACM, 1996