Model checking stochastic automata

Article Properties
  • Language
    English
  • DOI (url)
    10.1145/937555.937558
  • Publication Date
    2003/10/01
  • Journal
    ACM Transactions on Computational Logic
  • Indian UGC (journal)
  • Refrences
    18
  • Citations
    7
  • Jeremy Bryans University of Stirling, Stirling, Scotland
  • Howard Bowman University of Kent at Canterburyy, Canterbury, Kent, UK
  • John Derrick University of Kent at Canterburyy, Canterbury, Kent, UK
Abstract
Cite
Bryans, Jeremy, et al. “Model Checking Stochastic Automata”. ACM Transactions on Computational Logic, vol. 4, no. 4, 2003, pp. 452-9, https://doi.org/10.1145/937555.937558.
Bryans, J., Bowman, H., & Derrick, J. (2003). Model checking stochastic automata. ACM Transactions on Computational Logic, 4(4), 452-492. https://doi.org/10.1145/937555.937558
Bryans, Jeremy, Howard Bowman, and John Derrick. “Model Checking Stochastic Automata”. ACM Transactions on Computational Logic 4, no. 4 (2003): 452-92. https://doi.org/10.1145/937555.937558.
Bryans J, Bowman H, Derrick J. Model checking stochastic automata. ACM Transactions on Computational Logic. 2003;4(4):452-9.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Uppaal in a nutshell International Journal on Software Tools for Technology Transfer
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 481 1997
HYTECH: a model checker for hybrid systems International Journal on Software Tools for Technology Transfer
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 192 1997
A GSMP formalism for discrete event systems Proceedings of the IEEE
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
 88 1989
Tech. Rep. 4-00 2000
Probability
Citations
Title Journal Journal Categories Citations Publication Date
Probabilistic Model Checking of Regenerative Concurrent Systems IEEE Transactions on Software Engineering
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2016
Reconciling real and stochastic time: the need for probabilistic refinement

 Formal Aspects of Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2012
Tuning Temporal Features within the Stochastic π-Calculus IEEE Transactions on Software Engineering
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2011
Model Checking for a Class of Weighted Automata Discrete Event Dynamic Systems
  • Technology: Mechanical engineering and machinery
  • Technology: Manufactures: Production management. Operations management
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Technology: Engineering (General). Civil engineering (General)
 3 2009
Categories of Timed Stochastic Relations Electronic Notes in Theoretical Computer Science 2009
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
Technology: Mechanical engineering and machinery1
Technology: Manufactures: Production management. Operations management1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics1
Technology: Engineering (General). Civil engineering (General)1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 2 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem and was published in 2005. The most recent citation comes from a 2016 study titled Probabilistic Model Checking of Regenerative Concurrent Systems. This article reached its peak citation in 2009, with 2 citations. It has been cited in 6 different journals. Among related journals, the IEEE Transactions on Software Engineering cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year